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 ListVectorVisitor extends UniversalVisitor {
  protected Vector sv;
  public Vector get_sv() { return sv; }
  public void set_sv(Vector new_sv)
    { sv = new_sv; }
  protected Vector dv;
  public Vector get_dv() { return dv; }
  public void set_dv(Vector new_dv)
    { dv = new_dv; }
  protected Vector bv;
  public Vector get_bv() { return bv; }
  public void set_bv(Vector new_bv)
    { bv = new_bv; }
  ListVectorVisitor() { super(); }
  public ListVectorVisitor(Vector sv, Vector dv, Vector bv) {
    super();
    set_sv(sv);
    set_dv(dv);
    set_bv(bv);
  }
  void universal_trv0_bef(UniversalVisitor _v_) {
    super.universal_trv0_bef(_v_);
  }
  void universal_trv0_aft(UniversalVisitor _v_) {
    super.universal_trv0_aft(_v_);
  }
  void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    super.universal_trv0(_v_);
    universal_trv0_aft(_v_);
  }
}