Package com.ibm.wala.demandpa.util
Interface MemoryAccessMap
-
- All Known Implementing Classes:
PABasedMemoryAccessMap
,SimpleMemoryAccessMap
public interface MemoryAccessMap
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Collection<MemoryAccess>
getArrayReads(PointerKey arrayRef)
Collection<MemoryAccess>
getArrayWrites(PointerKey arrayRef)
Collection<MemoryAccess>
getFieldReads(PointerKey baseRef, IField field)
Collection<MemoryAccess>
getFieldWrites(PointerKey baseRef, IField field)
HeapModel
getHeapModel()
get the heap model used in this memory access mapCollection<MemoryAccess>
getStaticFieldReads(IField field)
Collection<MemoryAccess>
getStaticFieldWrites(IField field)
-
-
-
Method Detail
-
getFieldReads
Collection<MemoryAccess> getFieldReads(PointerKey baseRef, IField field)
- Returns:
- Collection
-
getFieldWrites
Collection<MemoryAccess> getFieldWrites(PointerKey baseRef, IField field)
- Returns:
- Collection
-
getArrayReads
Collection<MemoryAccess> getArrayReads(PointerKey arrayRef)
-
getArrayWrites
Collection<MemoryAccess> getArrayWrites(PointerKey arrayRef)
-
getStaticFieldReads
Collection<MemoryAccess> getStaticFieldReads(IField field)
-
getStaticFieldWrites
Collection<MemoryAccess> getStaticFieldWrites(IField field)
-
getHeapModel
HeapModel getHeapModel()
get the heap model used in this memory access map
-
-