Repair/RepairCompiler/MCC/IR/AbstractRepair.java

   1 package MCC.IR;
   2
   3 class AbstractRepair {
   4     public final static int ADDTOSET=1;
   5     public final static int REMOVEFROMSET=2;
   6     public final static int ADDTORELATION=3;
   7     public final static int REMOVEFROMRELATION=4;
   8     public final static int MODIFYRELATION=5;
   9
  10     DNFPredicate torepair;
  11     int type;
  12     Descriptor descriptor;
  13
  14     public int getType() {
  15         return type;
  16     }
  17
  18     public DNFPredicate getPredicate() {
  19         return torepair;
  20     }
  21
  22     public Descriptor getDescriptor() {
  23         return descriptor;
  24     }
  25
  26     public AbstractRepair(DNFPredicate dp,int typ, Descriptor d) {
  27         torepair=dp;
  28         type=typ;
  29         descriptor=d;
  30     }
  31 }