libutap
0.93
Uppaal Timed Automata Parser
|
#include <statement.h>
Protected Member Functions | |
virtual int32_t | visitStatement (Statement *stat) |
Definition at line 243 of file statement.h.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.
Definition at line 438 of file statement.cpp.
|
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().
|
overridevirtual |
Implements UTAP::StatementVisitor.
Definition at line 502 of file statement.cpp.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::ExpressionVisitor.
Definition at line 479 of file statement.cpp.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Definition at line 507 of file statement.cpp.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::ExpressionVisitor.
Definition at line 484 of file statement.cpp.
|
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.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::TypeChecker.
Definition at line 428 of file statement.cpp.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.
Definition at line 433 of file statement.cpp.
|
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.
|
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.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::TypeChecker.
Definition at line 448 of file statement.cpp.
References UTAP::Statement::accept(), and UTAP::IterationStatement::stat.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::ExpressionVisitor, and UTAP::TypeChecker.
Definition at line 512 of file statement.cpp.
|
protectedvirtual |
Definition at line 423 of file statement.cpp.
|
overridevirtual |
Implements UTAP::StatementVisitor.
Reimplemented in UTAP::ExpressionVisitor.
Definition at line 474 of file statement.cpp.
|
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.