Add insertBeforeNoRedirect(List)

Rroscha · Dec 23, 2021 · c8367fd · c8367fd
1 parent 0b57295
commit c8367fd
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/src/main/java/soot/PatchingChain.java b/src/main/java/soot/PatchingChain.java
@@ -145,6 +145,19 @@ public void insertBeforeNoRedirect(E toInsert, E point) {
     innerChain.insertBefore(toInsert, point);
   }
 
+  /** Inserts <code>toInsert</code> in the Chain before <code>point</code> WITHOUT redirecting jumps. */
+  public void insertBeforeNoRedirect(List<E> toInsert, E point) {
+    if (!toInsert.isEmpty()) {
+      // Insert toInsert backwards into the list
+      E previousPoint = point;
+      for (ListIterator<E> it = toInsert.listIterator(toInsert.size()); it.hasPrevious();) {
+        E o = it.previous();
+        insertBeforeNoRedirect(o, previousPoint);
+        previousPoint = o;
+      }
+    }
+  }
+
   /** Returns true if object <code>a</code> follows object <code>b</code> in the Chain. */
   @Override
   public boolean follows(E a, E b) {