added code for edge serialization

Author: Eric Bodden

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

@@ -0,0 +1,16 @@
+package soot.jimple.toolkits.ide;
+
+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> {
+
+	@Override
+	public SerializableEdgeData newJumpFunction(SootMethod method, D sourceVal,Unit target, D targetVal, EdgeFunction<V> f) {
+		return new SerializableEdgeData(method.getDeclaringClass().getName());
+	}
+
+}

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

@@ -1,6 +1,7 @@
 package soot.jimple.toolkits.ide;
 
 import heros.InterproceduralCFG;
+import heros.debugsupport.NewEdgeSerializer;
 import heros.solver.IDESolver;
 
 import java.io.FileNotFoundException;
@@ -16,7 +17,6 @@
 
 import com.google.common.collect.Table.Cell;
 
-
 public class JimpleIDESolver<D, V> extends IDESolver<Unit, D, SootMethod, V, InterproceduralCFG<Unit,SootMethod>> {
 
 	private final boolean DUMP_RESULTS;
@@ -63,5 +63,10 @@ public void dumpResults() {
 			e.printStackTrace();
 		}
 	}
+	
+	@Override
+	protected NewEdgeSerializer<SootMethod, D, Unit, V> createEdgeListener() {
+		return new EdgeSerializer<D,V>();
+	}
 
 }

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

@@ -1,6 +1,7 @@
 package soot.jimple.toolkits.ide;
 
 import heros.InterproceduralCFG;
+import heros.debugsupport.NewEdgeSerializer;
 import heros.solver.IFDSSolver;
 
 import java.io.FileNotFoundException;
@@ -63,5 +64,9 @@ public void dumpResults() {
 			e.printStackTrace();
 		}
 	}
-
+	
+	@Override
+	protected NewEdgeSerializer<SootMethod, D, Unit, BinaryDomain> createEdgeListener() {
+		return new EdgeSerializer<D,BinaryDomain>();
+	}
 }