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 GDivExpr extends AbstractGrimpFloatBinopExpr implements DivExpr 41 { 42 public GDivExpr(Value op1, Value op2) { super(op1, op2); } 43 public final String getSymbol() { return " / "; } 44 public final int getPrecedence() { return 800; } 45 public void apply(Switch sw) { ((ExprSwitch) sw).caseDivExpr(this); } 46 47 public Object clone() 48 { 49 return new GDivExpr(Grimp.cloneIfNecessary(getOp1()), Grimp.cloneIfNecessary(getOp2())); 50 } 51 52 } 53 | Popular Tags |