|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface IndexHeaderWriter
An index header writer This is the generic interface to an index writer.
| Method Summary | |
|---|---|
long |
close()
Close an index header reader. |
boolean |
create(java.lang.String filename)
Create an index header, given a filename. |
boolean |
create(java.lang.String filename,
java.util.Properties options)
Create an index header, given a filename and some create time options. |
long |
flush()
Flush the current values to the header file. |
boolean |
isOpen()
Is the index header open |
boolean |
open(java.lang.String filename)
Open an index header, given a filename. |
long |
write()
Write the contents of the header file out It assumes the header file is alreayd open for writing. |
| Method Detail |
|---|
long flush()
throws java.io.IOException
java.io.IOException
long write()
throws java.io.IOException
java.io.IOException
boolean open(java.lang.String filename)
throws java.io.IOException
java.io.IOException
boolean create(java.lang.String filename)
throws java.io.IOException
java.io.IOException
boolean create(java.lang.String filename,
java.util.Properties options)
throws java.io.IOException
java.io.IOExceptionboolean isOpen()
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 | ||||||||