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

Field Summary

Fields inherited from class sootup.core.jimple.common.stmt.AbstractStmt

positionInfo

Constructor Summary

Constructors

Constructor	Description
JInvokeStmt(@NonNull AbstractInvokeExpr invokeExpr, @NonNull StmtPositionInfo positionInfo)

Method Summary

Modifier and Type	Method	Description
<V extends StmtVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JInvokeStmt	asJInvokeStmt()
boolean	branches()	Returns true if execution after this statement does not necessarily continue at the following statement.
int	equivHashCode()	Returns a (not necessarily fixed) hash code for this object.
boolean	equivTo(Object o, @NonNull JimpleComparator comparator)	Returns true if this object is equivalent to o according to the given comparator.
boolean	fallsThrough()	Returns true if execution after this statement may continue at the following statement.
@NonNull Optional<AbstractInvokeExpr>	getInvokeExpr()	Returns the possible invoke expression in the invokable statement
@NonNull Stream<Value>	getUses()	Returns a list of Values used in this Stmt.
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.
boolean	isJInvokeStmt()
Optional<JInvokeStmt>	toJInvokeStmt()
String	toString()
void	toString(@NonNull StmtPrinter up)
@NonNull JInvokeStmt	withInvokeExpr(AbstractInvokeExpr invokeExpr)
@NonNull JInvokeStmt	withPositionInfo(@NonNull StmtPositionInfo positionInfo)

Methods inherited from class sootup.core.jimple.common.stmt.AbstractStmt

asInvokableStmt, containsArrayRef, containsFieldRef, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUsesAndDefs, isInvokableStmt, withNewUse

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.stmt.Stmt

asInvokableStmt, asJAssignStmt, asJBreakpointStmt, asJEnterMonitorStmt, asJExitMonitorStmt, asJGotoStmt, asJIdentityStmt, asJIfStmt, asJNopStmt, asJRetStmt, asJReturnStmt, asJReturnVoidStmt, asJSwitchStmt, asJThrowStmt, containsArrayRef, containsFieldRef, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUsesAndDefs, isInvokableStmt, isJAssignStmt, isJBreakpointStmt, isJEnterMonitorStmt, isJExitMonitorStmt, isJGotoStmt, isJIdentityStmt, isJIfStmt, isJNopStmt, isJRetStmt, isJReturnStmt, isJReturnVoidStmt, isJSwitchStmt, isJThrowStmt, toJAssignStmt, toJBreakpointStmt, toJEnterMonitorStmt, toJExitMonitorStmt, toJGotoStmt, toJIdentityStmt, toJIfStmt, toJNopStmt, toJRetStmt, toJReturnStmt, toJReturnVoidStmt, toJSwitchStmt, toJThrowStmt, withNewUse

Constructor Details

JInvokeStmt

public JInvokeStmt(@NonNull AbstractInvokeExpr invokeExpr,
 @NonNull StmtPositionInfo positionInfo)

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.

getUses

public @NonNull Stream<Value> getUses()

Description copied from class: AbstractStmt

Returns a list of Values used in this Stmt. Note that they are returned in usual evaluation order.

Specified by:

getUses in interface Stmt

Overrides:

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

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

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

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

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

withInvokeExpr

public @NonNull JInvokeStmt withInvokeExpr(AbstractInvokeExpr invokeExpr)

withPositionInfo

public @NonNull JInvokeStmt withPositionInfo(@NonNull StmtPositionInfo positionInfo)