libutap
Enumerations | Functions | Variables
tracer.cpp File Reference
#include <cstdio>
#include <climits>
#include <vector>
#include <string>
#include <stdexcept>
#include <iostream>
#include <map>
#include <string.h>
#include <stdlib.h>

Enumerations

enum  type_t {
  CONST, CLOCK, VAR, META,
  COST, LOCATION, FIXED
}
 
enum  flags_t { NONE, COMMITTED, URGENT }
 

Functions

bool read (FILE *file, char *str, size_t n)
 
void loadIF (FILE *file)
 
ostream & operator<< (ostream &o, const State &state)
 
ostream & operator<< (ostream &o, const Transition &t)
 
void loadTrace (FILE *file)
 
int main (int argc, char *argv[])
 

Variables

vector< cell_t > layout
 
vector< int > instructions
 
vector< process_t > processes
 
vector< edge_t > edges
 
map< int, string > expressions
 
static size_t processCount = 0
 
static size_t variableCount = 0
 
static size_t clockCount = 0
 
static vector< string > clocks
 
static vector< string > variables
 
static bound_t infinity = { INT_MAX >> 1, 1 }
 
static bound_t zero = { 0, 0 }
 

Enumeration Type Documentation

enum flags_t
Enumerator
NONE 
COMMITTED 
URGENT 
enum type_t
Enumerator
CONST 
CLOCK 
VAR 
META 
COST 
LOCATION 
FIXED 

Function Documentation

void loadIF ( FILE *  file)
void loadTrace ( FILE *  file)

Referenced by main().

int main ( int  argc,
char *  argv[] 
)

References loadIF(), and loadTrace().

ostream& operator<< ( ostream &  o,
const State &  state 
)
ostream& operator<< ( ostream &  o,
const Transition &  t 
)
bool read ( FILE *  file,
char *  str,
size_t  n 
)

Referenced by loadIF().

Variable Documentation

size_t clockCount = 0
static

Referenced by loadIF(), and operator<<().

vector<string> clocks
static

Referenced by loadIF(), and operator<<().

vector<edge_t> edges
map<int,string> expressions

Referenced by loadIF(), and operator<<().

bound_t infinity = { INT_MAX >> 1, 1 }
static
vector<int> instructions

Referenced by loadIF().

vector<cell_t> layout

Referenced by loadIF(), and operator<<().

size_t processCount = 0
static

Referenced by loadIF(), and operator<<().

vector<process_t> processes

Referenced by loadIF(), and operator<<().

size_t variableCount = 0
static

Referenced by loadIF(), and operator<<().

vector<string> variables
static
bound_t zero = { 0, 0 }
static