#include <systembuilder.h>
Inheritance diagram for UTAP::SystemBuilder:
Public Member Functions | |
SystemBuilder (TimedAutomataSystem *) | |
virtual void | declProgress (bool) |
Guard progress measure declaration. | |
virtual void | procBegin (const char *name) |
virtual void | procEnd () |
virtual void | procState (const char *name, bool hasInvariant) |
Add a state to the current template. | |
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 | 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 | beforeUpdate () |
virtual void | afterUpdate () |
virtual void | incProcPriority () |
virtual void | incChanPriority () |
virtual void | chanPriority () |
virtual void | procPriority (const char *) |
virtual void | defaultChanPriority () |
Protected Member Functions | |
declarations_t * | getCurrentDeclarationBlock () |
virtual variable_t * | addVariable (type_t type, const char *name, expression_t init) |
virtual bool | addFunction (type_t type, const char *name) |
Protected Attributes | |
int32_t | currentChanPriority |
The current channel priority level. | |
int32_t | currentProcPriority |
The current process priority level. | |
edge_t * | currentEdge |
The edge under construction. |
It avoids as much type checking as possible - type checking should be done with the TypeChecker class. However some checks are more convenient to do in SystemBuilder:
Left hand side expressions are assigned the correct type by SystemBuilder; if not it would be difficult to represent dot-expressions.
SystemBuilder does not
Use TypeChecker for these things.
SystemBuilder::SystemBuilder | ( | TimedAutomataSystem * | ) |
bool SystemBuilder::addFunction | ( | type_t | type, | |
const char * | name | |||
) | [protected, virtual] |
Implements UTAP::StatementBuilder.
variable_t * SystemBuilder::addVariable | ( | type_t | type, | |
const char * | name, | |||
expression_t | init | |||
) | [protected, virtual] |
Implements UTAP::StatementBuilder.
void SystemBuilder::afterUpdate | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::beforeUpdate | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::chanPriority | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::declProgress | ( | bool | ) | [virtual] |
Guard progress measure declaration.
Requires two expressions if hasGuard is true, otherwise one.
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::defaultChanPriority | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::done | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
declarations_t * SystemBuilder::getCurrentDeclarationBlock | ( | ) | [protected] |
void SystemBuilder::incChanPriority | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::incProcPriority | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::instantiationBegin | ( | const char * | , | |
size_t | , | |||
const char * | ||||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::instantiationEnd | ( | const char * | , | |
size_t | , | |||
const char * | , | |||
size_t | ||||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procBegin | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procEdgeBegin | ( | const char * | from, | |
const char * | to, | |||
const bool | control | |||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procEdgeEnd | ( | const char * | from, | |
const char * | to | |||
) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procEnd | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::process | ( | const char * | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procGuard | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procPriority | ( | const char * | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procSelect | ( | const char * | id | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procState | ( | const char * | name, | |
bool | hasInvariant | |||
) | [virtual] |
Add a state to the current template.
An invariant expression is expected on and popped from the expression stack if hasInvariant is true.
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procStateCommit | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procStateInit | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procStateUrgent | ( | const char * | name | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
virtual void UTAP::SystemBuilder::procSync | ( | Constants::synchronisation_t | type | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
void SystemBuilder::procUpdate | ( | ) | [virtual] |
Reimplemented from UTAP::AbstractBuilder.
int32_t UTAP::SystemBuilder::currentChanPriority [protected] |
The current channel priority level.
edge_t* UTAP::SystemBuilder::currentEdge [protected] |
The edge under construction.
int32_t UTAP::SystemBuilder::currentProcPriority [protected] |
The current process priority level.