Package sootup.core.jimple.common.stmt

Class JIdentityStmt

java.lang.Object

sootup.core.jimple.common.stmt.AbstractStmt

sootup.core.jimple.common.stmt.AbstractDefinitionStmt

sootup.core.jimple.common.stmt.JIdentityStmt

All Implemented Interfaces:

EquivTo, FallsThroughStmt, Stmt, Acceptor<StmtVisitor>

public final class JIdentityStmt
extends AbstractDefinitionStmt
implements FallsThroughStmt

Field Summary

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

positionInfo

Constructor Summary

Constructors

Constructor	Description
JIdentityStmt(@NonNull Local local, @NonNull IdentityRef identityValue, @NonNull StmtPositionInfo positionInfo)

Method Summary

Modifier and Type	Method	Description
<V extends StmtVisitor> V	accept(@NonNull V v)	Called when this object is visited.
JIdentityStmt	asJIdentityStmt()
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 Local	getLeftOp()	Returns the left-hand side (defined value) of this definition.
@NonNull IdentityRef	getRightOp()	Returns the right-hand side (value being assigned) of this definition.
boolean	isJIdentityStmt()
Optional<JIdentityStmt>	toJIdentityStmt()
String	toString()
void	toString(@NonNull StmtPrinter up)
@NonNull JIdentityStmt	withIdentityValue(@NonNull IdentityRef identityValue)
@NonNull JIdentityStmt	withLocal(@NonNull Local local)
@NonNull FallsThroughStmt	withNewDef(@NonNull Local newLocal)	Returns a copy of this statement with the defined local replaced by newLocal.
@NonNull JIdentityStmt	withPositionInfo(@NonNull StmtPositionInfo positionInfo)

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

collectUses, getDef, getType

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

asInvokableStmt, containsArrayRef, containsFieldRef, getArrayRef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, 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, asJIfStmt, asJInvokeStmt, asJNopStmt, asJRetStmt, asJReturnStmt, asJReturnVoidStmt, asJSwitchStmt, asJThrowStmt, collectUses, containsArrayRef, containsFieldRef, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUses, getUsesAndDefs, isInvokableStmt, isJAssignStmt, isJBreakpointStmt, isJEnterMonitorStmt, isJExitMonitorStmt, isJGotoStmt, isJIfStmt, isJInvokeStmt, isJNopStmt, isJRetStmt, isJReturnStmt, isJReturnVoidStmt, isJSwitchStmt, isJThrowStmt, toJAssignStmt, toJBreakpointStmt, toJEnterMonitorStmt, toJExitMonitorStmt, toJGotoStmt, toJIfStmt, toJInvokeStmt, toJNopStmt, toJRetStmt, toJReturnStmt, toJReturnVoidStmt, toJSwitchStmt, toJThrowStmt, withNewUse

Constructor Details

JIdentityStmt

public JIdentityStmt(@NonNull Local local,
 @NonNull IdentityRef identityValue,
 @NonNull StmtPositionInfo positionInfo)

Method Details

toString

public String toString()

Overrides:

toString in class Object

getLeftOp

public @NonNull Local getLeftOp()

Description copied from class: AbstractDefinitionStmt

Returns the left-hand side (defined value) of this definition.

Specified by:

getLeftOp in class AbstractDefinitionStmt

getRightOp

public @NonNull IdentityRef getRightOp()

Description copied from class: AbstractDefinitionStmt

Returns the right-hand side (value being assigned) of this definition.

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

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

Overrides:

branches in class AbstractDefinitionStmt

Returns:

true if this statement may branch to a non-sequential successor

toString

public void toString(@NonNull StmtPrinter up)

Specified by:

toString in interface Stmt

isJIdentityStmt

public boolean isJIdentityStmt()

Specified by:

isJIdentityStmt in interface Stmt

asJIdentityStmt

public JIdentityStmt asJIdentityStmt()

Specified by:

asJIdentityStmt in interface Stmt

toJIdentityStmt

public Optional<JIdentityStmt> toJIdentityStmt()

Specified by:

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

Type Parameters:

V - the concrete visitor type

Parameters:

v - the visitor processing this object

Returns:

the visitor after processing

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

withLocal

public @NonNull JIdentityStmt withLocal(@NonNull Local local)

withIdentityValue

public @NonNull JIdentityStmt withIdentityValue(@NonNull IdentityRef identityValue)

withPositionInfo

public @NonNull JIdentityStmt withPositionInfo(@NonNull StmtPositionInfo positionInfo)

withNewDef

public @NonNull FallsThroughStmt withNewDef(@NonNull Local newLocal)

Description copied from class: AbstractDefinitionStmt

Returns a copy of this statement with the defined local replaced by newLocal.

Specified by:

withNewDef in class AbstractDefinitionStmt