| 
    libutap
    0.93
    
   Uppaal Timed Automata Parser 
   | 
 
Statement class for the iterator loop-construction. More...
#include <statement.h>


Public Member Functions | |
| IterationStatement (symbol_t, frame_t, Statement *) | |
| frame_t | getFrame () | 
| 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 () | 
Public Attributes | |
| symbol_t | symbol | 
| Statement * | stat | 
Protected Attributes | |
| frame_t | frame | 
Additional Inherited Members | |
  Protected Member Functions inherited from UTAP::Statement | |
| Statement () | |
Statement class for the iterator loop-construction.
Definition at line 91 of file statement.h.
Definition at line 122 of file statement.cpp.
References UTAP::ForStatement::stat, and UTAP::symbol().

      
  | 
  overridevirtual | 
Implements UTAP::Statement.
Definition at line 129 of file statement.cpp.
References UTAP::StatementVisitor::visitIterationStatement().

      
  | 
  inline | 
Definition at line 99 of file statement.h.
References UTAP::Statement::accept(), UTAP::Statement::returns(), and UTAP::Statement::toString().

      
  | 
  overridevirtual | 
Implements UTAP::Statement.
Definition at line 134 of file statement.cpp.
      
  | 
  overridevirtual | 
Implements UTAP::Statement.
Definition at line 139 of file statement.cpp.
References INDENT, UTAP::ForStatement::stat, UTAP::symbol(), and UTAP::Statement::toString().

      
  | 
  protected | 
Definition at line 94 of file statement.h.
| Statement* UTAP::IterationStatement::stat | 
Definition at line 97 of file statement.h.
Referenced by UTAP::TypeChecker::visitIterationStatement(), UTAP::SignalFlow::visitIterationStatement(), and UTAP::AbstractStatementVisitor::visitIterationStatement().
| symbol_t UTAP::IterationStatement::symbol | 
Definition at line 96 of file statement.h.
Referenced by UTAP::TypeChecker::visitIterationStatement().