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 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)