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


import demeter.*;
class LabeledSymbol extends Symbol implements Cloneable {
  private Ident labelName;
  public Ident get_labelName() { return labelName; }
  public void set_labelName(Ident new_labelName)
    { labelName = new_labelName; }
  LabeledSymbol() { }
  public LabeledSymbol(Ident symbolName, Ident labelName) {
    super(symbolName);
    set_labelName(labelName);
  }
  public static LabeledSymbol parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._LabeledSymbol(); }
  public static LabeledSymbol parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }

		Ident slot_name() { return labelName; }
	  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);
  }
}