public interface PointerAnalysis<T extends InstanceKey>
Modifier and Type | Method and Description |
---|---|
IClassHierarchy |
getClassHierarchy() |
HeapGraph<T> |
getHeapGraph() |
HeapModel |
getHeapModel() |
OrdinalSetMapping<T> |
getInstanceKeyMapping() |
Collection<T> |
getInstanceKeys() |
Iterable<PointerKey> |
getPointerKeys() |
OrdinalSet<T> |
getPointsToSet(PointerKey key) |
boolean |
isFiltered(PointerKey pk)
did the pointer analysis use a type filter for a given points-to set?
(this is ugly).
|
OrdinalSet<T> getPointsToSet(PointerKey key)
key
- representative of an equivalence class of pointersHeapModel getHeapModel()
OrdinalSetMapping<T> getInstanceKeyMapping()
Iterable<PointerKey> getPointerKeys()
Collection<T> getInstanceKeys()
boolean isFiltered(PointerKey pk)
IClassHierarchy getClassHierarchy()