class JInstanceOfExpr extends AbstractInstanceOfExpr implements ConvertToBaf {

  public JInstanceOfExpr(Value op, Type checkType) {
    super(Jimple.v().newImmediateBox(op), checkType);
  }

  @Override
  public void convertToBaf(JimpleToBafContext context, List<Unit> out) {<FILL_FUNCTION_BODY>}

  @Override
  public Object clone() {
    return new JInstanceOfExpr(Jimple.cloneIfNecessary(getOp()), checkType);
  }
}

    ((ConvertToBaf) (getOp())).convertToBaf(context, out);
    Unit u = Baf.v().newInstanceOfInst(getCheckType());
    u.addAllTagsOf(context.getCurrentUnit());
    out.add(u);
  
<methods>public void apply(soot.util.Switch) ,public abstract java.lang.Object clone() ,public int equivHashCode() ,public boolean equivTo(java.lang.Object) ,public soot.Type getCheckType() ,public soot.Value getOp() ,public soot.ValueBox getOpBox() ,public soot.Type getType() ,public final List<soot.ValueBox> getUseBoxes() ,public void setCheckType(soot.Type) ,public void setOp(soot.Value) ,public java.lang.String toString() ,public void toString(soot.UnitPrinter) <variables>protected soot.Type checkType,protected final non-sealed soot.ValueBox opBox