libutap  0.93
Uppaal Timed Automata Parser
UTAP::StatementVisitor Class Referenceabstract

#include <statement.h>

Inheritance diagram for UTAP::StatementVisitor:

Public Member Functions

virtual ~StatementVisitor ()
 
virtual int32_t visitEmptyStatement (EmptyStatement *stat)=0
 
virtual int32_t visitExprStatement (ExprStatement *stat)=0
 
virtual int32_t visitAssertStatement (AssertStatement *stat)=0
 
virtual int32_t visitForStatement (ForStatement *stat)=0
 
virtual int32_t visitIterationStatement (IterationStatement *stat)=0
 
virtual int32_t visitWhileStatement (WhileStatement *stat)=0
 
virtual int32_t visitDoWhileStatement (DoWhileStatement *stat)=0
 
virtual int32_t visitBlockStatement (BlockStatement *stat)=0
 
virtual int32_t visitSwitchStatement (SwitchStatement *stat)=0
 
virtual int32_t visitCaseStatement (CaseStatement *stat)=0
 
virtual int32_t visitDefaultStatement (DefaultStatement *stat)=0
 
virtual int32_t visitIfStatement (IfStatement *stat)=0
 
virtual int32_t visitBreakStatement (BreakStatement *stat)=0
 
virtual int32_t visitContinueStatement (ContinueStatement *stat)=0
 
virtual int32_t visitReturnStatement (ReturnStatement *stat)=0
 

Detailed Description

Definition at line 222 of file statement.h.

Constructor & Destructor Documentation

◆ ~StatementVisitor()

virtual UTAP::StatementVisitor::~StatementVisitor ( )
inlinevirtual

Definition at line 225 of file statement.h.

Member Function Documentation

◆ visitAssertStatement()

virtual int32_t UTAP::StatementVisitor::visitAssertStatement ( AssertStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::AssertStatement::accept().

Here is the caller graph for this function:

◆ visitBlockStatement()

virtual int32_t UTAP::StatementVisitor::visitBlockStatement ( BlockStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::BlockStatement::accept().

Here is the caller graph for this function:

◆ visitBreakStatement()

virtual int32_t UTAP::StatementVisitor::visitBreakStatement ( BreakStatement stat)
pure virtual

Implemented in UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.

Referenced by UTAP::BreakStatement::accept().

Here is the caller graph for this function:

◆ visitCaseStatement()

virtual int32_t UTAP::StatementVisitor::visitCaseStatement ( CaseStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.

Referenced by UTAP::CaseStatement::accept().

Here is the caller graph for this function:

◆ visitContinueStatement()

virtual int32_t UTAP::StatementVisitor::visitContinueStatement ( ContinueStatement stat)
pure virtual

Implemented in UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.

Referenced by UTAP::ContinueStatement::accept().

Here is the caller graph for this function:

◆ visitDefaultStatement()

virtual int32_t UTAP::StatementVisitor::visitDefaultStatement ( DefaultStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.

Referenced by UTAP::DefaultStatement::accept().

Here is the caller graph for this function:

◆ visitDoWhileStatement()

virtual int32_t UTAP::StatementVisitor::visitDoWhileStatement ( DoWhileStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::DoWhileStatement::accept().

Here is the caller graph for this function:

◆ visitEmptyStatement()

virtual int32_t UTAP::StatementVisitor::visitEmptyStatement ( EmptyStatement stat)
pure virtual

Implemented in UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::EmptyStatement::accept().

Here is the caller graph for this function:

◆ visitExprStatement()

virtual int32_t UTAP::StatementVisitor::visitExprStatement ( ExprStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::ExprStatement::accept().

Here is the caller graph for this function:

◆ visitForStatement()

virtual int32_t UTAP::StatementVisitor::visitForStatement ( ForStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::ForStatement::accept().

Here is the caller graph for this function:

◆ visitIfStatement()

virtual int32_t UTAP::StatementVisitor::visitIfStatement ( IfStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::IfStatement::accept().

Here is the caller graph for this function:

◆ visitIterationStatement()

virtual int32_t UTAP::StatementVisitor::visitIterationStatement ( IterationStatement stat)
pure virtual

Implemented in UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::IterationStatement::accept().

Here is the caller graph for this function:

◆ visitReturnStatement()

virtual int32_t UTAP::StatementVisitor::visitReturnStatement ( ReturnStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::ReturnStatement::accept().

Here is the caller graph for this function:

◆ visitSwitchStatement()

virtual int32_t UTAP::StatementVisitor::visitSwitchStatement ( SwitchStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.

Referenced by UTAP::SwitchStatement::accept().

Here is the caller graph for this function:

◆ visitWhileStatement()

virtual int32_t UTAP::StatementVisitor::visitWhileStatement ( WhileStatement stat)
pure virtual

Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.

Referenced by UTAP::WhileStatement::accept().

Here is the caller graph for this function:

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