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

#include <statement.h>

Inheritance diagram for UTAP::IfStatement:
Collaboration diagram for UTAP::IfStatement:

Public Member Functions

 IfStatement (expression_t, Statement *, Statement *falseStat=nullptr)
 
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 cond
 
StatementtrueCase
 
StatementfalseCase
 

Additional Inherited Members

- Protected Member Functions inherited from UTAP::Statement
 Statement ()
 

Detailed Description

Definition at line 180 of file statement.h.

Constructor & Destructor Documentation

◆ IfStatement()

IfStatement::IfStatement ( expression_t  cond,
Statement _true,
Statement falseStat = nullptr 
)

Definition at line 324 of file statement.cpp.

Member Function Documentation

◆ accept()

int32_t IfStatement::accept ( StatementVisitor visitor)
overridevirtual

Implements UTAP::Statement.

Definition at line 331 of file statement.cpp.

References UTAP::StatementVisitor::visitIfStatement().

Here is the call graph for this function:

◆ returns()

bool IfStatement::returns ( )
overridevirtual

Implements UTAP::Statement.

Definition at line 336 of file statement.cpp.

References falseCase, UTAP::Statement::returns(), and trueCase.

Here is the call graph for this function:

◆ toString()

string IfStatement::toString ( const std::string &  prefix) const
overridevirtual

Implements UTAP::Statement.

Definition at line 345 of file statement.cpp.

References cond, falseCase, INDENT, UTAP::Statement::toString(), UTAP::expression_t::toString(), and trueCase.

Here is the call graph for this function:

Member Data Documentation

◆ cond

◆ falseCase

◆ trueCase


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