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

#include <statement.h>

Inheritance diagram for UTAP::ExpressionVisitor:
Collaboration diagram for UTAP::ExpressionVisitor:

Public Member Functions

int32_t visitExprStatement (ExprStatement *stat) override
 
int32_t visitAssertStatement (AssertStatement *stat) override
 
int32_t visitForStatement (ForStatement *stat) override
 
int32_t visitWhileStatement (WhileStatement *stat) override
 
int32_t visitDoWhileStatement (DoWhileStatement *stat) override
 
int32_t visitBlockStatement (BlockStatement *stat) override
 
int32_t visitSwitchStatement (SwitchStatement *stat) override
 
int32_t visitCaseStatement (CaseStatement *stat) override
 
int32_t visitDefaultStatement (DefaultStatement *stat) override
 
int32_t visitIfStatement (IfStatement *stat) override
 
int32_t visitReturnStatement (ReturnStatement *stat) override
 
- Public Member Functions inherited from UTAP::AbstractStatementVisitor
int32_t visitEmptyStatement (EmptyStatement *stat) override
 
int32_t visitIterationStatement (IterationStatement *stat) override
 
int32_t visitBreakStatement (BreakStatement *stat) override
 
int32_t visitContinueStatement (ContinueStatement *stat) override
 
- Public Member Functions inherited from UTAP::StatementVisitor
virtual ~StatementVisitor ()
 

Protected Member Functions

virtual void visitExpression (expression_t)=0
 
- Protected Member Functions inherited from UTAP::AbstractStatementVisitor
virtual int32_t visitStatement (Statement *stat)
 

Detailed Description

Definition at line 265 of file statement.h.

Member Function Documentation

◆ visitAssertStatement()

int32_t ExpressionVisitor::visitAssertStatement ( AssertStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 523 of file statement.cpp.

References UTAP::AssertStatement::expr.

◆ visitBlockStatement()

int32_t ExpressionVisitor::visitBlockStatement ( BlockStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 549 of file statement.cpp.

References UTAP::BlockStatement::begin(), UTAP::BlockStatement::end(), UTAP::BlockStatement::getFrame(), and UTAP::frame_t::getSize().

Here is the call graph for this function:

◆ visitCaseStatement()

int32_t ExpressionVisitor::visitCaseStatement ( CaseStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 579 of file statement.cpp.

References UTAP::CaseStatement::cond.

◆ visitDefaultStatement()

int32_t ExpressionVisitor::visitDefaultStatement ( DefaultStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 585 of file statement.cpp.

◆ visitDoWhileStatement()

int32_t ExpressionVisitor::visitDoWhileStatement ( DoWhileStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 543 of file statement.cpp.

References UTAP::Statement::accept(), UTAP::DoWhileStatement::cond, and UTAP::DoWhileStatement::stat.

Here is the call graph for this function:

◆ visitExpression()

virtual void UTAP::ExpressionVisitor::visitExpression ( expression_t  )
protectedpure virtual

◆ visitExprStatement()

int32_t ExpressionVisitor::visitExprStatement ( ExprStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 517 of file statement.cpp.

References UTAP::ExprStatement::expr.

◆ visitForStatement()

int32_t ExpressionVisitor::visitForStatement ( ForStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 529 of file statement.cpp.

References UTAP::Statement::accept(), UTAP::ForStatement::cond, UTAP::ForStatement::init, UTAP::ForStatement::stat, and UTAP::ForStatement::step.

Here is the call graph for this function:

◆ visitIfStatement()

int32_t ExpressionVisitor::visitIfStatement ( IfStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 590 of file statement.cpp.

References UTAP::Statement::accept(), UTAP::IfStatement::cond, UTAP::IfStatement::falseCase, and UTAP::IfStatement::trueCase.

Here is the call graph for this function:

◆ visitReturnStatement()

int32_t ExpressionVisitor::visitReturnStatement ( ReturnStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 601 of file statement.cpp.

References UTAP::ReturnStatement::value.

◆ visitSwitchStatement()

int32_t ExpressionVisitor::visitSwitchStatement ( SwitchStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 573 of file statement.cpp.

References UTAP::SwitchStatement::cond.

◆ visitWhileStatement()

int32_t ExpressionVisitor::visitWhileStatement ( WhileStatement stat)
overridevirtual

Reimplemented from UTAP::AbstractStatementVisitor.

Definition at line 537 of file statement.cpp.

References UTAP::Statement::accept(), UTAP::WhileStatement::cond, and UTAP::WhileStatement::stat.

Here is the call graph for this function:

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