#include <builder.hh>
Inheritance diagram for UTAP::ParserBuilder:
Public Member Functions | |
virtual | ~ParserBuilder () |
virtual void | setErrorHandler (ErrorHandler *)=0 |
virtual void | setPosition (const position_t &)=0 |
virtual bool | isType (const char *)=0 |
virtual void | declType (uint32_t prefix, const char *name, bool range)=0 |
virtual void | declStruct (uint32_t prefix, uint32_t fields)=0 |
virtual void | declField (const char *name, uint32_t dim)=0 |
virtual void | declFieldEnd ()=0 |
virtual void | declTypeDef (const char *name, uint32_t dim)=0 |
virtual void | declTypeDefEnd ()=0 |
virtual void | declVar (const char *name, uint32_t dim, bool init)=0 |
virtual void | declVarEnd ()=0 |
virtual void | declInitialiserList (uint32_t num)=0 |
virtual void | declFieldInit (const char *name)=0 |
virtual void | declParameter (const char *name, bool reference, uint32_t dim)=0 |
virtual void | declParameterEnd ()=0 |
virtual void | declFuncBegin (const char *name, uint32_t n)=0 |
virtual void | declFuncEnd ()=0 |
virtual void | procBegin (const char *name, uint32_t n)=0 |
virtual void | procEnd ()=0 |
virtual void | procState (const char *name, bool hasInvariant)=0 |
virtual void | procStateCommit (const char *name)=0 |
virtual void | procStateUrgent (const char *name)=0 |
virtual void | procStateInit (const char *name)=0 |
virtual void | procTransition (const char *from, const char *to)=0 |
virtual void | procGuard ()=0 |
virtual void | procSync (Constants::synchronisation_t type)=0 |
virtual void | procUpdate ()=0 |
virtual void | blockBegin ()=0 |
virtual void | blockEnd ()=0 |
virtual void | emptyStatement ()=0 |
virtual void | forBegin ()=0 |
virtual void | forEnd ()=0 |
virtual void | whileBegin ()=0 |
virtual void | whileEnd ()=0 |
virtual void | doWhileBegin ()=0 |
virtual void | doWhileEnd ()=0 |
virtual void | ifBegin ()=0 |
virtual void | ifElse ()=0 |
virtual void | ifEnd (bool)=0 |
virtual void | breakStatement ()=0 |
virtual void | continueStatement ()=0 |
virtual void | switchBegin ()=0 |
virtual void | switchEnd ()=0 |
virtual void | caseBegin ()=0 |
virtual void | caseEnd ()=0 |
virtual void | defaultBegin ()=0 |
virtual void | defaultEnd ()=0 |
virtual void | exprStatement ()=0 |
virtual void | returnStatement (bool)=0 |
virtual void | exprFalse ()=0 |
virtual void | exprTrue ()=0 |
virtual void | exprId (const char *varName)=0 |
virtual void | exprNat (int32_t)=0 |
virtual void | exprCallBegin (const char *functionName)=0 |
virtual void | exprCallEnd (uint32_t n)=0 |
virtual void | exprArg (uint32_t n)=0 |
virtual void | exprArray ()=0 |
virtual void | exprPostIncrement ()=0 |
virtual void | exprPreIncrement ()=0 |
virtual void | exprPostDecrement ()=0 |
virtual void | exprPreDecrement ()=0 |
virtual void | exprAssignment (Constants::kind_t op)=0 |
virtual void | exprUnary (Constants::kind_t unaryop)=0 |
virtual void | exprBinary (Constants::kind_t binaryop)=0 |
virtual void | exprInlineIf ()=0 |
virtual void | exprComma ()=0 |
virtual void | exprDot (const char *)=0 |
virtual void | exprDeadlock ()=0 |
virtual void | instantiationBegin (const char *id, const char *templ)=0 |
virtual void | instantiationEnd (const char *id, const char *templ, uint32_t n)=0 |
virtual void | process (const char *)=0 |
virtual void | done ()=0 |
virtual void | quit () |
virtual void | property (Constants::kind_t kind, int line) |
virtual void | beforeUpdate ()=0 |
virtual void | afterUpdate ()=0 |
Static Public Attributes | |
const uint32_t | PREFIX_NONE = 0 |
const uint32_t | PREFIX_CONST = 1 |
const uint32_t | PREFIX_URGENT = 2 |
const uint32_t | PREFIX_BROADCAST = 4 |
const uint32_t | PREFIX_URGENT_BROADCAST |
|
|
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::SystemBuilder. |
|
Implemented in UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Reimplemented in UTAP::SystemBuilder. |
|
|
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
Implemented in UTAP::OldTypeChecker, and UTAP::SystemBuilder. |
|
|
|
|
|
|
|
|
|
Initial value: |