|
Public Member Functions |
| TimedAutomataSystem () |
virtual | ~TimedAutomataSystem () |
declarations_t & | getGlobals () |
| Returns the global declarations of the system.
|
std::list< template_t > & | getTemplates () |
| Returns the templates of the system.
|
std::list< instance_t > & | getProcesses () |
| Returns the processes of the system.
|
void | addPosition (uint32_t position, uint32_t offset, uint32_t line, std::string path) |
const Positions::line_t & | findPosition (uint32_t position) const |
variable_t * | addVariableToFunction (function_t *, frame_t, type_t, std::string, expression_t initital) |
variable_t * | addVariable (declarations_t *, type_t type, std::string, expression_t initial) |
void | addProgressMeasure (declarations_t *, expression_t guard, expression_t measure) |
template_t & | addTemplate (std::string, frame_t params) |
| Creates and returns a new template.
|
instance_t & | addInstance (std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments) |
void | addProcess (instance_t &instance) |
void | accept (SystemVisitor &) |
void | setBeforeUpdate (expression_t) |
expression_t | getBeforeUpdate () |
void | setAfterUpdate (expression_t) |
expression_t | getAfterUpdate () |
void | setChanPriority (expression_t chan, int priority) |
const std::list< chan_priority_t > & | getChanPriorities () const |
std::list< chan_priority_t > & | getMutableChanPriorities () |
void | setDefaultChanPriority (int priority) |
int | getTauPriority () const |
void | setProcPriority (const char *name, int priority) |
int | getProcPriority (const char *name) const |
bool | hasPriorityDeclaration () const |
void | addError (position_t, std::string) |
void | addWarning (position_t, std::string) |
bool | hasErrors () const |
bool | hasWarnings () const |
const std::vector< error_t > & | getErrors () const |
const std::vector< error_t > & | getWarnings () const |
void | clearErrors () |
void | clearWarnings () |
Protected Member Functions |
variable_t * | addVariable (std::list< variable_t > &variables, frame_t frame, type_t type, std::string) |
Protected Attributes |
bool | hasPriorities |
int | defaultChanPriority |
std::list< chan_priority_t > | chanPriorities |
std::map< std::string, int > | procPriority |
std::list< template_t > | templates |
std::list< instance_t > | instances |
std::list< instance_t > | processes |
declarations_t | global |
expression_t | beforeUpdate |
expression_t | afterUpdate |