(Writer writer)
| 712 | } |
| 713 | |
| 714 | public void emit(Writer writer) throws IOException { |
| 715 | PrintWriter pw = new PrintWriter(writer); |
| 716 | root.emit(this, pw, ""); |
| 717 | pw.flush(); |
| 718 | } |
| 719 | |
| 720 | public void emit(PrintWriter writer) throws IOException { |
| 721 | root.emit(this, writer, ""); |