Package sootup.core.jimple.common.expr

Class JInstanceOfExpr

java.lang.Object

sootup.core.jimple.common.expr.JInstanceOfExpr

All Implemented Interfaces:

EquivTo, Value, Expr, Acceptor<ExprVisitor>

public final class JInstanceOfExpr
extends Object
implements Expr

An expression that checks whether a value is of a certain type.

Constructor Summary

Constructors

Constructor	Description
JInstanceOfExpr(@NonNull Immediate op, @NonNull Type checkType)

Method Summary

Modifier and Type	Method	Description
<V extends ExprVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JInstanceOfExpr	asJInstanceOfExpr()
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.
Type	getCheckType()
Immediate	getOp()
@NonNull Type	getType()	Returns the Soot type of this Value.
@NonNull Stream<Value>	getUses()	Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.
boolean	isJInstanceOfExpr()
Optional<JInstanceOfExpr>	toJInstanceOfExpr()
String	toString()
void	toString(@NonNull StmtPrinter up)
@NonNull JInstanceOfExpr	withCheckType(@NonNull Type checkType)
@NonNull JInstanceOfExpr	withOp(@NonNull Immediate op)

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, asJInterfaceInvokeExpr, asJLeExpr, 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, isJInterfaceInvokeExpr, isJLeExpr, 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, toJInterfaceInvokeExpr, toJLeExpr, 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.basic.Value

accept

Constructor Details

JInstanceOfExpr

public JInstanceOfExpr(@NonNull Immediate op,
 @NonNull Type checkType)

Method Details

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(@NonNull StmtPrinter up)

Specified by:

toString in interface Value

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.

Specified by:

equivTo in interface EquivTo

equivHashCode

public int equivHashCode()

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

Specified by:

equivHashCode in interface EquivTo

getOp

public Immediate getOp()

getUses

public @NonNull Stream<Value> getUses()

Description copied from interface: Value

Returns a List of Locals,FieldRefs,ArrayRefs which are used by (ie contained within) this Expression or Reference.

Specified by:

getUses in interface Value

Returns:

getType

public @NonNull Type getType()

Description copied from interface: Value

Returns the Soot type of this Value.

Specified by:

getType in interface Value

getCheckType

public Type getCheckType()

accept

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

Description copied from interface: Acceptor

Called when this object is visited.

Specified by:

accept in interface Acceptor<ExprVisitor>

withOp

public @NonNull JInstanceOfExpr withOp(@NonNull Immediate op)

withCheckType

public @NonNull JInstanceOfExpr withCheckType(@NonNull Type checkType)

isJInstanceOfExpr

public boolean isJInstanceOfExpr()

Specified by:

isJInstanceOfExpr in interface Expr

asJInstanceOfExpr

public JInstanceOfExpr asJInstanceOfExpr()

Specified by:

asJInstanceOfExpr in interface Expr

toJInstanceOfExpr

public Optional<JInstanceOfExpr> toJInstanceOfExpr()

Specified by:

toJInstanceOfExpr in interface Expr