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


import demeter.*;
class Example implements Cloneable {
  private Symbol_List symbol_list;
  public Symbol_List get_symbol_list() { return symbol_list; }
  public void set_symbol_list(Symbol_List new_symbol_list)
    { symbol_list = new_symbol_list; }
  Example() { }
  public Example(Symbol_List symbol_list) {
    super();
    set_symbol_list(symbol_list);
  }
  public static Example parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._Example(); }
  public static Example parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }


Names Find_Name() {
	AppendVisitor av = new AppendVisitor(new Names());
	this.all(av);
	return av.get_names();
	}
  public void all(AppendVisitor av)
    { all_trv1(av); }
  public void all_trv1_bef(AppendVisitor av) {
  }
  public void all_trv1_aft(AppendVisitor av) {
  }
  public void all_trv1(AppendVisitor av) {
    all_trv1_bef(av);
    symbol_list.all_trv1(av);
    all_trv1_aft(av);
  }
}