Package sootup.core.jimple.common.stmt

Class JInvokeStmt

java.lang.Object
sootup.core.jimple.common.stmt.AbstractStmt
sootup.core.jimple.common.stmt.JInvokeStmt
All Implemented Interfaces:
EquivTo, FallsThroughStmt, InvokableStmt, Stmt, Acceptor<StmtVisitor>
public final class JInvokeStmt extends AbstractStmt implements FallsThroughStmt, InvokableStmt
A method call

  • Constructor Details

  • Method Details

    • invokesStaticInitializer

      public boolean invokesStaticInitializer()
      Description copied from interface: InvokableStmt
      Checks if the invokable statement can potentially invoke a static initializer To cause a static initializer call, the statement contains a static method call, a new expression, or a static field reference.
      Specified by:
      invokesStaticInitializer in interface InvokableStmt
      Returns:
      true if the statement can cause a static initializer call, and false if not.

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • toString

      public void toString(@NonNull StmtPrinter up)
      Specified by:
      toString in interface Stmt

    • isJInvokeStmt

      public boolean isJInvokeStmt()
      Specified by:
      isJInvokeStmt in interface Stmt

    • asJInvokeStmt

      public JInvokeStmt asJInvokeStmt()
      Specified by:
      asJInvokeStmt in interface Stmt

    • toJInvokeStmt

      public Optional<JInvokeStmt> toJInvokeStmt()
      Specified by:
      toJInvokeStmt in interface Stmt

    • getInvokeExpr

      public @NonNull Optional<AbstractInvokeExpr> getInvokeExpr()
      Description copied from interface: InvokableStmt
      Returns the possible invoke expression in the invokable statement
      Specified by:
      getInvokeExpr in interface InvokableStmt
      Returns:
      The optional contains the invoke expression of the invokable statement or is empty if there is no invoke expression.

    • collectUses

      public void collectUses(List<Value> collector)
      Description copied from interface: Stmt
      Collects all values used by this statement into the given list.
      Specified by:
      collectUses in interface Stmt
      Overrides:
      collectUses in class AbstractStmt

    • accept

      public <V extends StmtVisitor> V accept(@NonNull V v)
      Description copied from interface: Acceptor
      Called when this object is visited.
      Specified by:
      accept in interface Acceptor<StmtVisitor>
      Type Parameters:
      V - the concrete visitor type
      Parameters:
      v - the visitor processing this object
      Returns:
      the visitor after processing

    • fallsThrough

      public boolean fallsThrough()
      Description copied from interface: Stmt
      Returns true if execution after this statement may continue at the following statement. (e.g. GotoStmt will return false and e.g. IfStmt will return true).
      Specified by:
      fallsThrough in interface FallsThroughStmt
      Specified by:
      fallsThrough in interface Stmt
      Returns:
      true if control may fall through to the next statement

    • branches

      public boolean branches()
      Description copied from interface: Stmt
      Returns true if execution after this statement does not necessarily continue at the following statement. The BranchingStmt's GotoStmt, JSwitchStmt and IfStmt will return true.
      Specified by:
      branches in interface Stmt
      Returns:
      true if this statement may branch to a non-sequential successor

    • 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
      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()
      Description copied from interface: EquivTo
      Returns a (not necessarily fixed) hash code for this object. This hash code coincides with equivTo; it is undefined in the presence of mutable objects. The contract is defined in JimpleComparator.
      Specified by:
      equivHashCode in interface EquivTo
      Returns:
      a structural hash code consistent with equivTo

    • withInvokeExpr

      public @NonNull JInvokeStmt withInvokeExpr(AbstractInvokeExpr invokeExpr)

    • withPositionInfo

      public @NonNull JInvokeStmt withPositionInfo(@NonNull StmtPositionInfo positionInfo)