UTAP::SystemBuilder Class Reference

This class constructs a TimedAutomataSystem. More...

#include <systembuilder.h>

Inheritance diagram for UTAP::SystemBuilder:

UTAP::StatementBuilder UTAP::ExpressionBuilder UTAP::AbstractBuilder UTAP::ParserBuilder List of all members.

Public Member Functions

 SystemBuilder (TimedAutomataSystem *)
virtual void declProgress (bool)
 Guard progress measure declaration.
virtual void procBegin (const char *name)
virtual void procEnd ()
virtual void procState (const char *name, bool hasInvariant)
 Add a state to the current template.
virtual void procStateCommit (const char *name)
virtual void procStateUrgent (const char *name)
virtual void procStateInit (const char *name)
virtual void procEdgeBegin (const char *from, const char *to, const bool control)
virtual void procEdgeEnd (const char *from, const char *to)
virtual void procSelect (const char *id)
virtual void procGuard ()
virtual void procSync (Constants::synchronisation_t type)
virtual void procUpdate ()
virtual void instantiationBegin (const char *, size_t, const char *)
virtual void instantiationEnd (const char *, size_t, const char *, size_t)
virtual void process (const char *)
virtual void done ()
virtual void beforeUpdate ()
virtual void afterUpdate ()
virtual void incProcPriority ()
virtual void incChanPriority ()
virtual void chanPriority ()
virtual void procPriority (const char *)
virtual void defaultChanPriority ()

Protected Member Functions

declarations_tgetCurrentDeclarationBlock ()
virtual variable_taddVariable (type_t type, const char *name, expression_t init)
virtual bool addFunction (type_t type, const char *name)

Protected Attributes

int32_t currentChanPriority
 The current channel priority level.
int32_t currentProcPriority
 The current process priority level.
edge_tcurrentEdge
 The edge under construction.

Detailed Description

This class constructs a TimedAutomataSystem.

It avoids as much type checking as possible - type checking should be done with the TypeChecker class. However some checks are more convenient to do in SystemBuilder:

Left hand side expressions are assigned the correct type by SystemBuilder; if not it would be difficult to represent dot-expressions.

SystemBuilder does not

Use TypeChecker for these things.


Constructor & Destructor Documentation

SystemBuilder::SystemBuilder ( TimedAutomataSystem  ) 


Member Function Documentation

bool SystemBuilder::addFunction ( type_t  type,
const char *  name 
) [protected, virtual]

Implements UTAP::StatementBuilder.

variable_t * SystemBuilder::addVariable ( type_t  type,
const char *  name,
expression_t  init 
) [protected, virtual]

Implements UTAP::StatementBuilder.

void SystemBuilder::afterUpdate (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::beforeUpdate (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::chanPriority (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::declProgress ( bool   )  [virtual]

Guard progress measure declaration.

Requires two expressions if hasGuard is true, otherwise one.

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::defaultChanPriority (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::done (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

declarations_t * SystemBuilder::getCurrentDeclarationBlock (  )  [protected]

void SystemBuilder::incChanPriority (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::incProcPriority (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::instantiationBegin ( const char *  ,
size_t  ,
const char *   
) [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::instantiationEnd ( const char *  ,
size_t  ,
const char *  ,
size_t   
) [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procBegin ( const char *  name  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procEdgeBegin ( const char *  from,
const char *  to,
const bool  control 
) [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procEdgeEnd ( const char *  from,
const char *  to 
) [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procEnd (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::process ( const char *   )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procGuard (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procPriority ( const char *   )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procSelect ( const char *  id  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procState ( const char *  name,
bool  hasInvariant 
) [virtual]

Add a state to the current template.

An invariant expression is expected on and popped from the expression stack if hasInvariant is true.

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procStateCommit ( const char *  name  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procStateInit ( const char *  name  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procStateUrgent ( const char *  name  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

virtual void UTAP::SystemBuilder::procSync ( Constants::synchronisation_t  type  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.

void SystemBuilder::procUpdate (  )  [virtual]

Reimplemented from UTAP::AbstractBuilder.


Member Data Documentation

int32_t UTAP::SystemBuilder::currentChanPriority [protected]

The current channel priority level.

edge_t* UTAP::SystemBuilder::currentEdge [protected]

The edge under construction.

int32_t UTAP::SystemBuilder::currentProcPriority [protected]

The current process priority level.


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