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

UTAP::AbstractBuilder Class Reference

#include <abstractbuilder.h>

Inheritance diagram for UTAP::AbstractBuilder:

UTAP::ParserBuilder UTAP::ExpressionBuilder UTAP::PrettyPrinter UTAP::SystemBuilder List of all members.

Public Member Functions

 AbstractBuilder ()
virtual void setErrorHandler (ErrorHandler *)
 Set the error handler to the given handler.
virtual void setPosition (const position_t &)
 Sets the current position.
virtual bool isType (const char *)
 Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.
virtual bool isLocation (const char *)
virtual void typeName (int32_t prefix, const char *name, int range)
 Called when a type name has been parsed.
virtual void typeStruct (int32_t prefix, uint32_t fields)
 Called when a struct-type has been parsed.
virtual void structField (const char *name, uint32_t dim)
 Called to declare a field of a structure.
virtual void structFieldEnd ()
 Called at the end of a series of field declarations of the same type.
virtual void declTypeDef (const char *name, uint32_t dim)
 Used when a typedef declaration was parsed.
virtual void declTypeDefEnd ()
 Called at the end of a series of type name declarations of the same type.
virtual void declVar (const char *name, uint32_t dim, bool init)
 Called to when a variable declaration has been parsed.
virtual void declVarEnd ()
 Called at the end of a series of variable declarations of the same type.
virtual void declInitialiserList (uint32_t num)
virtual void declFieldInit (const char *name)
virtual void declProgress (bool)
 Guard progress measure declaration.
virtual void declParameter (const char *name, bool reference, uint32_t dim)
virtual void declParameterEnd ()
virtual void declFuncBegin (const char *name, uint32_t n)
virtual void declFuncEnd ()
virtual void procTemplateSet (const char *name)
virtual void procBegin (const char *name, uint32_t n, uint32_t m)
virtual void procEnd ()
virtual void procState (const char *name, bool hasInvariant)
virtual void procStateCommit (const char *name)
virtual void procStateUrgent (const char *name)
virtual void procStateWinning (const char *name)
virtual void procStateLosing (const char *name)
virtual void procStateInit (const char *name)
virtual void procEdgeBegin (const char *from, const char *to, const bool control)
virtual void procEdgeEnd (const char *from, const char *to)
virtual void procSelect (const char *id)
virtual void procGuard ()
virtual void procSync (Constants::synchronisation_t type)
virtual void procUpdate ()
virtual void blockBegin ()
virtual void blockEnd ()
virtual void emptyStatement ()
virtual void forBegin ()
virtual void forEnd ()
virtual void iterationBegin (const char *name)
virtual void iterationEnd (const char *name)
virtual void whileBegin ()
virtual void whileEnd ()
virtual void doWhileBegin ()
virtual void doWhileEnd ()
virtual void ifBegin ()
virtual void ifElse ()
virtual void ifEnd (bool)
virtual void breakStatement ()
virtual void continueStatement ()
virtual void switchBegin ()
virtual void switchEnd ()
virtual void caseBegin ()
virtual void caseEnd ()
virtual void defaultBegin ()
virtual void defaultEnd ()
virtual void exprStatement ()
virtual void returnStatement (bool)
virtual void exprTrue ()
virtual void exprFalse ()
virtual void exprId (const char *varName)
virtual void exprNat (int32_t)
virtual void exprCallBegin ()
virtual void exprCallEnd (uint32_t n)
virtual void exprArg (uint32_t n)
virtual void exprArray ()
virtual void exprPostIncrement ()
virtual void exprPreIncrement ()
virtual void exprPostDecrement ()
virtual void exprPreDecrement ()
virtual void exprAssignment (Constants::kind_t op)
virtual void exprUnary (Constants::kind_t unaryop)
virtual void exprBinary (Constants::kind_t binaryop)
virtual void exprInlineIf ()
virtual void exprComma ()
virtual void exprDot (const char *)
virtual void exprDeadlock ()
virtual void exprForAllBegin (const char *name)
virtual void exprForAllEnd (const char *name)
virtual void instantiationBegin (const char *, const char *)
virtual void instantiationEnd (const char *, const char *, uint32_t n)
virtual void process (const char *)
virtual void done ()
virtual void property (Constants::kind_t, int line)
virtual void beforeUpdate ()
virtual void afterUpdate ()
virtual void lowPriority (const char *)
virtual void samePriority (const char *)
virtual void higherPriority (const char *)

Protected Attributes

ErrorHandlererrorHandler
position_t position

Constructor & Destructor Documentation

AbstractBuilder::AbstractBuilder  ) 
 


Member Function Documentation

void AbstractBuilder::afterUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::beforeUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::blockBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::blockEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::breakStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::caseBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::caseEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::continueStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declFieldInit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declFuncBegin const char *  name,
uint32_t  n
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declFuncEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declInitialiserList uint32_t  num  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declParameter const char *  name,
bool  reference,
uint32_t  dim
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declParameterEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declProgress bool   )  [virtual]
 

Guard progress measure declaration.

Requires two expressions if hasGuard is true, otherwise one.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::declTypeDef const char *  name,
uint32_t  dim
[virtual]
 

Used when a typedef declaration was parsed.

name is the name of the new type, and dim is the dimension of array types.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declTypeDefEnd  )  [virtual]
 

Called at the end of a series of type name declarations of the same type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declVar const char *  name,
uint32_t  dim,
bool  init
[virtual]
 

Called to when a variable declaration has been parsed.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::declVarEnd  )  [virtual]
 

Called at the end of a series of variable declarations of the same type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::defaultBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::defaultEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::done  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::doWhileBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::doWhileEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::emptyStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::exprArg uint32_t  n  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprArray  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprAssignment Constants::kind_t  op  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprBinary Constants::kind_t  binaryop  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprCallBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::exprCallEnd uint32_t  n  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprComma  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprDeadlock  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprDot const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprFalse  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprForAllBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprForAllEnd const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprId const char *  varName  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprInlineIf  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprNat int32_t   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPostDecrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPostIncrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPreDecrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprPreIncrement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprStatement  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::exprTrue  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::exprUnary Constants::kind_t  unaryop  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::forBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::forEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::higherPriority const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::ifBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::ifElse  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::ifEnd bool   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::instantiationBegin const char *  ,
const char * 
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::instantiationEnd const char *  ,
const char *  ,
uint32_t  n
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

bool AbstractBuilder::isLocation const char *   )  [virtual]
 

Reimplemented in UTAP::ExpressionBuilder.

bool AbstractBuilder::isType const char *   )  [virtual]
 

Must return true if and only if name is registered in the symbol table as a named type, for instance, "int" or "bool" or a user defined type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::iterationBegin const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::iterationEnd const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::lowPriority const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::procBegin const char *  name,
uint32_t  n,
uint32_t  m
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procEdgeBegin const char *  from,
const char *  to,
const bool  control
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procEdgeEnd const char *  from,
const char *  to
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::process const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procGuard  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procSelect const char *  id  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procState const char *  name,
bool  hasInvariant
[virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateCommit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateInit const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateLosing const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateUrgent const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procStateWinning const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procSync Constants::synchronisation_t  type  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procTemplateSet const char *  name  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::procUpdate  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::property Constants::kind_t  ,
int  line
[virtual]
 

Reimplemented from UTAP::ParserBuilder.

void AbstractBuilder::returnStatement bool   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::samePriority const char *   )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::setErrorHandler ErrorHandler  )  [virtual]
 

Set the error handler to the given handler.

Errors are reported by calling this handler or by throwing a TypeException.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

void AbstractBuilder::setPosition const position_t  )  [virtual]
 

Sets the current position.

The current position indicates where in the input file the current productions can be found.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

void AbstractBuilder::structField const char *  name,
uint32_t  dim
[virtual]
 

Called to declare a field of a structure.

The type of the field has been reported using a typeXXX method prior to the call of structField(). In case of array fields, 'dim' expressions indicating the array sizes have been reported.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::structFieldEnd  )  [virtual]
 

Called at the end of a series of field declarations of the same type.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::switchBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::switchEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::typeName int32_t  prefix,
const char *  name,
int  range
[virtual]
 

Called when a type name has been parsed.

Prefix indicates whether the type named was prefixed (e.g. with 'const'). The range argument indicates whether a range was given for the type (in that case two expressions were reported using the exprXXX methods).

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder, and UTAP::PrettyPrinter.

void AbstractBuilder::typeStruct int32_t  prefix,
uint32_t  fields
[virtual]
 

Called when a struct-type has been parsed.

Prior to the call 'fields' fields must have been declared using the structXXX methods.

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::whileBegin  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.

void AbstractBuilder::whileEnd  )  [virtual]
 

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter, and UTAP::SystemBuilder.


Member Data Documentation

ErrorHandler* UTAP::AbstractBuilder::errorHandler [protected]
 

position_t UTAP::AbstractBuilder::position [protected]
 


The documentation for this class was generated from the following files:
Generated on Thu Nov 10 13:16:12 2005 for libutap by  doxygen 1.4.2