New problem with Groovy library.

[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 3d5ff58145eeaecb92e5d5c57b7a12baac959a94..2cb50ad51094a43cb9712bbb5a48442bc90294c4 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/ClassInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ClassInfo.java
@@ -2602,7 +2602,7 @@ public class ClassInfo extends InfoObject implements Iterable<MethodInfo>, Gener
   // TODO: Fix for Groovy's model-checking
   public String[] getGenericTypeVariableNames () {
     // To accommodate methods that do not have generic types
-    if (genericSignature == null || genericSignature.equals(""))
+    if (genericSignature == null || genericSignature.equals("") || genericSignature.contains("<*>"))
       return new String[0];
     return Types.getGenericTypeVariableNames(genericSignature);
   }