Added support to printout data structure update nodes (bindings/updates)
[repair.git] / Repair / RepairCompiler / MCC / IR / Expr.java
index 6be665bd1892767a5bd285606197f7e2306fe711..ab7cbeeee1e6aba67aa993d840658c4c0865ecaa 100755 (executable)
@@ -53,5 +53,13 @@ public abstract class Expr {
        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;
+    }
 }