updates

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

diff --git a/Repair/RepairCompiler/MCC/IR/Expr.java b/Repair/RepairCompiler/MCC/IR/Expr.java
index cd822275145e994fe32a07b3de719569621b89e7..310e5ae96c2b06ef9148c0535869e9db6dd07a95 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Expr.java
+++ b/Repair/RepairCompiler/MCC/IR/Expr.java
@@ -29,4 +29,20 @@ public abstract class Expr {
        return new DNFRule(this);
     }
 
+    public Descriptor getDescriptor() {
+       return null;
+    }
+
+    public int[] getRepairs(boolean negated) {
+       return new int[0];
+    }
+
+    public boolean inverted() {
+       return false;
+    }
+
+    public boolean usesDescriptor(RelationDescriptor rd) {
+       return false;
+    }
+
 }