Package com.ibm.wala.demandpa.util
Class SimpleMemoryAccessMap
- java.lang.Object
-
- com.ibm.wala.demandpa.util.SimpleMemoryAccessMap
-
- All Implemented Interfaces:
MemoryAccessMap
public class SimpleMemoryAccessMap extends Object implements MemoryAccessMap
-
-
Constructor Summary
Constructors Constructor Description SimpleMemoryAccessMap(CallGraph cg, HeapModel heapModel, boolean includePrimOps)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<MemoryAccess>
getArrayReads(PointerKey pk)
Collection<MemoryAccess>
getArrayWrites(PointerKey pk)
Collection<MemoryAccess>
getFieldReads(PointerKey pk, IField field)
Collection<MemoryAccess>
getFieldWrites(PointerKey pk, IField field)
HeapModel
getHeapModel()
get the heap model used in this memory access mapCollection<MemoryAccess>
getStaticFieldReads(IField field)
Collection<MemoryAccess>
getStaticFieldWrites(IField field)
void
repOk()
String
toString()
-
-
-
Method Detail
-
getFieldReads
public Collection<MemoryAccess> getFieldReads(PointerKey pk, IField field)
- Specified by:
getFieldReads
in interfaceMemoryAccessMap
- Returns:
- Collection
-
getFieldWrites
public Collection<MemoryAccess> getFieldWrites(PointerKey pk, IField field)
- Specified by:
getFieldWrites
in interfaceMemoryAccessMap
- Returns:
- Collection
-
getArrayReads
public Collection<MemoryAccess> getArrayReads(PointerKey pk)
- Specified by:
getArrayReads
in interfaceMemoryAccessMap
-
getArrayWrites
public Collection<MemoryAccess> getArrayWrites(PointerKey pk)
- Specified by:
getArrayWrites
in interfaceMemoryAccessMap
-
getStaticFieldReads
public Collection<MemoryAccess> getStaticFieldReads(IField field)
- Specified by:
getStaticFieldReads
in interfaceMemoryAccessMap
-
getStaticFieldWrites
public Collection<MemoryAccess> getStaticFieldWrites(IField field)
- Specified by:
getStaticFieldWrites
in interfaceMemoryAccessMap
-
getHeapModel
public HeapModel getHeapModel()
Description copied from interface:MemoryAccessMap
get the heap model used in this memory access map- Specified by:
getHeapModel
in interfaceMemoryAccessMap
-
repOk
public void repOk()
-
-