com.ibm.wala.ipa.callgraph.propagation

Class AbstractPointsToSolver

java.lang.Object

com.ibm.wala.ipa.callgraph.propagation.AbstractPointsToSolver

All Implemented Interfaces:

IPointsToSolver

Direct Known Subclasses:

StandardSolver

public abstract class AbstractPointsToSolver
extends Object
implements IPointsToSolver

Abstract base class for solver for pointer analysis.

Field Summary

Fields

Modifier and Type	Field and Description
protected static boolean	DEBUG

Constructor Summary

Constructors

Constructor and Description
AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

Method Summary

Methods

Modifier and Type	Method and Description
protected PropagationCallGraphBuilder	getBuilder()
protected ReflectionHandler	getReflectionHandler()
protected PropagationSystem	getSystem()
abstract void	solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

DEBUG

protected static final boolean DEBUG

See Also:

Constant Field Values

Constructor Detail

AbstractPointsToSolver

public AbstractPointsToSolver(PropagationSystem system,
                      PropagationCallGraphBuilder builder)

Method Detail

solve

public abstract void solve(com.ibm.wala.util.MonitorUtil.IProgressMonitor monitor)
                    throws IllegalArgumentException,
                           com.ibm.wala.util.CancelException

Specified by:

solve in interface IPointsToSolver

Throws:

IllegalArgumentException

com.ibm.wala.util.CancelException

getBuilder

protected PropagationCallGraphBuilder getBuilder()

getReflectionHandler

protected ReflectionHandler getReflectionHandler()

getSystem

protected PropagationSystem getSystem()