Class SimpleMemoryAccessMap
java.lang.Object
com.ibm.wala.demandpa.util.SimpleMemoryAccessMap
-
Constructor Summary
ConstructorDescriptionSimpleMemoryAccessMap
(CallGraph cg, HeapModel heapModel, boolean includePrimOps) -
Method Summary
Modifier and TypeMethodDescriptiongetFieldReads
(PointerKey pk, IField field) getFieldWrites
(PointerKey pk, IField field) get the heap model used in this memory access mapgetStaticFieldReads
(IField field) getStaticFieldWrites
(IField field) void
repOk()
toString()
-
Constructor Details
-
SimpleMemoryAccessMap
-
-
Method Details
-
getFieldReads
- Specified by:
getFieldReads
in interfaceMemoryAccessMap
- Returns:
Collection
<MemoryAccess
>
-
getFieldWrites
- Specified by:
getFieldWrites
in interfaceMemoryAccessMap
- Returns:
Collection
<MemoryAccess
>
-
getArrayReads
- Specified by:
getArrayReads
in interfaceMemoryAccessMap
-
getArrayWrites
- Specified by:
getArrayWrites
in interfaceMemoryAccessMap
-
toString
-
getStaticFieldReads
- Specified by:
getStaticFieldReads
in interfaceMemoryAccessMap
-
getStaticFieldWrites
- Specified by:
getStaticFieldWrites
in interfaceMemoryAccessMap
-
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()
-