libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Protected Member Functions | |
virtual void | visitExpression (expression_t)=0 |
![]() | |
virtual int32_t | visitStatement (Statement *stat) |
Definition at line 265 of file statement.h.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 523 of file statement.cpp.
References UTAP::AssertStatement::expr.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 549 of file statement.cpp.
References UTAP::BlockStatement::begin(), UTAP::BlockStatement::end(), UTAP::BlockStatement::getFrame(), and UTAP::frame_t::getSize().
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 579 of file statement.cpp.
References UTAP::CaseStatement::cond.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 585 of file statement.cpp.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 543 of file statement.cpp.
References UTAP::Statement::accept(), UTAP::DoWhileStatement::cond, and UTAP::DoWhileStatement::stat.
|
protectedpure virtual |
Implemented in UTAP::CollectDynamicExpressions, UTAP::CollectDependenciesVisitor, and UTAP::CollectChangesVisitor.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 517 of file statement.cpp.
References UTAP::ExprStatement::expr.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 529 of file statement.cpp.
References UTAP::Statement::accept(), UTAP::ForStatement::cond, UTAP::ForStatement::init, UTAP::ForStatement::stat, and UTAP::ForStatement::step.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 590 of file statement.cpp.
References UTAP::Statement::accept(), UTAP::IfStatement::cond, UTAP::IfStatement::falseCase, and UTAP::IfStatement::trueCase.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 601 of file statement.cpp.
References UTAP::ReturnStatement::value.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 573 of file statement.cpp.
References UTAP::SwitchStatement::cond.
|
overridevirtual |
Reimplemented from UTAP::AbstractStatementVisitor.
Definition at line 537 of file statement.cpp.
References UTAP::Statement::accept(), UTAP::WhileStatement::cond, and UTAP::WhileStatement::stat.