From da75d076e1bc90e48869b392a67c95fcbf09ec77 Mon Sep 17 00:00:00 2001 From: Tim Balsfulland Date: Thu, 8 Feb 2024 16:21:34 +0100 Subject: [PATCH] re-add `LocalSplitter` javadoc --- .../bytecode/interceptors/LocalSplitter.java | 26 +++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/sootup.java.bytecode/src/main/java/sootup/java/bytecode/interceptors/LocalSplitter.java b/sootup.java.bytecode/src/main/java/sootup/java/bytecode/interceptors/LocalSplitter.java index 05be2005a19..f860a9621fc 100644 --- a/sootup.java.bytecode/src/main/java/sootup/java/bytecode/interceptors/LocalSplitter.java +++ b/sootup.java.bytecode/src/main/java/sootup/java/bytecode/interceptors/LocalSplitter.java @@ -34,6 +34,32 @@ import sootup.core.transform.BodyInterceptor; import sootup.core.views.View; +/** + * A BodyInterceptor that attempts to identify and separate uses of a local variable (definition) + * that are independent of each other. + * + *

For example the code: + * + *

+ *    l0 := @this Test
+ *    l1 = 0
+ *    l2 = 1
+ *    l1 = l1 + 1
+ *    l2 = l2 + 1
+ *    return
+ * 
+ * + * to: + * + *
+ *    l0 := @this Test
+ *    l1#0 = 0
+ *    l2#0 = 1
+ *    l1#1 = l1#0 + 1
+ *    l2#1 = l2#0 + 1
+ *    return
+ * 
+ */ public class LocalSplitter implements BodyInterceptor { /**