X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FSizeofExpr.java;h=7570ddc246bb5492c8dda34aab44183e4f71232b;hp=3d7f9acc5060c1bd4447ab9f360894dffd414647;hb=30816378d0198b3cdeac43ad5bf80df3b7646406;hpb=ce993d16a8b0057b8d5881be15aed42926e54783

diff --git a/Repair/RepairCompiler/MCC/IR/SizeofExpr.java b/Repair/RepairCompiler/MCC/IR/SizeofExpr.java
index 3d7f9ac..7570ddc 100755
--- a/Repair/RepairCompiler/MCC/IR/SizeofExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/SizeofExpr.java
@@ -14,7 +14,18 @@ public class SizeofExpr extends Expr {
         this.setexpr = setexpr;
     }
 
-    public boolean usesDescriptor(RelationDescriptor rd) {
+    public String name() {
+	return "size("+setexpr.name()+")";
+    }
+
+    public boolean equals(Map remap, Expr e) {
+	if (e==null||!(e instanceof SizeofExpr))
+	    return false;
+	SizeofExpr soe=(SizeofExpr)e;
+	return setexpr.equals(remap,soe.setexpr);
+    }
+
+    public boolean usesDescriptor(Descriptor rd) {
 	return setexpr.usesDescriptor(rd);
     }