Classes | |
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 | CollectChangesVisitor |
class | XPath |
struct | position_t |
class | ErrorHandler |
class | expression_t |
A reference to an expression. More... | |
class | InterpreterException |
class | Interpreter |
class | ExpressionBuilder |
class | PrettyPrinter |
class | UndefinedRangeException |
class | RangeChecker |
A RangeChecker object is an oracle for predicting ranges of integer expressions and declared ranges of symbols. More... | |
class | Statement |
class | EmptyStatement |
class | ExprStatement |
class | ForStatement |
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 | 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... | |
class | type_t |
A reference to a type. 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 | instance_t |
struct | progress_t |
struct | declarations_t |
Structure holding declarations of various types. More... | |
struct | template_t |
Information about a template. More... | |
struct | process_t |
Information about a process. More... | |
class | SystemVisitor |
class | TimedAutomataSystem |
class | ContextVisitor |
Extension of SystemVisitor which tracks the context. More... | |
class | SystemBuilder |
This class constructs a TimedAutomataSystem. More... | |
class | PersistentVariables |
Visitor which collects the persistent variables of the system. More... | |
class | TypeChecker |
A visitor which type checks the system it visits. More... | |
Namespaces | |
namespace | Constants |
namespace | prefix |
Enumerations | |
enum | xta_part_t { S_XTA, S_DECLARATION, S_LOCAL_DECL, S_INST, S_SYSTEM, S_PARAMETERS, S_INVARIANT, S_GUARD, S_SYNC, S_ASSIGN, S_EXPRESSION, S_PROPERTY } |
Type for specifying which XTA part to parse (syntax switch). More... | |
Functions | |
std::ostream & | operator<< (std::ostream &out, const TypeException &exc) |
|
Type for specifying which XTA part to parse (syntax switch).
|
|
|