Improved search....Updated filesystem model. Added -aggressivesearch option.

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

diff --git a/Repair/RepairCompiler/MCC/IR/VarExpr.java b/Repair/RepairCompiler/MCC/IR/VarExpr.java
index ddc0e8eb9b7de1c0c246de76ea57365502638614..2e5973331f07341f76380e7c4f9530bbb2acb757 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/VarExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/VarExpr.java
@@ -17,6 +17,14 @@ public class VarExpr extends Expr {
        return hs;
     }
 
+    public Expr getLower() {
+       return vd.getLower();
+    }
+
+    public Expr getUpper() {
+       return vd.getUpper();
+    }
+
     public SetDescriptor getSet() {
        return vd.getSet();
     }