UTAP::SystemVisitor Class Reference

#include <system.h>

Inheritance diagram for UTAP::SystemVisitor:

UTAP::CompileTimeComputableValues 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::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::CompileTimeComputableValues, and UTAP::TypeChecker.


The documentation for this class was generated from the following file:
Generated on Thu Feb 22 14:46:53 2007 for libutap by  doxygen 1.4.7