#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 &) |
|
|
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::PersistentVariables, UTAP::CompileTimeComputableValues, and UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
Reimplemented in UTAP::TypeChecker. |
|
|
|
|
|
|
|
|
|
Reimplemented in UTAP::PersistentVariables, UTAP::CompileTimeComputableValues, and UTAP::TypeChecker. |