public interface IndexReader
| Modifier and Type | Interface and Description |
|---|---|
static interface |
IndexReader.AddChildCallback |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isPartition(java.nio.file.Path indexFile)
Open an ncx file and find out what type it is
|
boolean |
readChildren(java.nio.file.Path indexFile,
IndexReader.AddChildCallback callback)
Open a Partition ncx file and read children indexes
|
boolean |
readMFiles(java.nio.file.Path indexFile,
java.util.List<MFile> result)
Read the MFiles from a GribCollection index file
|
boolean readChildren(java.nio.file.Path indexFile,
IndexReader.AddChildCallback callback)
throws java.io.IOException
indexFile - the Partition ncx index file to opencallback - for each child index, call this backjava.io.IOException - on bad thingsboolean isPartition(java.nio.file.Path indexFile)
throws java.io.IOException
indexFile - the ncx index file to openjava.io.IOException - on badboolean readMFiles(java.nio.file.Path indexFile,
java.util.List<MFile> result)
throws java.io.IOException
indexFile - the Partition ncx index file to openresult - put results in this listjava.io.IOException