UTAP::AbstractBuilder Class Reference

#include <abstractbuilder.h>

Inheritance diagram for UTAP::AbstractBuilder:

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

Public Member Functions

 AbstractBuilder ()
virtual void setPosition (uint32_t, uint32_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 void typeDuplicate ()
 Duplicate type at the top of the type stack.
virtual void typePop ()
 Pop type at the topof the type stack.
virtual void typeBool (PREFIX)
virtual void typeInt (PREFIX)
virtual void typeBoundedInt (PREFIX)
virtual void typeChannel (PREFIX)
virtual void typeClock ()
 Called whenever a clock type is parsed.
virtual void typeVoid ()
 Called whenever a void type is parsed.
virtual void typeScalar (PREFIX)
virtual void typeName (PREFIX, const char *name)
virtual void typeStruct (PREFIX, uint32_t fields)
virtual void typeArrayOfSize (size_t)
 Called to create an array type.
virtual void typeArrayOfType (size_t)
 Called to create an array type.
virtual void structField (const char *name)
 Called to declare a field of a structure.
virtual void declTypeDef (const char *name)
 Used when a typedef declaration was parsed.
virtual void declVar (const char *name, bool init)
 Called to when a variable declaration has been parsed.
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)
virtual void declFuncBegin (const char *name)
virtual void declFuncEnd ()
virtual void procBegin (const char *name)
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 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 assertStatement ()
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 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 exprTernary (Constants::kind_t ternaryop, bool firstMissing)
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 exprExistsBegin (const char *name)
virtual void exprExistsEnd (const char *name)
virtual void instantiationBegin (const char *, size_t, const char *)
virtual void instantiationEnd (const char *, size_t, const char *, size_t)
virtual void process (const char *)
virtual void done ()
virtual void property ()
virtual void paramProperty (size_t, Constants::kind_t)
virtual void declParamId (const char *)
virtual void beforeUpdate ()
virtual void afterUpdate ()
virtual void incProcPriority ()
virtual void incChanPriority ()
virtual void chanPriority ()
virtual void procPriority (const char *)
virtual void defaultChanPriority ()
virtual void ssQueryBegin ()
virtual void ssQueryEnd ()

Protected Attributes

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::assertStatement (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::StatementBuilder.

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::StatementBuilder.

void AbstractBuilder::blockEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::breakStatement (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

void AbstractBuilder::caseBegin (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::caseEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::chanPriority (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::continueStatement (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::PrettyPrinter.

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

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::declFuncBegin ( const char *  name  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::declFuncEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::declInitialiserList ( uint32_t  num  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::declParameter ( const char *  name,
bool   
) [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::declParamId ( const char *   )  [virtual]

Implements UTAP::ParserBuilder.

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  )  [virtual]

Used when a typedef declaration was parsed.

name is the name of the new type.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::declVar ( const char *  name,
bool  init 
) [virtual]

Called to when a variable declaration has been parsed.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::defaultBegin (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::defaultChanPriority (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::defaultEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

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::StatementBuilder.

void AbstractBuilder::doWhileEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::emptyStatement (  )  [virtual]

Implements UTAP::ParserBuilder.

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

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::StatementBuilder.

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::exprExistsBegin ( const char *  name  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::exprExistsEnd ( const char *  name  )  [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::StatementBuilder.

void AbstractBuilder::exprTernary ( Constants::kind_t  ternaryop,
bool  firstMissing 
) [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::ExpressionBuilder.

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::StatementBuilder.

void AbstractBuilder::forEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::ifBegin (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::ifElse (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::ifEnd ( bool   )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::incChanPriority (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::incProcPriority (  )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in UTAP::SystemBuilder.

void AbstractBuilder::instantiationBegin ( const char *  ,
size_t  ,
const char *   
) [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::instantiationEnd ( const char *  ,
size_t  ,
const char *  ,
size_t   
) [virtual]

Implements UTAP::ParserBuilder.

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

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::StatementBuilder.

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

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::paramProperty ( size_t  ,
Constants::kind_t   
) [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::procBegin ( const char *  name  )  [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::procPriority ( const char *   )  [virtual]

Implements UTAP::ParserBuilder.

Reimplemented in 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::procStateUrgent ( 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::procUpdate (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::property (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::returnStatement ( bool   )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::setPosition ( uint32_t  ,
uint32_t   
) [virtual]

Sets the current position.

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

Implements UTAP::ParserBuilder.

void AbstractBuilder::ssQueryBegin (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::ssQueryEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::structField ( const char *  name  )  [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::StatementBuilder.

void AbstractBuilder::switchBegin (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::switchEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

void AbstractBuilder::typeArrayOfSize ( size_t   )  [virtual]

Called to create an array type.

The size of the array was previously pushed as an expression.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::typeArrayOfType ( size_t   )  [virtual]

Called to create an array type.

The size of the array was previously pushed as a type.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::typeBool ( PREFIX   )  [virtual]

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

void AbstractBuilder::typeBoundedInt ( PREFIX   )  [virtual]

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

void AbstractBuilder::typeChannel ( PREFIX   )  [virtual]

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

void AbstractBuilder::typeClock (  )  [virtual]

Called whenever a clock type is parsed.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::typeDuplicate (  )  [virtual]

Duplicate type at the top of the type stack.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::typeInt ( PREFIX   )  [virtual]

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

void AbstractBuilder::typeName ( PREFIX  ,
const char *  name 
) [virtual]

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

void AbstractBuilder::typePop (  )  [virtual]

Pop type at the topof the type stack.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::typeScalar ( PREFIX   )  [virtual]

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

void AbstractBuilder::typeStruct ( PREFIX  ,
uint32_t  fields 
) [virtual]

Reimplemented in UTAP::StatementBuilder.

void AbstractBuilder::typeVoid (  )  [virtual]

Called whenever a void type is parsed.

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::whileBegin (  )  [virtual]

Implements UTAP::ParserBuilder.

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

void AbstractBuilder::whileEnd (  )  [virtual]

Implements UTAP::ParserBuilder.

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


Member Data Documentation

position_t UTAP::AbstractBuilder::position [protected]


The documentation for this class was generated from the following files:
Generated on Thu Feb 22 14:46:52 2007 for libutap by  doxygen 1.4.7