import edu.neu.ccs.demeter.dj.*;
import java.util.*;
import edu.neu.ccs.demeter.*;
 class DisplayVisitor extends UniversalVisitor {
  protected int indent;
  public int get_indent() { return indent;   }
  public void set_indent(int new_indent) { indent = new_indent;   }
  public DisplayVisitor() { super();   }
  public DisplayVisitor(int indent) {
    super();
    set_indent(indent);
    }
  
    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)); }
  
  public void finish() { out.flush();   }
  public void before(Main host) {
    out.print(": Main  (");
    indent++;
    }
  public void after(Main host) {
    out.print(" )");
    indent--;
    }
  public void before(Cd_graph host) {
    out.print(": Cd_graph  (");
    indent++;
    }
  public void after(Cd_graph host) {
    out.print(" )");
    indent--;
    }
  public void before_adjacencies(Cd_graph source, Adjacency_Nlist dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<adjacencies> ");
    }
  public void before(Adjacency host) {
    out.print(": Adjacency  (");
    indent++;
    }
  public void after(Adjacency host) {
    out.print(" )");
    indent--;
    }
  public void before_source(Adjacency source, Vertex dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<source> ");
    }
  public void before_parameters(Adjacency source, Vertex_Comma_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<parameters> ");
    }
  public void before_ns(Adjacency source, Neighbors dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ns> ");
    }
  public void before_construct_ns(Neighbors_wc source, Any_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<construct_ns> ");
    }
  public void before_parents(Neighbors_wc source, ParentList dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<parents> ");
    }
  public void before(ParentList host) {
    out.print(": ParentList  (");
    indent++;
    }
  public void after(ParentList host) {
    out.print(" )");
    indent--;
    }
  public void before_ps(ParentList source, Adjacency_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<ps> ");
    }
  public void before(Construct_ns host) {
    out.print(": Construct_ns  (");
    indent++;
    }
  public void after(Construct_ns host) {
    out.print(" )");
    indent--;
    }
  public void before(Alternat_ns host) {
    out.print(": Alternat_ns  (");
    indent++;
    }
  public void after(Alternat_ns host) {
    out.print(" )");
    indent--;
    }
  public void before_alternat_ns(Alternat_ns source, Term_Bar_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<alternat_ns> ");
    }
  public void before_common(Alternat_ns source, Common dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<common> ");
    }
  public void before(Common host) {
    out.print(": Common  (");
    indent++;
    }
  public void after(Common host) {
    out.print(" )");
    indent--;
    }
  public void before(Repetit_n host) {
    out.print(": Repetit_n  (");
    indent++;
    }
  public void after(Repetit_n host) {
    out.print(" )");
    indent--;
    }
  public void before_sandwiched(Repetit_n source, Kernel_Sandwich dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<sandwiched> ");
    }
  public void before(Kernel host) {
    out.print(": Kernel  (");
    indent++;
    }
  public void after(Kernel host) {
    out.print(" )");
    indent--;
    }
  public void before_nonempty(Kernel source, Term dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<nonempty> ");
    }
  public void before_repeated(Kernel source, Term_Sandwich dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<repeated> ");
    }
  public void before(Vertex host) {
    out.print(": Vertex  (");
    indent++;
    }
  public void after(Vertex host) {
    out.print(" )");
    indent--;
    }
  public void before_vertex_name(Vertex source, Ident dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vertex_name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_vertex_name() + "\"");
    }
  public void before(Print_indent host) {
    out.print(": Print_indent  (");
    indent++;
    }
  public void after(Print_indent host) {
    out.print(" )");
    indent--;
    }
  public void before(Print_unindent host) {
    out.print(": Print_unindent  (");
    indent++;
    }
  public void after(Print_unindent host) {
    out.print(" )");
    indent--;
    }
  public void before(Print_skip host) {
    out.print(": Print_skip  (");
    indent++;
    }
  public void after(Print_skip host) {
    out.print(" )");
    indent--;
    }
  public void before(Print_space host) {
    out.print(": Print_space  (");
    indent++;
    }
  public void after(Print_space host) {
    out.print(" )");
    indent--;
    }
  public void before(Regular_syntax host) {
    out.print(": Regular_syntax  (");
    indent++;
    }
  public void after(Regular_syntax host) {
    out.print(" )");
    indent--;
    }
  public void before_string(Regular_syntax source, String dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<string> ");
    out.print(" : String");
    out.print(" \"" + source.get_string() + "\" ");
    }
  public void before_vertex(Opt_labeled_term source, Term dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vertex> ");
    }
  public void before(Regular host) {
    out.print(": Regular  (");
    indent++;
    }
  public void after(Regular host) {
    out.print(" )");
    indent--;
    }
  public void before(Labeled host) {
    out.print(": Labeled  (");
    indent++;
    }
  public void after(Labeled host) {
    out.print(" )");
    indent--;
    }
  public void before_label_name(Labeled source, Ident dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<label_name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_label_name() + "\"");
    }
  public void before_vertex(Term source, Vertex dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<vertex> ");
    }
  public void before_module_name(Term source, Module_name dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<module_name> ");
    }
  public void before_actual_parameters(Term source, Term_Comma_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<actual_parameters> ");
    }
  public void before(Module_name host) {
    out.print(": Module_name  (");
    indent++;
    }
  public void after(Module_name host) {
    out.print(" )");
    indent--;
    }
  public void before_module_name(Module_name source, Ident dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<module_name> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_module_name() + "\"");
    }
  public void before(Normal host) {
    out.print(": Normal  (");
    indent++;
    }
  public void after(Normal host) {
    out.print(" )");
    indent--;
    }
  public void before(Optional_term host) {
    out.print(": Optional_term  (");
    indent++;
    }
  public void after(Optional_term host) {
    out.print(" )");
    indent--;
    }
  public void before_opt(Optional_term source, Opt_labeled_term_Sandwich dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<opt> ");
    }
  public void before(FindClassVisitor host) {
    out.print(": FindClassVisitor  (");
    indent++;
    }
  public void after(FindClassVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_id(FindClassVisitor source, Ident dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<id> ");
    out.print(" : Ident");
    out.print(" \"" + source.get_id() + "\"");
    }
  public void before_rv(FindClassVisitor source, Adjacency dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<rv> ");
    }
  public void before(BuildParentEdgesVisitor host) {
    out.print(": BuildParentEdgesVisitor  (");
    indent++;
    }
  public void after(BuildParentEdgesVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before(PullDownVisitor host) {
    out.print(": PullDownVisitor  (");
    indent++;
    }
  public void after(PullDownVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before(UndefClassVisitor host) {
    out.print(": UndefClassVisitor  (");
    indent++;
    }
  public void after(UndefClassVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before(UniquePartsVisitor host) {
    out.print(": UniquePartsVisitor  (");
    indent++;
    }
  public void after(UniquePartsVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before(SingleInhVisitor host) {
    out.print(": SingleInhVisitor  (");
    indent++;
    }
  public void after(SingleInhVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before(InhCycleVisitor host) {
    out.print(": InhCycleVisitor  (");
    indent++;
    }
  public void after(InhCycleVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_alreadyChecked(InhCycleVisitor source, HashSet dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<alreadyChecked> ");
    }
  public void before(TBRVisitor host) {
    out.print(": TBRVisitor  (");
    indent++;
    }
  public void after(TBRVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before(PrintVisitor host) {
    out.print(": PrintVisitor  (");
    indent++;
    }
  public void after(PrintVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_indent(PrintVisitor source, int dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
    }
  public void before_needSpace(PrintVisitor source, boolean dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<needSpace> ");
    out.print(" : boolean \"" + dest + "\"");
    }
  public void before(CopyVisitor host) {
    out.print(": CopyVisitor  (");
    indent++;
    }
  public void after(CopyVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_copy(CopyVisitor source, Object dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<copy> ");
    }
  public void before(SubgraphVisitor host) {
    out.print(": SubgraphVisitor  (");
    indent++;
    }
  public void after(SubgraphVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_is_equal(SubgraphVisitor source, boolean dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
    }
  public void before(EqualVisitor host) {
    out.print(": EqualVisitor  (");
    indent++;
    }
  public void after(EqualVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_is_equal(EqualVisitor source, boolean dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<is_equal> ");
    out.print(" : boolean \"" + dest + "\"");
    }
  public void before(DisplayVisitor host) {
    out.print(": DisplayVisitor  (");
    indent++;
    }
  public void after(DisplayVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_indent(DisplayVisitor source, int dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
    }
  public void before(TraceVisitor host) {
    out.print(": TraceVisitor  (");
    indent++;
    }
  public void after(TraceVisitor host) {
    out.print(" )");
    indent--;
    }
  public void before_indent(TraceVisitor source, int dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<indent> ");
    out.print(" : int \"" + dest + "\"");
    }
  public void before(Adjacency_Nlist host) {
    out.print(": Adjacency_Nlist  {");
    indent++;
    }
  public void after(Adjacency_Nlist host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Vertex_Comma_list host) {
    out.print(": Vertex_Comma_list  {");
    indent++;
    }
  public void after(Vertex_Comma_list host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Any_vertex_List host) {
    out.print(": Any_vertex_List  {");
    indent++;
    }
  public void after(Any_vertex_List host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Any_vertex_List source, Nonempty_Any_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Adjacency_List host) {
    out.print(": Adjacency_List  {");
    indent++;
    }
  public void after(Adjacency_List host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Adjacency_List source, Nonempty_Adjacency_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Term_Bar_list host) {
    out.print(": Term_Bar_list  {");
    indent++;
    }
  public void after(Term_Bar_list host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Term_Bar_list source, Nonempty_Term_Bar_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Kernel_Sandwich host) {
    out.print(": Kernel_Sandwich  (");
    indent++;
    }
  public void after(Kernel_Sandwich host) {
    out.print(" )");
    indent--;
    }
  public void before_first(Kernel_Sandwich source, Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before_inner(Kernel_Sandwich source, Kernel dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<inner> ");
    }
  public void before_second(Kernel_Sandwich source, Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
    }
  public void before(Term_Sandwich host) {
    out.print(": Term_Sandwich  (");
    indent++;
    }
  public void after(Term_Sandwich host) {
    out.print(" )");
    indent--;
    }
  public void before_first(Term_Sandwich source, Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before_inner(Term_Sandwich source, Term dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<inner> ");
    }
  public void before_second(Term_Sandwich source, Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
    }
  public void before(Term_Comma_list host) {
    out.print(": Term_Comma_list  {");
    indent++;
    }
  public void after(Term_Comma_list host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Term_Comma_list source, Nonempty_Term_Comma_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Opt_labeled_term_Sandwich host) {
    out.print(": Opt_labeled_term_Sandwich  (");
    indent++;
    }
  public void after(Opt_labeled_term_Sandwich host) {
    out.print(" )");
    indent--;
    }
  public void before_first(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before_inner(Opt_labeled_term_Sandwich source, Opt_labeled_term dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<inner> ");
    }
  public void before_second(Opt_labeled_term_Sandwich source, Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<second> ");
    }
  public void before(Syntax_vertex_List host) {
    out.print(": Syntax_vertex_List  {");
    indent++;
    }
  public void after(Syntax_vertex_List host) {
    out.print(" }");
    indent--;
    }
  public void before_first(Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<first> ");
    }
  public void before(Nonempty_Adjacency_Nlist host) {
    out.print(": Nonempty_Adjacency_Nlist  (");
    indent++;
    }
  public void after(Nonempty_Adjacency_Nlist host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Adjacency_Nlist source, Adjacency dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Adjacency_Nlist source, Nonempty_Adjacency_Nlist dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
  public void before(Nonempty_Vertex_Comma_list host) {
    out.print(": Nonempty_Vertex_Comma_list  (");
    indent++;
    }
  public void after(Nonempty_Vertex_Comma_list host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Vertex_Comma_list source, Vertex dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Vertex_Comma_list source, Nonempty_Vertex_Comma_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
  public void before(Nonempty_Any_vertex_List host) {
    out.print(": Nonempty_Any_vertex_List  (");
    indent++;
    }
  public void after(Nonempty_Any_vertex_List host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Any_vertex_List source, Any_vertex dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Any_vertex_List source, Nonempty_Any_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
  public void before(Nonempty_Adjacency_List host) {
    out.print(": Nonempty_Adjacency_List  (");
    indent++;
    }
  public void after(Nonempty_Adjacency_List host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Adjacency_List source, Adjacency dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Adjacency_List source, Nonempty_Adjacency_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
  public void before(Nonempty_Term_Bar_list host) {
    out.print(": Nonempty_Term_Bar_list  (");
    indent++;
    }
  public void after(Nonempty_Term_Bar_list host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Term_Bar_list source, Term dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Term_Bar_list source, Nonempty_Term_Bar_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
  public void before(Nonempty_Term_Comma_list host) {
    out.print(": Nonempty_Term_Comma_list  (");
    indent++;
    }
  public void after(Nonempty_Term_Comma_list host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Term_Comma_list source, Term dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Term_Comma_list source, Nonempty_Term_Comma_list dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
  public void before(Nonempty_Syntax_vertex_List host) {
    out.print(": Nonempty_Syntax_vertex_List  (");
    indent++;
    }
  public void after(Nonempty_Syntax_vertex_List host) {
    out.print(" )");
    indent--;
    }
  public void before_it(Nonempty_Syntax_vertex_List source, Syntax_vertex dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<it> ");
    }
  public void before_next(Nonempty_Syntax_vertex_List source, Nonempty_Syntax_vertex_List dest) {
    out.println();    for (int i = 0; i < indent; i++) out.print("\t");
    out.print("<next> ");
    }
    void universal_trv0_bef(UniversalVisitor _v_) {
    super.universal_trv0_bef(_v_);
  }

    void universal_trv0_aft(UniversalVisitor _v_) {
    super.universal_trv0_aft(_v_);
  }

    void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    super.universal_trv0(_v_);
    universal_trv0_aft(_v_);
  }

}