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 -- 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. |
enum UTAP::xta_part_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.
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 [].