| 
    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().
