/* Override this method if you want to customize how the node dumps
* out its children. */
public void Dump(String prefix)
{
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(string.Format("{0} ", prefix));
}
}
}
}
