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


Public Member Functions | |
| SwitchStatement (frame_t, expression_t) | |
| int32_t | accept (StatementVisitor *visitor) override |
| bool | returns () override |
| std::string | toString (const std::string &prefix) const 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 () |
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 |
Public Attributes | |
| expression_t | cond |
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 |
Additional Inherited Members | |
Public Types inherited from UTAP::BlockStatement | |
| typedef std::vector< Statement * >::const_iterator | const_iterator |
| typedef std::vector< Statement * >::iterator | iterator |
Protected Member Functions inherited from UTAP::Statement | |
| Statement () | |
Protected Attributes inherited from UTAP::BlockStatement | |
| std::vector< Statement * > | stats |
| frame_t | frame |
Definition at line 152 of file statement.h.
| SwitchStatement::SwitchStatement | ( | frame_t | frame, |
| expression_t | cond | ||
| ) |
Definition at line 264 of file statement.cpp.
|
overridevirtual |
Reimplemented from UTAP::BlockStatement.
Definition at line 270 of file statement.cpp.
References UTAP::StatementVisitor::visitSwitchStatement().

|
overridevirtual |
Reimplemented from UTAP::BlockStatement.
Definition at line 275 of file statement.cpp.
|
overridevirtual |
Reimplemented from UTAP::BlockStatement.
Definition at line 280 of file statement.cpp.
References cond, INDENT, UTAP::expression_t::toString(), and UTAP::BlockStatement::toString().

| expression_t UTAP::SwitchStatement::cond |
Definition at line 155 of file statement.h.
Referenced by toString(), UTAP::SignalFlow::visitSwitchStatement(), and UTAP::ExpressionVisitor::visitSwitchStatement().