com.ibm.wala.ipa.callgraph.propagation
Class AbstractPointerAnalysis

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis

All Implemented Interfaces:

PointerAnalysis

Direct Known Subclasses:

PointerAnalysisImpl, TypeBasedPointerAnalysis

public abstract class AbstractPointerAnalysis
extends java.lang.Object
implements PointerAnalysis

Field Summary

protected MutableMapping<InstanceKey>

instanceKeys bijection from InstanceKey <=>Integer

Constructor Summary

protected

AbstractPointerAnalysis(CallGraph cg, MutableMapping<InstanceKey> instanceKeys)

Method Summary

protected CallGraph	getCallGraph()
HeapGraph	getHeapGraph()
OrdinalSetMapping<InstanceKey>	getInstanceKeyMapping()
java.util.Collection<InstanceKey>	getInstanceKeys()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis

getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered

Field Detail

instanceKeys

protected final MutableMapping<InstanceKey> instanceKeys

bijection from InstanceKey <=>Integer

Constructor Detail

AbstractPointerAnalysis

protected AbstractPointerAnalysis(CallGraph cg,
                                  MutableMapping<InstanceKey> instanceKeys)

Method Detail

getHeapGraph

public HeapGraph getHeapGraph()

Specified by:

getHeapGraph in interface PointerAnalysis

Returns:

a graph view of the pointer analysis solution

getCallGraph

protected CallGraph getCallGraph()

Returns:

Returns the callgraph.

getInstanceKeys

public java.util.Collection<InstanceKey> getInstanceKeys()

Specified by:

getInstanceKeys in interface PointerAnalysis

Returns:

all instance keys known

getInstanceKeyMapping

public OrdinalSetMapping<InstanceKey> getInstanceKeyMapping()

Specified by:

getInstanceKeyMapping in interface PointerAnalysis

Returns:

the bijection between InstanceKey <=> Integer that defines the interpretation of points-to-sets.