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

Author:

sfink

Constructor Summary

Constructors

Constructor	Description
SimpleMemoryAccessMap(CallGraph cg, HeapModel heapModel, boolean includePrimOps)

Method Summary

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

SimpleMemoryAccessMap

public SimpleMemoryAccessMap(CallGraph cg,
 HeapModel heapModel,
 boolean includePrimOps)

Method Details

getFieldReads

public Collection<MemoryAccess> getFieldReads(PointerKey pk,
 IField field)

Specified by:

getFieldReads in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getFieldWrites

public Collection<MemoryAccess> getFieldWrites(PointerKey pk,
 IField field)

Specified by:

getFieldWrites in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getArrayReads

public Collection<MemoryAccess> getArrayReads(PointerKey pk)

Specified by:

getArrayReads in interface MemoryAccessMap

getArrayWrites

public Collection<MemoryAccess> getArrayWrites(PointerKey pk)

Specified by:

getArrayWrites in interface MemoryAccessMap

toString

public String toString()

Overrides:

toString in class Object

getStaticFieldReads

public Collection<MemoryAccess> getStaticFieldReads(IField field)

Specified by:

getStaticFieldReads in interface MemoryAccessMap

getStaticFieldWrites

public Collection<MemoryAccess> getStaticFieldWrites(IField field)

Specified by:

getStaticFieldWrites in interface MemoryAccessMap

getHeapModel

public HeapModel getHeapModel()

Description copied from interface: MemoryAccessMap

get the heap model used in this memory access map

Specified by:

getHeapModel in interface MemoryAccessMap

repOk

public void repOk()