import java.io.*;
	import java.util.*;
	import demeter.*;
	import java.lang.*;


import demeter.*;
class RegularSymbol extends Symbol implements Cloneable {
  RegularSymbol() { }
  public RegularSymbol(Ident symbolName) {
    super(symbolName);
  }
  public static RegularSymbol parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._RegularSymbol(); }
  public static RegularSymbol parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }
  public void all_trv1_bef(AppendVisitor av) {
    super.all_trv1_bef(av);
  }
  public void all_trv1_aft(AppendVisitor av) {
    super.all_trv1_aft(av);
  }
  public void all_trv1(AppendVisitor av) {
    all_trv1_bef(av);
    super.all_trv1(av);
    all_trv1_aft(av);
  }
}