Generalize definition of SumExpr a little...Lets sum all elements of

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

diff --git a/Repair/RepairCompiler/MCC/IR/LiteralExpr.java b/Repair/RepairCompiler/MCC/IR/LiteralExpr.java
index df14ed1877dda3179beb9e5668d023fecd96f9f8..2a9e01af7b991fbf03d6ee3724fe5f271c4b6e85 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/LiteralExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/LiteralExpr.java
@@ -8,4 +8,15 @@ public abstract class LiteralExpr extends Expr {
         return new HashSet();
     }
 
+    public Set getInversedRelations() {
+        return new HashSet();
+    }
+
+    public boolean isInvariant(Set vars) {
+       return true;
+    }
+
+    public Set findInvariants(Set vars) {
+       return new HashSet(); /* We won't lift literals...gcc can do this */
+    }
 }