Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary...
[jpf-core.git] / src / main / gov / nasa / jpf / vm / Types.java
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;