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 a PointerKey to represent an array length field

Method Summary

Modifier and Type	Method	Description
PointerKey	getPointerKeyForArrayLength(InstanceKey I)

Methods inherited from interface HeapModel

getClassHierarchy, iteratePointerKeys

Methods inherited from interface InstanceKeyFactory

getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI

Methods inherited from interface PointerKeyFactory

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

Method Details

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