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