Package sootup.core.jimple.common.stmt

Class JAssignStmt

java.lang.Object

sootup.core.jimple.common.stmt.AbstractStmt

sootup.core.jimple.common.stmt.AbstractDefinitionStmt

sootup.core.jimple.common.stmt.JAssignStmt

All Implemented Interfaces:

EquivTo, FallsThroughStmt, InvokableStmt, Stmt, Acceptor<StmtVisitor>

public final class JAssignStmt
extends AbstractDefinitionStmt
implements FallsThroughStmt, InvokableStmt

Represents the assignment of one value to another

Field Summary

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

positionInfo

Constructor Summary

Constructors

Constructor	Description
JAssignStmt(@NonNull LValue variable, @NonNull Value rValue, @NonNull StmtPositionInfo positionInfo)	Instantiates a new JAssignStmt.

Method Summary

Modifier and Type	Method	Description
<V extends StmtVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JAssignStmt	asJAssignStmt()
boolean	branches()	Returns true if execution after this statement does not necessarily continue at the following statement.
boolean	containsArrayRef()
boolean	containsFieldRef()
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.
JArrayRef	getArrayRef()	This method must only be used for Stmts which contain an ArrayRef - possible with JAssignStmts.
JFieldRef	getFieldRef()	This method must only be used for Stmts which contain an FieldRef - possible with JAssignStmts.
Optional<AbstractInvokeExpr>	getInvokeExpr()	Returns the possible invoke expression in the invokable statement
@NonNull LValue	getLeftOp()
@NonNull Value	getRightOp()
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	isJAssignStmt()
Optional<JAssignStmt>	toJAssignStmt()
String	toString()
void	toString(@NonNull StmtPrinter up)
@NonNull JAssignStmt	withNewDef(@NonNull Local newLocal)
@NonNull JAssignStmt	withPositionInfo(@NonNull StmtPositionInfo positionInfo)
@NonNull JAssignStmt	withRValue(@NonNull Value rValue)
@NonNull JAssignStmt	withVariable(@NonNull LValue variable)

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

getDef, getType, getUses

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

asInvokableStmt, getExpectedSuccessorCount, 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, asJBreakpointStmt, asJEnterMonitorStmt, asJExitMonitorStmt, asJGotoStmt, asJIdentityStmt, asJIfStmt, asJInvokeStmt, asJNopStmt, asJRetStmt, asJReturnStmt, asJReturnVoidStmt, asJSwitchStmt, asJThrowStmt, getDef, getExpectedSuccessorCount, getPositionInfo, getUses, getUsesAndDefs, isInvokableStmt, isJBreakpointStmt, isJEnterMonitorStmt, isJExitMonitorStmt, isJGotoStmt, isJIdentityStmt, isJIfStmt, isJInvokeStmt, isJNopStmt, isJRetStmt, isJReturnStmt, isJReturnVoidStmt, isJSwitchStmt, isJThrowStmt, toJBreakpointStmt, toJEnterMonitorStmt, toJExitMonitorStmt, toJGotoStmt, toJIdentityStmt, toJIfStmt, toJInvokeStmt, toJNopStmt, toJRetStmt, toJReturnStmt, toJReturnVoidStmt, toJSwitchStmt, toJThrowStmt, withNewUse

Constructor Details

JAssignStmt

public JAssignStmt(@NonNull LValue variable,
 @NonNull Value rValue,
 @NonNull StmtPositionInfo positionInfo)

Instantiates a new JAssignStmt.

Parameters:

variable - the variable on the left side of the assign statement.

rValue - the value on the right side of the assign statement.

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.

getInvokeExpr

public 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.

containsArrayRef

public boolean containsArrayRef()

Specified by:

containsArrayRef in interface Stmt

Overrides:

containsArrayRef in class AbstractStmt

getArrayRef

public JArrayRef getArrayRef()

Description copied from class: AbstractStmt

This method must only be used for Stmts which contain an ArrayRef - possible with JAssignStmts. check via containsArrayRef().

Specified by:

getArrayRef in interface Stmt

Overrides:

getArrayRef in class AbstractStmt

containsFieldRef

public boolean containsFieldRef()

Specified by:

containsFieldRef in interface Stmt

Overrides:

containsFieldRef in class AbstractStmt

getFieldRef

public JFieldRef getFieldRef()

Description copied from class: AbstractStmt

This method must only be used for Stmts which contain an FieldRef - possible with JAssignStmts. check via containsFieldRef().

Specified by:

getFieldRef in interface Stmt

Overrides:

getFieldRef in class AbstractStmt

isJAssignStmt

public boolean isJAssignStmt()

Specified by:

isJAssignStmt in interface Stmt

asJAssignStmt

public JAssignStmt asJAssignStmt()

Specified by:

asJAssignStmt in interface Stmt

toJAssignStmt

public Optional<JAssignStmt> toJAssignStmt()

Specified by:

toJAssignStmt in interface Stmt

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(@NonNull StmtPrinter up)

Specified by:

toString in interface Stmt

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>

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

getLeftOp

public @NonNull LValue getLeftOp()

Specified by:

getLeftOp in class AbstractDefinitionStmt

getRightOp

public @NonNull Value getRightOp()

Specified by:

getRightOp in class AbstractDefinitionStmt

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

Overrides:

fallsThrough in class AbstractDefinitionStmt

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

Overrides:

branches in class AbstractDefinitionStmt

withNewDef

public @NonNull JAssignStmt withNewDef(@NonNull Local newLocal)

Specified by:

withNewDef in class AbstractDefinitionStmt

withVariable

public @NonNull JAssignStmt withVariable(@NonNull LValue variable)

withRValue

public @NonNull JAssignStmt withRValue(@NonNull Value rValue)

withPositionInfo

public @NonNull JAssignStmt withPositionInfo(@NonNull StmtPositionInfo positionInfo)