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

UTAP::SystemVisitor Class Reference

#include <system.hh>

Inheritance diagram for UTAP::SystemVisitor:

UTAP::ContextVisitor 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 visitTransition (transition_t &)
virtual void visitInstance (instance_t &)
virtual void visitProcess (process_t &)
virtual void visitFunction (function_t &)

Constructor & Destructor Documentation

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


Member Function Documentation

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::TypeChecker.

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

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

Reimplemented in UTAP::TypeChecker.

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

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

Reimplemented in UTAP::TypeChecker.

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

Reimplemented in UTAP::ContextVisitor, and UTAP::PersistentVariables.

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

Reimplemented in UTAP::ContextVisitor.

virtual void UTAP::SystemVisitor::visitTransition transition_t  )  [inline, virtual]
 

Reimplemented in UTAP::TypeChecker.

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

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


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