|
libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>


Public Member Functions | |
| ForStatement (expression_t, expression_t, expression_t, Statement *) | |
| int32_t | accept (StatementVisitor *visitor) override |
| bool | returns () override |
| std::string | toString (const std::string &prefix) const override |
Public Member Functions inherited from UTAP::Statement | |
| virtual | ~Statement () |
Public Attributes | |
| expression_t | init |
| expression_t | cond |
| expression_t | step |
| Statement * | stat |
Additional Inherited Members | |
Protected Member Functions inherited from UTAP::Statement | |
| Statement () | |
Definition at line 75 of file statement.h.
| ForStatement::ForStatement | ( | expression_t | init, |
| expression_t | cond, | ||
| expression_t | step, | ||
| Statement * | _stat | ||
| ) |
Definition at line 98 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 105 of file statement.cpp.
References UTAP::StatementVisitor::visitForStatement().

|
overridevirtual |
Implements UTAP::Statement.
Definition at line 110 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 115 of file statement.cpp.
References cond, INDENT, init, stat, step, UTAP::Statement::toString(), and UTAP::expression_t::toString().

| expression_t UTAP::ForStatement::cond |
Definition at line 79 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitForStatement(), UTAP::SignalFlow::visitForStatement(), and UTAP::ExpressionVisitor::visitForStatement().
| expression_t UTAP::ForStatement::init |
Definition at line 78 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitForStatement(), UTAP::SignalFlow::visitForStatement(), and UTAP::ExpressionVisitor::visitForStatement().
| Statement* UTAP::ForStatement::stat |
Definition at line 81 of file statement.h.
Referenced by UTAP::IterationStatement::IterationStatement(), toString(), UTAP::IterationStatement::toString(), UTAP::TypeChecker::visitForStatement(), UTAP::SignalFlow::visitForStatement(), UTAP::AbstractStatementVisitor::visitForStatement(), and UTAP::ExpressionVisitor::visitForStatement().
| expression_t UTAP::ForStatement::step |
Definition at line 80 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitForStatement(), UTAP::SignalFlow::visitForStatement(), and UTAP::ExpressionVisitor::visitForStatement().