libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
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 |
Definition at line 222 of file statement.h.
|
inlinevirtual |
Definition at line 225 of file statement.h.
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::AssertStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::BlockStatement::accept().
|
pure virtual |
Implemented in UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.
Referenced by UTAP::BreakStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.
Referenced by UTAP::CaseStatement::accept().
|
pure virtual |
Implemented in UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.
Referenced by UTAP::ContinueStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.
Referenced by UTAP::DefaultStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::DoWhileStatement::accept().
|
pure virtual |
Implemented in UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::EmptyStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::ExprStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::ForStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::IfStatement::accept().
|
pure virtual |
Implemented in UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::IterationStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::ReturnStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, and UTAP::SignalFlow.
Referenced by UTAP::SwitchStatement::accept().
|
pure virtual |
Implemented in UTAP::ExpressionVisitor, UTAP::AbstractStatementVisitor, UTAP::SignalFlow, and UTAP::TypeChecker.
Referenced by UTAP::WhileStatement::accept().