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 IPointsToSolverIllegalArgumentExceptionCancelExceptionprotected PropagationCallGraphBuilder getBuilder()
protected ReflectionHandler getReflectionHandler()
protected PropagationSystem getSystem()