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

#include <statement.h>

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

Public Member Functions

 ReturnStatement ()
 
 ReturnStatement (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::Statement
virtual ~Statement ()
 

Public Attributes

expression_t value
 

Additional Inherited Members

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

Detailed Description

Definition at line 211 of file statement.h.

Constructor & Destructor Documentation

◆ ReturnStatement() [1/2]

ReturnStatement::ReturnStatement ( )

Definition at line 396 of file statement.cpp.

◆ ReturnStatement() [2/2]

ReturnStatement::ReturnStatement ( expression_t  value)

Definition at line 402 of file statement.cpp.

Member Function Documentation

◆ accept()

int32_t ReturnStatement::accept ( StatementVisitor *  visitor)
overridevirtual

Implements UTAP::Statement.

Definition at line 408 of file statement.cpp.

References UTAP::StatementVisitor::visitReturnStatement().

Here is the call graph for this function:

◆ returns()

bool ReturnStatement::returns ( )
overridevirtual

Implements UTAP::Statement.

Definition at line 413 of file statement.cpp.

◆ toString()

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

Implements UTAP::Statement.

Definition at line 418 of file statement.cpp.

References UTAP::expression_t::toString(), and value.

Here is the call graph for this function:

Member Data Documentation

◆ value

expression_t UTAP::ReturnStatement::value

Definition at line 214 of file statement.h.

Referenced by toString(), UTAP::TypeChecker::visitReturnStatement(), UTAP::SignalFlow::visitReturnStatement(), and UTAP::ExpressionVisitor::visitReturnStatement().

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