protected static class CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl extends AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitorPointerAnalysisImpl.HModel, PointerAnalysisImpl.ImplicitPointsToSetVisitorbuilder, pointerKeysinstanceKeys| Modifier | Constructor and Description |
|---|---|
protected |
CrossLanguagePointerAnalysisImpl(CrossLanguageSSAPropagationCallGraphBuilder builder,
CallGraph cg,
PointsToMap pointsToMap,
MutableMapping<InstanceKey> instanceKeys,
PointerKeyFactory pointerKeys,
InstanceKeyFactory iKeyFactory) |
| Modifier and Type | Method and Description |
|---|---|
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor |
makeImplicitPointsToVisitor(LocalPointerKey lpk) |
makeHeapModelcomputeImplicitPointsToSetAtGet, getClassHierarchy, getHeapModel, getPointerKeys, getPointsToSet, isFiltered, toStringgetCallGraph, getHeapGraph, getInstanceKeyMapping, getInstanceKeysprotected CrossLanguagePointerAnalysisImpl(CrossLanguageSSAPropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)
makeImplicitPointsToVisitor in class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl