Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

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)
 Creates and returns a new template.
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)
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_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 & 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 & TimedAutomataSystem::addTemplate std::string  ,
frame_t  params
 

Creates and returns a new template.

The template is created with the given name and parameters and added to the global frame. The method does not check for duplicate declarations. An instance with the same name and parameters is added as well.

variable_t * TimedAutomataSystem::addVariable std::list< variable_t > &  variables,
frame_t  frame,
type_t  type,
std::string 
[protected]
 

variable_t * TimedAutomataSystem::addVariable declarations_t ,
type_t  type,
std::string  ,
expression_t  initial
 

variable_t * 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
 

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
 

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
 


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 Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2