A clean implementation for getTypeParameters' native method version.

[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..09d59ec4e1d412456e1b7d09e3dc37aeaaf1fbbf 100644 (file)
--- a/src/main/gov/nasa/jpf/vm/ClassInfo.java
+++ b/src/main/gov/nasa/jpf/vm/ClassInfo.java
@@ -2598,6 +2598,14 @@ 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 () {
+    // To accommodate methods that do not have generic types
+    if (genericSignature == null)
+      return new String[0];
+    return Types.getGenericTypeVariableNames(genericSignature);
+  }
 }