tracer.cpp File Reference

#include <cassert>
#include <cstdlib>
#include <cstring>
#include <fstream>
#include <iostream>
#include <limits>
#include <map>
#include <stdexcept>
#include <string>
#include <vector>

Include dependency graph for tracer.cpp:

Go to the source code of this file.

Functions
bool	read (istream &file, string &str)
istream &	readdot (istream &is)
istream &	skipspaces (istream &is)
void	loadIF (istream &file)
ostream &	operator<< (ostream &o, const State &state)
ostream &	operator<< (ostream &o, const Transition &t)
void	loadTrace (istream &file)
int	main (int argc, char *argv[])

Variables
static vector< cell_t >	layout
static vector< int >	instructions
static vector< process_t >	processes
static vector< edge_t >	edges
static 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 = { std::numeric_limits<int32_t>::max() >> 1, true }
static bound_t	zero = { 0, false }

Function Documentation

loadIF()

void loadIF

(

istream &

file

)

Definition at line 208 of file tracer.cpp.

References UTAP::Constants::CLOCK, clockCount, clocks, UTAP::Constants::COMMITTED, UTAP::Constants::COST, edges, expressions, instructions, layout, UTAP::Constants::LOCATION, processCount, processes, read(), UTAP::Constants::URGENT, variableCount, and variables.

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

loadTrace()

void loadTrace

(

istream &

file

)

Definition at line 654 of file tracer.cpp.

References skipspaces().

Referenced by main().

Here is the call graph for this function:

Here is the caller graph for this function:

main()

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

Definition at line 681 of file tracer.cpp.

References loadIF(), and loadTrace().

Here is the call graph for this function:

operator<<() [1/2]

ostream& operator<<	(	ostream &	o,
		const State &	state
	)

Definition at line 585 of file tracer.cpp.

References clockCount, clocks, layout, processCount, processes, variableCount, and variables.

operator<<() [2/2]

ostream& operator<<	(	ostream &	o,
		const Transition &	t
	)

Definition at line 625 of file tracer.cpp.

References edges, expressions, layout, and processes.

read()

bool read	(	istream &	file,
		string &	str
	)

Definition at line 165 of file tracer.cpp.

Referenced by loadIF(), and UTAP::symbol().

Here is the caller graph for this function:

readdot()

istream& readdot

(

istream &

is

)

Definition at line 179 of file tracer.cpp.

skipspaces()

istream& skipspaces ( istream &  is )

inline

Definition at line 197 of file tracer.cpp.

Referenced by loadTrace().

Here is the caller graph for this function:

Variable Documentation

clockCount

size_t clockCount = 0

static

Definition at line 147 of file tracer.cpp.

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

clocks

vector<string> clocks

static

Definition at line 152 of file tracer.cpp.

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

edges

vector<edge_t> edges

static

Definition at line 140 of file tracer.cpp.

Referenced by UTAP::template_t::addEdge(), loadIF(), and operator<<().

expressions

map<int,string> expressions

static

Definition at line 141 of file tracer.cpp.

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

infinity

bound_t infinity = { std::numeric_limits<int32_t>::max() >> 1, true }

static

Definition at line 452 of file tracer.cpp.

instructions

vector<int> instructions

static

Definition at line 138 of file tracer.cpp.

Referenced by loadIF().

layout

vector<cell_t> layout

static

Definition at line 137 of file tracer.cpp.

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

processCount

size_t processCount = 0

static

Definition at line 145 of file tracer.cpp.

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

processes

vector<process_t> processes

static

Definition at line 139 of file tracer.cpp.

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

variableCount

size_t variableCount = 0

static

Definition at line 146 of file tracer.cpp.

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

variables

vector<string> variables

static

Definition at line 153 of file tracer.cpp.

Referenced by UTAP::TimedAutomataSystem::addVariableToFunction(), UTAP::CompileTimeComputableValues::contains(), UTAP::declarations_t::getConstants(), UTAP::declarations_t::getVariables(), loadIF(), operator<<(), UTAP::function_t::toString(), UTAP::CompileTimeComputableValues::visitInstance(), and UTAP::CompileTimeComputableValues::visitVariable().

zero

bound_t zero = { 0, false }

static

Definition at line 456 of file tracer.cpp.