/*   Generated by AspectJ version 0.7beta7 */
import UniversalVisitor;
import Count;
import Vertex;
import Parser;
import ParseException;
public class Vertex extends java.lang.Object  {             //from Vertex.java:2
  protected edu.neu.ccs.demeter.Ident name;                 //from Vertex.java:3
  public edu.neu.ccs.demeter.Ident get_name()  {            //from Vertex.java:4
    return name;                                            //from Vertex.java:4
  }

  public void set_name(edu.neu.ccs.demeter.Ident new_name)  {  //from Vertex.java:5
    name = new_name;                                        //from Vertex.java:5
  }

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

  public Vertex(edu.neu.ccs.demeter.Ident name)  {          //from Vertex.java:7
    super();                                                //from Vertex.java:8
    ;                                                       //from Vertex.java:8
    set_name(name);                                         //from Vertex.java:9
  }

  public static Vertex parse(java.io.Reader in) throws ParseException  {  //from Vertex.java:11
    return new Parser(in)._Vertex();                        //from Vertex.java:11
  }

  public static Vertex parse(java.io.InputStream in) throws ParseException  {  //from Vertex.java:12
    return new Parser(in)._Vertex();                        //from Vertex.java:12
  }

  public static Vertex parse(java.lang.String s)  {         //from Vertex.java:13
    try  {                                                  //from Vertex.java:14
      return parse(new java.io.StringReader(s));            //from Vertex.java:14
    }
    catch (ParseException e)  {                             //from Vertex.java:15
      throw new java.lang.RuntimeException(e.toString());   //from Vertex.java:16
    }
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from Vertex.java:19
    ((UniversalVisitor)_v_).before(this);                   //from Vertex.java:20
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from Vertex.java:23
    ((UniversalVisitor)_v_).after(this);                    //from Vertex.java:24
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from Vertex.java:27
    universal_trv0_bef(_v_);                                //from Vertex.java:28
    ((UniversalVisitor)_v_).before_name(this, name);        //from Vertex.java:29
    ((UniversalVisitor)_v_).after_name(this, name);         //from Vertex.java:30
    universal_trv0_aft(_v_);                                //from Vertex.java:31
  }

  void allInh_Cd_graph_trv_bef(UniversalVisitor v)  {       //from Vertex.java:34
    Count.before$ajc1(this, v, null);
    ((Vertex)this).allInh_Cd_graph_trv_bef$Vertex$reception(v);
  }

  void allInh_Cd_graph_trv_aft(UniversalVisitor v)  {       //from Vertex.java:38
    ((UniversalVisitor)v).after(this);                      //from Vertex.java:39
  }

  void allInh_Cd_graph_trv(java.util.BitSet nodes, UniversalVisitor v)  {  //from Vertex.java:42
    allInh_Cd_graph_trv_bef(v);                             //from Vertex.java:43
    allInh_Cd_graph_trv_aft(v);                             //from Vertex.java:44
  }

  public final void allInh_Cd_graph_trv_bef$Vertex$reception(UniversalVisitor v)  {  //from Vertex.java:34
    ((UniversalVisitor)v).before(this);                     //from Vertex.java:35
  }

}