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 VertexReadingVisitor extends UniversalVisitor {
  protected UGraph thegraph;
  public UGraph get_thegraph() { return thegraph; }
  public void set_thegraph(UGraph new_thegraph)
    { thegraph = new_thegraph; }
  protected String graphstring;
  public String get_graphstring() { return graphstring; }
  public void set_graphstring(String new_graphstring)
    { graphstring = new_graphstring; }
  protected Integer lookupvid;
  public Integer get_lookupvid() { return lookupvid; }
  public void set_lookupvid(Integer new_lookupvid)
    { lookupvid = new_lookupvid; }
  protected Integer uppervalue;
  public Integer get_uppervalue() { return uppervalue; }
  public void set_uppervalue(Integer new_uppervalue)
    { uppervalue = new_uppervalue; }
  VertexReadingVisitor() { super(); }
  public VertexReadingVisitor(UGraph thegraph, String graphstring, Integer lookupvid, Integer uppervalue) {
    super();
    set_thegraph(thegraph);
    set_graphstring(graphstring);
    set_lookupvid(lookupvid);
    set_uppervalue(uppervalue);
  }
  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_);
    thegraph.universal_trv0(_v_);
    super.universal_trv0(_v_);
    universal_trv0_aft(_v_);
  }
}