libutap
UTAP::TypeChecker Member List

This is the complete list of members for UTAP::TypeChecker, including all inherited members.

checkDynamicExpressions(Statement *stat)UTAP::TypeChecker
checkExpression(expression_t)UTAP::TypeChecker
checkSpawnAndExit(expression_t)UTAP::TypeChecker
checkSpawnParameterCompatible(type_t param, expression_t arg)UTAP::TypeChecker
TypeChecker(TimedAutomataSystem *system, bool refinement=false)UTAP::TypeChecker
visitAssertStatement(AssertStatement *stat)UTAP::TypeCheckervirtual
visitBlockStatement(BlockStatement *stat)UTAP::TypeCheckervirtual
visitBreakStatement(BreakStatement *stat)UTAP::AbstractStatementVisitorvirtual
visitCaseStatement(CaseStatement *stat)UTAP::AbstractStatementVisitorvirtual
visitCondition(condition_t &)UTAP::TypeCheckervirtual
visitContinueStatement(ContinueStatement *stat)UTAP::AbstractStatementVisitorvirtual
visitDefaultStatement(DefaultStatement *stat)UTAP::AbstractStatementVisitorvirtual
visitDoWhileStatement(DoWhileStatement *stat)UTAP::TypeCheckervirtual
visitEdge(edge_t &)UTAP::TypeCheckervirtual
visitEmptyStatement(EmptyStatement *stat)UTAP::TypeCheckervirtual
visitExprStatement(ExprStatement *stat)UTAP::TypeCheckervirtual
visitForStatement(ForStatement *stat)UTAP::TypeCheckervirtual
visitFunction(function_t &)UTAP::TypeCheckervirtual
visitGanttChart(gantt_t &)UTAP::TypeCheckervirtual
visitHybridClock(expression_t)UTAP::TypeCheckervirtual
visitIfStatement(IfStatement *stat)UTAP::TypeCheckervirtual
visitInstance(instance_t &)UTAP::TypeCheckervirtual
visitInstanceLine(instanceLine_t &)UTAP::TypeCheckervirtual
visitIODecl(iodecl_t &)UTAP::TypeCheckervirtual
visitIterationStatement(IterationStatement *stat)UTAP::TypeCheckervirtual
visitMessage(message_t &)UTAP::TypeCheckervirtual
visitProcess(instance_t &)UTAP::TypeCheckervirtual
visitProgressMeasure(progress_t &)UTAP::TypeCheckervirtual
visitProperty(expression_t)UTAP::TypeCheckervirtual
visitReturnStatement(ReturnStatement *stat)UTAP::TypeCheckervirtual
visitState(state_t &)UTAP::TypeCheckervirtual
visitStatement(Statement *stat)UTAP::AbstractStatementVisitorprotectedvirtual
visitSwitchStatement(SwitchStatement *stat)UTAP::AbstractStatementVisitorvirtual
visitSystemAfter(TimedAutomataSystem *)UTAP::TypeCheckervirtual
visitSystemBefore(TimedAutomataSystem *)UTAP::SystemVisitorinlinevirtual
visitTemplateAfter(template_t &)UTAP::TypeCheckervirtual
visitTemplateBefore(template_t &)UTAP::TypeCheckervirtual
visitTypeDef(symbol_t)UTAP::SystemVisitorinlinevirtual
visitUpdate(update_t &)UTAP::TypeCheckervirtual
visitVariable(variable_t &)UTAP::TypeCheckervirtual
visitWhileStatement(WhileStatement *stat)UTAP::TypeCheckervirtual
~StatementVisitor()UTAP::StatementVisitorinlinevirtual
~SystemVisitor()UTAP::SystemVisitorinlinevirtual
~TypeChecker()UTAP::TypeCheckerinlinevirtual