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 String type() {
  15         switch(type) {
  16         case ADDTOSET:
  17             return "AddToSet";
  18         case REMOVEFROMSET:
  19             return "RemoveToSet";
  20         case ADDTORELATION:
  21             return "AddToRelation";
  22         case REMOVEFROMRELATION:
  23             return "RemoveFromRelation";
  24         case MODIFYRELATION:
  25             return "ModifyRelation";
  26         default:
  27             return "Unknown";
  28         }
  29     }
  30
  31     public int getType() {
  32         return type;
  33     }
  34
  35     public DNFPredicate getPredicate() {
  36         return torepair;
  37     }
  38
  39     public Descriptor getDescriptor() {
  40         return descriptor;
  41     }
  42
  43     public AbstractRepair(DNFPredicate dp,int typ, Descriptor d) {
  44         torepair=dp;
  45         type=typ;
  46         descriptor=d;
  47     }
  48 }