core:

import EDU.neu.ccs.demeter.*;
add: class Nonempty_Store_List {
  protected Store it;
  public Store get_it() (@ return it; @)
  public void set_it(Store new_it)
    (@ it = new_it; @)
  protected Nonempty_Store_List next;
  public Nonempty_Store_List get_next() (@ return next; @)
  public void set_next(Nonempty_Store_List new_next)
    (@ next = new_next; @)
  public constructor Nonempty_Store_List() (@ super(); @)
  public constructor Nonempty_Store_List(Store it, Nonempty_Store_List next) (@
    super();
    set_it(it);
    set_next(next);
  @)
  public static Nonempty_Store_List parse(java.io.Reader in)
    throws ParseException
  (@ return new Parser(in)._Nonempty_Store_List(); @)
  public static Nonempty_Store_List parse(java.io.InputStream in)
    throws ParseException
  (@ return new Parser(in)._Nonempty_Store_List(); @)
  public static Nonempty_Store_List 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_it(this, it);
    it.universal_trv0(_v_);
    _v_.after_it(this, it);
    if (next != null) {
      _v_.before_next(this, next);
      next.universal_trv0(_v_);
      _v_.after_next(this, next);
    }
    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_it(this, it);
    it.toAll_ShoeOrder_trv(__v0);
    __v0.after_it(this, it);
    if (next != null) {
      __v0.before_next(this, next);
      next.toAll_ShoeOrder_trv(__v0);
      __v0.after_next(this, next);
    }
    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_it(this, it);
    it.toAllQuantities_ShoeOrder_trv(__v0);
    __v0.after_it(this, it);
    if (next != null) {
      __v0.before_next(this, next);
      next.toAllQuantities_ShoeOrder_trv(__v0);
      __v0.after_next(this, next);
    }
    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_it(this, it);
    it.__trav_sumWithDebugging_ShoeOrder_trv(__v0, __v1);
    __v1.after_it(this, it);
    if (next != null) {
      __v1.before_next(this, next);
      next.__trav_sumWithDebugging_ShoeOrder_trv(__v0, __v1);
      __v1.after_next(this, next);
    }
    __trav_sumWithDebugging_ShoeOrder_trv_aft(__v0, __v1);
  }
@)
}