|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface IndexHeaderReader
An index header reader This is the generic interface to an index reader.
| Method Summary | |
|---|---|
long |
close()
Close an index header reader. |
boolean |
isOpen()
Is the index header open |
boolean |
open(java.lang.String filename)
Open an index header |
long |
read()
Read an index header from the header stream. |
| Method Detail |
|---|
boolean open(java.lang.String filename)
throws java.io.IOException
java.io.IOExceptionboolean isOpen()
long read()
throws java.io.IOException
java.io.IOException
long close()
throws java.io.IOException
java.io.IOException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||