Finalizing the beta version of the implementation for Groovy extension in JPF: JPF...

[jpf-core.git] / src / classes / java / lang / Class.java

diff --git a/src/classes/java/lang/Class.java b/src/classes/java/lang/Class.java
index 379b60aa5da6567843e0d333cff6af5a92f4d0cf..97f8e90e3ba0f68e40c6b059bc76ebbc2da03037 100644 (file)
--- 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.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;
 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();
   
 
   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();
 
   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 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 
 
   void setProtectionDomain0(java.security.ProtectionDomain pd) {
     pd = null;  // Get rid of IDE warning