| 
    libutap
    0.93
    
   Uppaal Timed Automata Parser 
   | 
 
#include <statement.h>


Public Member Functions | |
| AssertStatement (expression_t) | |
| int32_t | accept (StatementVisitor *visitor) override | 
| bool | returns () override | 
| std::string | toString (const std::string &prefix) const override | 
  Public Member Functions inherited from UTAP::Statement | |
| virtual | ~Statement () | 
Public Attributes | |
| expression_t | expr | 
Additional Inherited Members | |
  Protected Member Functions inherited from UTAP::Statement | |
| Statement () | |
Definition at line 65 of file statement.h.
| AssertStatement::AssertStatement | ( | expression_t | expr | ) | 
Definition at line 77 of file statement.cpp.
      
  | 
  overridevirtual | 
Implements UTAP::Statement.
Definition at line 83 of file statement.cpp.
References UTAP::StatementVisitor::visitAssertStatement().

      
  | 
  overridevirtual | 
Implements UTAP::Statement.
Definition at line 88 of file statement.cpp.
      
  | 
  overridevirtual | 
Implements UTAP::Statement.
Definition at line 93 of file statement.cpp.
References expr, and UTAP::expression_t::toString().

| expression_t UTAP::AssertStatement::expr | 
Definition at line 68 of file statement.h.
Referenced by toString(), UTAP::TypeChecker::visitAssertStatement(), and UTAP::ExpressionVisitor::visitAssertStatement().