/**@class java.util.zip.GZIPInputStream @extends java.util.zip.InflaterInputStream This class implements a stream filter for reading compressed data in the GZIP file format. @see InflaterInputStream @author David Connelly */ var GZIPInputStream = { /** GZIP header magic number. */ GZIP_MAGIC : "35615", /**Reads uncompressed data into an array of bytes. If <code>len</code> is not zero, the method will block until some input can be decompressed; otherwise, no bytes are read and <code>0</code> is returned. @param {Object {byte[]}} buf the buffer into which the data is read @param {Number} off the start offset in the destination array <code>b</code> @param {Number} len the maximum number of bytes read @return {Number} the actual number of bytes read, or -1 if the end of the compressed input stream is reached @exception NullPointerException If <code>buf</code> is <code>null</code>. @exception IndexOutOfBoundsException If <code>off</code> is negative, <code>len</code> is negative, or <code>len</code> is greater than <code>buf.length - off</code> @exception ZipException if the compressed input data is corrupt. @exception IOException if an I/O error has occurred. */ read : function( ) {}, /**Closes this input stream and releases any system resources associated with the stream. @exception IOException if an I/O error has occurred */ close : function( ) {}, };