first half-baked attempt to generalize the scheduling strategies

Author: StevenArzt

soot-infoflow/src/soot/jimple/infoflow/solver/IStrategyBasedParallelSolver.java

@@ -0,0 +1,22 @@
+package soot.jimple.infoflow.solver;
+
+import soot.jimple.infoflow.solver.fastSolver.FastSolverLinkedNode;
+import soot.jimple.infoflow.solver.fastSolver.ISchedulingStrategy;
+
+/**
+ * Common interface for IFDS solvers that schedule their IFDS edge processing
+ * tasks based on interchangeable strategies
+ * 
+ * @author Steven Arzt
+ *
+ */
+public interface IStrategyBasedParallelSolver<N, D extends FastSolverLinkedNode<D, N>> {
+
+	/**
+	 * Sets the strategy for scheduling edges
+	 * 
+	 * @param strategy The strategy for scheduling edges
+	 */
+	public void setSchedulingStrategy(ISchedulingStrategy<N, D> strategy);
+
+}

soot-infoflow/src/soot/jimple/infoflow/solver/fastSolver/IFDSSolver.java

@@ -45,6 +45,7 @@
 import soot.jimple.infoflow.memory.IMemoryBoundedSolver;
 import soot.jimple.infoflow.memory.ISolverTerminationReason;
 import soot.jimple.infoflow.solver.EndSummary;
+import soot.jimple.infoflow.solver.IStrategyBasedParallelSolver;
 import soot.jimple.infoflow.solver.PredecessorShorteningMode;
 import soot.jimple.infoflow.solver.executors.InterruptableExecutor;
 import soot.jimple.infoflow.solver.executors.SetPoolExecutor;
@@ -63,7 +64,7 @@
  * @see IFDSTabulationProblem
  */
 public class IFDSSolver<N, D extends FastSolverLinkedNode<D, N>, I extends BiDiInterproceduralCFG<N, SootMethod>>
-		implements IMemoryBoundedSolver {
+		implements IMemoryBoundedSolver, IStrategyBasedParallelSolver<N, D> {
 
 	public enum ScheduleTarget {
 		/**
@@ -891,11 +892,7 @@ public void setMaxAbstractionPathLength(int maxAbstractionPathLength) {
 		this.maxAbstractionPathLength = maxAbstractionPathLength;
 	}
 
-	/**
-	 * Sets the strategy for scheduling edges
-	 * 
-	 * @param strategy The strategy for scheduling edges
-	 */
+	@Override
 	public void setSchedulingStrategy(ISchedulingStrategy<N, D> strategy) {
 		this.schedulingStrategy = strategy;
 	}