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

#include <statement.h>

Inheritance diagram for UTAP::DefaultStatement:
Collaboration diagram for UTAP::DefaultStatement:

Public Member Functions

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

Additional Inherited Members

- Public Types inherited from UTAP::BlockStatement
typedef std::vector< Statement * >::const_iterator const_iterator
 
typedef std::vector< Statement * >::iterator iterator
 
- 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
 
- 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 172 of file statement.h.

Constructor & Destructor Documentation

◆ DefaultStatement()

DefaultStatement::DefaultStatement ( frame_t  frame)

Definition at line 308 of file statement.cpp.

Member Function Documentation

◆ accept()

int32_t DefaultStatement::accept ( StatementVisitor visitor)
overridevirtual

Reimplemented from UTAP::BlockStatement.

Definition at line 314 of file statement.cpp.

References UTAP::StatementVisitor::visitDefaultStatement().

Here is the call graph for this function:

◆ returns()

bool DefaultStatement::returns ( )
overridevirtual

Reimplemented from UTAP::BlockStatement.

Definition at line 319 of file statement.cpp.


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