libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Public Member Functions | |
IfStatement (expression_t, Statement *, Statement *falseStat=nullptr) | |
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 * | trueCase |
Statement * | falseCase |
Additional Inherited Members | |
![]() | |
Statement () | |
Definition at line 180 of file statement.h.
IfStatement::IfStatement | ( | expression_t | cond, |
Statement * | _true, | ||
Statement * | falseStat = nullptr |
||
) |
Definition at line 324 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 331 of file statement.cpp.
References UTAP::StatementVisitor::visitIfStatement().
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 336 of file statement.cpp.
References falseCase, UTAP::Statement::returns(), and trueCase.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 345 of file statement.cpp.
References cond, falseCase, INDENT, UTAP::Statement::toString(), UTAP::expression_t::toString(), and trueCase.
expression_t UTAP::IfStatement::cond |
Definition at line 183 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitIfStatement(), UTAP::SignalFlow::visitIfStatement(), and UTAP::ExpressionVisitor::visitIfStatement().
Statement* UTAP::IfStatement::falseCase |
Definition at line 185 of file statement.h.
Referenced by returns(), toString(), UTAP::TypeChecker::visitIfStatement(), UTAP::SignalFlow::visitIfStatement(), UTAP::AbstractStatementVisitor::visitIfStatement(), and UTAP::ExpressionVisitor::visitIfStatement().
Statement* UTAP::IfStatement::trueCase |
Definition at line 184 of file statement.h.
Referenced by returns(), toString(), UTAP::TypeChecker::visitIfStatement(), UTAP::SignalFlow::visitIfStatement(), UTAP::AbstractStatementVisitor::visitIfStatement(), and UTAP::ExpressionVisitor::visitIfStatement().