Fixing a few bugs in the statistics printout.

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

diff --git a/src/main/gov/nasa/jpf/vm/ClassInfo.java b/src/main/gov/nasa/jpf/vm/ClassInfo.java
index 83b3f5b9f63e79a3d33246d341053016a5a59744..3ff7ca6ca7c6d13a72e7dd1b551031168872f621 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/ClassInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ClassInfo.java
@@ -1813,6 +1813,12 @@ public class ClassInfo extends InfoObject implements Iterable<MethodInfo>, Gener
   public static boolean isBuiltinClass (String cname) {
     char c = cname.charAt(0);
 
+    // TODO: Fix for Groovy's model-checking
+    // TODO: Handling impossible names in Groovy, e.g., [Ljava.lang.Object;BeanInfo
+    if (cname.indexOf(';') != -1 && cname.indexOf(';') != cname.length() - 1) {
+      return false;
+    }
+
     // array class
     if ((c == '[') || cname.endsWith("[]")) {
       return true;
@@ -2598,6 +2604,15 @@ public class ClassInfo extends InfoObject implements Iterable<MethodInfo>, Gener
   public DirectCallStackFrame createRunStartStackFrame (ThreadInfo ti, MethodInfo miRun){
     return null;
   }
+
+  // TODO: Fix for Groovy's model-checking
+  public String[] getGenericTypeVariableNames () {
+    if (genericSignature == null || genericSignature.equals(""))
+      return new String[0];
+    if (!genericSignature.contains(":"))
+      return new String[0];
+    return Types.getGenericTypeVariableNames(genericSignature);
+  }
 }