UTAP Namespace Reference


Classes

class  PositionTracker
 Help class used by the lexer, parser and xmlreader to keep track of the current position. More...
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  expression_t
 A reference to an expression. More...
class  ExpressionBuilder
 Partial implementation of the builder interface: The ExpressionBuilder implements all expression related methods. More...
struct  position_t
class  Positions
 A container for information about lines and positions in the input file. More...
struct  error_t
class  PrettyPrinter
class  SignalFlow
 Class SignalFlow is for analysing UPPAAL specifications and extracting the timed automata input/output "interface" information which can be treated as a data flow or entity-relationship map of the system. More...
struct  print
 print -- template for pretty printing lists. More...
class  Partitioner
 Partitions the system into environment and IUT according to TRON assumptions. More...
class  Statement
class  EmptyStatement
class  ExprStatement
class  AssertStatement
class  ForStatement
class  IterationStatement
 Statement class for the iterator loop-construction. More...
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  ExpressionVisitor
class  CollectChangesVisitor
class  CollectDependenciesVisitor
class  StatementBuilder
 Partial implementation of the builder interface, useful for building something with statements that is not a UTAP system. More...
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...
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  progress_t
struct  declarations_t
 Structure holding declarations of various types. More...
struct  instance_t
 Partial instance of a template. More...
struct  template_t
 Information about a template. More...
struct  chan_priority_t
 Channel priority information. More...
class  SystemVisitor
class  TimedAutomataSystem
class  SystemBuilder
 This class constructs a TimedAutomataSystem. More...
class  type_t
 A reference to a type. More...
class  CompileTimeComputableValues
 Visitor which collects all compile time computable symbols. More...
class  TypeChecker
 A visitor which type checks the system it visits. More...

Namespaces

namespace  Constants

Enumerations

enum  xta_part_t {
  S_XTA, S_DECLARATION, S_LOCAL_DECL, S_INST,
  S_SYSTEM, S_PARAMETERS, S_INVARIANT, S_SELECT,
  S_GUARD, S_SYNC, S_ASSIGN, S_EXPRESSION,
  S_PROPERTY
}
 Type for specifying which XTA part to parse (syntax switch). More...
enum  tag_t {
  TAG_NTA, TAG_IMPORTS, TAG_DECLARATION, TAG_TEMPLATE,
  TAG_INSTANTIATION, TAG_SYSTEM, TAG_NAME, TAG_PARAMETER,
  TAG_LOCATION, TAG_INIT, TAG_TRANSITION, TAG_URGENT,
  TAG_COMMITTED, TAG_SOURCE, TAG_TARGET, TAG_LABEL,
  TAG_NAIL, TAG_NONE
}
 Enumeration type for tags. More...

Functions

std::ostream & operator<< (std::ostream &os, const SignalFlow::strs_t &s)
std::ostream & operator<< (std::ostream &os, const SignalFlow::procs_t &ps)
static bool isempty (string str)
 Returns TRUE if string is zero length or contains only white spaces otherwise FALSE.
static bool isAlpha (char c)
static bool isIdChr (char c)
static string symbol (const char *str)
 Extracts the alpha-numerical symbol used for variable/type identifiers.


Enumeration Type Documentation

enum UTAP::xta_part_t

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

Enumerator:
S_XTA 
S_DECLARATION 
S_LOCAL_DECL 
S_INST 
S_SYSTEM 
S_PARAMETERS 
S_INVARIANT 
S_SELECT 
S_GUARD 
S_SYNC 
S_ASSIGN 
S_EXPRESSION 
S_PROPERTY 

enum UTAP::tag_t

Enumeration type for tags.

We use gperf to generate a perfect hash function to map tag strings to one of these tags.

Enumerator:
TAG_NTA 
TAG_IMPORTS 
TAG_DECLARATION 
TAG_TEMPLATE 
TAG_INSTANTIATION 
TAG_SYSTEM 
TAG_NAME 
TAG_PARAMETER 
TAG_LOCATION 
TAG_INIT 
TAG_TRANSITION 
TAG_URGENT 
TAG_COMMITTED 
TAG_SOURCE 
TAG_TARGET 
TAG_LABEL 
TAG_NAIL 
TAG_NONE 


Function Documentation

std::ostream& UTAP::operator<< ( std::ostream &  os,
const SignalFlow::strs_t &  s 
) [inline]

std::ostream& UTAP::operator<< ( std::ostream &  os,
const SignalFlow::procs_t &  ps 
) [inline]

static bool UTAP::isempty ( string  str  )  [static]

Returns TRUE if string is zero length or contains only white spaces otherwise FALSE.

static bool UTAP::isAlpha ( char  c  )  [static]

static bool UTAP::isIdChr ( char  c  )  [static]

static string UTAP::symbol ( const char *  str  )  [static]

Extracts the alpha-numerical symbol used for variable/type identifiers.

Identifier starts with alpha and further might contain digits, white spaces are ignored.

Throws a TypeException is identifier is invalid or a newly allocated string to be destroyed with delete [].


Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7