1 19 20 25 26 27 28 29 30 31 package soot.jimple.internal; 32 33 import soot.*; 34 import soot.jimple.*; 35 import soot.baf.*; 36 import soot.jimple.*; 37 import soot.util.*; 38 import java.util.*; 39 40 public class JDivExpr extends AbstractJimpleFloatBinopExpr implements DivExpr 41 { 42 public JDivExpr(Value op1, Value op2) { super(op1, op2); } 43 public final String getSymbol() { return " / "; } 44 public void apply(Switch sw) { ((ExprSwitch) sw).caseDivExpr(this); } 45 Object makeBafInst(Type opType) { return Baf.v().newDivInst(this.getOp1().getType()); } 46 47 public Object clone() 48 { 49 return new JDivExpr(Jimple.cloneIfNecessary(getOp1()), Jimple.cloneIfNecessary(getOp2())); 50 } 51 } 52 | Popular Tags |