#include <systembuilder.h>
Inheritance diagram for UTAP::SystemBuilder:
Public Member Functions | |
SystemBuilder (TimedAutomataSystem *) | |
virtual void | typeStruct (int32_t prefix, uint32_t fields) |
Used to construct a new struct type, which is then pushed onto the type stack. | |
virtual void | structField (const char *name, uint32_t dim) |
Used to declare the fields of a structure. | |
virtual void | structFieldEnd () |
The end of a number of field declarations of the same type. | |
virtual void | declTypeDef (const char *name, uint32_t dim) |
A type definition. | |
virtual void | declTypeDefEnd () |
End of type definition. | |
virtual void | declVar (const char *name, uint32_t dim, bool init) |
Declare a new variable of the given name. | |
virtual void | declVarEnd () |
At the end of a variable declaration, this method is called in order to pop the type from the type stack. | |
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 | exprCallBegin () |
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 | beforeUpdate () |
virtual void | afterUpdate () |
virtual void | lowPriority (const char *) |
virtual void | samePriority (const char *) |
virtual void | higherPriority (const char *) |
Protected Attributes | |
bool | strict_range |
int32_t | currentPriority |
Static Protected Attributes | |
static const char *const | unsupported |
static 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
|
|
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Guard progress measure declaration. Requires two expressions if hasGuard is true, otherwise one. Reimplemented from UTAP::AbstractBuilder. |
|
A type definition. Assign the name to the given type on the type fragment stack. In case of array types, dim constant expressions are expected on and popped from the expression stack. Reimplemented from UTAP::AbstractBuilder. |
|
End of type definition. Pop type of type stack. Reimplemented from UTAP::AbstractBuilder. |
|
Declare a new variable of the given name. The type is expected to be on the type stack. In case of an array, dim constant expressions are expected on the expression stack. If the variable has an initialiser (the init parameter is true), then an additional constant expression is expected at the top of the expression stack. The expressions will be popped of the stack (the type is left untouched). Reimplemented from UTAP::AbstractBuilder. |
|
At the end of a variable declaration, this method is called in order to pop the type from the type stack.
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::ExpressionBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Used to declare the fields of a structure. The type of the field is expected to be on the type fragment stack, and dim constant expressions are expected on the expression stack (in case of an array field). These will be popped of the stack. Reimplemented from UTAP::AbstractBuilder. |
|
The end of a number of field declarations of the same type. The type must be popped of the type fragment stack. Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Used to construct a new struct type, which is then pushed onto the type stack. The type is based on n fields, which are expected to be on and will be popped off the type stack. Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
Reimplemented from UTAP::AbstractBuilder. |
|
|
|
|
|
|
|
Initial value:
"Internal error: Feature not supported in this mode."
|