.

Author: Eric Bodden

src/soot/jimple/toolkits/ide/EdgeSerializer.java

@@ -1,15 +1,21 @@
 package soot.jimple.toolkits.ide;
 
+import java.io.ObjectOutputStream;
+
 import soot.SootMethod;
 import soot.Unit;
 import heros.EdgeFunction;
 import heros.debugsupport.NewEdgeSerializer;
 import heros.debugsupport.SerializableEdgeData;
 
-public class EdgeSerializer<D, V> implements NewEdgeSerializer<soot.SootMethod, D, soot.Unit, V> {
+public class EdgeSerializer<D, V> extends NewEdgeSerializer<soot.SootMethod, D, soot.Unit, V> {
+
+	public EdgeSerializer(ObjectOutputStream oos) {
+		super(oos);
+	}
 
 	@Override
-	public SerializableEdgeData newJumpFunction(SootMethod method, D sourceVal,Unit target, D targetVal, EdgeFunction<V> f) {
+	public SerializableEdgeData serializeJumpFunction(SootMethod method, D sourceVal,Unit target, D targetVal, EdgeFunction<V> f) {
 		return new SerializableEdgeData(method.getDeclaringClass().getName());
 	}
 

src/soot/jimple/toolkits/ide/JimpleIDESolver.java

@@ -6,6 +6,7 @@
 
 import java.io.FileNotFoundException;
 import java.io.FileOutputStream;
+import java.io.ObjectOutputStream;
 import java.io.PrintWriter;
 import java.util.ArrayList;
 import java.util.Collections;
@@ -65,8 +66,8 @@ public void dumpResults() {
 	}
 
 	@Override
-	protected NewEdgeSerializer<SootMethod, D, Unit, V> createEdgeListener() {
-		return new EdgeSerializer<D,V>();
+	protected NewEdgeSerializer<SootMethod, D, Unit, V> createEdgeListener(ObjectOutputStream oos) {
+		return new EdgeSerializer<D,V>(oos);
 	}
 
 }

src/soot/jimple/toolkits/ide/JimpleIFDSSolver.java

@@ -6,6 +6,7 @@
 
 import java.io.FileNotFoundException;
 import java.io.FileOutputStream;
+import java.io.ObjectOutputStream;
 import java.io.PrintWriter;
 import java.util.ArrayList;
 import java.util.Collections;
@@ -66,7 +67,7 @@ public void dumpResults() {
 	}
 
 	@Override
-	protected NewEdgeSerializer<SootMethod, D, Unit, BinaryDomain> createEdgeListener() {
-		return new EdgeSerializer<D,BinaryDomain>();
+	protected NewEdgeSerializer<SootMethod, D, Unit, BinaryDomain> createEdgeListener(ObjectOutputStream oos) {
+		return new EdgeSerializer<D,BinaryDomain>(oos);
 	}
 }