#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 (process_t &) |
virtual void | visitFunction (function_t &) |
virtual void | visitProgressMeasure (progress_t &) |
|
|
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
|
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
|
|
|
|
Reimplemented in UTAP::ContextVisitor, and UTAP::PersistentVariables. |
|
Reimplemented in UTAP::ContextVisitor, and UTAP::TypeChecker. |
|
Reimplemented in UTAP::PersistentVariables, and UTAP::TypeChecker. |