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

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.
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()
abstract @NonNull Value	getRightOp()
@NonNull Type	getType()
final @NonNull Stream<Value>	getUses()	Returns a list of Values used in this Stmt.
abstract @NonNull FallsThroughStmt	withNewDef(@NonNull Local newLocal)

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

asInvokableStmt, containsArrayRef, containsFieldRef, getArrayRef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUsesAndDefs, 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, 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()

getRightOp

public abstract @NonNull Value getRightOp()

getType

public @NonNull Type getType()

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

getUses

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

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

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.

withNewDef

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