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

UTAP::SystemVisitor Class Reference

#include <system.h>

Inheritance diagram for UTAP::SystemVisitor:

UTAP::CompileTimeComputableValues UTAP::PersistentVariables UTAP::TypeChecker List of all members.

Public Member Functions

virtual ~SystemVisitor ()
virtual void visitSystemBefore (TimedAutomataSystem *)
virtual void visitSystemAfter (TimedAutomataSystem *)
virtual void visitVariable (variable_t &)
virtual bool visitTemplateBefore (template_t &)
virtual void visitTemplateAfter (template_t &)
virtual void visitState (state_t &)
virtual void visitEdge (edge_t &)
virtual void visitInstance (instance_t &)
virtual void visitProcess (instance_t &)
virtual void visitFunction (function_t &)
virtual void visitTypeDef (symbol_t)
virtual void visitProgressMeasure (progress_t &)

Constructor & Destructor Documentation

virtual UTAP::SystemVisitor::~SystemVisitor  )  [inline, virtual]
 


Member Function Documentation

virtual void UTAP::SystemVisitor::visitEdge edge_t  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitFunction function_t  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitInstance instance_t  )  [inline, virtual]
 

Reimplemented in UTAP::PersistentVariables, UTAP::CompileTimeComputableValues, and UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitProcess instance_t  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitProgressMeasure progress_t  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitState state_t  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitSystemAfter TimedAutomataSystem  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

virtual void UTAP::SystemVisitor::visitSystemBefore TimedAutomataSystem  )  [inline, virtual]
 

virtual void UTAP::SystemVisitor::visitTemplateAfter template_t  )  [inline, virtual]
 

virtual bool UTAP::SystemVisitor::visitTemplateBefore template_t  )  [inline, virtual]
 

virtual void UTAP::SystemVisitor::visitTypeDef symbol_t   )  [inline, virtual]
 

virtual void UTAP::SystemVisitor::visitVariable variable_t  )  [inline, virtual]
 

Reimplemented in UTAP::PersistentVariables, UTAP::CompileTimeComputableValues, and UTAP::TypeChecker.


The documentation for this class was generated from the following file:
Generated on Sat Apr 29 21:02:14 2006 for libutap by  doxygen 1.4.2