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


import demeter.*;
abstract class Symbol implements Cloneable {
  private Ident symbolName;
  public Ident get_symbolName() { return symbolName; }
  public void set_symbolName(Ident new_symbolName)
    { symbolName = new_symbolName; }
  Symbol() { }
  public Symbol(Ident symbolName) {
    super();
    set_symbolName(symbolName);
  }

		Ident slot_name() { return symbolName; }
	  public void all_trv1_bef(AppendVisitor av) {
    av.before(this);
  }
  public void all_trv1_aft(AppendVisitor av) {
  }
  public void all_trv1(AppendVisitor av) {
  }
}