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;
#!/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
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;