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.IOException
public 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.IOException
public static void main(java.lang.String[] arg) throws java.io.IOException, JSAPException
java.io.IOException
JSAPException