Adding files

[repair.git] / Repair / RepairCompiler / MCC / IR / AbstractRepair.java

diff --git a/Repair/RepairCompiler/MCC/IR/AbstractRepair.java b/Repair/RepairCompiler/MCC/IR/AbstractRepair.java
new file mode 100755 (executable)
index 0000000..037251a
--- /dev/null
+++ b/Repair/RepairCompiler/MCC/IR/AbstractRepair.java
@@ -0,0 +1,31 @@
+package MCC.IR;
+
+class AbstractRepair {
+    public final static int ADDTOSET=1;
+    public final static int REMOVEFROMSET=2;
+    public final static int ADDTORELATION=3;
+    public final static int REMOVEFROMRELATION=4;
+    public final static int MODIFYRELATION=5;
+
+    DNFPredicate torepair;
+    int type;
+    Descriptor descriptor;
+    
+    public int getType() {
+       return type;
+    }
+
+    public DNFPredicate getPredicate() {
+       return torepair;
+    }
+
+    public Descriptor getDescriptor() {
+       return descriptor;
+    }
+
+    public AbstractRepair(DNFPredicate dp,int typ, Descriptor d) {
+       torepair=dp;
+       type=typ;
+       descriptor=d;
+    }
+}