#include <typechecker.h>
Inheritance diagram for UTAP::TypeChecker:
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.
|
|
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. |
|
Reimplemented from UTAP::ContextVisitor. |
|
Reimplemented from UTAP::SystemVisitor. |
|
Implements UTAP::StatementVisitor. |