public interface DocumentWriter
Modifier and Type | Method and Description |
---|---|
void |
processTree(java.io.BufferedWriter bufferedWriter,
Root tree)
Writes tree to given writer.
|
void |
writeDocument(Document document,
java.nio.file.Path outPath)
Writes document to given output path.
|
void |
writeDocument(Document document,
java.io.Writer writer)
Writes document to given writer.
|
void writeDocument(Document document, java.io.Writer writer) throws UdapiIOException
document
- document to writewriter
- writer to useUdapiIOException
- If any error occursvoid writeDocument(Document document, java.nio.file.Path outPath) throws UdapiIOException
document
- document to writeoutPath
- path where the document will be serializedUdapiIOException
- If any error occursvoid processTree(java.io.BufferedWriter bufferedWriter, Root tree) throws UdapiIOException
bufferedWriter
- writer to usetree
- tree to writeUdapiIOException
- If any error occurs