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 |
|---|---|
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, skippublic GZIPInputStream(java.io.InputStream in)
throws java.io.IOException
java.io.IOExceptionpublic GZIPInputStream(java.io.InputStream in,
int size,
boolean close_in)
throws java.io.IOException
java.io.IOExceptionpublic GZIPInputStream(java.io.InputStream in,
Inflater inflater,
int size,
boolean close_in)
throws java.io.IOException
java.io.IOExceptionpublic long getModifiedtime()
public int getOS()
public java.lang.String getName()
public java.lang.String getComment()
public long getCRC()
throws GZIPException
GZIPExceptionpublic void readHeader()
throws java.io.IOException
readHeader in class InflaterInputStreamjava.io.IOException