com.ibm.wala.demandpa.util

Class SimpleMemoryAccessMap

java.lang.Object

com.ibm.wala.demandpa.util.SimpleMemoryAccessMap

All Implemented Interfaces:

MemoryAccessMap

public class SimpleMemoryAccessMap
extends java.lang.Object
implements MemoryAccessMap

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.Collection<MemoryAccess>	getArrayReads(PointerKey pk)
java.util.Collection<MemoryAccess>	getArrayWrites(PointerKey pk)
java.util.Collection<MemoryAccess>	getFieldReads(PointerKey pk, IField field)
java.util.Collection<MemoryAccess>	getFieldWrites(PointerKey pk, 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)
void	repOk()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleMemoryAccessMap

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

Method Detail

getFieldReads

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

Specified by:

getFieldReads in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getFieldWrites

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

Specified by:

getFieldWrites in interface MemoryAccessMap

Returns:

Collection<MemoryAccess>

getArrayReads

public java.util.Collection<MemoryAccess> getArrayReads(PointerKey pk)

Specified by:

getArrayReads in interface MemoryAccessMap

getArrayWrites

public java.util.Collection<MemoryAccess> getArrayWrites(PointerKey pk)

Specified by:

getArrayWrites in interface MemoryAccessMap

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getStaticFieldReads

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

Specified by:

getStaticFieldReads in interface MemoryAccessMap

getStaticFieldWrites

public java.util.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()