Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

UTAP Namespace Reference


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)


Function Documentation

std::ostream& operator<< std::ostream &  out,
const TypeException exc
 


Generated on Sat May 15 12:33:42 2004 for libutap by doxygen 1.3.7