package EDU.neu.ccs.demeter.tools.apstudio.graphedit;
import java.awt.*;
import java.io.*;
import java.util.*;
import EDU.neu.ccs.demeter.*;
import EDU.neu.ccs.demeter.common.tg.*;


import EDU.neu.ccs.demeter.*;
class Nonempty_Parts {
  protected Part it;
  public Part get_it() { return it; }
  public void set_it(Part new_it)
    { it = new_it; }
  protected Nonempty_Parts next;
  public Nonempty_Parts get_next() { return next; }
  public void set_next(Nonempty_Parts new_next)
    { next = new_next; }
  Nonempty_Parts() { super(); }
  public Nonempty_Parts(Part it, Nonempty_Parts next) {
    super();
    set_it(it);
    set_next(next);
  }
  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_);
  }
}