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


import demeter.*;
class Non_Empty_SubClass2 extends SubClass2 implements Cloneable {
  private Ident className;
  public Ident get_className() { return className; }
  public void set_className(Ident new_className)
    { className = new_className; }
  Non_Empty_SubClass2() { }
  public Non_Empty_SubClass2(Ident className) {
    super();
    set_className(className);
  }
  public static Non_Empty_SubClass2 parse(java.io.InputStream in) throws ParseError
    { return new Parser(in)._Non_Empty_SubClass2(); }
  public static Non_Empty_SubClass2 parse(String str) throws ParseError
    { return parse(new java.io.StringBufferInputStream(str)); }

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