Package sootup.core.jimple.common.expr

Class JLengthExpr

java.lang.Object

sootup.core.jimple.common.expr.AbstractUnopExpr

sootup.core.jimple.common.expr.JLengthExpr

All Implemented Interfaces:

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

public final class JLengthExpr
extends AbstractUnopExpr

An expression that returns the length of an array.

Constructor Summary

Constructors

Constructor	Description
JLengthExpr(@NonNull Immediate op)

Method Summary

Modifier and Type	Method	Description
<V extends ExprVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JLengthExpr	asJLengthExpr()
int	equivHashCode()	Returns a hash code for this object, consistent with structural equality.
boolean	equivTo(Object o, @NonNull JimpleComparator comparator)	Returns true if this object is equivalent to o according to the given comparator.
@NonNull PrimitiveType	getType()	Returns the Soot type of this Value.
boolean	isJLengthExpr()
Optional<JLengthExpr>	toJLengthExpr()
String	toString()
void	toString(@NonNull StmtPrinter up)	Appends a string representation of this value to the given printer.
@NonNull JLengthExpr	withOp(@NonNull Immediate op)

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

collectUses, getOp

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, asJLeExpr, 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, isJLeExpr, 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, toJLeExpr, 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

JLengthExpr

public JLengthExpr(@NonNull Immediate op)

Method Details

equivTo

public boolean equivTo(Object o,
 @NonNull JimpleComparator comparator)

Description copied from interface: EquivTo

Returns true if this object is equivalent to o according to the given comparator.

Parameters:

o - the object to compare with

comparator - the comparator defining the equivalence relation

Returns:

true if this object is structurally equivalent to o under the given comparator

equivHashCode

public int equivHashCode()

Returns a hash code for this object, consistent with structural equality.

Returns:

a structural hash code consistent with equivTo

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(@NonNull StmtPrinter up)

Description copied from interface: Value

Appends a string representation of this value to the given printer.

getType

public @NonNull PrimitiveType getType()

Description copied from interface: Value

Returns the Soot type of this Value.

Returns:

the type of this value

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

withOp

public @NonNull JLengthExpr withOp(@NonNull Immediate op)

isJLengthExpr

public boolean isJLengthExpr()

asJLengthExpr

public JLengthExpr asJLengthExpr()

toJLengthExpr

public Optional<JLengthExpr> toJLengthExpr()