dumper = new java.io.PrintWriter(new java.io.FileWriter(dump_file));
dumper.println ( "<?xml version=\"1.0\"?>");
dumper.println("<BurmDump date=\"" + new Date().toString() + "\">");
burm.dump(dumper);
dumper.println("<AST>");
dumper.println(new NodesToXMLStringFormatter(n).toString());
dumper.println("</AST>");
dumper.println("</BurmDump>");
dumper.flush();
dumper.close();
}
catch (Exception e)
{
System.err.println("Unable to dump due to: " + e.toString());
try
{
System.err.println(new NodesToXMLStringFormatter(n).toString());
}
catch ( Exception cantformat)
{
// Probably an error in the AST itself, diagnosed above.
}