/*   Generated by AspectJ version 0.7beta7 */
import EqualVisitor;
import Any_vertex;
import UniversalVisitor;
import CopyVisitor;
import Syntax_vertex;
import Labeled_vertex;
import Vertex;
import Adj_list;
import CountingVisitor;
import SubgraphVisitor;
import TraceVisitor;
import Empty;
import Any_vertex_list;
import Neighbors;
import Cd_graph;
import DisplayVisitor;
import Construct;
import Empty_cd_graph;
import PrintVisitor;
import Main;
import Adj;
import Nany_vertex_list;
import Alternat;
public class DisplayVisitor extends UniversalVisitor  {     //from DisplayVisitor.java:2
  protected int indent;                                     //from DisplayVisitor.java:3
  public int get_indent()  {                                //from DisplayVisitor.java:4
    return indent;                                          //from DisplayVisitor.java:4
  }

  public void set_indent(int new_indent)  {                 //from DisplayVisitor.java:5
    indent = new_indent;                                    //from DisplayVisitor.java:5
  }

  public DisplayVisitor()  {                                //from DisplayVisitor.java:6
    super();                                                //from DisplayVisitor.java:6
    ;                                                       //from DisplayVisitor.java:6
  }

  public DisplayVisitor(int indent)  {                      //from DisplayVisitor.java:7
    super();                                                //from DisplayVisitor.java:8
    ;                                                       //from DisplayVisitor.java:8
    set_indent(indent);                                     //from DisplayVisitor.java:9
  }

  protected java.io.PrintWriter out = new java.io.PrintWriter(java.lang.System.out, true);  //from DisplayVisitor.java:12
  java.io.PrintWriter get_out()  {                          //from DisplayVisitor.java:13
    return out;                                             //from DisplayVisitor.java:13
  }

  void set_out(java.io.PrintWriter new_out)  {              //from DisplayVisitor.java:14
    out = new_out;                                          //from DisplayVisitor.java:14
  }

  DisplayVisitor(java.io.PrintWriter out)  {                //from DisplayVisitor.java:15
    set_out(out);                                           //from DisplayVisitor.java:15
  }

  DisplayVisitor(java.io.PrintStream out)  {                //from DisplayVisitor.java:17
    set_out(new java.io.PrintWriter(out, true));            //from DisplayVisitor.java:17
  }

  public void finish()  {                                   //from DisplayVisitor.java:19
    out.flush();                                            //from DisplayVisitor.java:19
  }

  public void before(Cd_graph host)  {                      //from DisplayVisitor.java:20
    out.print(": Cd_graph  (");                             //from DisplayVisitor.java:21
    indent++;                                               //from DisplayVisitor.java:22
  }

  public void after(Cd_graph host)  {                       //from DisplayVisitor.java:24
    out.print(" )");                                        //from DisplayVisitor.java:25
    indent--;                                               //from DisplayVisitor.java:26
  }

  public void before_first(Cd_graph source, Adj dest)  {    //from DisplayVisitor.java:28
    out.println();                                          //from DisplayVisitor.java:29
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:29
    out.print("<first> ");                                  //from DisplayVisitor.java:30
  }

  public void before_rest(Cd_graph source, Adj_list dest)  {  //from DisplayVisitor.java:32
    out.println();                                          //from DisplayVisitor.java:33
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:33
    out.print("<rest> ");                                   //from DisplayVisitor.java:34
  }

  public void before(Adj host)  {                           //from DisplayVisitor.java:36
    out.print(": Adj  (");                                  //from DisplayVisitor.java:37
    indent++;                                               //from DisplayVisitor.java:38
  }

  public void after(Adj host)  {                            //from DisplayVisitor.java:40
    out.print(" )");                                        //from DisplayVisitor.java:41
    indent--;                                               //from DisplayVisitor.java:42
  }

  public void before_vertex(Adj source, Vertex dest)  {     //from DisplayVisitor.java:44
    out.println();                                          //from DisplayVisitor.java:45
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:45
    out.print("<vertex> ");                                 //from DisplayVisitor.java:46
  }

  public void before_ns(Adj source, Neighbors dest)  {      //from DisplayVisitor.java:48
    out.println();                                          //from DisplayVisitor.java:49
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:49
    out.print("<ns> ");                                     //from DisplayVisitor.java:50
  }

  public void before(Construct host)  {                     //from DisplayVisitor.java:52
    out.print(": Construct  (");                            //from DisplayVisitor.java:53
    indent++;                                               //from DisplayVisitor.java:54
  }

  public void after(Construct host)  {                      //from DisplayVisitor.java:56
    out.print(" )");                                        //from DisplayVisitor.java:57
    indent--;                                               //from DisplayVisitor.java:58
  }

  public void before_c_ns(Construct source, Any_vertex_list dest)  {  //from DisplayVisitor.java:60
    out.println();                                          //from DisplayVisitor.java:61
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:61
    out.print("<c_ns> ");                                   //from DisplayVisitor.java:62
  }

  public void before(Alternat host)  {                      //from DisplayVisitor.java:64
    out.print(": Alternat  (");                             //from DisplayVisitor.java:65
    indent++;                                               //from DisplayVisitor.java:66
  }

  public void after(Alternat host)  {                       //from DisplayVisitor.java:68
    out.print(" )");                                        //from DisplayVisitor.java:69
    indent--;                                               //from DisplayVisitor.java:70
  }

  public void before_first(Alternat source, Vertex dest)  {  //from DisplayVisitor.java:72
    out.println();                                          //from DisplayVisitor.java:73
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:73
    out.print("<first> ");                                  //from DisplayVisitor.java:74
  }

  public void before_second(Alternat source, Vertex dest)  {  //from DisplayVisitor.java:76
    out.println();                                          //from DisplayVisitor.java:77
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:77
    out.print("<second> ");                                 //from DisplayVisitor.java:78
  }

  public void before(Syntax_vertex host)  {                 //from DisplayVisitor.java:80
    out.print(": Syntax_vertex  (");                        //from DisplayVisitor.java:81
    indent++;                                               //from DisplayVisitor.java:82
  }

  public void after(Syntax_vertex host)  {                  //from DisplayVisitor.java:84
    out.print(" )");                                        //from DisplayVisitor.java:85
    indent--;                                               //from DisplayVisitor.java:86
  }

  public void before_string(Syntax_vertex source, java.lang.String dest)  {  //from DisplayVisitor.java:88
    out.println();                                          //from DisplayVisitor.java:89
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:89
    out.print("<string> ");                                 //from DisplayVisitor.java:90
    out.print(" : String");                                 //from DisplayVisitor.java:91
    out.print(" \"" + source.get_string() + "\" ");         //from DisplayVisitor.java:92
  }

  public void before(Labeled_vertex host)  {                //from DisplayVisitor.java:94
    out.print(": Labeled_vertex  (");                       //from DisplayVisitor.java:95
    indent++;                                               //from DisplayVisitor.java:96
  }

  public void after(Labeled_vertex host)  {                 //from DisplayVisitor.java:98
    out.print(" )");                                        //from DisplayVisitor.java:99
    indent--;                                               //from DisplayVisitor.java:100
  }

  public void before_label_name(Labeled_vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from DisplayVisitor.java:102
    out.println();                                          //from DisplayVisitor.java:103
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:103
    out.print("<label_name> ");                             //from DisplayVisitor.java:104
    out.print(" : Ident");                                  //from DisplayVisitor.java:105
    out.print(" \"" + source.get_label_name() + "\"");      //from DisplayVisitor.java:106
  }

  public void before_class_name(Labeled_vertex source, Vertex dest)  {  //from DisplayVisitor.java:108
    out.println();                                          //from DisplayVisitor.java:109
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:109
    out.print("<class_name> ");                             //from DisplayVisitor.java:110
  }

  public void before(Nany_vertex_list host)  {              //from DisplayVisitor.java:112
    out.print(": Nany_vertex_list  (");                     //from DisplayVisitor.java:113
    indent++;                                               //from DisplayVisitor.java:114
  }

  public void after(Nany_vertex_list host)  {               //from DisplayVisitor.java:116
    out.print(" )");                                        //from DisplayVisitor.java:117
    indent--;                                               //from DisplayVisitor.java:118
  }

  public void before_first(Nany_vertex_list source, Any_vertex dest)  {  //from DisplayVisitor.java:120
    out.println();                                          //from DisplayVisitor.java:121
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:121
    out.print("<first> ");                                  //from DisplayVisitor.java:122
  }

  public void before_rest(Nany_vertex_list source, Any_vertex_list dest)  {  //from DisplayVisitor.java:124
    out.println();                                          //from DisplayVisitor.java:125
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:125
    out.print("<rest> ");                                   //from DisplayVisitor.java:126
  }

  public void before(Empty host)  {                         //from DisplayVisitor.java:128
    out.print(": Empty  (");                                //from DisplayVisitor.java:129
    indent++;                                               //from DisplayVisitor.java:130
  }

  public void after(Empty host)  {                          //from DisplayVisitor.java:132
    out.print(" )");                                        //from DisplayVisitor.java:133
    indent--;                                               //from DisplayVisitor.java:134
  }

  public void before(Empty_cd_graph host)  {                //from DisplayVisitor.java:136
    out.print(": Empty_cd_graph  (");                       //from DisplayVisitor.java:137
    indent++;                                               //from DisplayVisitor.java:138
  }

  public void after(Empty_cd_graph host)  {                 //from DisplayVisitor.java:140
    out.print(" )");                                        //from DisplayVisitor.java:141
    indent--;                                               //from DisplayVisitor.java:142
  }

  public void before(Vertex host)  {                        //from DisplayVisitor.java:144
    out.print(": Vertex  (");                               //from DisplayVisitor.java:145
    indent++;                                               //from DisplayVisitor.java:146
  }

  public void after(Vertex host)  {                         //from DisplayVisitor.java:148
    out.print(" )");                                        //from DisplayVisitor.java:149
    indent--;                                               //from DisplayVisitor.java:150
  }

  public void before_name(Vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from DisplayVisitor.java:152
    out.println();                                          //from DisplayVisitor.java:153
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:153
    out.print("<name> ");                                   //from DisplayVisitor.java:154
    out.print(" : Ident");                                  //from DisplayVisitor.java:155
    out.print(" \"" + source.get_name() + "\"");            //from DisplayVisitor.java:156
  }

  public void before(CountingVisitor host)  {               //from DisplayVisitor.java:158
    out.print(": CountingVisitor  (");                      //from DisplayVisitor.java:159
    indent++;                                               //from DisplayVisitor.java:160
  }

  public void after(CountingVisitor host)  {                //from DisplayVisitor.java:162
    out.print(" )");                                        //from DisplayVisitor.java:163
    indent--;                                               //from DisplayVisitor.java:164
  }

  public void before_total(CountingVisitor source, int dest)  {  //from DisplayVisitor.java:166
    out.println();                                          //from DisplayVisitor.java:167
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:167
    out.print("<total> ");                                  //from DisplayVisitor.java:168
    out.print(" : int \"" + dest + "\"");                   //from DisplayVisitor.java:169
  }

  public void before(Main host)  {                          //from DisplayVisitor.java:171
    out.print(": Main  (");                                 //from DisplayVisitor.java:172
    indent++;                                               //from DisplayVisitor.java:173
  }

  public void after(Main host)  {                           //from DisplayVisitor.java:175
    out.print(" )");                                        //from DisplayVisitor.java:176
    indent--;                                               //from DisplayVisitor.java:177
  }

  public void before(PrintVisitor host)  {                  //from DisplayVisitor.java:179
    out.print(": PrintVisitor  (");                         //from DisplayVisitor.java:180
    indent++;                                               //from DisplayVisitor.java:181
  }

  public void after(PrintVisitor host)  {                   //from DisplayVisitor.java:183
    out.print(" )");                                        //from DisplayVisitor.java:184
    indent--;                                               //from DisplayVisitor.java:185
  }

  public void before_indent(PrintVisitor source, int dest)  {  //from DisplayVisitor.java:187
    out.println();                                          //from DisplayVisitor.java:188
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:188
    out.print("<indent> ");                                 //from DisplayVisitor.java:189
    out.print(" : int \"" + dest + "\"");                   //from DisplayVisitor.java:190
  }

  public void before_needSpace(PrintVisitor source, boolean dest)  {  //from DisplayVisitor.java:192
    out.println();                                          //from DisplayVisitor.java:193
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:193
    out.print("<needSpace> ");                              //from DisplayVisitor.java:194
    out.print(" : boolean \"" + dest + "\"");               //from DisplayVisitor.java:195
  }

  public void before(CopyVisitor host)  {                   //from DisplayVisitor.java:197
    out.print(": CopyVisitor  (");                          //from DisplayVisitor.java:198
    indent++;                                               //from DisplayVisitor.java:199
  }

  public void after(CopyVisitor host)  {                    //from DisplayVisitor.java:201
    out.print(" )");                                        //from DisplayVisitor.java:202
    indent--;                                               //from DisplayVisitor.java:203
  }

  public void before_copy(CopyVisitor source, java.lang.Object dest)  {  //from DisplayVisitor.java:205
    out.println();                                          //from DisplayVisitor.java:206
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:206
    out.print("<copy> ");                                   //from DisplayVisitor.java:207
  }

  public void before(SubgraphVisitor host)  {               //from DisplayVisitor.java:209
    out.print(": SubgraphVisitor  (");                      //from DisplayVisitor.java:210
    indent++;                                               //from DisplayVisitor.java:211
  }

  public void after(SubgraphVisitor host)  {                //from DisplayVisitor.java:213
    out.print(" )");                                        //from DisplayVisitor.java:214
    indent--;                                               //from DisplayVisitor.java:215
  }

  public void before_is_equal(SubgraphVisitor source, boolean dest)  {  //from DisplayVisitor.java:217
    out.println();                                          //from DisplayVisitor.java:218
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:218
    out.print("<is_equal> ");                               //from DisplayVisitor.java:219
    out.print(" : boolean \"" + dest + "\"");               //from DisplayVisitor.java:220
  }

  public void before(EqualVisitor host)  {                  //from DisplayVisitor.java:222
    out.print(": EqualVisitor  (");                         //from DisplayVisitor.java:223
    indent++;                                               //from DisplayVisitor.java:224
  }

  public void after(EqualVisitor host)  {                   //from DisplayVisitor.java:226
    out.print(" )");                                        //from DisplayVisitor.java:227
    indent--;                                               //from DisplayVisitor.java:228
  }

  public void before_is_equal(EqualVisitor source, boolean dest)  {  //from DisplayVisitor.java:230
    out.println();                                          //from DisplayVisitor.java:231
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:231
    out.print("<is_equal> ");                               //from DisplayVisitor.java:232
    out.print(" : boolean \"" + dest + "\"");               //from DisplayVisitor.java:233
  }

  public void before(DisplayVisitor host)  {                //from DisplayVisitor.java:235
    out.print(": DisplayVisitor  (");                       //from DisplayVisitor.java:236
    indent++;                                               //from DisplayVisitor.java:237
  }

  public void after(DisplayVisitor host)  {                 //from DisplayVisitor.java:239
    out.print(" )");                                        //from DisplayVisitor.java:240
    indent--;                                               //from DisplayVisitor.java:241
  }

  public void before_indent(DisplayVisitor source, int dest)  {  //from DisplayVisitor.java:243
    out.println();                                          //from DisplayVisitor.java:244
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:244
    out.print("<indent> ");                                 //from DisplayVisitor.java:245
    out.print(" : int \"" + dest + "\"");                   //from DisplayVisitor.java:246
  }

  public void before(TraceVisitor host)  {                  //from DisplayVisitor.java:248
    out.print(": TraceVisitor  (");                         //from DisplayVisitor.java:249
    indent++;                                               //from DisplayVisitor.java:250
  }

  public void after(TraceVisitor host)  {                   //from DisplayVisitor.java:252
    out.print(" )");                                        //from DisplayVisitor.java:253
    indent--;                                               //from DisplayVisitor.java:254
  }

  public void before_indent(TraceVisitor source, int dest)  {  //from DisplayVisitor.java:256
    out.println();                                          //from DisplayVisitor.java:257
    for (int i = 0; i < indent; i++) out.print("\t");       //from DisplayVisitor.java:257
    out.print("<indent> ");                                 //from DisplayVisitor.java:258
    out.print(" : int \"" + dest + "\"");                   //from DisplayVisitor.java:259
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from DisplayVisitor.java:261
    super.universal_trv0_bef(_v_);                          //from DisplayVisitor.java:262
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from DisplayVisitor.java:265
    super.universal_trv0_aft(_v_);                          //from DisplayVisitor.java:266
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from DisplayVisitor.java:269
    universal_trv0_bef(_v_);                                //from DisplayVisitor.java:270
    super.universal_trv0(_v_);                              //from DisplayVisitor.java:271
    universal_trv0_aft(_v_);                                //from DisplayVisitor.java:272
  }

}