Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
Directories
|
File List
|
Namespace Members
|
Class Members
|
File Members
UTAP::TypeChecker Member List
This is the complete list of members for
UTAP::TypeChecker
, including all inherited members.
checkExpression
(expression_t)
UTAP::TypeChecker
ContextVisitor
(ErrorHandler *)
UTAP::ContextVisitor
handleError
(expression_t, std::string)
UTAP::ContextVisitor
[protected]
handleWarning
(expression_t, std::string)
UTAP::ContextVisitor
[protected]
isClock
(expression_t)
UTAP::TypeChecker
[static]
isConstraint
(expression_t)
UTAP::TypeChecker
[static]
isDiff
(expression_t)
UTAP::TypeChecker
[static]
isGuard
(expression_t)
UTAP::TypeChecker
[static]
isInteger
(expression_t)
UTAP::TypeChecker
[static]
isInvariant
(expression_t)
UTAP::TypeChecker
[static]
isRecord
(expression_t)
UTAP::TypeChecker
[static]
isVoid
(expression_t)
UTAP::TypeChecker
[static]
setContextAssignment
(edge_t &)
UTAP::ContextVisitor
[protected]
setContextDeclaration
()
UTAP::ContextVisitor
[protected]
setContextGuard
(edge_t &)
UTAP::ContextVisitor
[protected]
setContextInstantiation
()
UTAP::ContextVisitor
[protected]
setContextInvariant
(state_t &)
UTAP::ContextVisitor
[protected]
setContextNone
()
UTAP::ContextVisitor
[protected]
setContextParameters
()
UTAP::ContextVisitor
[protected]
setContextSync
(edge_t &)
UTAP::ContextVisitor
[protected]
TypeChecker
(TimedAutomataSystem *system, ErrorHandler *handler)
UTAP::TypeChecker
visitBlockStatement
(BlockStatement *stat)
UTAP::TypeChecker
[virtual]
visitBreakStatement
(BreakStatement *stat)
UTAP::TypeChecker
[virtual]
visitCaseStatement
(CaseStatement *stat)
UTAP::TypeChecker
[virtual]
visitContinueStatement
(ContinueStatement *stat)
UTAP::TypeChecker
[virtual]
visitDefaultStatement
(DefaultStatement *stat)
UTAP::TypeChecker
[virtual]
visitDoWhileStatement
(DoWhileStatement *stat)
UTAP::TypeChecker
[virtual]
visitEdge
(edge_t &)
UTAP::TypeChecker
[virtual]
visitEmptyStatement
(EmptyStatement *stat)
UTAP::TypeChecker
[virtual]
visitExprStatement
(ExprStatement *stat)
UTAP::TypeChecker
[virtual]
visitForStatement
(ForStatement *stat)
UTAP::TypeChecker
[virtual]
visitFunction
(function_t &)
UTAP::TypeChecker
[virtual]
visitIfStatement
(IfStatement *stat)
UTAP::TypeChecker
[virtual]
visitInstance
(instance_t &)
UTAP::TypeChecker
[virtual]
visitProcess
(process_t &)
UTAP::SystemVisitor
[inline, virtual]
visitProperty
(expression_t)
UTAP::TypeChecker
[virtual]
visitReturnStatement
(ReturnStatement *stat)
UTAP::TypeChecker
[virtual]
visitState
(state_t &)
UTAP::TypeChecker
[virtual]
visitSwitchStatement
(SwitchStatement *stat)
UTAP::TypeChecker
[virtual]
visitSystemAfter
(TimedAutomataSystem *)
UTAP::SystemVisitor
[inline, virtual]
visitSystemBefore
(TimedAutomataSystem *)
UTAP::SystemVisitor
[inline, virtual]
visitTemplateAfter
(template_t &)
UTAP::ContextVisitor
[virtual]
visitTemplateBefore
(template_t &)
UTAP::ContextVisitor
[virtual]
visitVariable
(variable_t &)
UTAP::TypeChecker
[virtual]
visitWhileStatement
(WhileStatement *stat)
UTAP::TypeChecker
[virtual]
~StatementVisitor
()
UTAP::StatementVisitor
[inline, virtual]
~SystemVisitor
()
UTAP::SystemVisitor
[inline, virtual]
~TypeChecker
()
UTAP::TypeChecker
[inline, virtual]
Generated on Thu Feb 17 15:20:59 2005 for libutap by
1.4.1