public class GZIPInputStream
extends java.util.zip.GZIPInputStream
Constructor and Description |
---|
GZIPInputStream(java.io.InputStream in) |
GZIPInputStream(java.io.InputStream in,
int size) |
Modifier and Type | Method and Description |
---|---|
boolean |
isEOS()
Tells whether the compressed gzip data has been exhausted.
|