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) override	UTAP::TypeChecker	virtual
visitBlockStatement(BlockStatement *stat) override	UTAP::TypeChecker	virtual
visitBreakStatement(BreakStatement *stat) override	UTAP::AbstractStatementVisitor	virtual
visitCaseStatement(CaseStatement *stat) override	UTAP::AbstractStatementVisitor	virtual
visitCondition(condition_t &) override	UTAP::TypeChecker	virtual
visitContinueStatement(ContinueStatement *stat) override	UTAP::AbstractStatementVisitor	virtual
visitDefaultStatement(DefaultStatement *stat) override	UTAP::AbstractStatementVisitor	virtual
visitDoWhileStatement(DoWhileStatement *stat) override	UTAP::TypeChecker	virtual
visitEdge(edge_t &) override	UTAP::TypeChecker	virtual
visitEmptyStatement(EmptyStatement *stat) override	UTAP::TypeChecker	virtual
visitExprStatement(ExprStatement *stat) override	UTAP::TypeChecker	virtual
visitForStatement(ForStatement *stat) override	UTAP::TypeChecker	virtual
visitFunction(function_t &) override	UTAP::TypeChecker	virtual
visitGanttChart(gantt_t &) override	UTAP::TypeChecker	virtual
visitHybridClock(expression_t)	UTAP::TypeChecker	virtual
visitIfStatement(IfStatement *stat) override	UTAP::TypeChecker	virtual
visitInstance(instance_t &) override	UTAP::TypeChecker	virtual
visitInstanceLine(instanceLine_t &) override	UTAP::TypeChecker	virtual
visitIODecl(iodecl_t &) override	UTAP::TypeChecker	virtual
visitIterationStatement(IterationStatement *stat) override	UTAP::TypeChecker	virtual
visitMessage(message_t &) override	UTAP::TypeChecker	virtual
visitProcess(instance_t &) override	UTAP::TypeChecker	virtual
visitProgressMeasure(progress_t &) override	UTAP::TypeChecker	virtual
visitProperty(expression_t)	UTAP::TypeChecker	virtual
visitReturnStatement(ReturnStatement *stat) override	UTAP::TypeChecker	virtual
visitState(state_t &) override	UTAP::TypeChecker	virtual
visitStatement(Statement *stat)	UTAP::AbstractStatementVisitor	protectedvirtual
visitSwitchStatement(SwitchStatement *stat) override	UTAP::AbstractStatementVisitor	virtual
visitSystemAfter(TimedAutomataSystem *) override	UTAP::TypeChecker	virtual
visitSystemBefore(TimedAutomataSystem *)	UTAP::SystemVisitor	inlinevirtual
visitTemplateAfter(template_t &) override	UTAP::TypeChecker	virtual
visitTemplateBefore(template_t &) override	UTAP::TypeChecker	virtual
visitTypeDef(symbol_t)	UTAP::SystemVisitor	inlinevirtual
visitUpdate(update_t &) override	UTAP::TypeChecker	virtual
visitVariable(variable_t &) override	UTAP::TypeChecker	virtual
visitWhileStatement(WhileStatement *stat) override	UTAP::TypeChecker	virtual
~StatementVisitor()	UTAP::StatementVisitor	inlinevirtual
~SystemVisitor()	UTAP::SystemVisitor	inlinevirtual
~TypeChecker() override	UTAP::TypeChecker	inline