|
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 |
Public Member Functions inherited from UTAP::BlockStatement | |
| 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 |
Public Member Functions inherited from UTAP::Statement | |
| virtual | ~Statement () |
Public Member Functions inherited from UTAP::declarations_t | |
| 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 | |
Public Types inherited from UTAP::BlockStatement | |
| typedef std::vector< Statement * >::const_iterator | const_iterator |
| typedef std::vector< Statement * >::iterator | iterator |
Public Attributes inherited from UTAP::declarations_t | |
| 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 |
Protected Member Functions inherited from UTAP::Statement | |
| Statement () | |
Protected Attributes inherited from UTAP::BlockStatement | |
| 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.