public class GZIPInputStream extends InflaterInputStream
buf, DEFAULT_BUFSIZE, inflater, myinflater
Constructor and Description |
---|
GZIPInputStream(java.io.InputStream in) |
GZIPInputStream(java.io.InputStream in,
Inflater inflater,
int size,
boolean close_in) |
GZIPInputStream(java.io.InputStream in,
int size,
boolean close_in) |
Modifier and Type | Method and Description |
---|---|
private int |
fill(byte[] buf) |
java.lang.String |
getComment() |
long |
getCRC() |
long |
getModifiedtime() |
java.lang.String |
getName() |
int |
getOS() |
void |
readHeader() |
available, close, fill, getAvailIn, getInflater, getTotalIn, getTotalOut, mark, markSupported, read, read, reset, skip
public GZIPInputStream(java.io.InputStream in) throws java.io.IOException
java.io.IOException
public GZIPInputStream(java.io.InputStream in, int size, boolean close_in) throws java.io.IOException
java.io.IOException
public GZIPInputStream(java.io.InputStream in, Inflater inflater, int size, boolean close_in) throws java.io.IOException
java.io.IOException
public long getModifiedtime()
public int getOS()
public java.lang.String getName()
public java.lang.String getComment()
public long getCRC() throws GZIPException
GZIPException
public void readHeader() throws java.io.IOException
readHeader
in class InflaterInputStream
java.io.IOException
private int fill(byte[] buf)