jdk/src/share/classes/java/util/zip/Inflater.java
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,