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

UTAP Namespace Reference


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)


Function Documentation

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


Generated on Wed Jul 2 12:08:19 2003 for libutap by doxygen 1.3.2