libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Public Member Functions | |
ExprStatement (expression_t) | |
int32_t | accept (StatementVisitor *visitor) override |
bool | returns () override |
std::string | toString (const std::string &prefix) const override |
![]() | |
virtual | ~Statement () |
Public Attributes | |
expression_t | expr |
Additional Inherited Members | |
![]() | |
Statement () | |
Definition at line 55 of file statement.h.
ExprStatement::ExprStatement | ( | expression_t | expr | ) |
Definition at line 55 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 61 of file statement.cpp.
References UTAP::StatementVisitor::visitExprStatement().
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 66 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 71 of file statement.cpp.
References expr, and UTAP::expression_t::toString().
expression_t UTAP::ExprStatement::expr |
Definition at line 58 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitExprStatement(), UTAP::SignalFlow::visitExprStatement(), and UTAP::ExpressionVisitor::visitExprStatement().