libutap  0.93
Uppaal Timed Automata Parser
Public Types | Public Member Functions | Protected Attributes | List of all members
UTAP::BlockStatement Class Reference

#include <statement.h>

Inheritance diagram for UTAP::BlockStatement:
Inheritance graph
[legend]
Collaboration diagram for UTAP::BlockStatement:
Collaboration graph
[legend]

Public Types

typedef std::vector< Statement * >::const_iterator const_iterator
 
typedef std::vector< Statement * >::iterator iterator
 

Public Member Functions

 BlockStatement (frame_t)
 
 ~BlockStatement () override
 
int32_t accept (StatementVisitor *visitor) override
 
bool returns () 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
 

Protected Attributes

std::vector< Statement * > stats
 
frame_t frame
 

Additional Inherited Members

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

Detailed Description

Definition at line 127 of file statement.h.

Member Typedef Documentation

◆ const_iterator

typedef std::vector<Statement *>::const_iterator UTAP::BlockStatement::const_iterator

Definition at line 130 of file statement.h.

◆ iterator

typedef std::vector<Statement *>::iterator UTAP::BlockStatement::iterator

Definition at line 131 of file statement.h.

Constructor & Destructor Documentation

◆ BlockStatement()

BlockStatement::BlockStatement ( frame_t  frame)

Definition at line 193 of file statement.cpp.

References frame.

◆ ~BlockStatement()

BlockStatement::~BlockStatement ( )
override

Definition at line 199 of file statement.cpp.

References pop_stat(), and stats.

Here is the call graph for this function:

Member Function Documentation

◆ accept()

int32_t BlockStatement::accept ( StatementVisitor *  visitor)
overridevirtual

Implements UTAP::Statement.

Reimplemented in UTAP::DefaultStatement, UTAP::CaseStatement, and UTAP::SwitchStatement.

Definition at line 243 of file statement.cpp.

References UTAP::StatementVisitor::visitBlockStatement().

Referenced by UTAP::SignalFlow::visitExpression(), and UTAP::TypeChecker::visitFunction().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ back()

Statement * BlockStatement::back ( )

Definition at line 230 of file statement.cpp.

References stats.

Referenced by pop_stat(), and returns().

Here is the caller graph for this function:

◆ begin() [1/2]

BlockStatement::const_iterator BlockStatement::begin ( ) const

Definition at line 210 of file statement.cpp.

References stats.

Referenced by returns(), UTAP::SignalFlow::visitBlockStatement(), UTAP::AbstractStatementVisitor::visitBlockStatement(), and UTAP::ExpressionVisitor::visitBlockStatement().

Here is the caller graph for this function:

◆ begin() [2/2]

BlockStatement::iterator BlockStatement::begin ( )

Definition at line 220 of file statement.cpp.

References stats.

◆ end() [1/2]

BlockStatement::const_iterator BlockStatement::end ( ) const

Definition at line 215 of file statement.cpp.

References stats.

Referenced by returns(), UTAP::SignalFlow::visitBlockStatement(), UTAP::AbstractStatementVisitor::visitBlockStatement(), and UTAP::ExpressionVisitor::visitBlockStatement().

Here is the caller graph for this function:

◆ end() [2/2]

BlockStatement::iterator BlockStatement::end ( )

Definition at line 225 of file statement.cpp.

References stats.

◆ getFrame()

frame_t UTAP::BlockStatement::getFrame ( )
inline

Definition at line 141 of file statement.h.

References UTAP::Statement::toString().

Referenced by UTAP::TypeChecker::visitBlockStatement(), UTAP::ExpressionVisitor::visitBlockStatement(), UTAP::SignalFlow::visitExpression(), and UTAP::TypeChecker::visitFunction().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ pop_stat()

Statement * BlockStatement::pop_stat ( )

Definition at line 236 of file statement.cpp.

References back(), and stats.

Referenced by ~BlockStatement().

Here is the call graph for this function:
Here is the caller graph for this function:

◆ push_stat()

void BlockStatement::push_stat ( Statement *  stat)

Definition at line 204 of file statement.cpp.

References stats.

◆ returns()

bool BlockStatement::returns ( )
overridevirtual

Implements UTAP::Statement.

Reimplemented in UTAP::DefaultStatement, UTAP::CaseStatement, and UTAP::SwitchStatement.

Definition at line 248 of file statement.cpp.

References back(), begin(), end(), and UTAP::Statement::returns().

Here is the call graph for this function:

◆ toString()

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

Implements UTAP::Statement.

Reimplemented in UTAP::CaseStatement, and UTAP::SwitchStatement.

Definition at line 253 of file statement.cpp.

References stats.

Referenced by UTAP::SwitchStatement::toString(), and UTAP::CaseStatement::toString().

Here is the caller graph for this function:

Member Data Documentation

◆ frame

frame_t UTAP::BlockStatement::frame
protected

Definition at line 134 of file statement.h.

Referenced by BlockStatement().

◆ stats

std::vector<Statement*> UTAP::BlockStatement::stats
protected

Definition at line 133 of file statement.h.

Referenced by back(), begin(), end(), pop_stat(), push_stat(), toString(), and ~BlockStatement().

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