com.ibm.wala.demandpa.util
Interface MemoryAccessMap

All Known Implementing Classes:

PABasedMemoryAccessMap, SimpleMemoryAccessMap

public interface MemoryAccessMap

Method Summary

java.util.Collection<MemoryAccess>	getArrayReads(PointerKey arrayRef)
java.util.Collection<MemoryAccess>	getArrayWrites(PointerKey arrayRef)
java.util.Collection<MemoryAccess>	getFieldReads(PointerKey baseRef, IField field)
java.util.Collection<MemoryAccess>	getFieldWrites(PointerKey baseRef, IField field)
HeapModel	getHeapModel() get the heap model used in this memory access map
java.util.Collection<MemoryAccess>	getStaticFieldReads(IField field)
java.util.Collection<MemoryAccess>	getStaticFieldWrites(IField field)

Method Detail

getFieldReads

java.util.Collection<MemoryAccess> getFieldReads(PointerKey baseRef,
                                                 IField field)

Returns:

Collection

getFieldWrites

java.util.Collection<MemoryAccess> getFieldWrites(PointerKey baseRef,
                                                  IField field)

Returns:

Collection

getArrayReads

java.util.Collection<MemoryAccess> getArrayReads(PointerKey arrayRef)

getArrayWrites

java.util.Collection<MemoryAccess> getArrayWrites(PointerKey arrayRef)

getStaticFieldReads

java.util.Collection<MemoryAccess> getStaticFieldReads(IField field)

getStaticFieldWrites

java.util.Collection<MemoryAccess> getStaticFieldWrites(IField field)

getHeapModel

HeapModel getHeapModel()

get the heap model used in this memory access map