/* Override this method if you want to customize how the node dumps
* out its children. */
public void Dump(string prefix)
{
System.Console.Out.WriteLine(ToString(prefix));
if (children != null)
{
for (int i = 0; i < children.Length; ++i)
{
SimpleNode n = (SimpleNode)children[i];
if (n != null)
{
n.Dump(prefix + " ");
}
}
}
}