|
libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>


Public Member Functions | |
| ContinueStatement () | |
| 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 () |
Additional Inherited Members | |
Protected Member Functions inherited from UTAP::Statement | |
| Statement () | |
Definition at line 202 of file statement.h.
| ContinueStatement::ContinueStatement | ( | ) |
Definition at line 376 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 381 of file statement.cpp.
References UTAP::StatementVisitor::visitContinueStatement().

|
overridevirtual |
Implements UTAP::Statement.
Definition at line 386 of file statement.cpp.
|
overridevirtual |
Implements UTAP::Statement.
Definition at line 391 of file statement.cpp.