Fixing a subtle bug: the method isParameterWithType() did not consider arbitrary...

[jpf-core.git] / src / main / gov / nasa / jpf / vm / Types.java

diff --git a/src/main/gov/nasa/jpf/vm/Types.java b/src/main/gov/nasa/jpf/vm/Types.java
index 30efa1fe872d11b15957bf79763e0bde5526f8ef..ba71512c0b219217936e81a00cf803a0f7899476 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/Types.java
+++ b/src/main/gov/nasa/jpf/vm/Types.java
@@ -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;