checkpoint

[org.ibex.arenaj.git] / src / org / ibex / arenaj / Main.java

diff --git a/src/org/ibex/arenaj/Main.java b/src/org/ibex/arenaj/Main.java
index 674dfb6..b16ea28 100644 (file)
--- a/src/org/ibex/arenaj/Main.java
+++ b/src/org/ibex/arenaj/Main.java
@@ -304,8 +304,8 @@ public class Main extends SceneTransformer {
             JimpleBody ab = (JimpleBody)Jimple.v().newBody(m2);
             ab.importBodyContentsFrom(m.getActiveBody());
             m2.setActiveBody(ab);
-            //Local loc = Jimple.v().newLocal("tmpRef" + (tfr++), getParent(sc).getType());
-            //ab.getLocals().add(loc);
+            Local loc = Jimple.v().newLocal("tmpRef" + (tfr++), getParent(sc).getType());
+            ab.getLocals().add(loc);
             // FIXME: insert assignment to this
 
             for(Iterator z = ab.getLocals().iterator(); z.hasNext();) {
@@ -324,10 +324,9 @@ public class Main extends SceneTransformer {
                     if (is.getRightOp() instanceof ThisRef) {
                         left.setType(IntType.v());
                         is.getRightOpBox().setValue(Jimple.v().newParameterRef(IntType.v(), m.getParameterCount()));
-                        break;
                     }
                 }
-                /*
+
                 for(Iterator i = s.getUseAndDefBoxes().iterator(); i.hasNext();) {
                     Object o = i.next();
                     if (o instanceof ValueBox) {
@@ -338,7 +337,7 @@ public class Main extends SceneTransformer {
                         }
                     }
                 }
-                */
+
             }
             
             sc.removeMethod(m);