changeset 32:05294e96a284

Extended the model class sun.misc.SharedSecrets to make it compatible with the updates in jdk8u121. The update caused the test gov.nasa.jpf.test.java.io.ObjectStreamTest to fail.
author nastaran <nastaran.shafiei@gmail.com>
date Mon, 06 Feb 2017 18:03:21 -0800
parents 0069194b1048
children a0b1b1aa6cdf
files src/classes/sun/misc/SharedSecrets.java
diffstat 1 files changed, 14 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/src/classes/sun/misc/SharedSecrets.java	Wed May 25 10:43:50 2016 -0700
+++ b/src/classes/sun/misc/SharedSecrets.java	Mon Feb 06 18:03:21 2017 -0800
@@ -57,6 +57,7 @@
   private static JavaIOFileDescriptorAccess javaIOFileDescriptorAccess;
   private static JavaNioAccess javaNioAccess;
   private static JavaAWTAccess javaAWTAccess;
+  private static JavaOISAccess javaOISAccess;
   private static JavaObjectInputStreamAccess javaObjectInputStreamAccess;
 
   // (required for EnumSet ops)
@@ -157,4 +158,17 @@
   public static JavaAWTAccess getJavaAWTAccess(){
     return javaAWTAccess;
   }
+
+  public static void setJavaOISAccess(JavaOISAccess access) {
+    javaOISAccess = access;
+  }
+
+  public static JavaOISAccess getJavaOISAccess() {
+    if (javaOISAccess == null) {
+      unsafe.ensureClassInitialized(ObjectInputStream.class);
+      throw new UnsupportedOperationException("sun.misc.SharedSecrets.getJavaOISAccess() not supported yet");
+    }
+
+    return javaOISAccess;
+  }
 }