Compounds | |
class | BlockStatement |
class | BreakStatement |
class | CaseStatement |
class | ContextVisitor |
Extension of SystemVisitor which tracks the context. More... | |
class | ContinueStatement |
class | DefaultStatement |
class | DoWhileStatement |
class | EmptyStatement |
class | ErrorHandler |
struct | ErrorHandler::error_t |
class | expression_t |
A reference to an expression. More... | |
class | ExprStatement |
class | ForStatement |
class | frame_t |
A reference to a frame. More... | |
struct | function_t |
Information about a function. More... | |
class | IfStatement |
struct | instance_t |
class | Interpreter |
class | InterpreterException |
class | NoParentException |
class | OldTypeChecker |
class | OldTypeChecker::ExpressionFragments |
class | OldTypeChecker::TypeFragments |
class | ParserBuilder |
class | PersistentVariables |
Visitor which collects the persistent variables of the system. More... | |
struct | position_t |
struct | process_t |
Information about a process. More... | |
class | range_t |
An integer range. More... | |
class | RangeChecker |
A RangeChecker object is an oracle for predicting ranges of integer expressions and declared ranges of symbols. More... | |
class | ReturnStatement |
struct | state_t |
Information about a location. More... | |
class | Statement |
class | StatementVisitor |
class | SwitchStatement |
class | symbol_t |
A reference to a symbol. More... | |
class | SystemBuilder |
This class constructs a TimedAutomataSystem. More... | |
class | SystemBuilder::ExpressionFragments |
class | SystemBuilder::TypeFragments |
class | SystemVisitor |
struct | template_t |
Information about a template. More... | |
class | TimedAutomataSystem |
struct | transition_t |
Information about a transition. More... | |
class | type_t |
A reference to a type. More... | |
class | TypeChecker |
A visitor which type checks the system it visits. More... | |
class | TypeException |
class | UndefinedRangeException |
struct | variable_t |
Base type for variables, clocks, etc. More... | |
class | WhileStatement |
class | XPath |
Functions | |
std::ostream & | operator<< (std::ostream &out, const TypeException &exc) |
|
|