ROSE  0.9.9.109
Public Member Functions | List of all members
Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorSimple Struct Reference

Description

Functor for handling a memory read whose address matches more than one memory cell.

Simply returns the dflt value.

Definition at line 481 of file SymbolicSemantics2.h.

#include <SymbolicSemantics2.h>

Inheritance diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorSimple:
Inheritance graph
[legend]
Collaboration diagram for Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressorSimple:
Collaboration graph
[legend]

Public Member Functions

virtual SValuePtr operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const CellList &cells) ROSE_OVERRIDE
 
- Public Member Functions inherited from Rose::BinaryAnalysis::InstructionSemantics2::SymbolicSemantics::MemoryListState::CellCompressor
virtual SValuePtr operator() (const SValuePtr &address, const BaseSemantics::SValuePtr &dflt, BaseSemantics::RiscOperators *addrOps, BaseSemantics::RiscOperators *valOps, const MemoryCellList::CellList &cells)=0
 

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