libutap
Public Member Functions | Public Attributes | Protected Member Functions | Protected Attributes | List of all members
UTAP::TimedAutomataSystem Class Reference

#include <system.h>

Public Member Functions

 TimedAutomataSystem ()
 
 TimedAutomataSystem (const TimedAutomataSystem &)
 
virtual ~TimedAutomataSystem ()
 
declarations_tgetGlobals ()
 Returns the global declarations of the system. More...
 
std::list< template_t > & getTemplates ()
 Returns the templates of the system. More...
 
std::vector< template_t * > & getDynamicTemplates ()
 
template_tgetDynamicTemplate (const std::string name)
 
std::list< instance_t > & getProcesses ()
 Returns the processes of the system. More...
 
queries_tgetQueries ()
 Returns the queries enclosed in the model. More...
 
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, const bool isTA=true, const std::string type="", const std::string mode="")
 Creates and returns a new template. More...
 
template_taddDynamicTemplate (std::string, frame_t params)
 
instance_taddInstance (std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments)
 
instance_taddLscInstance (std::string name, instance_t &instance, frame_t params, const std::vector< expression_t > &arguments)
 
void removeProcess (instance_t &instance)
 
void copyVariablesFromTo (template_t *from, template_t *to) const
 
void copyFunctionsFromTo (template_t *from, template_t *to) const
 
void addProcess (instance_t &instance)
 
void addGantt (declarations_t *, gantt_t &)
 
void accept (SystemVisitor &)
 
void setBeforeUpdate (expression_t)
 
expression_t getBeforeUpdate ()
 
void setAfterUpdate (expression_t)
 
expression_t getAfterUpdate ()
 
void addQuery (const query_t &query)
 
bool queriesEmpty ()
 
void beginChanPriority (expression_t chan)
 
void addChanPriority (char separator, expression_t chan)
 
const std::list
< chan_priority_t > & 
getChanPriorities () const
 
std::list< chan_priority_t > & getMutableChanPriorities ()
 
void setProcPriority (const char *name, int priority)
 Sets process priority for process name. More...
 
int getProcPriority (const char *name) const
 Returns process priority for process name. More...
 
bool hasPriorityDeclaration () const
 Returns true if system has some priority declaration. More...
 
bool hasStrictInvariants () const
 Returns true if system has some strict invariant. More...
 
void recordStrictInvariant ()
 Record that the system has some strict invariant. More...
 
bool hasStopWatch () const
 Returns true if the system stops any clock. More...
 
void recordStopWatch ()
 Record that the system stops a clock. More...
 
bool hasStrictLowerBoundOnControllableEdges () const
 Returns true if the system has guards on controllable edges with strict lower bounds. More...
 
void recordStrictLowerBoundOnControllableEdges ()
 Record that the system has guards on controllable edges with strict lower bounds. More...
 
void clockGuardRecvBroadcast ()
 
bool hasClockGuardRecvBroadcast () const
 
void setSyncUsed (int s)
 
int getSyncUsed () const
 
void setUrgentTransition ()
 
bool hasUrgentTransition () const
 
bool hasDynamicTemplates () const
 
void addError (position_t, std::string, std::string location="")
 
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 ()
 
bool isModified () const
 
void setModified (bool mod)
 
iodecl_taddIODecl ()
 

Public Attributes

std::string obsTA
 

Protected Member Functions

variable_taddVariable (std::list< variable_t > &variables, frame_t frame, type_t type, std::string)
 

Protected Attributes

bool hasUrgentTrans
 
bool hasPriorities
 
bool hasStrictInv
 
bool stopsClock
 
bool hasStrictLowControlledGuards
 
bool hasGuardOnRecvBroadcast
 
int defaultChanPriority
 
std::list< chan_priority_tchanPriorities
 
std::map< std::string, int > procPriority
 
int syncUsed
 
std::list< template_ttemplates
 
std::list< template_tdynamicTemplates
 
std::vector< template_t * > dynamicTemplatesVec
 
std::list< instance_tinstances
 
std::list< instance_tlscInstances
 
bool modified
 
std::list< instance_tprocesses
 
declarations_t global
 
expression_t beforeUpdate
 
expression_t afterUpdate
 
queries_t queries
 
std::string location
 

Constructor & Destructor Documentation

TimedAutomataSystem::TimedAutomataSystem ( )
TimedAutomataSystem::TimedAutomataSystem ( const TimedAutomataSystem ta)
TimedAutomataSystem::~TimedAutomataSystem ( )
virtual

Member Function Documentation

void TimedAutomataSystem::accept ( SystemVisitor visitor)
void TimedAutomataSystem::addChanPriority ( char  separator,
expression_t  chan 
)
template_t & TimedAutomataSystem::addDynamicTemplate ( std::string  name,
frame_t  params 
)
void TimedAutomataSystem::addError ( position_t  position,
std::string  msg,
std::string  location = "" 
)
void TimedAutomataSystem::addGantt ( declarations_t context,
gantt_t g 
)
instance_t & TimedAutomataSystem::addInstance ( std::string  name,
instance_t instance,
frame_t  params,
const std::vector< expression_t > &  arguments 
)
iodecl_t * TimedAutomataSystem::addIODecl ( )
instance_t & TimedAutomataSystem::addLscInstance ( 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 context,
expression_t  guard,
expression_t  measure 
)
void TimedAutomataSystem::addQuery ( const query_t query)

References queries.

Referenced by UTAP::SystemBuilder::queryEnd().

template_t & TimedAutomataSystem::addTemplate ( std::string  ,
frame_t  params,
const bool  isTA = true,
const std::string  type = "",
const std::string  mode = "" 
)

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.

References UTAP::frame_t::add(), UTAP::frame_t::addSymbol(), UTAP::instance_t::arguments, UTAP::frame_t::createFrame(), UTAP::type_t::createInstance(), UTAP::type_t::createLscInstance(), UTAP::template_t::dynamic, UTAP::declarations_t::frame, UTAP::frame_t::getSize(), global, UTAP::template_t::isTA, UTAP::template_t::mode, UTAP::instance_t::parameters, UTAP::instance_t::templ, templates, UTAP::template_t::type, UTAP::instance_t::uid, and UTAP::instance_t::unbound.

Referenced by UTAP::SystemBuilder::procBegin().

variable_t* UTAP::TimedAutomataSystem::addVariable ( declarations_t ,
type_t  type,
std::string  ,
expression_t  initial 
)
variable_t* UTAP::TimedAutomataSystem::addVariable ( std::list< variable_t > &  variables,
frame_t  frame,
type_t  type,
std::string   
)
protected
variable_t * TimedAutomataSystem::addVariableToFunction ( function_t ,
frame_t  ,
type_t  ,
std::string  ,
expression_t  initital 
)
void TimedAutomataSystem::addWarning ( position_t  position,
std::string  msg 
)
void TimedAutomataSystem::beginChanPriority ( expression_t  chan)
void TimedAutomataSystem::clearErrors ( )
void TimedAutomataSystem::clearWarnings ( )
void UTAP::TimedAutomataSystem::clockGuardRecvBroadcast ( )
inline
void TimedAutomataSystem::copyFunctionsFromTo ( template_t from,
template_t to 
) const
void TimedAutomataSystem::copyVariablesFromTo ( template_t from,
template_t to 
) const
const Positions::line_t & TimedAutomataSystem::findPosition ( uint32_t  position) const
expression_t TimedAutomataSystem::getAfterUpdate ( )

References afterUpdate.

Referenced by UTAP::TypeChecker::TypeChecker().

expression_t TimedAutomataSystem::getBeforeUpdate ( )

References beforeUpdate.

Referenced by UTAP::TypeChecker::TypeChecker().

const std::list< chan_priority_t > & TimedAutomataSystem::getChanPriorities ( ) const
template_t * TimedAutomataSystem::getDynamicTemplate ( const std::string  name)
std::vector< template_t * > & TimedAutomataSystem::getDynamicTemplates ( )
const vector< UTAP::error_t > & TimedAutomataSystem::getErrors ( ) const

Referenced by main().

declarations_t & TimedAutomataSystem::getGlobals ( )
std::list< chan_priority_t > & TimedAutomataSystem::getMutableChanPriorities ( )

References chanPriorities.

list< instance_t > & TimedAutomataSystem::getProcesses ( )

Returns the processes of the system.

References processes.

Referenced by UTAP::SignalFlow::SignalFlow(), and UTAP::XMLWriter::system_instantiation().

int TimedAutomataSystem::getProcPriority ( const char *  name) const

Returns process priority for process name.

References procPriority.

queries_t & TimedAutomataSystem::getQueries ( )

Returns the queries enclosed in the model.

References queries.

int UTAP::TimedAutomataSystem::getSyncUsed ( ) const
inline

References syncUsed.

list< template_t > & TimedAutomataSystem::getTemplates ( )

Returns the templates of the system.

References templates.

Referenced by UTAP::XMLWriter::project().

const vector< UTAP::error_t > & TimedAutomataSystem::getWarnings ( ) const

Referenced by main().

bool UTAP::TimedAutomataSystem::hasClockGuardRecvBroadcast ( ) const
inline
bool UTAP::TimedAutomataSystem::hasDynamicTemplates ( ) const
inline

References dynamicTemplates.

bool TimedAutomataSystem::hasErrors ( ) const
bool TimedAutomataSystem::hasPriorityDeclaration ( ) const

Returns true if system has some priority declaration.

References hasPriorities.

bool TimedAutomataSystem::hasStopWatch ( ) const

Returns true if the system stops any clock.

References stopsClock.

bool TimedAutomataSystem::hasStrictInvariants ( ) const

Returns true if system has some strict invariant.

References hasStrictInv.

bool TimedAutomataSystem::hasStrictLowerBoundOnControllableEdges ( ) const

Returns true if the system has guards on controllable edges with strict lower bounds.

References hasStrictLowControlledGuards.

bool UTAP::TimedAutomataSystem::hasUrgentTransition ( ) const
inline

References hasUrgentTrans.

bool TimedAutomataSystem::hasWarnings ( ) const
bool TimedAutomataSystem::isModified ( ) const

References modified.

bool TimedAutomataSystem::queriesEmpty ( )

References queries.

void TimedAutomataSystem::recordStopWatch ( )

Record that the system stops a clock.

References stopsClock.

Referenced by UTAP::TypeChecker::visitState().

void TimedAutomataSystem::recordStrictInvariant ( )

Record that the system has some strict invariant.

References hasStrictInv.

Referenced by UTAP::TypeChecker::visitState().

void TimedAutomataSystem::recordStrictLowerBoundOnControllableEdges ( )

Record that the system has guards on controllable edges with strict lower bounds.

References hasStrictLowControlledGuards.

Referenced by UTAP::TypeChecker::visitEdge().

void TimedAutomataSystem::removeProcess ( instance_t instance)
void TimedAutomataSystem::setAfterUpdate ( expression_t  e)

References afterUpdate.

Referenced by UTAP::SystemBuilder::afterUpdate().

void TimedAutomataSystem::setBeforeUpdate ( expression_t  e)
void TimedAutomataSystem::setModified ( bool  mod)

References modified.

void TimedAutomataSystem::setProcPriority ( const char *  name,
int  priority 
)

Sets process priority for process name.

References hasPriorities, and procPriority.

Referenced by UTAP::SystemBuilder::procPriority().

void UTAP::TimedAutomataSystem::setSyncUsed ( int  s)
inline

References syncUsed.

Referenced by UTAP::TypeChecker::visitIODecl().

void UTAP::TimedAutomataSystem::setUrgentTransition ( )
inline

References hasUrgentTrans.

Referenced by UTAP::TypeChecker::visitEdge().

Member Data Documentation

expression_t UTAP::TimedAutomataSystem::afterUpdate
protected

Referenced by getAfterUpdate(), and setAfterUpdate().

expression_t UTAP::TimedAutomataSystem::beforeUpdate
protected

Referenced by getBeforeUpdate(), and setBeforeUpdate().

std::list<chan_priority_t> UTAP::TimedAutomataSystem::chanPriorities
protected
int UTAP::TimedAutomataSystem::defaultChanPriority
protected

Referenced by TimedAutomataSystem().

std::list<template_t> UTAP::TimedAutomataSystem::dynamicTemplates
protected
std::vector<template_t*> UTAP::TimedAutomataSystem::dynamicTemplatesVec
protected

Referenced by getDynamicTemplates().

declarations_t UTAP::TimedAutomataSystem::global
protected
bool UTAP::TimedAutomataSystem::hasGuardOnRecvBroadcast
protected
bool UTAP::TimedAutomataSystem::hasPriorities
protected
bool UTAP::TimedAutomataSystem::hasStrictInv
protected
bool UTAP::TimedAutomataSystem::hasStrictLowControlledGuards
protected
bool UTAP::TimedAutomataSystem::hasUrgentTrans
protected
std::list<instance_t> UTAP::TimedAutomataSystem::instances
protected
std::string UTAP::TimedAutomataSystem::location
protected

Referenced by addError().

std::list<instance_t> UTAP::TimedAutomataSystem::lscInstances
protected

Referenced by addLscInstance().

bool UTAP::TimedAutomataSystem::modified
protected
std::string UTAP::TimedAutomataSystem::obsTA
std::list<instance_t> UTAP::TimedAutomataSystem::processes
protected
std::map<std::string,int> UTAP::TimedAutomataSystem::procPriority
protected

Referenced by getProcPriority(), and setProcPriority().

queries_t UTAP::TimedAutomataSystem::queries
protected

Referenced by addQuery(), getQueries(), and queriesEmpty().

bool UTAP::TimedAutomataSystem::stopsClock
protected
int UTAP::TimedAutomataSystem::syncUsed
protected

Referenced by getSyncUsed(), and setSyncUsed().

std::list<template_t> UTAP::TimedAutomataSystem::templates
protected

Referenced by accept(), addTemplate(), and getTemplates().


The documentation for this class was generated from the following files: