|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public long flush() throws java.io.IOException
java.io.IOException
public long write() throws java.io.IOException
java.io.IOException
public boolean open(java.lang.String filename) throws java.io.IOException
java.io.IOException
public boolean create(java.lang.String filename) throws java.io.IOException
java.io.IOException
public boolean create(java.lang.String filename, java.util.Properties options) throws java.io.IOException
java.io.IOException
public boolean isOpen()
public 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 |