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 0231de7a1cea703af59c1b57676c49d7ca5869ab..97f8e90e3ba0f68e40c6b059bc76ebbc2da03037 100644 (file)
--- a/src/classes/java/lang/Class.java
+++ b/src/classes/java/lang/Class.java
@@ -274,13 +274,14 @@ public final class Class<T> implements Serializable, GenericDeclaration, Type, A
   // TODO: Fix for Groovy's model-checking
   public native TypeVariable<Class<T>>[] getTypeParameters();
 
-  public Type getGenericSuperclass() {
-    throw new UnsupportedOperationException();
-  }
-  
-  public Type[] getGenericInterfaces() {
-    throw new UnsupportedOperationException();
-  }
+  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();
@@ -328,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