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

Modifier and Type	Method	Description
IClassHierarchy	getClassHierarchy()
Iterator<PointerKey>	iteratePointerKeys()

Methods inherited from interface InstanceKeyFactory

getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI

Modifier and Type	Method	Description
InstanceKey	getInstanceKeyForAllocation(CGNode node, NewSiteReference allocation)
<T> InstanceKey	getInstanceKeyForConstant(TypeReference type, T S)
InstanceKey	getInstanceKeyForMetadataObject(Object obj, TypeReference objType)
InstanceKey	getInstanceKeyForMultiNewArray(CGNode node, NewSiteReference allocation, int dim)
InstanceKey	getInstanceKeyForPEI(CGNode node, ProgramCounter instr, TypeReference type)

Methods inherited from interface PointerKeyFactory

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

Modifier and Type	Method	Description
FilteredPointerKey	getFilteredPointerKeyForLocal(CGNode node, int valueNumber, FilteredPointerKey.TypeFilter filter)
PointerKey	getPointerKeyForArrayContents(InstanceKey I)	TODO: expand this API to differentiate between different array indices
PointerKey	getPointerKeyForExceptionalReturnValue(CGNode node)
PointerKey	getPointerKeyForInstanceField(InstanceKey I, IField field)
PointerKey	getPointerKeyForLocal(CGNode node, int valueNumber)
PointerKey	getPointerKeyForReturnValue(CGNode node)
PointerKey	getPointerKeyForStaticField(IField f)

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