+
+ public void DumpNested (bool force)
+ {
+ if (force || M17N.debug)
+ {
+ update_from_to ();
+
+ Console.Write ("#{0}({1} {2} {3}", ID, Length, From, To);
+ foreach (MPlist p in Stack)
+ Console.Write (" " + p.Val);
+ if (Left != null)
+ {
+ Console.Write (" left=");
+ Left.DumpNested (force);
+ }
+ if (Right != null)
+ {
+ Console.Write (" right=");
+ Right.DumpNested (force);
+ }
+ Console.Write (")");
+ }
+ }