Mercurial > hg > Members > kono > jpf-core
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; + } }