/*   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 TraceVisitor extends UniversalVisitor  {       //from TraceVisitor.java:2
  protected int indent;                                     //from TraceVisitor.java:3
  public int get_indent()  {                                //from TraceVisitor.java:4
    return indent;                                          //from TraceVisitor.java:4
  }

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

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

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

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

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

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

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

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

  public void before(Cd_graph host)  {                      //from TraceVisitor.java:20
    out.println("before Cd_graph");                         //from TraceVisitor.java:21
    indent++;                                               //from TraceVisitor.java:22
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:23
  }

  public void after(Cd_graph host)  {                       //from TraceVisitor.java:25
    out.println("after Cd_graph");                          //from TraceVisitor.java:26
    indent--;                                               //from TraceVisitor.java:27
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:28
  }

  public void before_first(Cd_graph source, Adj dest)  {    //from TraceVisitor.java:30
    out.println("before -> Cd_graph, first, Adj ");         //from TraceVisitor.java:31
    indent++;                                               //from TraceVisitor.java:32
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:33
  }

  public void after_first(Cd_graph source, Adj dest)  {     //from TraceVisitor.java:35
    out.println("after -> Cd_graph, first, Adj ");          //from TraceVisitor.java:36
    indent--;                                               //from TraceVisitor.java:37
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:38
  }

  public void before_rest(Cd_graph source, Adj_list dest)  {  //from TraceVisitor.java:40
    out.println("before -> Cd_graph, rest, Adj_list ");     //from TraceVisitor.java:41
    indent++;                                               //from TraceVisitor.java:42
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:43
  }

  public void after_rest(Cd_graph source, Adj_list dest)  {  //from TraceVisitor.java:45
    out.println("after -> Cd_graph, rest, Adj_list ");      //from TraceVisitor.java:46
    indent--;                                               //from TraceVisitor.java:47
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:48
  }

  public void before(Adj host)  {                           //from TraceVisitor.java:50
    out.println("before Adj");                              //from TraceVisitor.java:51
    indent++;                                               //from TraceVisitor.java:52
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:53
  }

  public void after(Adj host)  {                            //from TraceVisitor.java:55
    out.println("after Adj");                               //from TraceVisitor.java:56
    indent--;                                               //from TraceVisitor.java:57
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:58
  }

  public void before_vertex(Adj source, Vertex dest)  {     //from TraceVisitor.java:60
    out.println("before -> Adj, vertex, Vertex ");          //from TraceVisitor.java:61
    indent++;                                               //from TraceVisitor.java:62
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:63
  }

  public void after_vertex(Adj source, Vertex dest)  {      //from TraceVisitor.java:65
    out.println("after -> Adj, vertex, Vertex ");           //from TraceVisitor.java:66
    indent--;                                               //from TraceVisitor.java:67
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:68
  }

  public void before_ns(Adj source, Neighbors dest)  {      //from TraceVisitor.java:70
    out.println("before -> Adj, ns, Neighbors ");           //from TraceVisitor.java:71
    indent++;                                               //from TraceVisitor.java:72
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:73
  }

  public void after_ns(Adj source, Neighbors dest)  {       //from TraceVisitor.java:75
    out.println("after -> Adj, ns, Neighbors ");            //from TraceVisitor.java:76
    indent--;                                               //from TraceVisitor.java:77
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:78
  }

  public void before(Neighbors host)  {                     //from TraceVisitor.java:80
    out.println("before Neighbors");                        //from TraceVisitor.java:81
    indent++;                                               //from TraceVisitor.java:82
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:83
  }

  public void after(Neighbors host)  {                      //from TraceVisitor.java:85
    out.println("after Neighbors");                         //from TraceVisitor.java:86
    indent--;                                               //from TraceVisitor.java:87
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:88
  }

  public void before(Construct host)  {                     //from TraceVisitor.java:90
    out.println("before Construct");                        //from TraceVisitor.java:91
    indent++;                                               //from TraceVisitor.java:92
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:93
  }

  public void after(Construct host)  {                      //from TraceVisitor.java:95
    out.println("after Construct");                         //from TraceVisitor.java:96
    indent--;                                               //from TraceVisitor.java:97
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:98
  }

  public void before_c_ns(Construct source, Any_vertex_list dest)  {  //from TraceVisitor.java:100
    out.println("before -> Construct, c_ns, Any_vertex_list ");  //from TraceVisitor.java:101
    indent++;                                               //from TraceVisitor.java:102
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:103
  }

  public void after_c_ns(Construct source, Any_vertex_list dest)  {  //from TraceVisitor.java:105
    out.println("after -> Construct, c_ns, Any_vertex_list ");  //from TraceVisitor.java:106
    indent--;                                               //from TraceVisitor.java:107
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:108
  }

  public void before(Alternat host)  {                      //from TraceVisitor.java:110
    out.println("before Alternat");                         //from TraceVisitor.java:111
    indent++;                                               //from TraceVisitor.java:112
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:113
  }

  public void after(Alternat host)  {                       //from TraceVisitor.java:115
    out.println("after Alternat");                          //from TraceVisitor.java:116
    indent--;                                               //from TraceVisitor.java:117
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:118
  }

  public void before_first(Alternat source, Vertex dest)  {  //from TraceVisitor.java:120
    out.println("before -> Alternat, first, Vertex ");      //from TraceVisitor.java:121
    indent++;                                               //from TraceVisitor.java:122
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:123
  }

  public void after_first(Alternat source, Vertex dest)  {  //from TraceVisitor.java:125
    out.println("after -> Alternat, first, Vertex ");       //from TraceVisitor.java:126
    indent--;                                               //from TraceVisitor.java:127
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:128
  }

  public void before_second(Alternat source, Vertex dest)  {  //from TraceVisitor.java:130
    out.println("before -> Alternat, second, Vertex ");     //from TraceVisitor.java:131
    indent++;                                               //from TraceVisitor.java:132
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:133
  }

  public void after_second(Alternat source, Vertex dest)  {  //from TraceVisitor.java:135
    out.println("after -> Alternat, second, Vertex ");      //from TraceVisitor.java:136
    indent--;                                               //from TraceVisitor.java:137
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:138
  }

  public void before(Any_vertex host)  {                    //from TraceVisitor.java:140
    out.println("before Any_vertex");                       //from TraceVisitor.java:141
    indent++;                                               //from TraceVisitor.java:142
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:143
  }

  public void after(Any_vertex host)  {                     //from TraceVisitor.java:145
    out.println("after Any_vertex");                        //from TraceVisitor.java:146
    indent--;                                               //from TraceVisitor.java:147
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:148
  }

  public void before(Syntax_vertex host)  {                 //from TraceVisitor.java:150
    out.println("before Syntax_vertex");                    //from TraceVisitor.java:151
    indent++;                                               //from TraceVisitor.java:152
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:153
  }

  public void after(Syntax_vertex host)  {                  //from TraceVisitor.java:155
    out.println("after Syntax_vertex");                     //from TraceVisitor.java:156
    indent--;                                               //from TraceVisitor.java:157
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:158
  }

  public void before_string(Syntax_vertex source, java.lang.String dest)  {  //from TraceVisitor.java:160
    out.println("before -> Syntax_vertex, string, String ");  //from TraceVisitor.java:161
    indent++;                                               //from TraceVisitor.java:162
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:163
  }

  public void after_string(Syntax_vertex source, java.lang.String dest)  {  //from TraceVisitor.java:165
    out.println("after -> Syntax_vertex, string, String ");  //from TraceVisitor.java:166
    indent--;                                               //from TraceVisitor.java:167
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:168
  }

  public void before(Labeled_vertex host)  {                //from TraceVisitor.java:170
    out.println("before Labeled_vertex");                   //from TraceVisitor.java:171
    indent++;                                               //from TraceVisitor.java:172
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:173
  }

  public void after(Labeled_vertex host)  {                 //from TraceVisitor.java:175
    out.println("after Labeled_vertex");                    //from TraceVisitor.java:176
    indent--;                                               //from TraceVisitor.java:177
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:178
  }

  public void before_label_name(Labeled_vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from TraceVisitor.java:180
    out.println("before -> Labeled_vertex, label_name, Ident ");  //from TraceVisitor.java:181
    indent++;                                               //from TraceVisitor.java:182
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:183
  }

  public void after_label_name(Labeled_vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from TraceVisitor.java:185
    out.println("after -> Labeled_vertex, label_name, Ident ");  //from TraceVisitor.java:186
    indent--;                                               //from TraceVisitor.java:187
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:188
  }

  public void before_class_name(Labeled_vertex source, Vertex dest)  {  //from TraceVisitor.java:190
    out.println("before -> Labeled_vertex, class_name, Vertex ");  //from TraceVisitor.java:191
    indent++;                                               //from TraceVisitor.java:192
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:193
  }

  public void after_class_name(Labeled_vertex source, Vertex dest)  {  //from TraceVisitor.java:195
    out.println("after -> Labeled_vertex, class_name, Vertex ");  //from TraceVisitor.java:196
    indent--;                                               //from TraceVisitor.java:197
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:198
  }

  public void before(Adj_list host)  {                      //from TraceVisitor.java:200
    out.println("before Adj_list");                         //from TraceVisitor.java:201
    indent++;                                               //from TraceVisitor.java:202
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:203
  }

  public void after(Adj_list host)  {                       //from TraceVisitor.java:205
    out.println("after Adj_list");                          //from TraceVisitor.java:206
    indent--;                                               //from TraceVisitor.java:207
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:208
  }

  public void before(Any_vertex_list host)  {               //from TraceVisitor.java:210
    out.println("before Any_vertex_list");                  //from TraceVisitor.java:211
    indent++;                                               //from TraceVisitor.java:212
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:213
  }

  public void after(Any_vertex_list host)  {                //from TraceVisitor.java:215
    out.println("after Any_vertex_list");                   //from TraceVisitor.java:216
    indent--;                                               //from TraceVisitor.java:217
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:218
  }

  public void before(Nany_vertex_list host)  {              //from TraceVisitor.java:220
    out.println("before Nany_vertex_list");                 //from TraceVisitor.java:221
    indent++;                                               //from TraceVisitor.java:222
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:223
  }

  public void after(Nany_vertex_list host)  {               //from TraceVisitor.java:225
    out.println("after Nany_vertex_list");                  //from TraceVisitor.java:226
    indent--;                                               //from TraceVisitor.java:227
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:228
  }

  public void before_first(Nany_vertex_list source, Any_vertex dest)  {  //from TraceVisitor.java:230
    out.println("before -> Nany_vertex_list, first, Any_vertex ");  //from TraceVisitor.java:231
    indent++;                                               //from TraceVisitor.java:232
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:233
  }

  public void after_first(Nany_vertex_list source, Any_vertex dest)  {  //from TraceVisitor.java:235
    out.println("after -> Nany_vertex_list, first, Any_vertex ");  //from TraceVisitor.java:236
    indent--;                                               //from TraceVisitor.java:237
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:238
  }

  public void before_rest(Nany_vertex_list source, Any_vertex_list dest)  {  //from TraceVisitor.java:240
    out.println("before -> Nany_vertex_list, rest, Any_vertex_list ");  //from TraceVisitor.java:241
    indent++;                                               //from TraceVisitor.java:242
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:243
  }

  public void after_rest(Nany_vertex_list source, Any_vertex_list dest)  {  //from TraceVisitor.java:245
    out.println("after -> Nany_vertex_list, rest, Any_vertex_list ");  //from TraceVisitor.java:246
    indent--;                                               //from TraceVisitor.java:247
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:248
  }

  public void before(Empty host)  {                         //from TraceVisitor.java:250
    out.println("before Empty");                            //from TraceVisitor.java:251
    indent++;                                               //from TraceVisitor.java:252
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:253
  }

  public void after(Empty host)  {                          //from TraceVisitor.java:255
    out.println("after Empty");                             //from TraceVisitor.java:256
    indent--;                                               //from TraceVisitor.java:257
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:258
  }

  public void before(Empty_cd_graph host)  {                //from TraceVisitor.java:260
    out.println("before Empty_cd_graph");                   //from TraceVisitor.java:261
    indent++;                                               //from TraceVisitor.java:262
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:263
  }

  public void after(Empty_cd_graph host)  {                 //from TraceVisitor.java:265
    out.println("after Empty_cd_graph");                    //from TraceVisitor.java:266
    indent--;                                               //from TraceVisitor.java:267
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:268
  }

  public void before(Vertex host)  {                        //from TraceVisitor.java:270
    out.println("before Vertex");                           //from TraceVisitor.java:271
    indent++;                                               //from TraceVisitor.java:272
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:273
  }

  public void after(Vertex host)  {                         //from TraceVisitor.java:275
    out.println("after Vertex");                            //from TraceVisitor.java:276
    indent--;                                               //from TraceVisitor.java:277
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:278
  }

  public void before_name(Vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from TraceVisitor.java:280
    out.println("before -> Vertex, name, Ident ");          //from TraceVisitor.java:281
    indent++;                                               //from TraceVisitor.java:282
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:283
  }

  public void after_name(Vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from TraceVisitor.java:285
    out.println("after -> Vertex, name, Ident ");           //from TraceVisitor.java:286
    indent--;                                               //from TraceVisitor.java:287
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:288
  }

  public void before(CountingVisitor host)  {               //from TraceVisitor.java:290
    out.println("before CountingVisitor");                  //from TraceVisitor.java:291
    indent++;                                               //from TraceVisitor.java:292
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:293
  }

  public void after(CountingVisitor host)  {                //from TraceVisitor.java:295
    out.println("after CountingVisitor");                   //from TraceVisitor.java:296
    indent--;                                               //from TraceVisitor.java:297
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:298
  }

  public void before_total(CountingVisitor source, int dest)  {  //from TraceVisitor.java:300
    out.println("before -> CountingVisitor, total, int ");  //from TraceVisitor.java:301
    indent++;                                               //from TraceVisitor.java:302
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:303
  }

  public void after_total(CountingVisitor source, int dest)  {  //from TraceVisitor.java:305
    out.println("after -> CountingVisitor, total, int ");   //from TraceVisitor.java:306
    indent--;                                               //from TraceVisitor.java:307
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:308
  }

  public void before(Main host)  {                          //from TraceVisitor.java:310
    out.println("before Main");                             //from TraceVisitor.java:311
    indent++;                                               //from TraceVisitor.java:312
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:313
  }

  public void after(Main host)  {                           //from TraceVisitor.java:315
    out.println("after Main");                              //from TraceVisitor.java:316
    indent--;                                               //from TraceVisitor.java:317
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:318
  }

  public void before(PrintVisitor host)  {                  //from TraceVisitor.java:320
    out.println("before PrintVisitor");                     //from TraceVisitor.java:321
    indent++;                                               //from TraceVisitor.java:322
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:323
  }

  public void after(PrintVisitor host)  {                   //from TraceVisitor.java:325
    out.println("after PrintVisitor");                      //from TraceVisitor.java:326
    indent--;                                               //from TraceVisitor.java:327
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:328
  }

  public void before_indent(PrintVisitor source, int dest)  {  //from TraceVisitor.java:330
    out.println("before -> PrintVisitor, indent, int ");    //from TraceVisitor.java:331
    indent++;                                               //from TraceVisitor.java:332
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:333
  }

  public void after_indent(PrintVisitor source, int dest)  {  //from TraceVisitor.java:335
    out.println("after -> PrintVisitor, indent, int ");     //from TraceVisitor.java:336
    indent--;                                               //from TraceVisitor.java:337
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:338
  }

  public void before_needSpace(PrintVisitor source, boolean dest)  {  //from TraceVisitor.java:340
    out.println("before -> PrintVisitor, needSpace, boolean ");  //from TraceVisitor.java:341
    indent++;                                               //from TraceVisitor.java:342
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:343
  }

  public void after_needSpace(PrintVisitor source, boolean dest)  {  //from TraceVisitor.java:345
    out.println("after -> PrintVisitor, needSpace, boolean ");  //from TraceVisitor.java:346
    indent--;                                               //from TraceVisitor.java:347
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:348
  }

  public void before(CopyVisitor host)  {                   //from TraceVisitor.java:350
    out.println("before CopyVisitor");                      //from TraceVisitor.java:351
    indent++;                                               //from TraceVisitor.java:352
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:353
  }

  public void after(CopyVisitor host)  {                    //from TraceVisitor.java:355
    out.println("after CopyVisitor");                       //from TraceVisitor.java:356
    indent--;                                               //from TraceVisitor.java:357
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:358
  }

  public void before_copy(CopyVisitor source, java.lang.Object dest)  {  //from TraceVisitor.java:360
    out.println("before -> CopyVisitor, copy, Object ");    //from TraceVisitor.java:361
    indent++;                                               //from TraceVisitor.java:362
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:363
  }

  public void after_copy(CopyVisitor source, java.lang.Object dest)  {  //from TraceVisitor.java:365
    out.println("after -> CopyVisitor, copy, Object ");     //from TraceVisitor.java:366
    indent--;                                               //from TraceVisitor.java:367
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:368
  }

  public void before(SubgraphVisitor host)  {               //from TraceVisitor.java:370
    out.println("before SubgraphVisitor");                  //from TraceVisitor.java:371
    indent++;                                               //from TraceVisitor.java:372
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:373
  }

  public void after(SubgraphVisitor host)  {                //from TraceVisitor.java:375
    out.println("after SubgraphVisitor");                   //from TraceVisitor.java:376
    indent--;                                               //from TraceVisitor.java:377
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:378
  }

  public void before_is_equal(SubgraphVisitor source, boolean dest)  {  //from TraceVisitor.java:380
    out.println("before -> SubgraphVisitor, is_equal, boolean ");  //from TraceVisitor.java:381
    indent++;                                               //from TraceVisitor.java:382
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:383
  }

  public void after_is_equal(SubgraphVisitor source, boolean dest)  {  //from TraceVisitor.java:385
    out.println("after -> SubgraphVisitor, is_equal, boolean ");  //from TraceVisitor.java:386
    indent--;                                               //from TraceVisitor.java:387
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:388
  }

  public void before(EqualVisitor host)  {                  //from TraceVisitor.java:390
    out.println("before EqualVisitor");                     //from TraceVisitor.java:391
    indent++;                                               //from TraceVisitor.java:392
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:393
  }

  public void after(EqualVisitor host)  {                   //from TraceVisitor.java:395
    out.println("after EqualVisitor");                      //from TraceVisitor.java:396
    indent--;                                               //from TraceVisitor.java:397
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:398
  }

  public void before_is_equal(EqualVisitor source, boolean dest)  {  //from TraceVisitor.java:400
    out.println("before -> EqualVisitor, is_equal, boolean ");  //from TraceVisitor.java:401
    indent++;                                               //from TraceVisitor.java:402
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:403
  }

  public void after_is_equal(EqualVisitor source, boolean dest)  {  //from TraceVisitor.java:405
    out.println("after -> EqualVisitor, is_equal, boolean ");  //from TraceVisitor.java:406
    indent--;                                               //from TraceVisitor.java:407
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:408
  }

  public void before(DisplayVisitor host)  {                //from TraceVisitor.java:410
    out.println("before DisplayVisitor");                   //from TraceVisitor.java:411
    indent++;                                               //from TraceVisitor.java:412
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:413
  }

  public void after(DisplayVisitor host)  {                 //from TraceVisitor.java:415
    out.println("after DisplayVisitor");                    //from TraceVisitor.java:416
    indent--;                                               //from TraceVisitor.java:417
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:418
  }

  public void before_indent(DisplayVisitor source, int dest)  {  //from TraceVisitor.java:420
    out.println("before -> DisplayVisitor, indent, int ");  //from TraceVisitor.java:421
    indent++;                                               //from TraceVisitor.java:422
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:423
  }

  public void after_indent(DisplayVisitor source, int dest)  {  //from TraceVisitor.java:425
    out.println("after -> DisplayVisitor, indent, int ");   //from TraceVisitor.java:426
    indent--;                                               //from TraceVisitor.java:427
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:428
  }

  public void before(TraceVisitor host)  {                  //from TraceVisitor.java:430
    out.println("before TraceVisitor");                     //from TraceVisitor.java:431
    indent++;                                               //from TraceVisitor.java:432
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:433
  }

  public void after(TraceVisitor host)  {                   //from TraceVisitor.java:435
    out.println("after TraceVisitor");                      //from TraceVisitor.java:436
    indent--;                                               //from TraceVisitor.java:437
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:438
  }

  public void before_indent(TraceVisitor source, int dest)  {  //from TraceVisitor.java:440
    out.println("before -> TraceVisitor, indent, int ");    //from TraceVisitor.java:441
    indent++;                                               //from TraceVisitor.java:442
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:443
  }

  public void after_indent(TraceVisitor source, int dest)  {  //from TraceVisitor.java:445
    out.println("after -> TraceVisitor, indent, int ");     //from TraceVisitor.java:446
    indent--;                                               //from TraceVisitor.java:447
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:448
  }

  public void before(UniversalVisitor host)  {              //from TraceVisitor.java:450
    out.println("before UniversalVisitor");                 //from TraceVisitor.java:451
    indent++;                                               //from TraceVisitor.java:452
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:453
  }

  public void after(UniversalVisitor host)  {               //from TraceVisitor.java:455
    out.println("after UniversalVisitor");                  //from TraceVisitor.java:456
    indent--;                                               //from TraceVisitor.java:457
    for (int i = 0; i < indent; i++) out.print(" ");        //from TraceVisitor.java:458
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from TraceVisitor.java:460
    super.universal_trv0_bef(_v_);                          //from TraceVisitor.java:461
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from TraceVisitor.java:464
    super.universal_trv0_aft(_v_);                          //from TraceVisitor.java:465
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from TraceVisitor.java:468
    universal_trv0_bef(_v_);                                //from TraceVisitor.java:469
    super.universal_trv0(_v_);                              //from TraceVisitor.java:470
    universal_trv0_aft(_v_);                                //from TraceVisitor.java:471
  }

}