Repair/RepairCompiler/MCC/IR/ScopeNode.java

   1 package MCC.IR;
   2
   3 class ScopeNode {
   4     Rule rule;
   5     boolean satisfy;
   6
   7     public ScopeNode(Rule r,boolean satisfy) {
   8         rule=r;
   9         this.satisfy=satisfy;
  10     }
  11     public Descriptor getDescriptor() {
  12         Inclusion inc=rule.getInclusion();
  13         if (inc instanceof SetInclusion)
  14             return ((SetInclusion)inc).getSet();
  15         else if (inc instanceof RelationInclusion)
  16             return ((RelationInclusion)inc).getRelation();
  17         else throw new Error("Unrecognized Inclusion");
  18     }
  19
  20     public Rule getRule() {
  21         return rule;
  22     }
  23     public boolean getSatisfy() {
  24         return satisfy;
  25     }
  26 }