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	Description
protected static final boolean	DEBUG

Constructor Summary

Constructors

Constructor	Description
AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)

Method Summary

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

Methods inherited from class Object

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

Field Details

DEBUG

protected static final boolean DEBUG

See Also:

• Constant Field Values

Constructor Details

AbstractPointsToSolver

public AbstractPointsToSolver(PropagationSystem system,
 PropagationCallGraphBuilder builder)

Method Details

solve

public abstract void solve(MonitorUtil.IProgressMonitor monitor)
                    throws IllegalArgumentException,
CancelException

Specified by:

solve in interface IPointsToSolver

Throws:

IllegalArgumentException

CancelException

getBuilder

protected PropagationCallGraphBuilder getBuilder()

getReflectionHandler

protected ReflectionHandler getReflectionHandler()

getSystem

protected PropagationSystem getSystem()