UTAP Namespace Reference

Classes
class	PositionTracker
	Help class used by the lexer, parser and xmlreader to keep track of the current position. More...
class	NotSupportedException
class	AbstractBuilder
class	TypeException
	Exception indicating a type error. More...
class	ParserBuilder
	The ParserBuilder interface is used by the parser to output the parsed system. More...
class	expression_t
	A reference to an expression. More...
class	ExpressionBuilder
	Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods. More...
struct	position_t
class	Positions
	A container for information about lines and positions in the input file. More...
struct	error_t
class	PrettyPrinter
class	SignalFlow
	Class SignalFlow is for analysing UPPAAL specifications and extracting the timed automata input/output "interface" information which can be treated as a data flow or entity-relationship map of the system. More...
struct	print
	print -- template for pretty printing lists. More...
class	Partitioner
	Partitions the system into environment and IUT according to TRON assumptions. More...
class	Statement
class	EmptyStatement
class	ExprStatement
class	AssertStatement
class	ForStatement
class	IterationStatement
	Statement class for the iterator loop-construction. More...
class	WhileStatement
class	DoWhileStatement
class	BlockStatement
class	SwitchStatement
class	CaseStatement
class	DefaultStatement
class	IfStatement
class	BreakStatement
class	ContinueStatement
class	ReturnStatement
class	StatementVisitor
class	AbstractStatementVisitor
class	ExpressionVisitor
class	CollectChangesVisitor
class	CollectDependenciesVisitor
class	StatementBuilder
	Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system. More...
class	NoParentException
class	range_t
	An integer range. More...
class	symbol_t
	A reference to a symbol. More...
class	frame_t
	A reference to a frame. More...
struct	variable_t
	Base type for variables, clocks, etc. More...
struct	state_t
	Information about a location. More...
struct	edge_t
	Information about an edge. More...
struct	function_t
	Information about a function. More...
struct	progress_t
struct	declarations_t
	Structure holding declarations of various types. More...
struct	instance_t
	Partial instance of a template. More...
struct	template_t
	Information about a template. More...
struct	chan_priority_t
	Channel priority information. More...
class	SystemVisitor
class	TimedAutomataSystem
class	SystemBuilder
	This class constructs a TimedAutomataSystem. More...
class	type_t
	A reference to a type. More...
class	CompileTimeComputableValues
	Visitor which collects all compile time computable symbols. More...
class	TypeChecker
	A visitor which type checks the system it visits. More...
Namespaces
namespace	Constants
Enumerations
enum	xta_part_t {   S_XTA, S_DECLARATION, S_LOCAL_DECL, S_INST,   S_SYSTEM, S_PARAMETERS, S_INVARIANT, S_SELECT,   S_GUARD, S_SYNC, S_ASSIGN, S_EXPRESSION,   S_PROPERTY }
	Type for specifying which XTA part to parse (syntax switch). More...
enum	tag_t {   TAG_NTA, TAG_IMPORTS, TAG_DECLARATION, TAG_TEMPLATE,   TAG_INSTANTIATION, TAG_SYSTEM, TAG_NAME, TAG_PARAMETER,   TAG_LOCATION, TAG_INIT, TAG_TRANSITION, TAG_URGENT,   TAG_COMMITTED, TAG_SOURCE, TAG_TARGET, TAG_LABEL,   TAG_NAIL, TAG_NONE }
	Enumeration type for tags. More...
Functions
std::ostream &	operator<< (std::ostream &os, const SignalFlow::strs_t &s)
std::ostream &	operator<< (std::ostream &os, const SignalFlow::procs_t &ps)
static bool	isempty (string str)
	Returns TRUE if string is zero length or contains only white spaces otherwise FALSE.
static bool	isAlpha (char c)
static bool	isIdChr (char c)
static string	symbol (const char *str)
	Extracts the alpha-numerical symbol used for variable/type identifiers.

---

Enumeration Type Documentation

enum UTAP::xta_part_t

Type for specifying which XTA part to parse (syntax switch).

Enumerator:

S_XTA
S_DECLARATION
S_LOCAL_DECL
S_INST
S_SYSTEM
S_PARAMETERS
S_INVARIANT
S_SELECT
S_GUARD
S_SYNC
S_ASSIGN
S_EXPRESSION
S_PROPERTY

enum UTAP::tag_t

Enumeration type for tags.

We use gperf to generate a perfect hash function to map tag strings to one of these tags.

Enumerator:

TAG_NTA
TAG_IMPORTS
TAG_DECLARATION
TAG_TEMPLATE
TAG_INSTANTIATION
TAG_SYSTEM
TAG_NAME
TAG_PARAMETER
TAG_LOCATION
TAG_INIT
TAG_TRANSITION
TAG_URGENT
TAG_COMMITTED
TAG_SOURCE
TAG_TARGET
TAG_LABEL
TAG_NAIL
TAG_NONE

---

Function Documentation

std::ostream& UTAP::operator<<	(	std::ostream &	os,
		const SignalFlow::strs_t &	s
	)			[inline]

std::ostream& UTAP::operator<<	(	std::ostream &	os,
		const SignalFlow::procs_t &	ps
	)			[inline]

static bool UTAP::isempty

(

string

str

)

[static]

Returns TRUE if string is zero length or contains only white spaces otherwise FALSE.

static bool UTAP::isAlpha

(

char

c

)

[static]

static bool UTAP::isIdChr

(

char

c

)

[static]

static string UTAP::symbol

(

const char *

str

)

[static]

Extracts the alpha-numerical symbol used for variable/type identifiers.

Identifier starts with alpha and further might contain digits, white spaces are ignored.

Throws a TypeException is identifier is invalid or a newly allocated string to be destroyed with delete [].

---