public static class IndexReader.IntIndex1NSortedReader extends Object
IIndexReader.IOne2LongIndex, IIndexReader.IOne2ManyIndex, IIndexReader.IOne2ManyObjectsIndex, IIndexReader.IOne2OneIndex, IIndexReader.IOne2SizeIndex
Constructor and Description |
---|
IndexReader.IntIndex1NSortedReader(File indexFile) |
IndexReader.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 IndexReader.IntIndex1NSortedReader(File indexFile) throws IOException
IOException
public IndexReader.IntIndex1NSortedReader(File indexFile, IIndexReader.IOne2OneIndex header, IIndexReader.IOne2OneIndex body) throws IOException
IOException
public int[] get(int index)
get
in interface IIndexReader.IOne2ManyIndex
public void close()
IIndexReader
close
in interface IIndexReader
public void unload() throws IOException
IIndexReader
unload
in interface IIndexReader
IOException
public int size()
IIndexReader
size
in interface IIndexReader
public void delete()
IIndexReader
delete
in interface IIndexReader