public interface RuleWriter extends Writer
Modifier and Type | Method and Description |
---|---|
void |
close() |
void |
flush() |
RuleWriter |
write(Rule rule) |
write, writeComment
RuleWriter write(Rule rule) throws IOException
IOException
void flush() throws IOException
flush
in interface Writer
IOException
void close() throws IOException
close
in interface Writer
IOException
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.