Improved precision of computation of maximum set sizes. Removed generation of

[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 4e9d283781c9b08b1b7e19fa28c38fd582335433..51ae61360906a92f2568787aa8f795f8e38ec5cf 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Expr.java
+++ b/Repair/RepairCompiler/MCC/IR/Expr.java
@@ -20,6 +20,7 @@ public abstract class Expr {
     }
 
     public String name() {
+       System.out.println(this.getClass().getName());
        return "?";
     }
 
@@ -39,7 +40,11 @@ public abstract class Expr {
        return null;
     }
 
-    public int[] getRepairs(boolean negated) {
+    public boolean isValue(TypeDescriptor td) {
+       return false;
+    }
+
+    public int[] getRepairs(boolean negated, Termination t) {
        System.out.println(this.getClass().getName());
        throw new Error("Unrecognized EXPR");
     }
@@ -48,9 +53,57 @@ public abstract class Expr {
        return false;
     }
 
+    public Set useDescriptor(Descriptor d) {
+       return new HashSet();
+    }
+
     public boolean usesDescriptor(Descriptor rd) {
        System.out.println(this.getClass().getName());
        throw new Error("UNIMPLEMENTED");
     }
+    public boolean isNull() {
+       return false;
+    }
+    public boolean isNonNull() {
+       return false;
+    }
+    public Set freeVars() {
+       return null;
+    }
 
+    public void findmatch(Descriptor d, Set s) {
+    }
+
+    public Set getfunctions() {
+       return null;
+    }
+
+    public SetDescriptor getSet() {
+       return null; /* unknown value */
+    }
+
+    public Expr stripCastExpr() {
+       Expr ptr=this;
+       while (ptr instanceof CastExpr)
+           ptr=((CastExpr)ptr).getExpr();
+       return ptr;
+    }
+
+    public boolean isSafe() {
+       return true;
+    }
+
+    public Expr getLower() {
+       return null;
+    }
+
+    public Expr getUpper() {
+       return null;
+    }
+    public boolean isInvariant(Set vars) {
+       return false;
+    }
+    public Set findInvariants(Set vars) {
+       return new HashSet();
+    }
 }