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... | |
class | IOInterface |
The system must be built by TypeChecker/SystemBuilder before IOInterface. 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 | Statement |
class | EmptyStatement |
class | ExprStatement |
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 | 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 | PersistentVariables |
Visitor which collects the persistent variables of the system. 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_WINNING, TAG_LOSING, TAG_SOURCE, TAG_TARGET, TAG_LABEL, TAG_NAIL, TAG_NONE } |
Enumeration type for tags. More... | |
Functions | |
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. |
The result can be processed by the dot (graphviz.org) to produce a "human-readable" picture. The other (tron) format is used in TRON project. Feel free to add more "formats" and/or tune the dot output.
Author: Marius Mikucionis <marius@cs.aau.dk>
|
Enumeration type for tags. We use gperf to generate a perfect hash function to map tag strings to one of these tags. |
|
Type for specifying which XTA part to parse (syntax switch).
|
|
|
|
Returns TRUE if string is zero length or contains only white spaces otherwise FALSE.
|
|
|
|
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 []. |