com.ibm.wala.cast.ipa.callgraph
Class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

java.lang.Object
  com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
      com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
          com.ibm.wala.cast.ipa.callgraph.AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

All Implemented Interfaces:

PointerAnalysis

Direct Known Subclasses:

CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl, JSSSAPropagationCallGraphBuilder.JSPointerAnalysisImpl

Enclosing class:

AstSSAPropagationCallGraphBuilder

public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
extends PointerAnalysisImpl

Nested Class Summary

static class

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor

Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

PointerAnalysisImpl.ImplicitPointsToSetVisitor

Field Summary

Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis

instanceKeys

Constructor Summary

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)

Method Summary

protected PointerAnalysisImpl.ImplicitPointsToSetVisitor

makeImplicitPointsToVisitor(LocalPointerKey lpk)

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl

computeImplicitPointsToSetAtGet, getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered, toString

Methods inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis

getCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeys

Methods inherited from class java.lang.Object

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

Constructor Detail

AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

public AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl(PropagationCallGraphBuilder builder,
                                                                CallGraph cg,
                                                                PointsToMap pointsToMap,
                                                                MutableMapping<InstanceKey> instanceKeys,
                                                                PointerKeyFactory pointerKeys,
                                                                InstanceKeyFactory iKeyFactory)

Method Detail

makeImplicitPointsToVisitor

protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)

Overrides:

makeImplicitPointsToVisitor in class PointerAnalysisImpl