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 Cardinality {
  protected Lower lower;
  public Lower get_lower() { return lower; }
  public void set_lower(Lower new_lower)
    { lower = new_lower; }
  protected Upper upper;
  public Upper get_upper() { return upper; }
  public void set_upper(Upper new_upper)
    { upper = new_upper; }
  Cardinality() { super(); }
  public Cardinality(Lower lower, Upper upper) {
    super();
    set_lower(lower);
    set_upper(upper);
  }
  public static Cardinality parse(java.io.InputStream in) throws ParseException
    { return new Parser(in)._Cardinality(); }
  public static Cardinality 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_lower(this, lower);
    lower.universal_trv0(_v_);
    _v_.after_lower(this, lower);
    if (upper != null) {
      _v_.before_upper(this, upper);
    upper.universal_trv0(_v_);
      _v_.after_upper(this, upper);
    }
    universal_trv0_aft(_v_);
  }
  void saveGraph_UGraph_trv_bef(SaveGraphVisitor sgv) {
    sgv.before(this);
  }
  void saveGraph_UGraph_trv_aft(SaveGraphVisitor sgv) {
    sgv.after(this);
  }
  void saveGraph_UGraph_trv(SaveGraphVisitor sgv) {
    saveGraph_UGraph_trv_bef(sgv);
    lower.saveGraph_UGraph_trv(sgv);
    if (upper != null) {
    upper.saveGraph_UGraph_trv(sgv);
    }
    saveGraph_UGraph_trv_aft(sgv);
  }
  void saveMarkedGraph_UGraph_trv_bef(SelectMarkedVisitor v) {  }
  void saveMarkedGraph_UGraph_trv_aft(SelectMarkedVisitor v) {
    v.after(this);
  }
  void saveMarkedGraph_UGraph_trv_aro_Cardinality(SelectMarkedVisitor v) {
    lower.saveMarkedGraph_UGraph_trv(v);
    if (upper != null) {
    upper.saveMarkedGraph_UGraph_trv(v);
    }
  }
  static java.lang.reflect.Method saveMarkedGraph_UGraph_trv_aro_Cardinality;
  static {
    try {
      saveMarkedGraph_UGraph_trv_aro_Cardinality =
        Cardinality.class.getDeclaredMethod("saveMarkedGraph_UGraph_trv_aro_Cardinality",
          new Class[] { SelectMarkedVisitor.class });
    } catch (NoSuchMethodException e) {
      throw new RuntimeException(e.toString());
    }
  }
  void saveMarkedGraph_UGraph_trv(SelectMarkedVisitor v) {
    saveMarkedGraph_UGraph_trv_bef(v);
    v.around(new __Subtraversal(saveMarkedGraph_UGraph_trv_aro_Cardinality, this, new Object[] { v }), this);
    saveMarkedGraph_UGraph_trv_aft(v);
  }
}