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.
|