AbstractPointerAnalysis (core 1.6.5 API)

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 java.lang.Object
implements PointerAnalysis<InstanceKey>
```
Abstract superclass for PointerAnalysis implementations.

Field Summary

Fields
Modifier and Type Field Description

protected com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys
bijection from InstanceKey <=> Integer

Constructor Summary

Constructors
Modifier Constructor Description

protected AbstractPointerAnalysis(CallGraph cg, com.ibm.wala.util.intset.MutableMapping<InstanceKey> instanceKeys)

Method Summary

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