Package com.ibm.wala.cast.ipa.callgraph

Interface AstHeapModel

All Superinterfaces:

AstPointerKeyFactory, ExtendedHeapModel, HeapModel, InstanceKeyFactory, PointerKeyFactory

public interface AstHeapModel
extends ExtendedHeapModel, AstPointerKeyFactory

Method Summary

Methods inherited from interface com.ibm.wala.cast.ipa.callgraph.AstPointerKeyFactory

getPointerKeyForObjectCatalog, getPointerKeysForReflectedFieldRead, getPointerKeysForReflectedFieldWrite

Methods inherited from interface com.ibm.wala.ipa.modref.ExtendedHeapModel

getPointerKeyForArrayLength

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