#include <systembuilder.hh>
Inheritance diagram for UTAP::SystemBuilder:
Public Member Functions | |
SystemBuilder (TimedAutomataSystem *) | |
virtual void | setErrorHandler (ErrorHandler *) |
virtual void | setPosition (const position_t &) |
virtual bool | isType (const char *) |
virtual bool | isLocation (const char *) |
virtual void | declType (uint32_t prefix, const char *name, bool range) |
virtual void | declStruct (uint32_t prefix, uint32_t fields) |
virtual void | declField (const char *name, uint32_t dim) |
virtual void | declFieldEnd () |
virtual void | declTypeDef (const char *name, uint32_t dim) |
virtual void | declTypeDefEnd () |
virtual void | declVar (const char *name, uint32_t dim, bool init) |
virtual void | declVarEnd () |
virtual void | declInitialiserList (uint32_t num) |
virtual void | declFieldInit (const char *name) |
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 | procBegin (const char *name, uint32_t n) |
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 | procTransition (const char *from, const char *to) |
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 | 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 (const char *functionName) |
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 | 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 () |
Protected Member Functions | |
virtual bool | allowProcessReferences () |
virtual void | property (Constants::kind_t, int line, expression_t) |
Protected Attributes | |
bool | strict_range |
TimedAutomataSystem * | system |
ErrorHandler * | errorHandler |
position_t | position |
Static Protected Attributes | |
const char *const | unsupported |
const char *const | invalid_type = "Invalid type" |
It categorizes declarations into clocks, constants, channels, functions, processes, variables, type names, states and templates.
It knows about arrays and structures. It does resolve the scope of identifiers. It knows about named types.
It checks that
It does not
Property expressions are constructed, but the SystemBuilder class must be subtyped in order actually get access to the properties as they are not stored otherwise.
|
|
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Reimplemented from UTAP::ParserBuilder. |
|
|
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
|
|
|
|
|
|
|
|
Initial value:
"Internal error: Feature not supported in this mode."
|