public interface BufferedWriterObject extends AutoCloseable
void
flush()
write(String value)
close
void write(String value) throws GraphDbFileIOException
value
GraphDbFileIOException
void flush() throws GraphDbFileIOException