accept(SystemVisitor &) | UTAP::TimedAutomataSystem | |
addError(position_t, std::string) | UTAP::TimedAutomataSystem | |
addInstance(std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments) | UTAP::TimedAutomataSystem | |
addPosition(uint32_t position, uint32_t offset, uint32_t line, std::string path) | UTAP::TimedAutomataSystem | |
addProcess(instance_t &instance) | UTAP::TimedAutomataSystem | |
addProgressMeasure(declarations_t *, expression_t guard, expression_t measure) | UTAP::TimedAutomataSystem | |
addTemplate(std::string, frame_t params) | UTAP::TimedAutomataSystem | |
addVariable(declarations_t *, type_t type, std::string, expression_t initial) | UTAP::TimedAutomataSystem | |
addVariable(std::list< variable_t > &variables, frame_t frame, type_t type, std::string) | UTAP::TimedAutomataSystem | [protected] |
addVariableToFunction(function_t *, frame_t, type_t, std::string, expression_t initital) | UTAP::TimedAutomataSystem | |
addWarning(position_t, std::string) | UTAP::TimedAutomataSystem | |
afterUpdate | UTAP::TimedAutomataSystem | [protected] |
beforeUpdate | UTAP::TimedAutomataSystem | [protected] |
chanPriorities | UTAP::TimedAutomataSystem | [protected] |
clearErrors() | UTAP::TimedAutomataSystem | |
clearWarnings() | UTAP::TimedAutomataSystem | |
defaultChanPriority | UTAP::TimedAutomataSystem | [protected] |
findPosition(uint32_t position) const | UTAP::TimedAutomataSystem | |
getAfterUpdate() | UTAP::TimedAutomataSystem | |
getBeforeUpdate() | UTAP::TimedAutomataSystem | |
getChanPriorities() const | UTAP::TimedAutomataSystem | |
getErrors() const | UTAP::TimedAutomataSystem | |
getGlobals() | UTAP::TimedAutomataSystem | |
getMutableChanPriorities() | UTAP::TimedAutomataSystem | |
getProcesses() | UTAP::TimedAutomataSystem | |
getProcPriority(const char *name) const | UTAP::TimedAutomataSystem | |
getTauPriority() const | UTAP::TimedAutomataSystem | |
getTemplates() | UTAP::TimedAutomataSystem | |
getWarnings() const | UTAP::TimedAutomataSystem | |
global | UTAP::TimedAutomataSystem | [protected] |
hasErrors() const | UTAP::TimedAutomataSystem | |
hasPriorities | UTAP::TimedAutomataSystem | [protected] |
hasPriorityDeclaration() const | UTAP::TimedAutomataSystem | |
hasWarnings() const | UTAP::TimedAutomataSystem | |
instances | UTAP::TimedAutomataSystem | [protected] |
processes | UTAP::TimedAutomataSystem | [protected] |
procPriority | UTAP::TimedAutomataSystem | [protected] |
setAfterUpdate(expression_t) | UTAP::TimedAutomataSystem | |
setBeforeUpdate(expression_t) | UTAP::TimedAutomataSystem | |
setChanPriority(expression_t chan, int priority) | UTAP::TimedAutomataSystem | |
setDefaultChanPriority(int priority) | UTAP::TimedAutomataSystem | |
setProcPriority(const char *name, int priority) | UTAP::TimedAutomataSystem | |
templates | UTAP::TimedAutomataSystem | [protected] |
TimedAutomataSystem() | UTAP::TimedAutomataSystem | |
~TimedAutomataSystem() | UTAP::TimedAutomataSystem | [virtual] |