| 
    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().