core:

import edu.neu.ccs.demeter.*;
add: abstract class UniversalVisitor {
  public constructor UniversalVisitor() {{
    super();
  }}
  public void start() {{ }}
  public void before(ShoeOrder host) {{ }}
  public void before_id(ShoeOrder source, String dest) {{ }}
  public void before_style(ShoeOrder source, String dest) {{ }}
  public void before_color(ShoeOrder source, Ident dest) {{ }}
  public void before_size(ShoeOrder source, String dest) {{ }}
  public void before_width(ShoeOrder source, Width dest) {{ }}
  public void before_stores(ShoeOrder source, Store_List dest) {{ }}
  public void before(Width host) {{ }}
  public void before_w(Width source, W dest) {{ }}
  public void before(W host) {{ }}
  public void before(AA host) {{ }}
  public void before(EE host) {{ }}
  public void before(Store host) {{ }}
  public void before_name(Store source, Ident dest) {{ }}
  public void before_howManySuchShoes(Store source, Quantity dest) {{ }}
  public void before(Quantity host) {{ }}
  public void before_number(Quantity source, Number dest) {{ }}
  public void before(Main host) {{ }}
  public void before(Store_List host) {{ }}
  public void before_first(Store_List source, Nonempty_Store_List dest) {{ }}
  public void before(Nonempty_Store_List host) {{ }}
  public void before_it(Nonempty_Store_List source, Store dest) {{ }}
  public void before_next(Nonempty_Store_List source, Nonempty_Store_List dest) {{ }}
  public void after(ShoeOrder host) {{ }}
  public void after_id(ShoeOrder source, String dest) {{ }}
  public void after_style(ShoeOrder source, String dest) {{ }}
  public void after_color(ShoeOrder source, Ident dest) {{ }}
  public void after_size(ShoeOrder source, String dest) {{ }}
  public void after_width(ShoeOrder source, Width dest) {{ }}
  public void after_stores(ShoeOrder source, Store_List dest) {{ }}
  public void after(Width host) {{ }}
  public void after_w(Width source, W dest) {{ }}
  public void after(W host) {{ }}
  public void after(AA host) {{ }}
  public void after(EE host) {{ }}
  public void after(Store host) {{ }}
  public void after_name(Store source, Ident dest) {{ }}
  public void after_howManySuchShoes(Store source, Quantity dest) {{ }}
  public void after(Quantity host) {{ }}
  public void after_number(Quantity source, Number dest) {{ }}
  public void after(Main host) {{ }}
  public void after(Store_List host) {{ }}
  public void after_first(Store_List source, Nonempty_Store_List dest) {{ }}
  public void after(Nonempty_Store_List host) {{ }}
  public void after_it(Nonempty_Store_List source, Store dest) {{ }}
  public void after_next(Nonempty_Store_List source, Nonempty_Store_List dest) {{ }}
  public void finish() {{ }}
{{  void universal_trv0_bef(UniversalVisitor _v_) {  }
}}
{{  void universal_trv0_aft(UniversalVisitor _v_) {  }
}}
{{  void universal_trv0(UniversalVisitor _v_) {  }
}}
}