Package com.ibm.wala.ipa.modref
Interface ExtendedHeapModel
-
- All Superinterfaces:
HeapModel
,InstanceKeyFactory
,PointerKeyFactory
- All Known Subinterfaces:
AstHeapModel
- All Known Implementing Classes:
DelegatingExtendedHeapModel
public interface ExtendedHeapModel extends HeapModel
An extension of a heap model that returns aPointerKey
to represent an array length field
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method 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
-
-