SimpleMemoryAccessMap (API Reference for wala 1.3.9)

java.lang.Object
- com.ibm.wala.demandpa.util.SimpleMemoryAccessMap

All Implemented Interfaces:: MemoryAccessMap

public class SimpleMemoryAccessMap
extends Object
implements MemoryAccessMap

Constructor Summary

Constructors
Constructor Description

SimpleMemoryAccessMap(CallGraph cg, HeapModel heapModel, boolean includePrimOps)

Method Summary

All Methods Instance Methods Concrete Methods
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 Detail

SimpleMemoryAccessMap

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

Method Detail

getFieldReads

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

Specified by:: getFieldReads in interface MemoryAccessMap
Returns:: Collection

getFieldWrites

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

Specified by:: getFieldWrites in interface MemoryAccessMap
Returns:: Collection

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()
```