projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added support to printout data structure update nodes (bindings/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 6be665bd1892767a5bd285606197f7e2306fe711..ab7cbeeee1e6aba67aa993d840658c4c0865ecaa 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/IR/Expr.java
+++ b/
Repair/RepairCompiler/MCC/IR/Expr.java
@@
-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;
+ }
}