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, waitgetClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFilteredprotected 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>