#include <system.h>
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) |
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) |
Sets process priority for process name. | |
int | getProcPriority (const char *name) const |
Returns process priority for process name. | |
bool | hasPriorityDeclaration () const |
Returns true if system has some priority declaration. | |
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 |
TimedAutomataSystem::TimedAutomataSystem | ( | ) |
TimedAutomataSystem::~TimedAutomataSystem | ( | ) | [virtual] |
void TimedAutomataSystem::accept | ( | SystemVisitor & | ) |
void TimedAutomataSystem::addError | ( | position_t | , | |
std::string | ||||
) |
instance_t& UTAP::TimedAutomataSystem::addInstance | ( | std::string | name, | |
instance_t & | instance, | |||
frame_t | params, | |||
const std::vector< expression_t > & | arguments | |||
) |
void TimedAutomataSystem::addPosition | ( | uint32_t | position, | |
uint32_t | offset, | |||
uint32_t | line, | |||
std::string | path | |||
) |
void TimedAutomataSystem::addProcess | ( | instance_t & | instance | ) |
void TimedAutomataSystem::addProgressMeasure | ( | declarations_t * | , | |
expression_t | guard, | |||
expression_t | measure | |||
) |
template_t& UTAP::TimedAutomataSystem::addTemplate | ( | std::string | , | |
frame_t | params | |||
) |
variable_t* UTAP::TimedAutomataSystem::addVariable | ( | std::list< variable_t > & | variables, | |
frame_t | frame, | |||
type_t | type, | |||
std::string | ||||
) | [protected] |
variable_t* UTAP::TimedAutomataSystem::addVariable | ( | declarations_t * | , | |
type_t | type, | |||
std::string | , | |||
expression_t | initial | |||
) |
variable_t* UTAP::TimedAutomataSystem::addVariableToFunction | ( | function_t * | , | |
frame_t | , | |||
type_t | , | |||
std::string | , | |||
expression_t | initital | |||
) |
void TimedAutomataSystem::addWarning | ( | position_t | , | |
std::string | ||||
) |
void TimedAutomataSystem::clearErrors | ( | ) |
void TimedAutomataSystem::clearWarnings | ( | ) |
const Positions::line_t & TimedAutomataSystem::findPosition | ( | uint32_t | position | ) | const |
expression_t TimedAutomataSystem::getAfterUpdate | ( | ) |
expression_t TimedAutomataSystem::getBeforeUpdate | ( | ) |
const std::list< chan_priority_t > & TimedAutomataSystem::getChanPriorities | ( | ) | const |
const vector< UTAP::error_t > & TimedAutomataSystem::getErrors | ( | ) | const |
declarations_t & TimedAutomataSystem::getGlobals | ( | ) |
Returns the global declarations of the system.
std::list< chan_priority_t > & TimedAutomataSystem::getMutableChanPriorities | ( | ) |
list< instance_t > & TimedAutomataSystem::getProcesses | ( | ) |
Returns the processes of the system.
int TimedAutomataSystem::getProcPriority | ( | const char * | name | ) | const |
Returns process priority for process name.
int TimedAutomataSystem::getTauPriority | ( | ) | const |
list< template_t > & TimedAutomataSystem::getTemplates | ( | ) |
Returns the templates of the system.
const vector< UTAP::error_t > & TimedAutomataSystem::getWarnings | ( | ) | const |
bool TimedAutomataSystem::hasErrors | ( | ) | const |
bool TimedAutomataSystem::hasPriorityDeclaration | ( | ) | const |
Returns true if system has some priority declaration.
bool TimedAutomataSystem::hasWarnings | ( | ) | const |
void TimedAutomataSystem::setAfterUpdate | ( | expression_t | ) |
void TimedAutomataSystem::setBeforeUpdate | ( | expression_t | ) |
void TimedAutomataSystem::setChanPriority | ( | expression_t | chan, | |
int | priority | |||
) |
void TimedAutomataSystem::setDefaultChanPriority | ( | int | priority | ) |
void TimedAutomataSystem::setProcPriority | ( | const char * | name, | |
int | priority | |||
) |
Sets process priority for process name.
expression_t UTAP::TimedAutomataSystem::afterUpdate [protected] |
expression_t UTAP::TimedAutomataSystem::beforeUpdate [protected] |
std::list<chan_priority_t> UTAP::TimedAutomataSystem::chanPriorities [protected] |
int UTAP::TimedAutomataSystem::defaultChanPriority [protected] |
declarations_t UTAP::TimedAutomataSystem::global [protected] |
bool UTAP::TimedAutomataSystem::hasPriorities [protected] |
std::list<instance_t> UTAP::TimedAutomataSystem::instances [protected] |
std::list<instance_t> UTAP::TimedAutomataSystem::processes [protected] |
std::map<std::string,int> UTAP::TimedAutomataSystem::procPriority [protected] |
std::list<template_t> UTAP::TimedAutomataSystem::templates [protected] |