libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Public Member Functions | |
DoWhileStatement (Statement *, expression_t) | |
int32_t | accept (StatementVisitor *visitor) override |
bool | returns () override |
std::string | toString (const std::string &prefix) const override |
![]() | |
virtual | ~Statement () |
Public Attributes | |
Statement * | stat |
expression_t | cond |
Additional Inherited Members | |
![]() | |
Statement () | |
Definition at line 116 of file statement.h.
DoWhileStatement::DoWhileStatement | ( | Statement * | _stat, |
expression_t | cond | ||
) |
Definition at line 171 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 178 of file statement.cpp.
References UTAP::StatementVisitor::visitDoWhileStatement().
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 183 of file statement.cpp.
References UTAP::Statement::returns(), and stat.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 188 of file statement.cpp.
References INDENT, stat, and UTAP::Statement::toString().
expression_t UTAP::DoWhileStatement::cond |
Definition at line 120 of file statement.h.
Referenced by UTAP::TypeChecker::visitDoWhileStatement(), UTAP::SignalFlow::visitDoWhileStatement(), and UTAP::ExpressionVisitor::visitDoWhileStatement().
Statement* UTAP::DoWhileStatement::stat |
Definition at line 119 of file statement.h.
Referenced by returns(), toString(), UTAP::TypeChecker::visitDoWhileStatement(), UTAP::SignalFlow::visitDoWhileStatement(), UTAP::AbstractStatementVisitor::visitDoWhileStatement(), and UTAP::ExpressionVisitor::visitDoWhileStatement().