Fixing JPF for methodMissing() method in Groovy: 1) Bug in detecting the array type...

[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 981ac10df0fc4c917a6e0b17d031645559f4bb36..2f1cc999c85732e9dec9717e1115744115ed3078 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/Types.java
+++ b/src/main/gov/nasa/jpf/vm/Types.java
@@ -769,7 +769,8 @@ public class Types {
       return typeName;
     }
     
-    int i=typeName.indexOf('[');
+       // TODO: Fix for Groovy's model-checking
+    int i=typeName.indexOf("[]");
     if (i>0){ // the sort of "<type>[]"
       StringBuilder sb = new StringBuilder();
       sb.append('[');