refactor/simplify zipper

QilinPTA · Jun 7, 2024 · 37bc455 · 37bc455
1 parent bbcfd3c
commit 37bc455
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/qilin.pta/src/qilin/pta/toolkits/zipper/Main.java b/qilin.pta/src/qilin/pta/toolkits/zipper/Main.java
@@ -24,7 +24,6 @@
 import qilin.util.Stopwatch;
 import soot.SootMethod;
 
-import java.util.Comparator;
 import java.util.Set;
 
 public class Main {
@@ -49,11 +48,6 @@ public static void run(PTA pta, Set<SootMethod> zipperPCMOutput) {
 
         System.out.println("Writing Zipper precision-critical methods ...\n");
         System.out.println();
-        writeZipperResults(pcm, zipperPCMOutput);
+        zipperPCMOutput.addAll(pcm);
     }
-
-    private static void writeZipperResults(final Set<SootMethod> results, final Set<SootMethod> outputSet) {
-        results.stream().sorted(Comparator.comparing(Object::toString)).forEach(outputSet::add);
-    }
-
 }