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

#include <statement.h>

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

Public Member Functions

 CollectChangesVisitor (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 > & changes
 

Detailed Description

Definition at line 283 of file statement.h.

Constructor & Destructor Documentation

◆ CollectChangesVisitor()

CollectChangesVisitor::CollectChangesVisitor ( std::set< symbol_t > &  changes)

Definition at line 608 of file statement.cpp.

Member Function Documentation

◆ visitExpression()

void CollectChangesVisitor::visitExpression ( expression_t  expr)
overrideprotectedvirtual

Implements UTAP::ExpressionVisitor.

Definition at line 614 of file statement.cpp.

References changes, and UTAP::expression_t::collectPossibleWrites().

Here is the call graph for this function:

Member Data Documentation

◆ changes

std::set<symbol_t>& UTAP::CollectChangesVisitor::changes
protected

Definition at line 287 of file statement.h.

Referenced by visitExpression().

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