AbstractPointerAnalysis (API Reference for wala 1.3.9)

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

All Implemented Interfaces:

PointerAnalysis<InstanceKey>

Direct Known Subclasses:

PointerAnalysisImpl, TypeBasedPointerAnalysis
```
public abstract class AbstractPointerAnalysis
extends Object
implements PointerAnalysis<InstanceKey>
```
Abstract superclass for PointerAnalysis implementations.

Field Summary

Fields
Modifier and Type Field Description

protected MutableMapping<InstanceKey> instanceKeys
bijection from InstanceKey <=>Integer

Constructor Summary

Constructors
Modifier Constructor Description

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

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected CallGraph`	`getCallGraph()`
`HeapGraph`	`getHeapGraph()`
`OrdinalSetMapping<InstanceKey>`	`getInstanceKeyMapping()`
`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<InstanceKey>
    
    Returns:
    
    a graph view of the pointer analysis solution
  - getCallGraph
```
protected CallGraph getCallGraph()
```
  - getInstanceKeys
```
public Collection<InstanceKey> getInstanceKeys()
```
    Specified by:
    
    getInstanceKeys in interface PointerAnalysis<InstanceKey>
    
    Returns:
    
    all instance keys known
  - getInstanceKeyMapping
```
public OrdinalSetMapping<InstanceKey> getInstanceKeyMapping()
```
    Specified by:
    
    getInstanceKeyMapping in interface PointerAnalysis<InstanceKey>
    
    Returns:
    
    the bijection between InstanceKey <=> Integer that defines the interpretation of points-to-sets.