libutap  0.93
Uppaal Timed Automata Parser
Public Member Functions | Protected Member Functions | List of all members
UTAP::Statement Class Referenceabstract

#include <statement.h>

Inheritance diagram for UTAP::Statement:
Inheritance graph
[legend]

Public Member Functions

virtual ~Statement ()
 
virtual int32_t accept (StatementVisitor *visitor)=0
 
virtual bool returns ()=0
 
virtual std::string toString (const std::string &prefix) const =0
 

Protected Member Functions

 Statement ()
 

Detailed Description

Definition at line 35 of file statement.h.

Constructor & Destructor Documentation

◆ ~Statement()

virtual UTAP::Statement::~Statement ( )
inlinevirtual

Definition at line 38 of file statement.h.

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

Here is the call graph for this function:

◆ Statement()

Statement::Statement ( )
protected

Definition at line 29 of file statement.cpp.

Referenced by ~Statement().

Here is the caller graph for this function:

Member Function Documentation

◆ accept()

virtual int32_t UTAP::Statement::accept ( StatementVisitor *  visitor)
pure virtual

Implemented in UTAP::ReturnStatement, UTAP::ContinueStatement, UTAP::BreakStatement, UTAP::IfStatement, UTAP::DefaultStatement, UTAP::CaseStatement, UTAP::SwitchStatement, UTAP::BlockStatement, UTAP::DoWhileStatement, UTAP::WhileStatement, UTAP::IterationStatement, UTAP::ForStatement, UTAP::AssertStatement, UTAP::ExprStatement, and UTAP::EmptyStatement.

Referenced by UTAP::TypeChecker::checkDynamicExpressions(), UTAP::IterationStatement::getFrame(), UTAP::expression_t::getPosition(), UTAP::TypeChecker::visitDoWhileStatement(), UTAP::SignalFlow::visitDoWhileStatement(), UTAP::AbstractStatementVisitor::visitDoWhileStatement(), UTAP::ExpressionVisitor::visitDoWhileStatement(), UTAP::TypeChecker::visitForStatement(), UTAP::SignalFlow::visitForStatement(), UTAP::AbstractStatementVisitor::visitForStatement(), UTAP::ExpressionVisitor::visitForStatement(), UTAP::TypeChecker::visitIfStatement(), UTAP::SignalFlow::visitIfStatement(), UTAP::AbstractStatementVisitor::visitIfStatement(), UTAP::ExpressionVisitor::visitIfStatement(), UTAP::TypeChecker::visitIterationStatement(), UTAP::SignalFlow::visitIterationStatement(), UTAP::AbstractStatementVisitor::visitIterationStatement(), UTAP::TypeChecker::visitWhileStatement(), UTAP::SignalFlow::visitWhileStatement(), UTAP::AbstractStatementVisitor::visitWhileStatement(), UTAP::ExpressionVisitor::visitWhileStatement(), and ~Statement().

Here is the caller graph for this function:

◆ returns()

virtual bool UTAP::Statement::returns ( )
pure virtual

Implemented in UTAP::ReturnStatement, UTAP::ContinueStatement, UTAP::BreakStatement, UTAP::IfStatement, UTAP::DefaultStatement, UTAP::CaseStatement, UTAP::SwitchStatement, UTAP::BlockStatement, UTAP::DoWhileStatement, UTAP::WhileStatement, UTAP::IterationStatement, UTAP::ForStatement, UTAP::AssertStatement, UTAP::ExprStatement, and UTAP::EmptyStatement.

Referenced by UTAP::IterationStatement::getFrame(), UTAP::DoWhileStatement::returns(), UTAP::BlockStatement::returns(), UTAP::IfStatement::returns(), and ~Statement().

Here is the caller graph for this function:

◆ toString()

virtual std::string UTAP::Statement::toString ( const std::string &  prefix) const
pure virtual

Implemented in UTAP::ReturnStatement, UTAP::ContinueStatement, UTAP::BreakStatement, UTAP::IfStatement, UTAP::CaseStatement, UTAP::SwitchStatement, UTAP::BlockStatement, UTAP::DoWhileStatement, UTAP::WhileStatement, UTAP::IterationStatement, UTAP::ForStatement, UTAP::AssertStatement, UTAP::ExprStatement, and UTAP::EmptyStatement.

Referenced by UTAP::IterationStatement::getFrame(), UTAP::BlockStatement::getFrame(), UTAP::ForStatement::toString(), UTAP::IterationStatement::toString(), UTAP::WhileStatement::toString(), UTAP::DoWhileStatement::toString(), UTAP::IfStatement::toString(), and ~Statement().

Here is the caller graph for this function:
The documentation for this class was generated from the following files: