public static class IndexReader.IntIndex1NSortedReader extends Object
IIndexReader.IOne2LongIndex, IIndexReader.IOne2ManyIndex, IIndexReader.IOne2ManyObjectsIndex, IIndexReader.IOne2OneIndex, IIndexReader.IOne2SizeIndex| Constructor and Description |
|---|
IntIndex1NSortedReader(File indexFile) |
IntIndex1NSortedReader(File indexFile,
IIndexReader.IOne2OneIndex header,
IIndexReader.IOne2OneIndex body) |
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the backing file.
|
void |
delete()
Delete the backing file.
|
int[] |
get(int index)
The header holds positions encoded as p+1 into the body
There is no length field - the length is up to the next one,
which is greater than the first.
|
int |
size()
Size of the index
|
void |
unload()
Clear the caches.
|
public IntIndex1NSortedReader(File indexFile) throws IOException
IOExceptionpublic IntIndex1NSortedReader(File indexFile, IIndexReader.IOne2OneIndex header, IIndexReader.IOne2OneIndex body) throws IOException
IOExceptionpublic int[] get(int index)
get in interface IIndexReader.IOne2ManyIndexpublic void close()
IIndexReaderclose in interface IIndexReaderpublic void unload()
throws IOException
IIndexReaderunload in interface IIndexReaderIOExceptionpublic int size()
IIndexReadersize in interface IIndexReaderpublic void delete()
IIndexReaderdelete in interface IIndexReader