UTAP::TimedAutomataSystem Class Reference

#include <system.h>

List of all members.

Public Member Functions

 TimedAutomataSystem ()
virtual ~TimedAutomataSystem ()
declarations_tgetGlobals ()
 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_tfindPosition (uint32_t position) const
variable_taddVariableToFunction (function_t *, frame_t, type_t, std::string, expression_t initital)
variable_taddVariable (declarations_t *, type_t type, std::string, expression_t initial)
void addProgressMeasure (declarations_t *, expression_t guard, expression_t measure)
template_taddTemplate (std::string, frame_t params)
instance_taddInstance (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_taddVariable (std::list< variable_t > &variables, frame_t frame, type_t type, std::string)

Protected Attributes

bool hasPriorities
int defaultChanPriority
std::list< chan_priority_tchanPriorities
std::map< std::string, int > procPriority
std::list< template_ttemplates
std::list< instance_tinstances
std::list< instance_tprocesses
declarations_t global
expression_t beforeUpdate
expression_t afterUpdate


Constructor & Destructor Documentation

TimedAutomataSystem::TimedAutomataSystem (  ) 

TimedAutomataSystem::~TimedAutomataSystem (  )  [virtual]


Member Function Documentation

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.


Member Data Documentation

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]


The documentation for this class was generated from the following files:
Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7