Add all code member description before parsing method bodies

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

@@ -1,39 +1,42 @@
 {
-  "warnings" : [ ],
-  "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
-  "info" : {
-    "cfgs" : "2",
-    "duration" : "21ms",
-    "end" : "2025-10-13T16:34:22.799+02:00",
-    "expressions" : "21",
-    "files" : "1",
-    "globals" : "27",
-    "members" : "155",
-    "programs" : "1",
-    "start" : "2025-10-13T16:34:22.778+02:00",
-    "statements" : "6",
-    "units" : "46",
-    "version" : "0.1",
-    "warnings" : "0"
+  "warnings": [],
+  "files": [
+    "report.json",
+    "void_Main.main(java.lang.String_[]__args).json"
+  ],
+  "info": {
+    "cfgs": "2",
+    "duration": "21ms",
+    "end": "2025-10-13T16:34:22.799+02:00",
+    "expressions": "21",
+    "files": "1",
+    "globals": "27",
+    "members": "159",
+    "programs": "1",
+    "start": "2025-10-13T16:34:22.778+02:00",
+    "statements": "6",
+    "units": "46",
+    "version": "0.1",
+    "warnings": "0"
   },
-  "configuration" : {
-    "analysisGraphs" : "NONE",
-    "descendingPhaseType" : "NONE",
-    "dumpForcesUnwinding" : "false",
-    "fixpointWorkingSet" : "OrderBasedWorkingSet",
-    "glbThreshold" : "5",
-    "hotspots" : "unset",
-    "jsonOutput" : "true",
-    "openCallPolicy" : "ReturnTopPolicy",
-    "optimize" : "false",
-    "recursionWideningThreshold" : "5",
-    "semanticChecks" : "",
-    "serializeInputs" : "false",
-    "serializeResults" : "true",
-    "shouldSmashError" : "unset",
-    "syntacticChecks" : "",
-    "useWideningPoints" : "true",
-    "wideningThreshold" : "5",
-    "workdir" : "java-outputs/2dim-array"
+  "configuration": {
+    "analysisGraphs": "NONE",
+    "descendingPhaseType": "NONE",
+    "dumpForcesUnwinding": "false",
+    "fixpointWorkingSet": "OrderBasedWorkingSet",
+    "glbThreshold": "5",
+    "hotspots": "unset",
+    "jsonOutput": "true",
+    "openCallPolicy": "ReturnTopPolicy",
+    "optimize": "false",
+    "recursionWideningThreshold": "5",
+    "semanticChecks": "",
+    "serializeInputs": "false",
+    "serializeResults": "true",
+    "shouldSmashError": "unset",
+    "syntacticChecks": "",
+    "useWideningPoints": "true",
+    "wideningThreshold": "5",
+    "workdir": "java-outputs/2dim-array"
   }
 }

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

@@ -1,39 +1,45 @@
 {
-  "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" : "5",
-    "duration" : "252ms",
-    "end" : "2025-10-13T16:34:22.136+02:00",
-    "expressions" : "7",
-    "files" : "4",
-    "globals" : "27",
-    "members" : "158",
-    "programs" : "1",
-    "start" : "2025-10-13T16:34:21.884+02:00",
-    "statements" : "9",
-    "units" : "47",
-    "version" : "0.1",
-    "warnings" : "0"
+  "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": "5",
+    "duration": "252ms",
+    "end": "2025-10-13T16:34:22.136+02:00",
+    "expressions": "7",
+    "files": "4",
+    "globals": "27",
+    "members": "162",
+    "programs": "1",
+    "start": "2025-10-13T16:34:21.884+02:00",
+    "statements": "9",
+    "units": "47",
+    "version": "0.1",
+    "warnings": "0"
   },
-  "configuration" : {
-    "analysisGraphs" : "NONE",
-    "descendingPhaseType" : "NONE",
-    "dumpForcesUnwinding" : "false",
-    "fixpointWorkingSet" : "OrderBasedWorkingSet",
-    "glbThreshold" : "5",
-    "hotspots" : "unset",
-    "jsonOutput" : "true",
-    "openCallPolicy" : "ReturnTopPolicy",
-    "optimize" : "false",
-    "recursionWideningThreshold" : "5",
-    "semanticChecks" : "",
-    "serializeInputs" : "false",
-    "serializeResults" : "true",
-    "shouldSmashError" : "unset",
-    "syntacticChecks" : "",
-    "useWideningPoints" : "true",
-    "wideningThreshold" : "5",
-    "workdir" : "java-outputs/abstract-method"
+  "configuration": {
+    "analysisGraphs": "NONE",
+    "descendingPhaseType": "NONE",
+    "dumpForcesUnwinding": "false",
+    "fixpointWorkingSet": "OrderBasedWorkingSet",
+    "glbThreshold": "5",
+    "hotspots": "unset",
+    "jsonOutput": "true",
+    "openCallPolicy": "ReturnTopPolicy",
+    "optimize": "false",
+    "recursionWideningThreshold": "5",
+    "semanticChecks": "",
+    "serializeInputs": "false",
+    "serializeResults": "true",
+    "shouldSmashError": "unset",
+    "syntacticChecks": "",
+    "useWideningPoints": "true",
+    "wideningThreshold": "5",
+    "workdir": "java-outputs/abstract-method"
   }
 }

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

@@ -1,39 +1,42 @@
 {
-  "warnings" : [ ],
-  "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
-  "info" : {
-    "cfgs" : "2",
-    "duration" : "12ms",
-    "end" : "2025-10-13T16:34:22.614+02:00",
-    "expressions" : "24",
-    "files" : "1",
-    "globals" : "27",
-    "members" : "155",
-    "programs" : "1",
-    "start" : "2025-10-13T16:34:22.602+02:00",
-    "statements" : "7",
-    "units" : "46",
-    "version" : "0.1",
-    "warnings" : "0"
+  "warnings": [],
+  "files": [
+    "report.json",
+    "void_Main.main(java.lang.String_[]__args).json"
+  ],
+  "info": {
+    "cfgs": "2",
+    "duration": "12ms",
+    "end": "2025-10-13T16:34:22.614+02:00",
+    "expressions": "24",
+    "files": "1",
+    "globals": "27",
+    "members": "159",
+    "programs": "1",
+    "start": "2025-10-13T16:34:22.602+02:00",
+    "statements": "7",
+    "units": "46",
+    "version": "0.1",
+    "warnings": "0"
   },
-  "configuration" : {
-    "analysisGraphs" : "NONE",
-    "descendingPhaseType" : "NONE",
-    "dumpForcesUnwinding" : "false",
-    "fixpointWorkingSet" : "OrderBasedWorkingSet",
-    "glbThreshold" : "5",
-    "hotspots" : "unset",
-    "jsonOutput" : "true",
-    "openCallPolicy" : "ReturnTopPolicy",
-    "optimize" : "false",
-    "recursionWideningThreshold" : "5",
-    "semanticChecks" : "",
-    "serializeInputs" : "false",
-    "serializeResults" : "true",
-    "shouldSmashError" : "unset",
-    "syntacticChecks" : "",
-    "useWideningPoints" : "true",
-    "wideningThreshold" : "5",
-    "workdir" : "java-outputs/array-with-initializer"
+  "configuration": {
+    "analysisGraphs": "NONE",
+    "descendingPhaseType": "NONE",
+    "dumpForcesUnwinding": "false",
+    "fixpointWorkingSet": "OrderBasedWorkingSet",
+    "glbThreshold": "5",
+    "hotspots": "unset",
+    "jsonOutput": "true",
+    "openCallPolicy": "ReturnTopPolicy",
+    "optimize": "false",
+    "recursionWideningThreshold": "5",
+    "semanticChecks": "",
+    "serializeInputs": "false",
+    "serializeResults": "true",
+    "shouldSmashError": "unset",
+    "syntacticChecks": "",
+    "useWideningPoints": "true",
+    "wideningThreshold": "5",
+    "workdir": "java-outputs/array-with-initializer"
   }
 }

jlisa/java-testcases/array/report.json

@@ -1,39 +1,42 @@
 {
-  "warnings" : [ ],
-  "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
-  "info" : {
-    "cfgs" : "2",
-    "duration" : "14ms",
-    "end" : "2025-10-13T16:34:22.422+02:00",
-    "expressions" : "8",
-    "files" : "1",
-    "globals" : "27",
-    "members" : "155",
-    "programs" : "1",
-    "start" : "2025-10-13T16:34:22.408+02:00",
-    "statements" : "5",
-    "units" : "46",
-    "version" : "0.1",
-    "warnings" : "0"
+  "warnings": [],
+  "files": [
+    "report.json",
+    "void_Main.main(java.lang.String_[]__args).json"
+  ],
+  "info": {
+    "cfgs": "2",
+    "duration": "14ms",
+    "end": "2025-10-13T16:34:22.422+02:00",
+    "expressions": "8",
+    "files": "1",
+    "globals": "27",
+    "members": "159",
+    "programs": "1",
+    "start": "2025-10-13T16:34:22.408+02:00",
+    "statements": "5",
+    "units": "46",
+    "version": "0.1",
+    "warnings": "0"
   },
-  "configuration" : {
-    "analysisGraphs" : "NONE",
-    "descendingPhaseType" : "NONE",
-    "dumpForcesUnwinding" : "false",
-    "fixpointWorkingSet" : "OrderBasedWorkingSet",
-    "glbThreshold" : "5",
-    "hotspots" : "unset",
-    "jsonOutput" : "true",
-    "openCallPolicy" : "ReturnTopPolicy",
-    "optimize" : "false",
-    "recursionWideningThreshold" : "5",
-    "semanticChecks" : "",
-    "serializeInputs" : "false",
-    "serializeResults" : "true",
-    "shouldSmashError" : "unset",
-    "syntacticChecks" : "",
-    "useWideningPoints" : "true",
-    "wideningThreshold" : "5",
-    "workdir" : "java-outputs/array"
+  "configuration": {
+    "analysisGraphs": "NONE",
+    "descendingPhaseType": "NONE",
+    "dumpForcesUnwinding": "false",
+    "fixpointWorkingSet": "OrderBasedWorkingSet",
+    "glbThreshold": "5",
+    "hotspots": "unset",
+    "jsonOutput": "true",
+    "openCallPolicy": "ReturnTopPolicy",
+    "optimize": "false",
+    "recursionWideningThreshold": "5",
+    "semanticChecks": "",
+    "serializeInputs": "false",
+    "serializeResults": "true",
+    "shouldSmashError": "unset",
+    "syntacticChecks": "",
+    "useWideningPoints": "true",
+    "wideningThreshold": "5",
+    "workdir": "java-outputs/array"
   }
 }

jlisa/java-testcases/asg-operators/report.json

@@ -1,39 +1,42 @@
 {
-  "warnings" : [ ],
-  "files" : [ "report.json", "void_Main.main(java.lang.String_[]__args).json" ],
-  "info" : {
-    "cfgs" : "2",
-    "duration" : "14ms",
-    "end" : "2025-10-13T16:34:22.977+02:00",
-    "expressions" : "23",
-    "files" : "1",
-    "globals" : "27",
-    "members" : "155",
-    "programs" : "1",
-    "start" : "2025-10-13T16:34:22.963+02:00",
-    "statements" : "9",
-    "units" : "46",
-    "version" : "0.1",
-    "warnings" : "0"
+  "warnings": [],
+  "files": [
+    "report.json",
+    "void_Main.main(java.lang.String_[]__args).json"
+  ],
+  "info": {
+    "cfgs": "2",
+    "duration": "14ms",
+    "end": "2025-10-13T16:34:22.977+02:00",
+    "expressions": "23",
+    "files": "1",
+    "globals": "27",
+    "members": "159",
+    "programs": "1",
+    "start": "2025-10-13T16:34:22.963+02:00",
+    "statements": "9",
+    "units": "46",
+    "version": "0.1",
+    "warnings": "0"
   },
-  "configuration" : {
-    "analysisGraphs" : "NONE",
-    "descendingPhaseType" : "NONE",
-    "dumpForcesUnwinding" : "false",
-    "fixpointWorkingSet" : "OrderBasedWorkingSet",
-    "glbThreshold" : "5",
-    "hotspots" : "unset",
-    "jsonOutput" : "true",
-    "openCallPolicy" : "ReturnTopPolicy",
-    "optimize" : "false",
-    "recursionWideningThreshold" : "5",
-    "semanticChecks" : "",
-    "serializeInputs" : "false",
-    "serializeResults" : "true",
-    "shouldSmashError" : "unset",
-    "syntacticChecks" : "",
-    "useWideningPoints" : "true",
-    "wideningThreshold" : "5",
-    "workdir" : "java-outputs/asg-operators"
+  "configuration": {
+    "analysisGraphs": "NONE",
+    "descendingPhaseType": "NONE",
+    "dumpForcesUnwinding": "false",
+    "fixpointWorkingSet": "OrderBasedWorkingSet",
+    "glbThreshold": "5",
+    "hotspots": "unset",
+    "jsonOutput": "true",
+    "openCallPolicy": "ReturnTopPolicy",
+    "optimize": "false",
+    "recursionWideningThreshold": "5",
+    "semanticChecks": "",
+    "serializeInputs": "false",
+    "serializeResults": "true",
+    "shouldSmashError": "unset",
+    "syntacticChecks": "",
+    "useWideningPoints": "true",
+    "wideningThreshold": "5",
+    "workdir": "java-outputs/asg-operators"
   }
 }