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

UTAP::TimedAutomataSystem Class Reference

#include <system.hh>

List of all members.

Public Member Functions

 TimedAutomataSystem ()
virtual ~TimedAutomataSystem ()
std::list< template_t > & getTemplates ()
std::list< process_t > & getProcesses ()
template_tgetGlobals ()
void setDeclarationBlock (declarations_t *)
variable_taddVariable (type_t type, const char *name, expression_t initial)
bool addFunction (type_t type, const char *name, function_t *&)
template_taddTemplate (const char *name, frame_t params)
 Creates and returns a new template.

state_taddLocation (const char *name, expression_t inv)
transition_taddTransition (symbol_t src, symbol_t dst)
instance_taddInstance (const char *name, const template_t *)
process_taddProcess (symbol_t uid)
void accept (SystemVisitor &)
const std::set< symbol_t > & getConstants () const
const std::map< symbol_t,
expression_t
getConstantValuation () const

Protected Attributes

std::list< template_ttemplates
std::list< instance_tinstances
std::list< process_tprocesses
std::set< symbol_tconstants
std::map< symbol_t, expression_tconstantValuation
template_t global
declarations_tcurrent


Constructor & Destructor Documentation

TimedAutomataSystem::TimedAutomataSystem  ) 
 

TimedAutomataSystem::~TimedAutomataSystem  )  [virtual]
 


Member Function Documentation

void TimedAutomataSystem::accept SystemVisitor  ) 
 

bool TimedAutomataSystem::addFunction type_t  type,
const char *  name,
function_t *& 
 

instance_t & TimedAutomataSystem::addInstance const char *  name,
const template_t
 

state_t & TimedAutomataSystem::addLocation const char *  name,
expression_t  inv
 

process_t & TimedAutomataSystem::addProcess symbol_t  uid  ) 
 

template_t & TimedAutomataSystem::addTemplate const char *  name,
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 new template is set to be the current template. The method does not check for duplicate declarations.

transition_t & TimedAutomataSystem::addTransition symbol_t  src,
symbol_t  dst
 

variable_t * TimedAutomataSystem::addVariable type_t  type,
const char *  name,
expression_t  initial
 

const set< symbol_t > & TimedAutomataSystem::getConstants  )  const
 

const map< symbol_t, expression_t > TimedAutomataSystem::getConstantValuation  )  const
 

template_t & TimedAutomataSystem::getGlobals  ) 
 

list< process_t > & TimedAutomataSystem::getProcesses  ) 
 

list< template_t > & TimedAutomataSystem::getTemplates  ) 
 

void TimedAutomataSystem::setDeclarationBlock declarations_t  ) 
 


Member Data Documentation

std::set<symbol_t> UTAP::TimedAutomataSystem::constants [protected]
 

std::map<symbol_t, expression_t> UTAP::TimedAutomataSystem::constantValuation [protected]
 

declarations_t* UTAP::TimedAutomataSystem::current [protected]
 

template_t UTAP::TimedAutomataSystem::global [protected]
 

std::list<instance_t> UTAP::TimedAutomataSystem::instances [protected]
 

std::list<process_t> UTAP::TimedAutomataSystem::processes [protected]
 

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


The documentation for this class was generated from the following files:
Generated on Sat May 15 12:33:43 2004 for libutap by doxygen 1.3.7