Always require manager in addResult to adapt to the change in 62686a4

Author: t1mlange

soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/ContextInsensitivePathBuilder.java

@@ -129,7 +129,7 @@ private boolean checkForSource(Abstraction abs, SourceContextAndPath scap) {
 		SourceContext sourceContext = abs.getSourceContext();
 		results.addResult(scap.getDefinition(), scap.getAccessPath(), scap.getStmt(), sourceContext.getDefinition(),
 				sourceContext.getAccessPath(), sourceContext.getStmt(), sourceContext.getUserData(),
-				scap.getAbstractionPath());
+				scap.getAbstractionPath(), manager);
 		return true;
 	}
 

soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/ContextInsensitiveSourceFinder.java

@@ -87,7 +87,7 @@ public void run() {
 					results.addResult(flagAbs.getSinkDefinition(), flagAbs.getAbstraction().getAccessPath(),
 							flagAbs.getSinkStmt(), abstraction.getSourceContext().getDefinition(),
 							abstraction.getSourceContext().getAccessPath(), abstraction.getSourceContext().getStmt(),
-							abstraction.getSourceContext().getUserData(), null);
+							abstraction.getSourceContext().getUserData(), null, manager);
 
 					// Sources may not have predecessors
 					assert abstraction.getPredecessor() == null;

soot-infoflow/src/soot/jimple/infoflow/data/pathBuilders/RecursivePathBuilder.java

@@ -145,7 +145,7 @@ public void run() {
 					for (SourceContextAndPath context : getPaths(lastTaskId++, abs.getAbstraction(), initialStack)) {
 						results.addResult(abs.getSinkDefinition(), abs.getAbstraction().getAccessPath(),
 								abs.getSinkStmt(), context.getDefinition(), context.getAccessPath(), context.getStmt(),
-								context.getUserData(), context.getAbstractionPath());
+								context.getUserData(), context.getAbstractionPath(), manager);
 					}
 				}
 

soot-infoflow/src/soot/jimple/infoflow/results/InfoflowResults.java

@@ -153,13 +153,6 @@ public void addResult(ISourceSinkDefinition sinkDefinition, AccessPath sink, Stm
 				new ResultSourceInfo(sourceDefinition, source, sourceStmt, pathAgnosticResults));
 	}
 
-	public Pair<ResultSourceInfo, ResultSinkInfo> addResult(ISourceSinkDefinition sinkDefinition, AccessPath sink,
-			Stmt sinkStmt, ISourceSinkDefinition sourceDefinition, AccessPath source, Stmt sourceStmt, Object userData,
-			List<Abstraction> propagationPath) {
-		return addResult(sinkDefinition, sink, sinkStmt, sourceDefinition, source, sourceStmt, userData,
-				propagationPath, null);
-	}
-
 	public Pair<ResultSourceInfo, ResultSinkInfo> addResult(ISourceSinkDefinition sinkDefinition, AccessPath sink,
 			Stmt sinkStmt, ISourceSinkDefinition sourceDefinition, AccessPath source, Stmt sourceStmt, Object userData,
 			List<Abstraction> propagationPath, InfoflowManager manager) {