X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FExprPredicate.java;h=4bed2313f7468f854b7fc2ffb7db3fab749ed9ef;hp=04b223ac205163fbdae870416e09c7cc7ed5eb64;hb=5206adad89e8c25fe06bf649840920337f1c2ad1;hpb=ca628f50b6dedc5c650dea4c6862260efba76136

diff --git a/Repair/RepairCompiler/MCC/IR/ExprPredicate.java b/Repair/RepairCompiler/MCC/IR/ExprPredicate.java
index 04b223a..4bed231 100755
--- a/Repair/RepairCompiler/MCC/IR/ExprPredicate.java
+++ b/Repair/RepairCompiler/MCC/IR/ExprPredicate.java
@@ -26,8 +26,12 @@ public class ExprPredicate extends Predicate {
 	return ((OpExpr)expr).opcode;
     }
 
-    public int leftsize() {
-	return ((IntegerLiteralExpr)((OpExpr)expr).right).getValue();
+    public int rightSize() {
+	return OpExpr.getInt(((OpExpr)expr).right);
+    }
+
+    public boolean isRightInt() {
+	return OpExpr.isInt(((OpExpr)expr).right);
     }
 
     public ExprPredicate(Expr expr) {