core:

import EDU.neu.ccs.demeter.*;
add: class Store {
  protected Ident name;
  public Ident get_name() (@ return name; @)
  public void set_name(Ident new_name)
    (@ name = new_name; @)
  protected Quantity howManySuchShoes;
  public Quantity get_howManySuchShoes() (@ return howManySuchShoes; @)
  public void set_howManySuchShoes(Quantity new_howManySuchShoes)
    (@ howManySuchShoes = new_howManySuchShoes; @)
  public constructor Store() (@ super(); @)
  public constructor Store(Ident name, Quantity howManySuchShoes) (@
    super();
    set_name(name);
    set_howManySuchShoes(howManySuchShoes);
  @)
  public static Store parse(java.io.Reader in)
    throws ParseException
  (@ return new Parser(in)._Store(); @)
  public static Store parse(java.io.InputStream in)
    throws ParseException
  (@ return new Parser(in)._Store(); @)
  public static Store 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_name(this, name);
    _v_.after_name(this, name);
    _v_.before_howManySuchShoes(this, howManySuchShoes);
    howManySuchShoes.universal_trv0(_v_);
    _v_.after_howManySuchShoes(this, howManySuchShoes);
    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_name(this, name);
    __v0.after_name(this, name);
    __v0.before_howManySuchShoes(this, howManySuchShoes);
    howManySuchShoes.toAll_ShoeOrder_trv(__v0);
    __v0.after_howManySuchShoes(this, howManySuchShoes);
    toAll_ShoeOrder_trv_aft(__v0);
  }
@)
(@  void toAllQuantities_ShoeOrder_trv_bef(UniversalVisitor __v0) {
    __v0.before(this);
  }
@)
(@  void toAllQuantities_ShoeOrder_trv_aft(UniversalVisitor __v0) {
    __v0.after(this);
  }
@)
(@  void toAllQuantities_ShoeOrder_trv(UniversalVisitor __v0) {
    toAllQuantities_ShoeOrder_trv_bef(__v0);
    __v0.before_howManySuchShoes(this, howManySuchShoes);
    howManySuchShoes.toAllQuantities_ShoeOrder_trv(__v0);
    __v0.after_howManySuchShoes(this, howManySuchShoes);
    toAllQuantities_ShoeOrder_trv_aft(__v0);
  }
@)
(@  void __trav_sumWithDebugging_ShoeOrder_trv_bef(SummingVisitor __v0, TraceVisitor __v1) {
    __v1.before(this);
  }
@)
(@  void __trav_sumWithDebugging_ShoeOrder_trv_aft(SummingVisitor __v0, TraceVisitor __v1) {
    __v1.after(this);
  }
@)
(@  void __trav_sumWithDebugging_ShoeOrder_trv(SummingVisitor __v0, TraceVisitor __v1) {
    __trav_sumWithDebugging_ShoeOrder_trv_bef(__v0, __v1);
    __v1.before_howManySuchShoes(this, howManySuchShoes);
    howManySuchShoes.__trav_sumWithDebugging_ShoeOrder_trv(__v0, __v1);
    __v1.after_howManySuchShoes(this, howManySuchShoes);
    __trav_sumWithDebugging_ShoeOrder_trv_aft(__v0, __v1);
  }
@)
}