public interface Writer
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
Writer |
write(Prefix prefix) |
Writer |
writeComment(String string) |
void flush() throws IOException
IOException
void close() throws IOException
IOException
Writer write(Prefix prefix) throws IOException
IOException
Writer writeComment(String string) throws IOException
IOException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.