Package sootup.core.jimple.common.stmt

Interface InvokableStmt

All Superinterfaces:

Acceptor<StmtVisitor>, EquivTo, Stmt

All Known Implementing Classes:

JAssignStmt, JInvokeStmt

public interface InvokableStmt
extends Stmt

Interface for Stmts that could invoke a different method which will be executed before the next statement is executed

Method Summary

Modifier and Type	Method	Description
boolean	containsInvokeExpr()	Checks if the invokable statement contains a invoke expression that defines the invoke.
Optional<AbstractInvokeExpr>	getInvokeExpr()	Returns the possible invoke expression in the invokable statement
boolean	invokesStaticInitializer()	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.

Methods inherited from interface sootup.core.jimple.visitor.Acceptor

accept

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

equivHashCode, equivTo, equivTo

Methods inherited from interface sootup.core.jimple.common.stmt.Stmt

asInvokableStmt, branches, containsArrayRef, containsFieldRef, fallsThrough, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUses, getUsesAndDefs, isInvokableStmt, toString, withNewUse

Method Details

invokesStaticInitializer

boolean invokesStaticInitializer()

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.

Returns:

true if the statement can cause a static initializer call, and false if not.

containsInvokeExpr

boolean containsInvokeExpr()

Checks if the invokable statement contains a invoke expression that defines the invoke.

Returns:

true if the statement contains an invoke expression, false if not

getInvokeExpr

Optional<AbstractInvokeExpr> getInvokeExpr()

Returns the possible invoke expression in the invokable statement

Returns:

The optional contains the invoke expression of the invokable statement or is empty if there is no invoke expression.