core:

import EDU.neu.ccs.demeter.*;
add: class Width {
  protected W w;
  public W get_w() (@ return w; @)
  public void set_w(W new_w)
    (@ w = new_w; @)
  public constructor Width() (@ super(); @)
  public constructor Width(W w) (@
    super();
    set_w(w);
  @)
  public static Width parse(java.io.Reader in)
    throws ParseException
  (@ return new Parser(in)._Width(); @)
  public static Width parse(java.io.InputStream in)
    throws ParseException
  (@ return new Parser(in)._Width(); @)
  public static Width parse(String s) (@
    try { return parse(new java.io.StringReader(s)); }
    catch (ParseException e) {
      throw new RuntimeException(e.toString());
    }
  @)
(@  void universal_trv0_bef(UniversalVisitor _v_) {
    _v_.before(this);
  }
@)
(@  void universal_trv0_aft(UniversalVisitor _v_) {
    _v_.after(this);
  }
@)
(@  void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    _v_.before_w(this, w);
    w.universal_trv0(_v_);
    _v_.after_w(this, w);
    universal_trv0_aft(_v_);
  }
@)
(@  void toAll_ShoeOrder_trv_bef(UniversalVisitor __v0) {
    __v0.before(this);
  }
@)
(@  void toAll_ShoeOrder_trv_aft(UniversalVisitor __v0) {
    __v0.after(this);
  }
@)
(@  void toAll_ShoeOrder_trv(UniversalVisitor __v0) {
    toAll_ShoeOrder_trv_bef(__v0);
    __v0.before_w(this, w);
    w.toAll_ShoeOrder_trv(__v0);
    __v0.after_w(this, w);
    toAll_ShoeOrder_trv_aft(__v0);
  }
@)
}