soot.jimple.internal.JShrExpr Maven / Gradle / Ivy
package soot.jimple.internal;
/*-
* #%L
* Soot - a J*va Optimization Framework
* %%
* Copyright (C) 1999 Patrick Lam
* %%
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License as
* published by the Free Software Foundation, either version 2.1 of the
* License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Lesser Public License for more details.
*
* You should have received a copy of the GNU General Lesser Public
* License along with this program. If not, see
* .
* #L%
*/
import soot.IntType;
import soot.LongType;
import soot.Type;
import soot.UnknownType;
import soot.Value;
import soot.baf.Baf;
import soot.jimple.ExprSwitch;
import soot.jimple.Jimple;
import soot.jimple.ShrExpr;
import soot.util.Switch;
public class JShrExpr extends AbstractJimpleIntLongBinopExpr implements ShrExpr {
public JShrExpr(Value op1, Value op2) {
super(op1, op2);
}
public String getSymbol() {
return " >> ";
}
public void apply(Switch sw) {
((ExprSwitch) sw).caseShrExpr(this);
}
Object makeBafInst(Type opType) {
return Baf.v().newShrInst(this.getOp1().getType());
}
public Type getType() {
Value op1 = op1Box.getValue();
Value op2 = op2Box.getValue();
if (!isIntLikeType(op2.getType())) {
return UnknownType.v();
}
if (isIntLikeType(op1.getType())) {
return IntType.v();
}
if (op1.getType().equals(LongType.v())) {
return LongType.v();
}
return UnknownType.v();
}
public Object clone() {
return new JShrExpr(Jimple.cloneIfNecessary(getOp1()), Jimple.cloneIfNecessary(getOp2()));
}
}