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

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