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


import demeter.*;
class Symbol_List implements Cloneable {
  private Nonempty_Symbol_List first;
  public Nonempty_Symbol_List get_first() { return first; }
  public void set_first(Nonempty_Symbol_List new_first)
    { first = new_first; }
  Symbol_List() { }
  public Symbol_List(Nonempty_Symbol_List first) {
    super();
    set_first(first);
  }
  public static Symbol_List parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._Symbol_List(); }
  public static Symbol_List parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }
  public void all_trv1_bef(AppendVisitor av) {
  }
  public void all_trv1_aft(AppendVisitor av) {
  }
  public void all_trv1(AppendVisitor av) {
    all_trv1_bef(av);
    first.all_trv1(av);
    all_trv1_aft(av);
  }
}