updates
[repair.git] / Repair / RepairCompiler / MCC / IR / SizeofExpr.java
index 09d37e40aec7faec46d74b40f4081a2613795e39..3d7f9acc5060c1bd4447ab9f360894dffd414647 100755 (executable)
@@ -14,6 +14,19 @@ public class SizeofExpr extends Expr {
         this.setexpr = setexpr;
     }
 
+    public boolean usesDescriptor(RelationDescriptor rd) {
+       return setexpr.usesDescriptor(rd);
+    }
+
+
+    public Descriptor getDescriptor() {
+       return setexpr.getDescriptor();
+    }
+
+    public boolean inverted() {
+       return setexpr.inverted();
+    }
+
     public SetExpr getSetExpr() {
         return setexpr;
     }