// This file is automatically generated by DemeterJ.

DisplayVisitor {
  {{
    protected java.io.PrintWriter out = new java.io.PrintWriter(System.out, true);
    java.io.PrintWriter get_out()             { return out; }
    void set_out(java.io.PrintWriter new_out) { out = new_out; }
    DisplayVisitor(java.io.PrintWriter out)     { set_out(out); }
    DisplayVisitor(java.io.PrintStream out)
      { set_out(new java.io.PrintWriter(out, true)); }
  }}
  finish {{ out.flush(); }}


  before Commands {{
    out.print(": Commands  (");
    indent++;
  }}
  after Commands {{
    out.print(" )");
    indent--;
  }}
  before -> Commands, mousecommandlist, MouseCommandList {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<mousecommandlist> ");
  }}
  before MouseCommandList {{
    out.print(": MouseCommandList  (");
    indent++;
  }}
  after MouseCommandList {{
    out.print(" )");
    indent--;
  }}
  before -> MouseCommandList, mousecommand_list, MouseCommand_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<mousecommand_list> ");
  }}
  before TwoButtonCommand {{
    out.print(": TwoButtonCommand  (");
    indent++;
  }}
  after TwoButtonCommand {{
    out.print(" )");
    indent--;
  }}
  before -> TwoButtonCommand, twobuttonmousebutton, TwoButtonMouseButton {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<twobuttonmousebutton> ");
  }}
  before -> TwoButtonCommand, basicoperation, BasicOperation {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<basicoperation> ");
  }}
  before -> TwoButtonCommand, mousecoordinates, MouseCoordinates {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<mousecoordinates> ");
  }}
  before ThreeButtonCommand {{
    out.print(": ThreeButtonCommand  (");
    indent++;
  }}
  after ThreeButtonCommand {{
    out.print(" )");
    indent--;
  }}
  before -> ThreeButtonCommand, threebuttonmousebutton, ThreeButtonMouseButton {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<threebuttonmousebutton> ");
  }}
  before -> ThreeButtonCommand, basicoperation, BasicOperation {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<basicoperation> ");
  }}
  before -> ThreeButtonCommand, mousecoordinates, MouseCoordinates {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<mousecoordinates> ");
  }}
  before WheelButtonCommand {{
    out.print(": WheelButtonCommand  (");
    indent++;
  }}
  after WheelButtonCommand {{
    out.print(" )");
    indent--;
  }}
  before -> WheelButtonCommand, wheelmousebutton, WheelMouseButton {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<wheelmousebutton> ");
  }}
  before -> WheelButtonCommand, advancedoperation, AdvancedOperation {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<advancedoperation> ");
  }}
  before -> WheelButtonCommand, mousecoordinates, MouseCoordinates {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<mousecoordinates> ");
  }}
  before TwoButtonMouseButton {{
    out.print(": TwoButtonMouseButton  (");
    indent++;
  }}
  after TwoButtonMouseButton {{
    out.print(" )");
    indent--;
  }}
  before -> TwoButtonMouseButton, basicbuttons, BasicButtons {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<basicbuttons> ");
  }}
  before ThreeBBasicButtons {{
    out.print(": ThreeBBasicButtons  (");
    indent++;
  }}
  after ThreeBBasicButtons {{
    out.print(" )");
    indent--;
  }}
  before -> ThreeBBasicButtons, basicbuttons, BasicButtons {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<basicbuttons> ");
  }}
  before WBBasicButtons {{
    out.print(": WBBasicButtons  (");
    indent++;
  }}
  after WBBasicButtons {{
    out.print(" )");
    indent--;
  }}
  before -> WBBasicButtons, basicbuttons, BasicButtons {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<basicbuttons> ");
  }}
  before LeftButton {{
    out.print(": LeftButton  (");
    indent++;
  }}
  after LeftButton {{
    out.print(" )");
    indent--;
  }}
  before RightButton {{
    out.print(": RightButton  (");
    indent++;
  }}
  after RightButton {{
    out.print(" )");
    indent--;
  }}
  before MiddleButton {{
    out.print(": MiddleButton  (");
    indent++;
  }}
  after MiddleButton {{
    out.print(" )");
    indent--;
  }}
  before WheelButton {{
    out.print(": WheelButton  (");
    indent++;
  }}
  after WheelButton {{
    out.print(" )");
    indent--;
  }}
  before ClickOp {{
    out.print(": ClickOp  (");
    indent++;
  }}
  after ClickOp {{
    out.print(" )");
    indent--;
  }}
  before PressOp {{
    out.print(": PressOp  (");
    indent++;
  }}
  after PressOp {{
    out.print(" )");
    indent--;
  }}
  before ReleaseOp {{
    out.print(": ReleaseOp  (");
    indent++;
  }}
  after ReleaseOp {{
    out.print(" )");
    indent--;
  }}
  before RollUpOp {{
    out.print(": RollUpOp  (");
    indent++;
  }}
  after RollUpOp {{
    out.print(" )");
    indent--;
  }}
  before RollDownOp {{
    out.print(": RollDownOp  (");
    indent++;
  }}
  after RollDownOp {{
    out.print(" )");
    indent--;
  }}
  before MouseCoordinates {{
    out.print(": MouseCoordinates  (");
    indent++;
  }}
  after MouseCoordinates {{
    out.print(" )");
    indent--;
  }}
  before -> MouseCoordinates, mousecoordinate, MouseCoordinate {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<mousecoordinate> ");
  }}
  before PointCoordinate {{
    out.print(": PointCoordinate  (");
    indent++;
  }}
  after PointCoordinate {{
    out.print(" )");
    indent--;
  }}
  before -> PointCoordinate, x, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<x> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before -> PointCoordinate, y, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<y> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before EmptyCoordinate {{
    out.print(": EmptyCoordinate  (");
    indent++;
  }}
  after EmptyCoordinate {{
    out.print(" )");
    indent--;
  }}
  before Main {{
    out.print(": Main  (");
    indent++;
  }}
  after Main {{
    out.print(" )");
    indent--;
  }}
  before JeffsVisitor {{
    out.print(": JeffsVisitor  (");
    indent++;
  }}
  after JeffsVisitor {{
    out.print(" )");
    indent--;
  }}
  before PrintVisitor {{
    out.print(": PrintVisitor  (");
    indent++;
  }}
  after PrintVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> PrintVisitor, indent, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before -> PrintVisitor, needSpace, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  before CopyVisitor {{
    out.print(": CopyVisitor  (");
    indent++;
  }}
  after CopyVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> CopyVisitor, copy, Object {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<copy> ");
  }}
  before SubgraphVisitor {{
    out.print(": SubgraphVisitor  (");
    indent++;
  }}
  after SubgraphVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> SubgraphVisitor, is_equal, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  before EqualVisitor {{
    out.print(": EqualVisitor  (");
    indent++;
  }}
  after EqualVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> EqualVisitor, is_equal, boolean {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
  }}
  before DisplayVisitor {{
    out.print(": DisplayVisitor  (");
    indent++;
  }}
  after DisplayVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> DisplayVisitor, indent, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before TraceVisitor {{
    out.print(": TraceVisitor  (");
    indent++;
  }}
  after TraceVisitor {{
    out.print(" )");
    indent--;
  }}
  before -> TraceVisitor, indent, int {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
  }}
  before MouseCommand_List {{
    out.print(": MouseCommand_List  {");
    indent++;
  }}
  after MouseCommand_List {{
    out.print(" }");
    indent--;
  }}
  before -> MouseCommand_List, first, Nonempty_MouseCommand_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  }}
  before Nonempty_MouseCommand_List {{
    out.print(": Nonempty_MouseCommand_List  (");
    indent++;
  }}
  after Nonempty_MouseCommand_List {{
    out.print(" )");
    indent--;
  }}
  before -> Nonempty_MouseCommand_List, it, MouseCommand {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  }}
  before -> Nonempty_MouseCommand_List, next, Nonempty_MouseCommand_List {{
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  }}
}