libutap
|
#include <system.h>
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 | visitIODecl (iodecl_t &) |
virtual void | visitProgressMeasure (progress_t &) |
virtual void | visitGanttChart (gantt_t &) |
virtual void | visitInstanceLine (instanceLine_t &) |
virtual void | visitMessage (message_t &) |
virtual void | visitCondition (condition_t &) |
virtual void | visitUpdate (update_t &) |
|
inlinevirtual |
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::visitCondition().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::visitEdge().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by visit(), and UTAP::TypeChecker::visitFunction().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker, and UTAP::CompileTimeComputableValues.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::visitInstance().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by visit(), and UTAP::TypeChecker::visitInstanceLine().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::visitMessage().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by visit(), and UTAP::TypeChecker::visitState().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker.
Referenced by UTAP::TimedAutomataSystem::accept(), and UTAP::TypeChecker::visitUpdate().
|
inlinevirtual |
Reimplemented in UTAP::TypeChecker, and UTAP::CompileTimeComputableValues.
Referenced by visit(), and UTAP::TypeChecker::visitVariable().