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_Integer_NList {
  protected Integer it;
  public Integer get_it() { return it; }
  public void set_it(Integer new_it)
    { it = new_it; }
  protected Nonempty_Integer_NList next;
  public Nonempty_Integer_NList get_next() { return next; }
  public void set_next(Nonempty_Integer_NList new_next)
    { next = new_next; }
  Nonempty_Integer_NList() { super(); }
  public Nonempty_Integer_NList(Integer it, Nonempty_Integer_NList next) {
    super();
    set_it(it);
    set_next(next);
  }
  public static Nonempty_Integer_NList parse(java.io.InputStream in) throws ParseException
    { return new Parser(in)._Nonempty_Integer_NList(); }
  public static Nonempty_Integer_NList parse(String s) {
    try { return parse(new java.io.ByteArrayInputStream(s.getBytes())); }
    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);
    _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_);
  }
}