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.*;
abstract class PositiveConstraint extends Constraint {
  PositiveConstraint() { super(); }
  public PositiveConstraint(GlobSpec glob) {
    super(glob);
  }
  void universal_trv0_bef(UniversalVisitor _v_) {
    super.universal_trv0_bef(_v_);
    _v_.before(this);
  }
  void universal_trv0_aft(UniversalVisitor _v_) {
    _v_.after(this);
    super.universal_trv0_aft(_v_);
  }
  void universal_trv0(UniversalVisitor _v_) {
    super.universal_trv0(_v_);
  }
  void toAllSubclasses_Program_trv_bef(ClassNameTranspVisitor cntv, EdgeVisitor aev) {
    super.toAllSubclasses_Program_trv_bef(cntv, aev);
  }
  void toAllSubclasses_Program_trv_aft(ClassNameTranspVisitor cntv, EdgeVisitor aev) {
    super.toAllSubclasses_Program_trv_aft(cntv, aev);
  }
  void toAllSubclasses_Program_trv(ClassNameTranspVisitor cntv, EdgeVisitor aev) {
    super.toAllSubclasses_Program_trv(cntv, aev);
  }
  void checkStars_ProgramBehavior_trv_bef(DummyVisitor dv) {
    super.checkStars_ProgramBehavior_trv_bef(dv);
  }
  void checkStars_ProgramBehavior_trv_aft(DummyVisitor dv) {
    super.checkStars_ProgramBehavior_trv_aft(dv);
  }
  void checkStars_ProgramBehavior_trv(DummyVisitor dv) {
    super.checkStars_ProgramBehavior_trv(dv);
  }
  void __trav_getFirst_StrategyGraph_trv(java.util.BitSet nodes, __V_StrategyGraph_getFirst __v0) {  }
  void collectBypassVs_SGEdge_trv(VecVisitor vv) {  }
  void collectOnlyThruVs_SGEdge_trv(VecVisitor vv) {  }
  void collectPartGlob_SGEdge_trv(VecVisitor vv) {  }
  void collectSubclassGlob_SGEdge_trv(VecVisitor vv) {  }
  void __trav_checkConstraint_SGEdge_trv(__V_SGEdge_checkConstraint __v0) {  }
  void __trav_toGraph_PathDirective_trv_bef(__V_PathDirective_toGraph __v0) {
    super.__trav_toGraph_PathDirective_trv_bef(__v0);
    __v0.before(this);
  }
  void __trav_toGraph_PathDirective_trv_aft(__V_PathDirective_toGraph __v0) {
    super.__trav_toGraph_PathDirective_trv_aft(__v0);
  }
  void __trav_toGraph_PathDirective_trv(__V_PathDirective_toGraph __v0) {  }
}