added a new scheduling strategy

Author: StevenArzt

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

@@ -14,6 +14,9 @@ public class DefaultSchedulingStrategy<N, D extends FastSolverLinkedNode<D, N>,
 
 	protected final IFDSSolver<N, D, I> solver;
 
+	/**
+	 * Strategy that schedules each edge individually, potentially in a new thread
+	 */
 	public final ISchedulingStrategy<N, D> EACH_EDGE_INDIVIDUALLY = new ISchedulingStrategy<N, D>() {
 
 		@Override
@@ -53,6 +56,10 @@ public void propagateReturnFlow(D sourceVal, N target, D targetVal, N relatedCal
 
 	};
 
+	/**
+	 * Strategy that schedules each edge that crosses a method boundary, but
+	 * processes all edges inside the same method locally in the same task
+	 */
 	public final ISchedulingStrategy<N, D> EACH_METHOD_INDIVIDUALLY = new ISchedulingStrategy<N, D>() {
 
 		@Override
@@ -90,6 +97,44 @@ public void propagateReturnFlow(D sourceVal, N target, D targetVal, N relatedCal
 
 	};
 
+	/**
+	 * Strategy that never schedules a new task, i.e., processes all edges locally
+	 * in same task
+	 */
+	public final ISchedulingStrategy<N, D> ALL_EDGES_LOCALLY = new ISchedulingStrategy<N, D>() {
+
+		@Override
+		public void propagateInitialSeeds(D sourceVal, N target, D targetVal, N relatedCallSite,
+				boolean isUnbalancedReturn) {
+			solver.propagate(sourceVal, target, targetVal, relatedCallSite, isUnbalancedReturn, ScheduleTarget.LOCAL);
+		}
+
+		@Override
+		public void propagateNormalFlow(D sourceVal, N target, D targetVal, N relatedCallSite,
+				boolean isUnbalancedReturn) {
+			solver.propagate(sourceVal, target, targetVal, relatedCallSite, isUnbalancedReturn, ScheduleTarget.LOCAL);
+		}
+
+		@Override
+		public void propagateCallFlow(D sourceVal, N target, D targetVal, N relatedCallSite,
+				boolean isUnbalancedReturn) {
+			solver.propagate(sourceVal, target, targetVal, relatedCallSite, isUnbalancedReturn, ScheduleTarget.LOCAL);
+		}
+
+		@Override
+		public void propagateCallToReturnFlow(D sourceVal, N target, D targetVal, N relatedCallSite,
+				boolean isUnbalancedReturn) {
+			solver.propagate(sourceVal, target, targetVal, relatedCallSite, isUnbalancedReturn, ScheduleTarget.LOCAL);
+		}
+
+		@Override
+		public void propagateReturnFlow(D sourceVal, N target, D targetVal, N relatedCallSite,
+				boolean isUnbalancedReturn) {
+			solver.propagate(sourceVal, target, targetVal, relatedCallSite, isUnbalancedReturn, ScheduleTarget.LOCAL);
+		};
+
+	};
+
 	/**
 	 * Creates a new instance of the {@link DefaultSchedulingStrategy} class
 	 *