libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Public Member Functions | |
DefaultStatement (frame_t) | |
int32_t | accept (StatementVisitor *visitor) override |
bool | returns () override |
![]() | |
BlockStatement (frame_t) | |
~BlockStatement () override | |
frame_t | getFrame () |
void | push_stat (Statement *stat) |
Statement * | pop_stat () |
Statement * | back () |
const_iterator | begin () const |
const_iterator | end () const |
iterator | begin () |
iterator | end () |
std::string | toString (const std::string &prefix) const override |
![]() | |
virtual | ~Statement () |
![]() | |
bool | addFunction (type_t type, const std::string &, function_t *&) |
Add function declaration. More... | |
std::string | toString (bool global=false) const |
The following methods are used to write the declarations in an XML file. More... | |
std::string | getConstants () const |
std::string | getTypeDefinitions () const |
std::string | getVariables (bool global) const |
std::string | getFunctions () const |
Additional Inherited Members | |
![]() | |
typedef std::vector< Statement * >::const_iterator | const_iterator |
typedef std::vector< Statement * >::iterator | iterator |
![]() | |
frame_t | frame |
std::list< variable_t > | variables |
Variables. More... | |
std::list< function_t > | functions |
Functions. More... | |
std::list< progress_t > | progress |
Progress measures. More... | |
std::list< iodecl_t > | iodecl |
std::list< gantt_t > | ganttChart |
![]() | |
Statement () | |
![]() | |
std::vector< Statement * > | stats |
frame_t | frame |
Definition at line 172 of file statement.h.
DefaultStatement::DefaultStatement | ( | frame_t | frame | ) |
Definition at line 308 of file statement.cpp.
|
overridevirtual |
Reimplemented from UTAP::BlockStatement.
Definition at line 314 of file statement.cpp.
References UTAP::StatementVisitor::visitDefaultStatement().
|
overridevirtual |
Reimplemented from UTAP::BlockStatement.
Definition at line 319 of file statement.cpp.