changeset 31:0069194b1048

Updated the model class sun.misc.SharedSecrets to make it compatible with the recent updates in jdk8u75. New methods added to sun.misc.SharedSecrets are used by clinit in java.io.ObjectInputStream which caused JPF to throw java.lang.NoSuchMethodException.
author nastaran <nastaran.shafiei@gmail.com>
date Wed, 25 May 2016 10:43:50 -0700
parents 9dc9df847545
children 05294e96a284
files src/classes/sun/misc/SharedSecrets.java
diffstat 1 files changed, 15 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/classes/sun/misc/SharedSecrets.java	Wed May 25 10:00:18 2016 -0700
+++ b/src/classes/sun/misc/SharedSecrets.java	Wed May 25 10:43:50 2016 -0700
@@ -19,6 +19,7 @@
 
 import java.io.File;
 import java.io.FileDescriptor;
+import java.io.ObjectInputStream;
 import java.util.jar.JarFile;
 
 /**
@@ -56,6 +57,7 @@
   private static JavaIOFileDescriptorAccess javaIOFileDescriptorAccess;
   private static JavaNioAccess javaNioAccess;
   private static JavaAWTAccess javaAWTAccess;
+  private static JavaObjectInputStreamAccess javaObjectInputStreamAccess;
 
   // (required for EnumSet ops)
   public static JavaLangAccess getJavaLangAccess() {
@@ -136,6 +138,19 @@
     return javaIOFileDescriptorAccess;
   }
 
+  public static JavaObjectInputStreamAccess getJavaObjectInputStreamAccess() {
+    if (javaObjectInputStreamAccess == null) {
+      unsafe.ensureClassInitialized(ObjectInputStream.class);
+      throw new UnsupportedOperationException("sun.misc.SharedSecrets.getJavaObjectInputStreamAccess() not supported yet");
+    }
+    
+    return javaObjectInputStreamAccess;
+  }
+
+  public static void setJavaObjectInputStreamAccess(JavaObjectInputStreamAccess access) {
+    javaObjectInputStreamAccess = access;
+  }
+  
   public static void setJavaAWTAccess (JavaAWTAccess jaa){
     javaAWTAccess = jaa;
   }