libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Public Member Functions | |
WhileStatement (expression_t, Statement *) | |
int32_t | accept (StatementVisitor *visitor) override |
bool | returns () override |
std::string | toString (const std::string &prefix) const override |
![]() | |
virtual | ~Statement () |
Public Attributes | |
expression_t | cond |
Statement * | stat |
Additional Inherited Members | |
![]() | |
Statement () | |
Definition at line 105 of file statement.h.
WhileStatement::WhileStatement | ( | expression_t | cond, |
Statement * | _stat | ||
) |
Definition at line 148 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 155 of file statement.cpp.
References UTAP::StatementVisitor::visitWhileStatement().
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 160 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 165 of file statement.cpp.
References cond, INDENT, stat, UTAP::Statement::toString(), and UTAP::expression_t::toString().
expression_t UTAP::WhileStatement::cond |
Definition at line 108 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitWhileStatement(), UTAP::SignalFlow::visitWhileStatement(), and UTAP::ExpressionVisitor::visitWhileStatement().
Statement* UTAP::WhileStatement::stat |
Definition at line 109 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitWhileStatement(), UTAP::SignalFlow::visitWhileStatement(), UTAP::AbstractStatementVisitor::visitWhileStatement(), and UTAP::ExpressionVisitor::visitWhileStatement().