#include <typechecker.hh>
Inheritance diagram for UTAP::TypeChecker:
Public Member Functions | |
TypeChecker (ErrorHandler *errorHandler) | |
virtual | ~TypeChecker () |
virtual void | visitSystemBefore (TimedAutomataSystem *) |
virtual void | visitVariable (variable_t &) |
virtual void | visitConstant (variable_t &) |
virtual void | visitState (state_t &) |
virtual void | visitTransition (transition_t &) |
virtual void | visitInstance (instance_t &) |
virtual void | visitProperty (expression_t) |
|
|
|
|
|
|
|
Reimplemented from UTAP::SystemVisitor. |
|
|
|
Reimplemented from UTAP::SystemVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |