libutap
0.93
Uppaal Timed Automata Parser
|
Statement class for the iterator loop-construction. More...
#include <statement.h>
Public Member Functions | |
IterationStatement (symbol_t, frame_t, Statement *) | |
frame_t | getFrame () |
int32_t | accept (StatementVisitor *visitor) override |
bool | returns () override |
std::string | toString (const std::string &prefix) const override |
![]() | |
virtual | ~Statement () |
Public Attributes | |
symbol_t | symbol |
Statement * | stat |
Protected Attributes | |
frame_t | frame |
Additional Inherited Members | |
![]() | |
Statement () | |
Statement class for the iterator loop-construction.
Definition at line 91 of file statement.h.
Definition at line 122 of file statement.cpp.
References UTAP::ForStatement::stat, and UTAP::symbol().
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 129 of file statement.cpp.
References UTAP::StatementVisitor::visitIterationStatement().
|
inline |
Definition at line 99 of file statement.h.
References UTAP::Statement::accept(), UTAP::Statement::returns(), and UTAP::Statement::toString().
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 134 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 139 of file statement.cpp.
References INDENT, UTAP::ForStatement::stat, UTAP::symbol(), and UTAP::Statement::toString().
|
protected |
Definition at line 94 of file statement.h.
Statement* UTAP::IterationStatement::stat |
Definition at line 97 of file statement.h.
Referenced by UTAP::TypeChecker::visitIterationStatement(), UTAP::SignalFlow::visitIterationStatement(), and UTAP::AbstractStatementVisitor::visitIterationStatement().
symbol_t UTAP::IterationStatement::symbol |
Definition at line 96 of file statement.h.
Referenced by UTAP::TypeChecker::visitIterationStatement().