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

#include <statement.h>

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

Public Member Functions

 CollectDependenciesVisitor (std::set< symbol_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::set< symbol_t > & dependencies
 

Detailed Description

Definition at line 292 of file statement.h.

Constructor & Destructor Documentation

◆ CollectDependenciesVisitor()

CollectDependenciesVisitor::CollectDependenciesVisitor ( std::set< symbol_t > &  dependencies)

Definition at line 619 of file statement.cpp.

Member Function Documentation

◆ visitExpression()

void CollectDependenciesVisitor::visitExpression ( expression_t  expr)
overrideprotectedvirtual

Implements UTAP::ExpressionVisitor.

Definition at line 626 of file statement.cpp.

References UTAP::expression_t::collectPossibleReads(), and dependencies.

Here is the call graph for this function:

Member Data Documentation

◆ dependencies

std::set<symbol_t>& UTAP::CollectDependenciesVisitor::dependencies
protected

Definition at line 296 of file statement.h.

Referenced by visitExpression().

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