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

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

  protected boolean needSpace;                              //from PrintVisitor.java:6
  public boolean get_needSpace()  {                         //from PrintVisitor.java:7
    return needSpace;                                       //from PrintVisitor.java:7
  }

  public void set_needSpace(boolean new_needSpace)  {       //from PrintVisitor.java:8
    needSpace = new_needSpace;                              //from PrintVisitor.java:8
  }

  public PrintVisitor()  {                                  //from PrintVisitor.java:9
    super();                                                //from PrintVisitor.java:9
    ;                                                       //from PrintVisitor.java:9
  }

  public PrintVisitor(int indent, boolean needSpace)  {     //from PrintVisitor.java:10
    super();                                                //from PrintVisitor.java:11
    ;                                                       //from PrintVisitor.java:11
    set_indent(indent);                                     //from PrintVisitor.java:12
    set_needSpace(needSpace);                               //from PrintVisitor.java:13
  }

  protected java.io.PrintWriter out = new java.io.PrintWriter(java.lang.System.out, true);  //from PrintVisitor.java:16
  java.io.PrintWriter get_out()  {                          //from PrintVisitor.java:17
    return out;                                             //from PrintVisitor.java:17
  }

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

  PrintVisitor(java.io.PrintWriter out)  {                  //from PrintVisitor.java:19
    set_out(out);                                           //from PrintVisitor.java:19
  }

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

  public void finish()  {                                   //from PrintVisitor.java:23
    out.flush();                                            //from PrintVisitor.java:23
  }

  protected void space()  {                                 //from PrintVisitor.java:24
    if (needSpace) out.print(" ");                          //from PrintVisitor.java:25
    needSpace = false;                                      //from PrintVisitor.java:26
  }

  public void after_ns(Adj source, Neighbors dest)  {       //from PrintVisitor.java:28
    out.print(".");                                         //from PrintVisitor.java:29
    needSpace = false;                                      //from PrintVisitor.java:30
  }

  public void before_c_ns(Construct source, Any_vertex_list dest)  {  //from PrintVisitor.java:32
    out.print("=");                                         //from PrintVisitor.java:33
    needSpace = false;                                      //from PrintVisitor.java:34
  }

  public void before_first(Alternat source, Vertex dest)  {  //from PrintVisitor.java:36
    out.print(":");                                         //from PrintVisitor.java:37
    needSpace = false;                                      //from PrintVisitor.java:38
  }

  public void before_second(Alternat source, Vertex dest)  {  //from PrintVisitor.java:40
    out.print("|");                                         //from PrintVisitor.java:41
    needSpace = false;                                      //from PrintVisitor.java:42
  }

  public void before_string(Syntax_vertex source, java.lang.String dest)  {  //from PrintVisitor.java:44
    space();                                                //from PrintVisitor.java:45
    out.print("\"" + source.get_string() + "\"");           //from PrintVisitor.java:46
    needSpace = true;                                       //from PrintVisitor.java:47
  }

  public void before_label_name(Labeled_vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from PrintVisitor.java:49
    out.print("<");                                         //from PrintVisitor.java:50
    needSpace = false;                                      //from PrintVisitor.java:51
    space();                                                //from PrintVisitor.java:52
    out.print(source.get_label_name());                     //from PrintVisitor.java:53
    needSpace = true;                                       //from PrintVisitor.java:54
  }

  public void before_class_name(Labeled_vertex source, Vertex dest)  {  //from PrintVisitor.java:56
    out.print(">");                                         //from PrintVisitor.java:57
    needSpace = false;                                      //from PrintVisitor.java:58
  }

  public void before_name(Vertex source, edu.neu.ccs.demeter.Ident dest)  {  //from PrintVisitor.java:60
    space();                                                //from PrintVisitor.java:61
    out.print(source.get_name());                           //from PrintVisitor.java:62
    needSpace = true;                                       //from PrintVisitor.java:63
  }

  public void before_total(CountingVisitor source, int dest)  {  //from PrintVisitor.java:65
    space();                                                //from PrintVisitor.java:66
    out.print(source.get_total());                          //from PrintVisitor.java:67
    needSpace = true;                                       //from PrintVisitor.java:68
  }

  public void before_indent(PrintVisitor source, int dest)  {  //from PrintVisitor.java:70
    space();                                                //from PrintVisitor.java:71
    out.print(source.get_indent());                         //from PrintVisitor.java:72
    needSpace = true;                                       //from PrintVisitor.java:73
  }

  public void before_needSpace(PrintVisitor source, boolean dest)  {  //from PrintVisitor.java:75
    space();                                                //from PrintVisitor.java:76
    out.print(source.get_needSpace());                      //from PrintVisitor.java:77
    needSpace = true;                                       //from PrintVisitor.java:78
  }

  public void before_copy(CopyVisitor source, java.lang.Object dest)  {  //from PrintVisitor.java:80
    space();                                                //from PrintVisitor.java:81
    out.print(source.get_copy());                           //from PrintVisitor.java:82
    needSpace = true;                                       //from PrintVisitor.java:83
  }

  public void before_is_equal(SubgraphVisitor source, boolean dest)  {  //from PrintVisitor.java:85
    space();                                                //from PrintVisitor.java:86
    out.print(source.get_is_equal());                       //from PrintVisitor.java:87
    needSpace = true;                                       //from PrintVisitor.java:88
  }

  public void before_is_equal(EqualVisitor source, boolean dest)  {  //from PrintVisitor.java:90
    space();                                                //from PrintVisitor.java:91
    out.print(source.get_is_equal());                       //from PrintVisitor.java:92
    needSpace = true;                                       //from PrintVisitor.java:93
  }

  public void before_indent(DisplayVisitor source, int dest)  {  //from PrintVisitor.java:95
    space();                                                //from PrintVisitor.java:96
    out.print(source.get_indent());                         //from PrintVisitor.java:97
    needSpace = true;                                       //from PrintVisitor.java:98
  }

  public void before_indent(TraceVisitor source, int dest)  {  //from PrintVisitor.java:100
    space();                                                //from PrintVisitor.java:101
    out.print(source.get_indent());                         //from PrintVisitor.java:102
    needSpace = true;                                       //from PrintVisitor.java:103
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from PrintVisitor.java:105
    super.universal_trv0_bef(_v_);                          //from PrintVisitor.java:106
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from PrintVisitor.java:109
    super.universal_trv0_aft(_v_);                          //from PrintVisitor.java:110
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from PrintVisitor.java:113
    universal_trv0_bef(_v_);                                //from PrintVisitor.java:114
    super.universal_trv0(_v_);                              //from PrintVisitor.java:115
    universal_trv0_aft(_v_);                                //from PrintVisitor.java:116
  }

}