Package sootup.core.jimple.common.stmt

Class AbstractDefinitionStmt

java.lang.Object

sootup.core.jimple.common.stmt.AbstractStmt

sootup.core.jimple.common.stmt.AbstractDefinitionStmt

All Implemented Interfaces:

EquivTo, Stmt, Acceptor<StmtVisitor>

Direct Known Subclasses:

JAssignStmt, JIdentityStmt

public abstract class AbstractDefinitionStmt
extends AbstractStmt

Abstract base class for definition statements (assignments).

Field Summary

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

positionInfo

Method Summary

Modifier and Type	Method	Description
boolean	branches()	Returns true if execution after this statement does not necessarily continue at the following statement.
final void	collectUses(List<Value> collector)	Collects all values used by this statement into the given list.
boolean	fallsThrough()	Returns true if execution after this statement may continue at the following statement.
@NonNull Optional<LValue>	getDef()	Returns a list of Values defined in this Stmt.
abstract @NonNull LValue	getLeftOp()	Returns the left-hand side (defined value) of this definition.
abstract @NonNull Value	getRightOp()	Returns the right-hand side (value being assigned) of this definition.
@NonNull Type	getType()	Returns the type of the defined value.
abstract @NonNull FallsThroughStmt	withNewDef(@NonNull Local newLocal)	Returns a copy of this statement with the defined local replaced by newLocal.

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, toString, wait, wait, wait

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

asJAssignStmt, asJBreakpointStmt, asJEnterMonitorStmt, asJExitMonitorStmt, asJGotoStmt, asJIdentityStmt, asJIfStmt, asJInvokeStmt, asJNopStmt, asJRetStmt, asJReturnStmt, asJReturnVoidStmt, asJSwitchStmt, asJThrowStmt, getUses, getUsesAndDefs, isJAssignStmt, isJBreakpointStmt, isJEnterMonitorStmt, isJExitMonitorStmt, isJGotoStmt, isJIdentityStmt, isJIfStmt, isJInvokeStmt, isJNopStmt, isJRetStmt, isJReturnStmt, isJReturnVoidStmt, isJSwitchStmt, isJThrowStmt, toJAssignStmt, toJBreakpointStmt, toJEnterMonitorStmt, toJExitMonitorStmt, toJGotoStmt, toJIdentityStmt, toJIfStmt, toJInvokeStmt, toJNopStmt, toJRetStmt, toJReturnStmt, toJReturnVoidStmt, toJSwitchStmt, toJThrowStmt, toString

Method Details

getLeftOp

public abstract @NonNull LValue getLeftOp()

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

getRightOp

public abstract @NonNull Value getRightOp()

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

getType

public @NonNull Type getType()

Returns the type of the defined value.

getDef

public @NonNull Optional<LValue> getDef()

Description copied from class: AbstractStmt

Returns a list of Values defined in this Stmt. There are languages which allow multiple return types/assignments so we return a List

Specified by:

getDef in interface Stmt

Overrides:

getDef in class AbstractStmt

collectUses

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

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

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.

Returns:

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

withNewDef

public abstract @NonNull FallsThroughStmt withNewDef(@NonNull Local newLocal)

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