public abstract class AbstractPointsToSolver extends Object implements IPointsToSolver
Modifier and Type | Field and Description |
---|---|
protected static boolean |
DEBUG |
Constructor and Description |
---|
AbstractPointsToSolver(PropagationSystem system,
PropagationCallGraphBuilder builder) |
Modifier and Type | Method and Description |
---|---|
protected PropagationCallGraphBuilder |
getBuilder() |
protected ReflectionHandler |
getReflectionHandler() |
protected PropagationSystem |
getSystem() |
abstract void |
solve(MonitorUtil.IProgressMonitor monitor) |
protected static final boolean DEBUG
public AbstractPointsToSolver(PropagationSystem system, PropagationCallGraphBuilder builder)
public abstract void solve(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException
solve
in interface IPointsToSolver
IllegalArgumentException
CancelException
protected PropagationCallGraphBuilder getBuilder()
protected ReflectionHandler getReflectionHandler()
protected PropagationSystem getSystem()