Namespaces
	Constants

Classes
class	AbstractBuilder

class	AbstractStatementVisitor

class	AssertStatement

class	BlockStatement

struct	branchpoint_t
	Information about a branchpoint. More...

class	BreakStatement

class	CaseStatement

struct	chan_priority_t
	Channel priority information. More...

class	CollectChangesVisitor

class	CollectDependenciesVisitor

class	CollectDynamicExpressions

struct	compare_simregion

class	CompileTimeComputableValues
	Visitor which collects all compile time computable symbols. More...

struct	condition_t
	Information about a condition. More...

class	ContinueStatement

struct	cut_t

struct	declarations_t

class	DefaultStatement

class	DistanceCalculator
	DistanceCalculator is used in TargetFirst heuristic search order of Uppaal. More...

class	DoWhileStatement

struct	edge_t
	Information about an edge. More...

class	EmptyStatement

struct	error_t

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...

class	ExpressionVisitor

class	ExprStatement

class	ForStatement

class	frame_t
	A reference to a frame. More...

struct	function_t
	Information about a function. More...

struct	gantt_t
	Gantt chart entry. More...

struct	ganttmap_t
	Gantt map bool expr -> int expr that can be expanded. More...

class	IfStatement

struct	instance_t
	Partial instance of a template. More...

struct	instanceLine_t
	Information about an instance line. More...

struct	iodecl_t

class	IterationStatement
	Statement class for the iterator loop-construction. More...

struct	message_t
	Information about a message. More...

class	NoParentException

class	NotSupportedException

class	ParserBuilder
	The ParserBuilder interface is used by the parser to output the parsed system. More...

class	Partitioner
	Partitions the system into environment and IUT according to TRON assumptions. More...

struct	position_t

class	Positions
	A container for information about lines and positions in the input file. More...

class	PositionTracker
	Help class used by the lexer, parser and xmlreader to keep track of the current position. More...

class	PrettyPrinter

struct	print
	print – template for pretty printing lists. More...

struct	progress_t

struct	query_t

class	range_t
	An integer range. More...

class	ReturnStatement

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	simregion_t

struct	state_t
	Information about a location. More...

class	Statement

class	StatementBuilder
	Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system. More...

class	StatementVisitor

class	SwitchStatement

class	symbol_t
	A reference to a symbol. More...

class	SystemBuilder
	This class constructs a TimedAutomataSystem. More...

class	SystemVisitor

struct	template_t

class	TimedAutomataSystem

class	type_t
	A reference to a type. More...

class	TypeChecker
	A visitor which type checks the system it visits. More...

class	TypeException
	Exception indicating a type error. More...

struct	update_t
	Information about an update. More...

struct	variable_t
	Base type for variables, clocks, etc. More...

class	WhileStatement

class	XMLWriter

Typedefs
typedef std::vector< query_t >	queries_t

Enumerations
enum	sync_use_t { sync_use_t::unused, sync_use_t::io, sync_use_t::csp }
	Synchronization usage options: I/O (with ? or !) or CSP (plain) More...

enum	xta_part_t { S_XTA, S_DECLARATION, S_LOCAL_DECL, S_INST, S_SYSTEM, S_PARAMETERS, S_INVARIANT, S_EXPONENTIALRATE, S_SELECT, S_GUARD, S_SYNC, S_ASSIGN, S_EXPRESSION, S_EXPRESSION_LIST, S_PROPERTY, S_XTA_PROCESS, S_PROBABILITY, S_INSTANCELINE, S_MESSAGE, S_UPDATE, S_CONDITION }
	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_BRANCHPOINT, TAG_SOURCE, TAG_TARGET, TAG_LABEL, TAG_NAIL, TAG_NONE, TAG_PROJECT, TAG_LSC, TAG_TYPE, TAG_MODE, TAG_ROLE, TAG_YLOCCOORD, TAG_LSCLOCATION, TAG_PRECHART, TAG_INSTANCE, TAG_TEMPERATURE, TAG_MESSAGE, TAG_CONDITION, TAG_UPDATE, TAG_ANCHOR, TAG_SBML, TAG_QUERIES, TAG_QUERY, TAG_FORMULA, TAG_COMMENT }
	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)

xmlChar *	ConvertInput (const char in, const char encoding)
	ConvertInput: : string in a given encoding : the encoding used. More...

std::string	concat (const std::string &s, int i)
	concatenates a string and an int More...

std::string	concatDouble (const std::string &s, double i)
	concatenates a string and a double More...

static bool	isempty (string str)
	Returns TRUE if string is zero length or contains only white spaces otherwise FALSE. More...

static bool	isAlpha (unsigned char c)

static bool	isIdChr (unsigned char c)

static string	symbol (const char *str)
	Extracts the alpha-numerical symbol used for variable/type identifiers. More...

Typedef Documentation

◆ queries_t

typedef std::vector<query_t> UTAP::queries_t

Definition at line 442 of file system.h.

Enumeration Type Documentation

◆ sync_use_t

enum UTAP::sync_use_t

strong

Synchronization usage options: I/O (with ? or !) or CSP (plain)

Enumerator
unused
io
csp

Definition at line 270 of file common.h.

◆ tag_t

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_BRANCHPOINT
TAG_SOURCE
TAG_TARGET
TAG_LABEL
TAG_NAIL
TAG_NONE
TAG_PROJECT
TAG_LSC
TAG_TYPE
TAG_MODE
TAG_ROLE
TAG_YLOCCOORD
TAG_LSCLOCATION
TAG_PRECHART
TAG_INSTANCE
TAG_TEMPERATURE
TAG_MESSAGE
TAG_CONDITION
TAG_UPDATE
TAG_ANCHOR
TAG_SBML
TAG_QUERIES
TAG_QUERY
TAG_FORMULA
TAG_COMMENT

Definition at line 57 of file xmlreader.cpp.

◆ xta_part_t

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_EXPONENTIALRATE
S_SELECT
S_GUARD
S_SYNC
S_ASSIGN
S_EXPRESSION
S_EXPRESSION_LIST
S_PROPERTY
S_XTA_PROCESS
S_PROBABILITY
S_INSTANCELINE
S_MESSAGE
S_UPDATE
S_CONDITION

Definition at line 273 of file common.h.

Function Documentation

◆ concat()

std::string UTAP::concat	(	const std::string &	s,
		int	i
	)

concatenates a string and an int

Referenced by UTAP::XMLWriter::init(), UTAP::XMLWriter::label(), UTAP::XMLWriter::nail(), UTAP::XMLWriter::name(), UTAP::XMLWriter::source(), UTAP::XMLWriter::target(), and UTAP::XMLWriter::writeStateAttributes().

Here is the caller graph for this function:

◆ concatDouble()

std::string UTAP::concatDouble	(	const std::string &	s,
		double	i
	)

concatenates a string and a double

◆ ConvertInput()

xmlChar * UTAP::ConvertInput	(	const char *	in,
		const char *	encoding
	)

ConvertInput: : string in a given encoding : the encoding used.

Converts into UTF-8 for processing with libxml2 APIs

Returns the converted UTF-8 string, or NULL in case of error.

Definition at line 383 of file xmlwriter.cpp.

Referenced by UTAP::XMLWriter::label().

Here is the caller graph for this function:

◆ isAlpha()

static bool UTAP::isAlpha ( unsigned char c )

static

Definition at line 91 of file xmlreader.cpp.

Referenced by symbol().

Here is the caller graph for this function:

◆ isempty()

static bool UTAP::isempty ( string str )

static

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

Definition at line 80 of file xmlreader.cpp.

Referenced by symbol().

Here is the caller graph for this function:

◆ isIdChr()

static bool UTAP::isIdChr ( unsigned char c )

static

Definition at line 95 of file xmlreader.cpp.

Referenced by symbol().

Here is the caller graph for this function:

◆ operator<<() [1/2]

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

inline

Definition at line 189 of file signalflow.h.

Referenced by UTAP::error_t::error_t(), UTAP::expression_t::expression_t(), and UTAP::type_t::isDouble().

Here is the caller graph for this function:

◆ operator<<() [2/2]

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

inline

Definition at line 195 of file signalflow.h.

◆ symbol()

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 [].

Definition at line 107 of file xmlreader.cpp.

Referenced by UTAP::frame_t::addSymbol(), UTAP::expression_t::collectPossibleReads(), UTAP::expression_t::collectPossibleWrites(), UTAP::expression_t::createIdentifier(), UTAP::ExpressionBuilder::exprForAllBegin(), UTAP::type_t::isDouble(), UTAP::IterationStatement::IterationStatement(), UTAP::frame_t::moveTo(), UTAP::SystemBuilder::process(), UTAP::SystemBuilder::procPriority(), UTAP::frame_t::remove(), UTAP::IterationStatement::toString(), UTAP::expression_t::usesFP(), and UTAP::TypeChecker::visitBlockStatement().

Here is the call graph for this function:

Here is the caller graph for this function:

Namespaces

Classes

Typedefs

Enumerations

Functions

Typedef Documentation

◆ queries_t

Enumeration Type Documentation

◆ sync_use_t

◆ tag_t

◆ xta_part_t

Function Documentation

◆ concat()

◆ concatDouble()

◆ ConvertInput()

◆ isAlpha()

◆ isempty()

◆ isIdChr()

◆ operator<<() [1/2]

◆ operator<<() [2/2]

◆ symbol()