X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=src%2Fclasses%2Fjava%2Flang%2FClass.java;h=97f8e90e3ba0f68e40c6b059bc76ebbc2da03037;hp=379b60aa5da6567843e0d333cff6af5a92f4d0cf;hb=8407476b0dce3b2c1d1a5093d55df109aa7f9789;hpb=a9bc9081ebda74eb6ee5451d2b719405db3a955c

diff --git a/src/classes/java/lang/Class.java b/src/classes/java/lang/Class.java
index 379b60a..97f8e90 100644
--- a/src/classes/java/lang/Class.java
+++ b/src/classes/java/lang/Class.java
@@ -21,13 +21,7 @@ import java.io.ByteArrayInputStream;
 import java.io.InputStream;
 import java.io.Serializable;
 import java.lang.annotation.Annotation;
-import java.lang.reflect.AnnotatedElement;
-import java.lang.reflect.Constructor;
-import java.lang.reflect.Field;
-import java.lang.reflect.GenericDeclaration;
-import java.lang.reflect.Method;
-import java.lang.reflect.Type;
-import java.lang.reflect.TypeVariable;
+import java.lang.reflect.*;
 import java.net.URL;
 import java.util.HashMap;
 import java.util.Map;
@@ -277,18 +271,17 @@ public final class Class<T> implements Serializable, GenericDeclaration, Type, A
 
   native AnnotationType getAnnotationType();
   
-  @Override
-  public TypeVariable<Class<T>>[] getTypeParameters() {
-    throw new UnsupportedOperationException();
-  }
-  
-  public Type getGenericSuperclass() {
-    throw new UnsupportedOperationException();
-  }
-  
-  public Type[] getGenericInterfaces() {
-    throw new UnsupportedOperationException();
-  }
+  // TODO: Fix for Groovy's model-checking
+  public native TypeVariable<Class<T>>[] getTypeParameters();
+
+  public native Type getGenericSuperclass();
+
+  public native Type[] getGenericInterfaces();
+
+  public native java.security.ProtectionDomain getProtectionDomain();
+
+  transient ClassValue.ClassValueMap classValueMap;
+  // TODO: Fix for Groovy's model-checking
 
   public Object[] getSigners() {
     throw new UnsupportedOperationException();
@@ -336,10 +329,6 @@ public final class Class<T> implements Serializable, GenericDeclaration, Type, A
   public Class<?>[] getDeclaredClasses() throws SecurityException {
     throw new UnsupportedOperationException();
   }
-  
-  public java.security.ProtectionDomain getProtectionDomain() {
-    throw new UnsupportedOperationException();
-  }
 
   void setProtectionDomain0(java.security.ProtectionDomain pd) {
     pd = null;  // Get rid of IDE warning