public interface HeapModel extends InstanceKeyFactory, PointerKeyFactory
HeapModel
embodies how a pointer analysis abstracts heap locations.Modifier and Type | Method and Description |
---|---|
IClassHierarchy |
getClassHierarchy() |
Iterator<PointerKey> |
iteratePointerKeys() |
getInstanceKeyForAllocation, getInstanceKeyForConstant, getInstanceKeyForMetadataObject, getInstanceKeyForMultiNewArray, getInstanceKeyForPEI
getFilteredPointerKeyForLocal, getPointerKeyForArrayContents, getPointerKeyForExceptionalReturnValue, getPointerKeyForInstanceField, getPointerKeyForLocal, getPointerKeyForReturnValue, getPointerKeyForStaticField
Iterator<PointerKey> iteratePointerKeys()
IClassHierarchy getClassHierarchy()