public class ParseTreeWriter extends Object
Typical use is with the ParseTreeNode.unparse(ParseTreeWriter)
method as follows:
ParseTreeNode node; StringWriter sw = new StringWriter(); PrintWriter pw = new PrintWriter(sw); ParseTreeWriter mdxWriter = new ParseTreeWriter(pw); node.unparse(mdxWriter); pw.flush(); String mdx = sw.toString();
ParseTreeNode.unparse(ParseTreeWriter)| Constructor and Description |
|---|
ParseTreeWriter(PrintWriter pw)
Creates a ParseTreeWriter.
|
ParseTreeWriter(Writer w)
Creates a ParseTreeWriter.
|
| Modifier and Type | Method and Description |
|---|---|
PrintWriter |
getPrintWriter()
Returns the print writer.
|
void |
indent()
Increases the indentation level.
|
void |
outdent()
Decreases the indentation level.
|
public ParseTreeWriter(PrintWriter pw)
pw - Underlying writerpublic ParseTreeWriter(Writer w)
w - Underlying writerpublic PrintWriter getPrintWriter()
public void indent()
public void outdent()