|
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 |
Public Member Functions inherited from UTAP::Statement | |
| virtual | ~Statement () |
Public Attributes | |
| Statement * | stat |
| expression_t | cond |
Additional Inherited Members | |
Protected Member Functions inherited from UTAP::Statement | |
| 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().