projects
/
repair.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...
[repair.git]
/
Repair
/
RepairCompiler
/
MCC
/
IR
/
CastExpr.java
diff --git
a/Repair/RepairCompiler/MCC/IR/CastExpr.java
b/Repair/RepairCompiler/MCC/IR/CastExpr.java
index 5b12c6dd95129b11c463e93010e2becbd6eaf582..4ccc6379865b9b3853c943da94a1036ec18481ec 100755
(executable)
--- a/
Repair/RepairCompiler/MCC/IR/CastExpr.java
+++ b/
Repair/RepairCompiler/MCC/IR/CastExpr.java
@@
-12,6
+12,12
@@
public class CastExpr extends Expr {
this.expr = expr;
}
+ public String name() {
+ String str="";
+ str="(("+type.toString()+")"+expr.name()+")";
+ return str;
+ }
+
public boolean equals(Map remap, Expr e) {
if (e==null)
return false;