ROSE  0.11.87.0
Public Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells Class Reference

Description

Predicate for non-written cells.

Returns true if a cell has no writers.

Definition at line 61 of file BaseSemantics/MemoryCell.h.

#include <Rose/BinaryAnalysis/InstructionSemantics2/BaseSemantics/MemoryCell.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells:
Collaboration graph
[legend]

Public Member Functions

virtual bool operator() (const MemoryCellPtr &) override
 Invoked for some cell. More...
 

Member Function Documentation

virtual bool Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::NonWrittenCells::operator() ( const MemoryCellPtr )
overridevirtual

Invoked for some cell.

The predicate must not modify the cell.

Implements Rose::BinaryAnalysis::InstructionSemantics2::BaseSemantics::MemoryCell::Predicate.


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