public class GZIPIndexer
extends java.lang.Object
| Constructor | Description |
|---|---|
GZIPIndexer() |
| Modifier and Type | Method | Description |
|---|---|---|
static LongBigArrayBigList |
index(java.io.InputStream in) |
Returns a list of pointers to a GZIP archive entries positions (including the end of file).
|
static LongBigArrayBigList |
index(java.io.InputStream in,
ProgressLogger pl) |
Returns a list of pointers to a GZIP archive entries positions (including the end of file).
|
static void |
main(java.lang.String[] arg) |
public static LongBigArrayBigList index(java.io.InputStream in) throws java.io.IOException
in - the stream from which to read the GZIP archive.java.io.IOExceptionpublic static LongBigArrayBigList index(java.io.InputStream in, ProgressLogger pl) throws java.io.IOException
in - the stream from which to read the GZIP archive.pl - a progress logger.java.io.IOExceptionpublic static void main(java.lang.String[] arg)
throws java.io.IOException,
JSAPException
java.io.IOExceptionJSAPException