/*   Generated by AspectJ version 0.7beta7 */
import Empty;
import UniversalVisitor;
import Parser;
import ParseException;
import Any_vertex_list;
public class Empty extends Any_vertex_list  {               //from Empty.java:2
  public Empty()  {                                         //from Empty.java:3
    super();                                                //from Empty.java:4
    ;                                                       //from Empty.java:4
  }

  public static Empty parse(java.io.Reader in) throws ParseException  {  //from Empty.java:6
    return new Parser(in)._Empty();                         //from Empty.java:6
  }

  public static Empty parse(java.io.InputStream in) throws ParseException  {  //from Empty.java:7
    return new Parser(in)._Empty();                         //from Empty.java:7
  }

  public static Empty parse(java.lang.String s)  {          //from Empty.java:8
    try  {                                                  //from Empty.java:9
      return parse(new java.io.StringReader(s));            //from Empty.java:9
    }
    catch (ParseException e)  {                             //from Empty.java:10
      throw new java.lang.RuntimeException(e.toString());   //from Empty.java:11
    }
  }

  void universal_trv0_bef(UniversalVisitor _v_)  {          //from Empty.java:14
    super.universal_trv0_bef(_v_);                          //from Empty.java:15
    ((UniversalVisitor)_v_).before(this);                   //from Empty.java:16
  }

  void universal_trv0_aft(UniversalVisitor _v_)  {          //from Empty.java:19
    ((UniversalVisitor)_v_).after(this);                    //from Empty.java:20
    super.universal_trv0_aft(_v_);                          //from Empty.java:21
  }

  void universal_trv0(UniversalVisitor _v_)  {              //from Empty.java:24
    universal_trv0_bef(_v_);                                //from Empty.java:25
    super.universal_trv0(_v_);                              //from Empty.java:26
    universal_trv0_aft(_v_);                                //from Empty.java:27
  }

}