com.ibm.wala.ipa.modref

Interface ExtendedHeapModel

All Superinterfaces:

HeapModel, InstanceKeyFactory, PointerKeyFactory

All Known Implementing Classes:

DelegatingExtendedHeapModel

public interface ExtendedHeapModel
extends HeapModel

An extension of a heap model that returns a PointerKey to represent an array length field

Method Summary

Methods

Modifier and Type	Method and Description
PointerKey	getPointerKeyForArrayLength(InstanceKey I)

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.HeapModel

getClassHierarchy, iteratePointerKeys

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.InstanceKeyFactory

getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.PointerKeyFactory

getFilteredPointerKeyForLocal, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField

Method Detail

getPointerKeyForArrayLength

PointerKey getPointerKeyForArrayLength(InstanceKey I)

Parameters:

I - an InstanceKey representing an abstract array

Returns:

the PointerKey that acts as a representation for the arraylength field of this abstract array