// This file is automatically generated by Demeter/Java.

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 CommandList (@
    out.print(": CommandList  {");
    indent++;
  @)
  after CommandList (@
    out.print(" }");
    indent--;
  @)
  before -> CommandList, first, Nonempty_CommandList (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before MakeDirectory (@
    out.print(": MakeDirectory  (");
    indent++;
  @)
  after MakeDirectory (@
    out.print(" )");
    indent--;
  @)
  before -> MakeDirectory, directoryname, DirectoryName (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<directoryname> ");
  @)
  before ChangeDirectoryUp (@
    out.print(": ChangeDirectoryUp  (");
    indent++;
  @)
  after ChangeDirectoryUp (@
    out.print(" )");
    indent--;
  @)
  before ChangeDirectoryDown (@
    out.print(": ChangeDirectoryDown  (");
    indent++;
  @)
  after ChangeDirectoryDown (@
    out.print(" )");
    indent--;
  @)
  before -> ChangeDirectoryDown, directoryname, DirectoryName (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<directoryname> ");
  @)
  before RecursiveCopy (@
    out.print(": RecursiveCopy  (");
    indent++;
  @)
  after RecursiveCopy (@
    out.print(" )");
    indent--;
  @)
  before DiskUsage (@
    out.print(": DiskUsage  (");
    indent++;
  @)
  after DiskUsage (@
    out.print(" )");
    indent--;
  @)
  before Find (@
    out.print(": Find  (");
    indent++;
  @)
  after Find (@
    out.print(" )");
    indent--;
  @)
  before -> Find, directoryname, DirectoryName (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<directoryname> ");
  @)
  before Echo (@
    out.print(": Echo  (");
    indent++;
  @)
  after Echo (@
    out.print(" )");
    indent--;
  @)
  before -> Echo, message, Message (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<message> ");
  @)
  before DirectoryName (@
    out.print(": DirectoryName  (");
    indent++;
  @)
  after DirectoryName (@
    out.print(" )");
    indent--;
  @)
  before -> DirectoryName, ident, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ident> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_ident() + "\"");
  @)
  before Message (@
    out.print(": Message  (");
    indent++;
  @)
  after Message (@
    out.print(" )");
    indent--;
  @)
  before -> Message, string, String (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
  @)
  before Compound (@
    out.print(": Compound  (");
    indent++;
  @)
  after Compound (@
    out.print(" )");
    indent--;
  @)
  before -> Compound, c1, Command (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<c1> ");
  @)
  before -> Compound, c2, Command (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<c2> ");
  @)
  before SimpleFile (@
    out.print(": SimpleFile  (");
    indent++;
  @)
  after SimpleFile (@
    out.print(" )");
    indent--;
  @)
  before -> SimpleFile, filename, FileName (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<filename> ");
  @)
  before CompoundFile (@
    out.print(": CompoundFile  (");
    indent++;
  @)
  after CompoundFile (@
    out.print(" )");
    indent--;
  @)
  before -> CompoundFile, filename, FileName (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<filename> ");
  @)
  before -> CompoundFile, contents, File_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<contents> ");
  @)
  before FileName (@
    out.print(": FileName  (");
    indent++;
  @)
  after FileName (@
    out.print(" )");
    indent--;
  @)
  before -> FileName, ident, Ident (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ident> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_ident() + "\"");
  @)
  before Main (@
    out.print(": Main  (");
    indent++;
  @)
  after Main (@
    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 File_List (@
    out.print(": File_List  {");
    indent++;
  @)
  after File_List (@
    out.print(" }");
    indent--;
  @)
  before -> File_List, first, Nonempty_File_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
  @)
  before Nonempty_CommandList (@
    out.print(": Nonempty_CommandList  (");
    indent++;
  @)
  after Nonempty_CommandList (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_CommandList, it, Command (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_CommandList, next, Nonempty_CommandList (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
  before Nonempty_File_List (@
    out.print(": Nonempty_File_List  (");
    indent++;
  @)
  after Nonempty_File_List (@
    out.print(" )");
    indent--;
  @)
  before -> Nonempty_File_List, it, File (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
  @)
  before -> Nonempty_File_List, next, Nonempty_File_List (@
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
  @)
}