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()