libutap  0.93
Uppaal Timed Automata Parser
UTAP::IterationStatement Class Reference

Statement class for the iterator loop-construction. More...

#include <statement.h>

Inheritance diagram for UTAP::IterationStatement:
Collaboration diagram for UTAP::IterationStatement:

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
 
Statementstat
 

Protected Attributes

frame_t frame
 

Additional Inherited Members

- Protected Member Functions inherited from UTAP::Statement
 Statement ()
 

Detailed Description

Statement class for the iterator loop-construction.

Definition at line 91 of file statement.h.

Constructor & Destructor Documentation

◆ IterationStatement()

IterationStatement::IterationStatement ( symbol_t  sym,
frame_t  f,
Statement s 
)

Definition at line 122 of file statement.cpp.

References UTAP::ForStatement::stat, and UTAP::symbol().

Here is the call graph for this function:

Member Function Documentation

◆ accept()

int32_t IterationStatement::accept ( StatementVisitor visitor)
overridevirtual

Implements UTAP::Statement.

Definition at line 129 of file statement.cpp.

References UTAP::StatementVisitor::visitIterationStatement().

Here is the call graph for this function:

◆ getFrame()

frame_t UTAP::IterationStatement::getFrame ( )
inline

Definition at line 99 of file statement.h.

References UTAP::Statement::accept(), UTAP::Statement::returns(), and UTAP::Statement::toString().

Here is the call graph for this function:

◆ returns()

bool IterationStatement::returns ( )
overridevirtual

Implements UTAP::Statement.

Definition at line 134 of file statement.cpp.

◆ toString()

string IterationStatement::toString ( const std::string &  prefix) const
overridevirtual

Implements UTAP::Statement.

Definition at line 139 of file statement.cpp.

References INDENT, UTAP::ForStatement::stat, UTAP::symbol(), and UTAP::Statement::toString().

Here is the call graph for this function:

Member Data Documentation

◆ frame

frame_t UTAP::IterationStatement::frame
protected

Definition at line 94 of file statement.h.

◆ stat

◆ symbol

symbol_t UTAP::IterationStatement::symbol

Definition at line 96 of file statement.h.

Referenced by UTAP::TypeChecker::visitIterationStatement().


The documentation for this class was generated from the following files: