#include <systembuilder.hh>
Inheritance diagram for UTAP::SystemBuilder:
Public Member Functions | |
SystemBuilder (TimedAutomataSystem *) | |
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 *) |
Returns true if and only if the given name has is a location. | |
virtual void | typeName (int32_t prefix, const char *name, bool range) |
Push a new type onto the type stack. | |
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 | 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. |
|
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. Implements UTAP::ParserBuilder. |
|
End of type definition. Pop type of type stack. Implements UTAP::ParserBuilder. |
|
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). Implements UTAP::ParserBuilder. |
|
At the end of a variable declaration, this method is called in order to pop the type from the type stack.
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. |
|
Returns true if and only if the given name has is a location.
|
|
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. |
|
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. |
|
Set the error handler to the given handler. Errors are reported by calling this handler or by throwing a TypeException. Implements UTAP::ParserBuilder. |
|
Sets the current position. The current position indicates where in the input file the current productions can be found. Implements UTAP::ParserBuilder. |
|
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. Implements UTAP::ParserBuilder. |
|
The end of a number of field declarations of the same type. The type must be popped of the type fragment stack. Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Push a new type onto the type stack. This type might subsequently be used to declare e.g. variables. If range is true, then we expect two expressions on the expression stack encoding the beginning and end of the range. These fragments will be popped from the expression stack. Implements UTAP::ParserBuilder. |
|
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. Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
Implements UTAP::ParserBuilder. |
|
|
|
|
|
|
|
|
|
|
|
Initial value:
|