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

#include <statement.h>

Inheritance diagram for UTAP::AbstractStatementVisitor:
Collaboration diagram for UTAP::AbstractStatementVisitor:

Public Member Functions

int32_t visitEmptyStatement (EmptyStatement *stat) override
 
int32_t visitExprStatement (ExprStatement *stat) override
 
int32_t visitAssertStatement (AssertStatement *stat) override
 
int32_t visitForStatement (ForStatement *stat) override
 
int32_t visitIterationStatement (IterationStatement *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 visitBreakStatement (BreakStatement *stat) override
 
int32_t visitContinueStatement (ContinueStatement *stat) override
 
int32_t visitReturnStatement (ReturnStatement *stat) override
 
- Public Member Functions inherited from UTAP::StatementVisitor
virtual ~StatementVisitor ()
 

Protected Member Functions

virtual int32_t visitStatement (Statement *stat)
 

Detailed Description

Definition at line 243 of file statement.h.

Member Function Documentation

◆ visitAssertStatement()

int32_t AbstractStatementVisitor::visitAssertStatement ( AssertStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 438 of file statement.cpp.

◆ visitBlockStatement()

int32_t AbstractStatementVisitor::visitBlockStatement ( BlockStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 463 of file statement.cpp.

References UTAP::BlockStatement::begin(), and UTAP::BlockStatement::end().

Here is the call graph for this function:

◆ visitBreakStatement()

int32_t AbstractStatementVisitor::visitBreakStatement ( BreakStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Definition at line 502 of file statement.cpp.

◆ visitCaseStatement()

int32_t AbstractStatementVisitor::visitCaseStatement ( CaseStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor.

Definition at line 479 of file statement.cpp.

◆ visitContinueStatement()

int32_t AbstractStatementVisitor::visitContinueStatement ( ContinueStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Definition at line 507 of file statement.cpp.

◆ visitDefaultStatement()

int32_t AbstractStatementVisitor::visitDefaultStatement ( DefaultStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor.

Definition at line 484 of file statement.cpp.

◆ visitDoWhileStatement()

int32_t AbstractStatementVisitor::visitDoWhileStatement ( DoWhileStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 458 of file statement.cpp.

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

Here is the call graph for this function:

◆ visitEmptyStatement()

int32_t AbstractStatementVisitor::visitEmptyStatement ( EmptyStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::TypeChecker.

Definition at line 428 of file statement.cpp.

◆ visitExprStatement()

int32_t AbstractStatementVisitor::visitExprStatement ( ExprStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 433 of file statement.cpp.

◆ visitForStatement()

int32_t AbstractStatementVisitor::visitForStatement ( ForStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 443 of file statement.cpp.

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

Here is the call graph for this function:

◆ visitIfStatement()

int32_t AbstractStatementVisitor::visitIfStatement ( IfStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 489 of file statement.cpp.

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

Here is the call graph for this function:

◆ visitIterationStatement()

int32_t AbstractStatementVisitor::visitIterationStatement ( IterationStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::TypeChecker.

Definition at line 448 of file statement.cpp.

References UTAP::Statement::accept(), and UTAP::IterationStatement::stat.

Here is the call graph for this function:

◆ visitReturnStatement()

int32_t AbstractStatementVisitor::visitReturnStatement ( ReturnStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 512 of file statement.cpp.

◆ visitStatement()

int32_t AbstractStatementVisitor::visitStatement ( Statement stat)
protectedvirtual

Definition at line 423 of file statement.cpp.

◆ visitSwitchStatement()

int32_t AbstractStatementVisitor::visitSwitchStatement ( SwitchStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor.

Definition at line 474 of file statement.cpp.

◆ visitWhileStatement()

int32_t AbstractStatementVisitor::visitWhileStatement ( WhileStatement stat)
overridevirtual

Implements UTAP::StatementVisitor.

Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.

Definition at line 453 of file statement.cpp.

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

Here is the call graph for this function:

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