class JLeExpr extends AbstractJimpleIntBinopExpr implements LeExpr {

  public JLeExpr(Value op1, Value op2) {
    super(op1, op2);
  }

  @Override
  public final String getSymbol() {
    return " <= ";
  }

  @Override
  public void apply(Switch sw) {
    ((ExprSwitch) sw).caseLeExpr(this);
  }

  @Override
  protected Unit makeBafInst(Type opType) {<FILL_FUNCTION_BODY>}

  @Override
  public Object clone() {
    return new JLeExpr(Jimple.cloneIfNecessary(getOp1()), Jimple.cloneIfNecessary(getOp2()));
  }
}

    throw new RuntimeException("unsupported conversion: " + this);
    // return Baf.v().newLeInst(this.getOp1().getType());
  
<methods>public void convertToBaf(soot.jimple.JimpleToBafContext, List<soot.Unit>) <variables>