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