Package com.ibm.wala.demandpa.util

Interface MemoryAccessMap

All Known Implementing Classes:

PABasedMemoryAccessMap, SimpleMemoryAccessMap

public interface MemoryAccessMap

Method Summary

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 map
Collection<MemoryAccess>	getStaticFieldReads(IField field)
Collection<MemoryAccess>	getStaticFieldWrites(IField field)

Method Details

getFieldReads

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

Returns:

Collection<MemoryAccess>

getFieldWrites

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

Returns:

Collection<MemoryAccess>

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