1 19 20 25 26 27 28 29 30 31 package soot.grimp.internal; 32 33 import soot.*; 34 import soot.grimp.*; 35 import soot.jimple.*; 36 import soot.grimp.*; 37 import soot.util.*; 38 import java.util.*; 39 40 public class GGeExpr extends AbstractGrimpIntBinopExpr implements GeExpr 41 { 42 public GGeExpr(Value op1, Value op2) { super(op1, op2); } 43 public final String getSymbol() { return " >= "; } 44 public final int getPrecedence() { return 600; } 45 public void apply(Switch sw) { ((ExprSwitch) sw).caseGeExpr(this); } 46 public Object clone() 47 { 48 return new GGeExpr(Grimp.cloneIfNecessary(getOp1()), Grimp.cloneIfNecessary(getOp2())); 49 } 50 } 51 | Popular Tags |