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

UTAP Namespace Reference

Class IOInterface 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...


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  XPath
struct  position_t
class  ErrorHandler
class  expression_t
 A reference to an expression. More...
class  InterpreterException
class  Interpreter
class  ExpressionBuilder
class  IOInterface
 The system must be built by TypeChecker/SystemBuilder before IOInterface. More...
class  PrettyPrinter
class  Statement
class  EmptyStatement
class  ExprStatement
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  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_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_WINNING, TAG_LOSING, TAG_SOURCE,
  TAG_TARGET, TAG_LABEL, TAG_NAIL
}
 Enumeration type for tags. More...

Functions

std::ostream & operator<< (std::ostream &out, const TypeException &exc)
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.


Detailed Description

Class IOInterface 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.

The result can be processed by the dot (graphviz.org) to produce a "human-readable" picture. The other (tron) format is used in TRON project. Feel free to add more "formats" and/or tune the dot output.

Author: Marius Mikucionis <marius@cs.aau.dk>


Enumeration Type Documentation

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.

Enumeration values:
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_WINNING 
TAG_LOSING 
TAG_SOURCE 
TAG_TARGET 
TAG_LABEL 
TAG_NAIL 

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_SELECT 
S_GUARD 
S_SYNC 
S_ASSIGN 
S_EXPRESSION 
S_PROPERTY 


Function Documentation

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

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

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

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

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

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 Nov 10 13:16:12 2005 for libutap by  doxygen 1.4.2