AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl (API Reference for wala 1.3.9)

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<InstanceKey>

Direct Known Subclasses:

CrossLanguageSSAPropagationCallGraphBuilder.CrossLanguagePointerAnalysisImpl

Enclosing class:

AstSSAPropagationCallGraphBuilder
```
public static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl
extends PointerAnalysisImpl
```

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

static class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor
- Nested classes/interfaces inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
  PointerAnalysisImpl.HModel, PointerAnalysisImpl.ImplicitPointsToSetVisitor

Nested Classes
Modifier and Type	Class and Description
`static class`	`AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl.AstImplicitPointsToSetVisitor`

Field Summary
- Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.PointerAnalysisImpl
  builder, pointerKeys
- Fields inherited from class com.ibm.wala.ipa.callgraph.propagation.AbstractPointerAnalysis
  instanceKeys

Constructor Summary

Constructors
Constructor and Description
`AstPointerAnalysisImpl(PropagationCallGraphBuilder builder, CallGraph cg, PointsToMap pointsToMap, MutableMapping<InstanceKey> instanceKeys, PointerKeyFactory pointerKeys, InstanceKeyFactory iKeyFactory)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected HeapModel`	`makeHeapModel()`
`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

AstPointerAnalysisImpl

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

Method Detail
- makeHeapModel
```
protected HeapModel makeHeapModel()
```
  Overrides:
  
  makeHeapModel in class PointerAnalysisImpl
- makeImplicitPointsToVisitor
```
protected PointerAnalysisImpl.ImplicitPointsToSetVisitor makeImplicitPointsToVisitor(LocalPointerKey lpk)
```
  Overrides:
  
  makeImplicitPointsToVisitor in class PointerAnalysisImpl

Class AstSSAPropagationCallGraphBuilder.AstPointerAnalysisImpl

Nested Class Summary

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

Field Summary

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

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

Constructor Summary

Method Summary

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

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

Methods inherited from class java.lang.Object

Constructor Detail

AstPointerAnalysisImpl

Method Detail

makeHeapModel

makeImplicitPointsToVisitor