/*   Generated by AspectJ version 0.7beta7 */
import Any_vertex;
import UniversalVisitor;
import Parser;
import ParseException;
import Nany_vertex_list;
import Any_vertex_list;
public class Nany_vertex_list extends Any_vertex_list  {    //from Nany_vertex_list.java:2
  protected Any_vertex first;                               //from Nany_vertex_list.java:3
  public Any_vertex get_first()  {                          //from Nany_vertex_list.java:4
    return first;                                           //from Nany_vertex_list.java:4
  }

  public void set_first(Any_vertex new_first)  {            //from Nany_vertex_list.java:5
    first = new_first;                                      //from Nany_vertex_list.java:5
  }

  protected Any_vertex_list rest;                           //from Nany_vertex_list.java:6
  public Any_vertex_list get_rest()  {                      //from Nany_vertex_list.java:7
    return rest;                                            //from Nany_vertex_list.java:7
  }

  public void set_rest(Any_vertex_list new_rest)  {         //from Nany_vertex_list.java:8
    rest = new_rest;                                        //from Nany_vertex_list.java:8
  }

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

  public Nany_vertex_list(Any_vertex first, Any_vertex_list rest)  {  //from Nany_vertex_list.java:10
    super();                                                //from Nany_vertex_list.java:11
    ;                                                       //from Nany_vertex_list.java:11
    set_first(first);                                       //from Nany_vertex_list.java:12
    set_rest(rest);                                         //from Nany_vertex_list.java:13
  }

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

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

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

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

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

  void universal_trv0(UniversalVisitor _v_)  {              //from Nany_vertex_list.java:33
    universal_trv0_bef(_v_);                                //from Nany_vertex_list.java:34
    ((UniversalVisitor)_v_).before_first(this, first);      //from Nany_vertex_list.java:35
    first.universal_trv0(_v_);                              //from Nany_vertex_list.java:36
    ((UniversalVisitor)_v_).after_first(this, first);       //from Nany_vertex_list.java:37
    ((UniversalVisitor)_v_).before_rest(this, rest);        //from Nany_vertex_list.java:38
    rest.universal_trv0(_v_);                               //from Nany_vertex_list.java:39
    ((UniversalVisitor)_v_).after_rest(this, rest);         //from Nany_vertex_list.java:40
    super.universal_trv0(_v_);                              //from Nany_vertex_list.java:41
    universal_trv0_aft(_v_);                                //from Nany_vertex_list.java:42
  }

}