/*   Generated by AspectJ version 0.7beta7 */
import Labeled_vertex;
import Any_vertex;
import UniversalVisitor;
import Vertex;
import Parser;
import ParseException;
public class Labeled_vertex extends Any_vertex  {           //from Labeled_vertex.java:2
  protected edu.neu.ccs.demeter.Ident label_name;           //from Labeled_vertex.java:3
  public edu.neu.ccs.demeter.Ident get_label_name()  {      //from Labeled_vertex.java:4
    return label_name;                                      //from Labeled_vertex.java:4
  }

  public void set_label_name(edu.neu.ccs.demeter.Ident new_label_name)  {  //from Labeled_vertex.java:5
    label_name = new_label_name;                            //from Labeled_vertex.java:5
  }

  protected Vertex class_name;                              //from Labeled_vertex.java:6
  public Vertex get_class_name()  {                         //from Labeled_vertex.java:7
    return class_name;                                      //from Labeled_vertex.java:7
  }

  public void set_class_name(Vertex new_class_name)  {      //from Labeled_vertex.java:8
    class_name = new_class_name;                            //from Labeled_vertex.java:8
  }

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

  public Labeled_vertex(edu.neu.ccs.demeter.Ident label_name, Vertex class_name)  {  //from Labeled_vertex.java:10
    super();                                                //from Labeled_vertex.java:11
    ;                                                       //from Labeled_vertex.java:11
    set_label_name(label_name);                             //from Labeled_vertex.java:12
    set_class_name(class_name);                             //from Labeled_vertex.java:13
  }

  public static Labeled_vertex parse(java.io.Reader in) throws ParseException  {  //from Labeled_vertex.java:15
    return new Parser(in)._Labeled_vertex();                //from Labeled_vertex.java:15
  }

  public static Labeled_vertex parse(java.io.InputStream in) throws ParseException  {  //from Labeled_vertex.java:16
    return new Parser(in)._Labeled_vertex();                //from Labeled_vertex.java:16
  }

  public static Labeled_vertex parse(java.lang.String s)  {  //from Labeled_vertex.java:17
    try  {                                                  //from Labeled_vertex.java:18
      return parse(new java.io.StringReader(s));            //from Labeled_vertex.java:18
    }
    catch (ParseException e)  {                             //from Labeled_vertex.java:19
      throw new java.lang.RuntimeException(e.toString());   //from Labeled_vertex.java:20
    }
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from Labeled_vertex.java:23
    super.universal_trv0_bef(_v_);                          //from Labeled_vertex.java:24
    ((UniversalVisitor)_v_).before(this);                   //from Labeled_vertex.java:25
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from Labeled_vertex.java:28
    ((UniversalVisitor)_v_).after(this);                    //from Labeled_vertex.java:29
    super.universal_trv0_aft(_v_);                          //from Labeled_vertex.java:30
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from Labeled_vertex.java:33
    universal_trv0_bef(_v_);                                //from Labeled_vertex.java:34
    ((UniversalVisitor)_v_).before_label_name(this, label_name);  //from Labeled_vertex.java:35
    ((UniversalVisitor)_v_).after_label_name(this, label_name);  //from Labeled_vertex.java:36
    ((UniversalVisitor)_v_).before_class_name(this, class_name);  //from Labeled_vertex.java:37
    class_name.universal_trv0(_v_);                         //from Labeled_vertex.java:38
    ((UniversalVisitor)_v_).after_class_name(this, class_name);  //from Labeled_vertex.java:39
    super.universal_trv0(_v_);                              //from Labeled_vertex.java:40
    universal_trv0_aft(_v_);                                //from Labeled_vertex.java:41
  }

}