changeset 7815 | 12cc7f77e459 |
parent 5506 | 202f599c92aa |
child 9035 | 1255eb81cc2f |
--- a/jdk/src/share/classes/java/util/zip/Inflater.java Tue Jan 04 17:49:50 2011 +0000 +++ b/jdk/src/share/classes/java/util/zip/Inflater.java Tue Jan 04 14:17:45 2011 -0800 @@ -382,6 +382,12 @@ throw new NullPointerException("Inflater has been closed"); } + boolean ended() { + synchronized (zsRef) { + return zsRef.address() == 0; + } + } + private native static void initIDs(); private native static long init(boolean nowrap); private native static void setDictionary(long addr, byte[] b, int off,