#include <system.h>
Inheritance diagram for UTAP::SystemVisitor:
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 &) |
virtual UTAP::SystemVisitor::~SystemVisitor | ( | ) | [inline, virtual] |
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.