ExtendedHeapModel (wala 1.6.8-SNAPSHOT API)

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 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 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