public abstract class AbstractPointerAnalysis extends Object implements PointerAnalysis<InstanceKey>
PointerAnalysis
implementations.Modifier and Type | Field and Description |
---|---|
protected MutableMapping<InstanceKey> |
instanceKeys
bijection from InstanceKey <=>Integer
|
Modifier | Constructor and Description |
---|---|
protected |
AbstractPointerAnalysis(CallGraph cg,
MutableMapping<InstanceKey> instanceKeys) |
Modifier and Type | Method and Description |
---|---|
protected CallGraph |
getCallGraph() |
HeapGraph |
getHeapGraph() |
OrdinalSetMapping<InstanceKey> |
getInstanceKeyMapping() |
Collection<InstanceKey> |
getInstanceKeys() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered
protected final MutableMapping<InstanceKey> instanceKeys
protected AbstractPointerAnalysis(CallGraph cg, MutableMapping<InstanceKey> instanceKeys)
public HeapGraph getHeapGraph()
getHeapGraph
in interface PointerAnalysis<InstanceKey>
protected CallGraph getCallGraph()
public Collection<InstanceKey> getInstanceKeys()
getInstanceKeys
in interface PointerAnalysis<InstanceKey>
public OrdinalSetMapping<InstanceKey> getInstanceKeyMapping()
getInstanceKeyMapping
in interface PointerAnalysis<InstanceKey>