public class StandardSolver extends AbstractPointsToSolver
DEBUG
Constructor and Description |
---|
StandardSolver(PropagationSystem system,
PropagationCallGraphBuilder builder) |
Modifier and Type | Method and Description |
---|---|
void |
solve(MonitorUtil.IProgressMonitor monitor) |
getBuilder, getReflectionHandler, getSystem
public StandardSolver(PropagationSystem system, PropagationCallGraphBuilder builder)
public void solve(MonitorUtil.IProgressMonitor monitor) throws IllegalArgumentException, CancelException
solve
in interface IPointsToSolver
solve
in class AbstractPointsToSolver
IllegalArgumentException
CancelException