IDemandPointerAnalysis (API Reference for wala 1.3.9)

All Known Implementing Classes:

AbstractDemandPointsTo, DemandRefinementPointsTo, SimpleDemandPointsTo
```
public interface IDemandPointerAnalysis
```
Basic interface for a demand-driven points-to analysis.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`CallGraph`	`getBaseCallGraph()`
`IClassHierarchy`	`getClassHierarchy()`
`HeapModel`	`getHeapModel()`
`Collection<InstanceKey>`	`getPointsTo(PointerKey pk)`

Method Detail

getHeapModel
```
HeapModel getHeapModel()
```

getBaseCallGraph
```
CallGraph getBaseCallGraph()
```

getClassHierarchy
```
IClassHierarchy getClassHierarchy()
```

getPointsTo

Collection<InstanceKey> getPointsTo(PointerKey pk)