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

UTAP Namespace Reference


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)


Enumeration Type Documentation

enum UTAP::xta_part_t
 

Type for specifying which XTA part to parse (syntax switch).

Enumeration values:
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 


Function Documentation

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


Generated on Thu Feb 17 15:20:58 2005 for libutap by  doxygen 1.4.1