Add code member before parsing method body

jlisa/java-testcases/2dim-array/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "3ms",
-    "end" : "2025-10-07T14:30:48.035+02:00",
+    "duration" : "33ms",
+    "end" : "2025-10-08T15:39:09.481+02:00",
     "expressions" : "21",
     "files" : "1",
     "globals" : "27",
     "members" : "126",
     "programs" : "1",
-    "start" : "2025-10-07T14:30:48.032+02:00",
+    "start" : "2025-10-08T15:39:09.448+02:00",
     "statements" : "6",
     "units" : "46",
     "version" : "0.1",

jlisa/java-testcases/abstract-method/report.json

@@ -2,15 +2,15 @@
   "warnings" : [ ],
   "files" : [ "report.json", "void_MainClass.MainClass(MainClass__this)_1707440448.json", "void_MainClass.abstractMethod(MainClass__this)_1707429908.json", "void_MainClass.main(java.lang.String_[]__args).json", "void_MyAbstractClass.MyAbstractClass(MyAbstractClass__this)_318915944.json" ],
   "info" : {
-    "cfgs" : "4",
-    "duration" : "3ms",
-    "end" : "2025-10-07T14:30:47.168+02:00",
+    "cfgs" : "5",
+    "duration" : "350ms",
+    "end" : "2025-10-08T15:39:08.382+02:00",
     "expressions" : "7",
     "files" : "4",
     "globals" : "27",
-    "members" : "128",
+    "members" : "129",
     "programs" : "1",
-    "start" : "2025-10-07T14:30:47.165+02:00",
+    "start" : "2025-10-08T15:39:08.032+02:00",
     "statements" : "9",
     "units" : "47",
     "version" : "0.1",

jlisa/java-testcases/abstract-method/void_MainClass.main(java.lang.String_[]__args).json

@@ -1 +1 @@
-{"name":"void MainClass::main(java.lang.String*[]* args)","description":null,"nodes":[{"id":0,"subNodes":[1,2],"text":"obj = new MainClass()"},{"id":1,"text":"obj"},{"id":2,"text":"new MainClass()"},{"id":3,"subNodes":[4],"text":"abstractMethod(obj)"},{"id":4,"text":"obj"},{"id":5,"text":"ret"}],"edges":[{"sourceId":0,"destId":3,"kind":"SequentialEdge"},{"sourceId":3,"destId":5,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["obj"],"state":{"heap":{"$rec@'Main.java':13:24":["heap[s]:pp@'Main.java':13:24"],"args":["heap[s]:pp@'Main.java':12:28"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"$rec@'Main.java':13:24":["MainClass*"],"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":1,"description":{"expressions":["obj"],"state":{"heap":{"$rec@'Main.java':13:24":["heap[s]:pp@'Main.java':13:24"],"args":["heap[s]:pp@'Main.java':12:28"]},"type":{"$rec@'Main.java':13:24":["MainClass*"],"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":2,"description":{"expressions":["$rec@'Main.java':13:24"],"state":{"heap":{"$rec@'Main.java':13:24":["heap[s]:pp@'Main.java':13:24"],"args":["heap[s]:pp@'Main.java':12:28"]},"type":{"$rec@'Main.java':13:24":["MainClass*"],"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":3,"description":{"expressions":["skip"],"info":{"clinit":["java.lang.System"]},"state":{"heap":{"args":["heap[s]:pp@'Main.java':12:28"],"java.lang.System::out":["heap[s]:pp@'Main.java':9:14"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"heap[s]:pp@'Main.java':9:14":["java.io.PrintStream"],"java.lang.System::out":["java.io.PrintStream*"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":4,"description":{"expressions":["obj"],"state":{"heap":{"args":["heap[s]:pp@'Main.java':12:28"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":5,"description":{"expressions":["skip"],"info":{"clinit":["java.lang.System"]},"state":{"heap":{"args":["heap[s]:pp@'Main.java':12:28"],"java.lang.System::out":["heap[s]:pp@'Main.java':9:14"]},"type":{"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':9:14":["java.io.PrintStream"],"java.lang.System::out":["java.io.PrintStream*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}}]}
+{"name":"void MainClass::main(java.lang.String*[]* args)","description":null,"nodes":[{"id":0,"subNodes":[1,2],"text":"obj = new MainClass()"},{"id":1,"text":"obj"},{"id":2,"text":"new MainClass()"},{"id":3,"subNodes":[4],"text":"abstractMethod(obj)"},{"id":4,"text":"obj"},{"id":5,"text":"ret"}],"edges":[{"sourceId":0,"destId":3,"kind":"SequentialEdge"},{"sourceId":3,"destId":5,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["obj"],"state":{"heap":{"$rec@'Main.java':13:24":["heap[s]:pp@'Main.java':13:24"],"args":["heap[s]:pp@'Main.java':12:28"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"$rec@'Main.java':13:24":["MainClass*"],"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":1,"description":{"expressions":["obj"],"state":{"heap":{"$rec@'Main.java':13:24":["heap[s]:pp@'Main.java':13:24"],"args":["heap[s]:pp@'Main.java':12:28"]},"type":{"$rec@'Main.java':13:24":["MainClass*"],"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":2,"description":{"expressions":["$rec@'Main.java':13:24"],"state":{"heap":{"$rec@'Main.java':13:24":["heap[s]:pp@'Main.java':13:24"],"args":["heap[s]:pp@'Main.java':12:28"]},"type":{"$rec@'Main.java':13:24":["MainClass*"],"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":3,"description":{"expressions":["skip"],"info":{"clinit":["java.lang.System"]},"state":{"heap":{"args":["heap[s]:pp@'Main.java':12:28"],"java.lang.System::out":["heap[s]:pp@'Main.java':9:14"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"heap[s]:pp@'Main.java':9:14":["java.io.PrintStream"],"java.lang.System::out":["java.io.PrintStream*"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":4,"description":{"expressions":["obj"],"state":{"heap":{"args":["heap[s]:pp@'Main.java':12:28"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}},{"nodeId":5,"description":{"expressions":["skip"],"info":{"clinit":["java.lang.System"]},"state":{"heap":{"args":["heap[s]:pp@'Main.java':12:28"],"java.lang.System::out":["heap[s]:pp@'Main.java':9:14"],"obj":["heap[s]:pp@'Main.java':13:24"]},"type":{"args":["java.lang.String*[]*"],"heap[s]:pp@'Main.java':12:28":["java.lang.String*[]"],"heap[s]:pp@'Main.java':12:28[len]":["int"],"heap[s]:pp@'Main.java':13:24":["MainClass"],"heap[s]:pp@'Main.java':9:14":["java.io.PrintStream"],"java.lang.System::out":["java.io.PrintStream*"],"obj":["MainClass*"]},"value":{"heap[s]:pp@'Main.java':12:28[len]":"[0, +Inf]"}}}}]}

jlisa/java-testcases/array-with-initializer/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "2ms",
-    "end" : "2025-10-07T14:30:47.982+02:00",
+    "duration" : "23ms",
+    "end" : "2025-10-08T15:39:09.213+02:00",
     "expressions" : "24",
     "files" : "1",
     "globals" : "27",
     "members" : "126",
     "programs" : "1",
-    "start" : "2025-10-07T14:30:47.980+02:00",
+    "start" : "2025-10-08T15:39:09.190+02:00",
     "statements" : "7",
     "units" : "46",
     "version" : "0.1",

jlisa/java-testcases/array/report.json

@@ -3,14 +3,14 @@
   "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
   "info" : {
     "cfgs" : "2",
-    "duration" : "2ms",
-    "end" : "2025-10-07T14:30:47.931+02:00",
+    "duration" : "21ms",
+    "end" : "2025-10-08T15:39:08.820+02:00",
     "expressions" : "8",
     "files" : "1",
     "globals" : "27",
     "members" : "126",
     "programs" : "1",
-    "start" : "2025-10-07T14:30:47.929+02:00",
+    "start" : "2025-10-08T15:39:08.799+02:00",
     "statements" : "5",
     "units" : "46",
     "version" : "0.1",