#include <typechecker.h>
Inheritance diagram for UTAP::TypeChecker:
Public Member Functions | |
TypeChecker (TimedAutomataSystem *system, ErrorHandler *handler) | |
virtual | ~TypeChecker () |
virtual void | visitVariable (variable_t &) |
virtual void | visitState (state_t &) |
virtual void | visitEdge (edge_t &) |
virtual void | visitInstance (instance_t &) |
virtual void | visitProperty (expression_t) |
virtual void | visitFunction (function_t &) |
virtual int32_t | visitEmptyStatement (EmptyStatement *stat) |
virtual int32_t | visitExprStatement (ExprStatement *stat) |
virtual int32_t | visitForStatement (ForStatement *stat) |
virtual int32_t | visitWhileStatement (WhileStatement *stat) |
virtual int32_t | visitDoWhileStatement (DoWhileStatement *stat) |
virtual int32_t | visitBlockStatement (BlockStatement *stat) |
virtual int32_t | visitSwitchStatement (SwitchStatement *stat) |
virtual int32_t | visitCaseStatement (CaseStatement *stat) |
virtual int32_t | visitDefaultStatement (DefaultStatement *stat) |
virtual int32_t | visitIfStatement (IfStatement *stat) |
virtual int32_t | visitBreakStatement (BreakStatement *stat) |
virtual int32_t | visitContinueStatement (ContinueStatement *stat) |
virtual int32_t | visitReturnStatement (ReturnStatement *stat) |
void | checkExpression (expression_t) |
Type check an expression. | |
Static Public Member Functions | |
static bool | isVoid (expression_t) |
static bool | isInteger (expression_t) |
static bool | isClock (expression_t) |
static bool | isRecord (expression_t) |
static bool | isDiff (expression_t) |
static bool | isInvariant (expression_t) |
Returns true iff type is a valid invariant. | |
static bool | isGuard (expression_t) |
Returns true iff type is a valid guard. | |
static bool | isConstraint (expression_t) |
Returns true iff type is a valid constraint. |
The type checker can only visit the system given in the constructor. The type checker must not be constructed before the system has been parsed.
|
|
|
|
|
Type check an expression.
|
|
|
|
Returns true iff type is a valid constraint. A valid constraint is either a valid guard or a constraint expression. |
|
|
|
Returns true iff type is a valid guard. A valid guard is either a valid invariant or a guard expression. |
|
|
|
Returns true iff type is a valid invariant. A valid invariant is either an invariant expression or an integer expression. |
|
|
|
|
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
|
|
Implements UTAP::StatementVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Implements UTAP::StatementVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Implements UTAP::StatementVisitor. |