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 boolean
DEBUG
-
Constructor Summary
Constructors Constructor Description AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description protected PropagationCallGraphBuilder
getBuilder()
protected ReflectionHandler
getReflectionHandler()
protected PropagationSystem
getSystem()
abstract void
solve(MonitorUtil.IProgressMonitor monitor)
-
-
-
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(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException
- Specified by:
solve
in interfaceIPointsToSolver
- Throws:
IllegalArgumentException
CancelException
-
getBuilder
protected PropagationCallGraphBuilder getBuilder()
-
getReflectionHandler
protected ReflectionHandler getReflectionHandler()
-
getSystem
protected PropagationSystem getSystem()
-
-