Adding recursive call to the getResolvedClassInfo() method: look into the parent...

[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 3d21d022d4db30f67b5915cd9a015021a424ae73..7dd3947aae23630b8d3246a4ff35c849ed0df759 100644 (file)
--- a/src/classes/java/lang/Class.java
+++ b/src/classes/java/lang/Class.java
@@ -330,10 +330,12 @@ public final class Class<T> implements Serializable, GenericDeclaration, Type, A
   public Class<?>[] getDeclaredClasses() throws SecurityException {
     throw new UnsupportedOperationException();
   }
-  
-  public java.security.ProtectionDomain getProtectionDomain() {
+
+  // TODO: Fix for Groovy's model-checking
+  public native java.security.ProtectionDomain getProtectionDomain();
+  /*public java.security.ProtectionDomain getProtectionDomain() {
     throw new UnsupportedOperationException();
-  }
+  }*/
 
   void setProtectionDomain0(java.security.ProtectionDomain pd) {
     pd = null;  // Get rid of IDE warning