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

#include <statement.h>

Inheritance diagram for UTAP::SwitchStatement:
Collaboration diagram for UTAP::SwitchStatement:

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)
 
Statementpop_stat ()
 
Statementback ()
 
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_tvariables
 Variables. More...
 
std::list< function_tfunctions
 Functions. More...
 
std::list< progress_tprogress
 Progress measures. More...
 
std::list< iodecl_tiodecl
 
std::list< gantt_tganttChart
 

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
 

Detailed Description

Definition at line 152 of file statement.h.

Constructor & Destructor Documentation

◆ SwitchStatement()

SwitchStatement::SwitchStatement ( frame_t  frame,
expression_t  cond 
)

Definition at line 264 of file statement.cpp.

Member Function Documentation

◆ accept()

int32_t SwitchStatement::accept ( StatementVisitor visitor)
overridevirtual

Reimplemented from UTAP::BlockStatement.

Definition at line 270 of file statement.cpp.

References UTAP::StatementVisitor::visitSwitchStatement().

Here is the call graph for this function:

◆ returns()

bool SwitchStatement::returns ( )
overridevirtual

Reimplemented from UTAP::BlockStatement.

Definition at line 275 of file statement.cpp.

◆ toString()

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

Reimplemented from UTAP::BlockStatement.

Definition at line 280 of file statement.cpp.

References cond, INDENT, UTAP::expression_t::toString(), and UTAP::BlockStatement::toString().

Here is the call graph for this function:

Member Data Documentation

◆ cond

expression_t UTAP::SwitchStatement::cond

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