Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary...
authorrtrimana <rtrimana@uci.edu>
Mon, 1 Jul 2019 19:40:33 +0000 (12:40 -0700)
committerrtrimana <rtrimana@uci.edu>
Mon, 1 Jul 2019 19:40:33 +0000 (12:40 -0700)
examples/Empty.groovy
run.sh
src/main/gov/nasa/jpf/vm/Types.java

index b52e40d..03a7101 100644 (file)
@@ -22,10 +22,10 @@ class Empty {
 
        static void main(String[] args) {               
 
-               Empty emp = new Empty();
+               Empty empty = new Empty();
                //int result = emp.installed();
                //println result;
-               emp.installed()
+               empty.installed()
                int x = 5;
                int y = 6;
                int result = x + y;
diff --git a/run.sh b/run.sh
index 85733b1..9a72f1f 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7 $1
+java -classpath build/jpf.jar gov.nasa.jpf.JPF +classpath=examples:examples/groovy-2.5.7:../smartthings-infrastructure $1
index 30efa1f..ba71512 100644 (file)
@@ -1314,7 +1314,7 @@ public class Types {
 
   public static boolean isParameterWithType(String signature) {
     // Does not contain a class name
-    if (!signature.contains(".") && !signature.contains("/")) {
+    if (signature.charAt(0) != 'L' && !signature.contains(".") && !signature.contains("/")) {
       return true;
     }
     return false;