Package sootup.core.jimple.common.expr

Class JLeExpr

java.lang.Object

sootup.core.jimple.common.expr.AbstractBinopExpr

sootup.core.jimple.common.expr.AbstractIntBinopExpr

sootup.core.jimple.common.expr.AbstractConditionExpr

sootup.core.jimple.common.expr.JLeExpr

All Implemented Interfaces:

EquivTo, Expr, Value, JimpleIR, Acceptor<ExprVisitor>

public final class JLeExpr
extends AbstractConditionExpr

An expression that checks whether operand 1 <= operand 2.

Constructor Summary

Constructors

Constructor	Description
JLeExpr(@NonNull Immediate op1, @NonNull Immediate op2)

Method Summary

Modifier and Type	Method	Description
<V extends ExprVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JLeExpr	asJLeExpr()
@NonNull String	getSymbol()	Returns the unique symbol for an operator.
boolean	isJLeExpr()
Optional<JLeExpr>	toJLeExpr()
@NonNull JLeExpr	withOp1(@NonNull Immediate op1)	Returns a copy of this expression with the left operand replaced.
@NonNull JLeExpr	withOp2(@NonNull Immediate op2)	Returns a copy of this expression with the right operand replaced.

Methods inherited from class sootup.core.jimple.common.expr.AbstractIntBinopExpr

getType

Methods inherited from class sootup.core.jimple.common.expr.AbstractBinopExpr

collectUses, equivHashCode, equivTo, getOp1, getOp2, toString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface sootup.core.jimple.basic.EquivTo

equivTo

Methods inherited from interface sootup.core.jimple.common.expr.Expr

asJAddExpr, asJAndExpr, asJCastExpr, asJCmpExpr, asJCmpgExpr, asJCmplExpr, asJDivExpr, asJDynamicInvokeExpr, asJEqExpr, asJGeExpr, asJGtExpr, asJInstanceOfExpr, asJInterfaceInvokeExpr, asJLengthExpr, asJLtExpr, asJMulExpr, asJNeExpr, asJNegExpr, asJNewArrayExpr, asJNewExpr, asJNewMultiArrayExpr, asJOrExpr, asJPhiExpr, asJRemExpr, asJShlExpr, asJShrExpr, asJSpecialInvokeExpr, asJStaticInvokeExpr, asJSubExpr, asJUshrExpr, asJVirtualInvokeExpr, asJXorExpr, isJAddExpr, isJAndExpr, isJCastExpr, isJCmpExpr, isJCmpgExpr, isJCmplExpr, isJDivExpr, isJDynamicInvokeExpr, isJEqExpr, isJGeExpr, isJGtExpr, isJInstanceOfExpr, isJInterfaceInvokeExpr, isJLengthExpr, isJLtExpr, isJMulExpr, isJNeExpr, isJNegExpr, isJNewArrayExpr, isJNewExpr, isJNewMultiArrayExpr, isJOrExpr, isJPhiExpr, isJRemExpr, isJShlExpr, isJShrExpr, isJSpecialInvokeExpr, isJStaticInvokeExpr, isJSubExpr, isJUshrExpr, isJVirtualInvokeExpr, isJXorExpr, toJAddExpr, toJAndExpr, toJCastExpr, toJCmpExpr, toJCmpgExpr, toJCmplExpr, toJDivExpr, toJDynamicInvokeExpr, toJEqExpr, toJGeExpr, toJGtExpr, toJInstanceOfExpr, toJInterfaceInvokeExpr, toJLengthExpr, toJLtExpr, toJMulExpr, toJNeExpr, toJNegExpr, toJNewArrayExpr, toJNewExpr, toJNewMultiArrayExpr, toJOrExpr, toJPhiExpr, toJRemExpr, toJShlExpr, toJShrExpr, toJSpecialInvokeExpr, toJStaticInvokeExpr, toJSubExpr, toJUshrExpr, toJVirtualInvokeExpr, toJXorExpr

Methods inherited from interface sootup.core.jimple.common.Value

accept, getUses

Constructor Details

JLeExpr

public JLeExpr(@NonNull Immediate op1,
 @NonNull Immediate op2)

Method Details

getSymbol

public @NonNull String getSymbol()

Description copied from class: AbstractBinopExpr

Returns the unique symbol for an operator.

Specified by:

getSymbol in class AbstractBinopExpr

Returns:

the operator symbol string (e.g., "+", "-")

accept

public <V extends ExprVisitor> V accept(@NonNull V v)

Description copied from interface: Acceptor

Called when this object is visited.

Type Parameters:

V - the concrete visitor type

Parameters:

v - the visitor processing this object

Returns:

the visitor after processing

withOp1

public @NonNull JLeExpr withOp1(@NonNull Immediate op1)

Description copied from class: AbstractBinopExpr

Returns a copy of this expression with the left operand replaced.

Specified by:

withOp1 in class AbstractBinopExpr

withOp2

public @NonNull JLeExpr withOp2(@NonNull Immediate op2)

Description copied from class: AbstractBinopExpr

Returns a copy of this expression with the right operand replaced.

Specified by:

withOp2 in class AbstractBinopExpr

isJLeExpr

public boolean isJLeExpr()

asJLeExpr

public JLeExpr asJLeExpr()

toJLeExpr

public Optional<JLeExpr> toJLeExpr()