libutap  0.93
Uppaal Timed Automata Parser
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
UTAP::CollectDynamicExpressions Class Reference

#include <statement.h>

Inheritance diagram for UTAP::CollectDynamicExpressions:
Inheritance graph
[legend]
Collaboration diagram for UTAP::CollectDynamicExpressions:
Collaboration graph
[legend]

Public Member Functions

 CollectDynamicExpressions (std::list< expression_t > &)
 
- Public Member Functions inherited from UTAP::ExpressionVisitor
int32_t visitExprStatement (ExprStatement *stat) override
 
int32_t visitAssertStatement (AssertStatement *stat) override
 
int32_t visitForStatement (ForStatement *stat) override
 
int32_t visitWhileStatement (WhileStatement *stat) override
 
int32_t visitDoWhileStatement (DoWhileStatement *stat) override
 
int32_t visitBlockStatement (BlockStatement *stat) override
 
int32_t visitSwitchStatement (SwitchStatement *stat) override
 
int32_t visitCaseStatement (CaseStatement *stat) override
 
int32_t visitDefaultStatement (DefaultStatement *stat) override
 
int32_t visitIfStatement (IfStatement *stat) override
 
int32_t visitReturnStatement (ReturnStatement *stat) override
 
- Public Member Functions inherited from UTAP::AbstractStatementVisitor
int32_t visitEmptyStatement (EmptyStatement *stat) override
 
int32_t visitIterationStatement (IterationStatement *stat) override
 
int32_t visitBreakStatement (BreakStatement *stat) override
 
int32_t visitContinueStatement (ContinueStatement *stat) override
 
- Public Member Functions inherited from UTAP::StatementVisitor
virtual ~StatementVisitor ()
 

Protected Member Functions

void visitExpression (expression_t) override
 
- Protected Member Functions inherited from UTAP::AbstractStatementVisitor
virtual int32_t visitStatement (Statement *stat)
 

Protected Attributes

std::list< expression_t > & expressions
 

Detailed Description

Definition at line 301 of file statement.h.

Constructor & Destructor Documentation

◆ CollectDynamicExpressions()

CollectDynamicExpressions::CollectDynamicExpressions ( std::list< expression_t > &  e)

Definition at line 631 of file statement.cpp.

Member Function Documentation

◆ visitExpression()

void CollectDynamicExpressions::visitExpression ( expression_t  expr)
overrideprotectedvirtual

Implements UTAP::ExpressionVisitor.

Definition at line 638 of file statement.cpp.

References expressions, UTAP::expression_t::hasDynamicSub(), and UTAP::expression_t::isDynamic().

Here is the call graph for this function:

Member Data Documentation

◆ expressions

std::list<expression_t>& UTAP::CollectDynamicExpressions::expressions
protected

Definition at line 305 of file statement.h.

Referenced by visitExpression().

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