Package sootup.core.jimple.common.stmt

Interface FallsThroughStmt

All Superinterfaces:

Acceptor<StmtVisitor>, EquivTo, Stmt

All Known Implementing Classes:

JAssignStmt, JBreakpointStmt, JEnterMonitorStmt, JExitMonitorStmt, JIdentityStmt, JIfStmt, JInvokeStmt, JNopStmt, JRetStmt

public interface FallsThroughStmt
extends Stmt

as an equivalent to BranchingStmt

Method Summary

Modifier and Type	Method	Description
default boolean	fallsThrough()	Returns true if execution after this statement may continue at the following statement.

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

asInvokableStmt, asJAssignStmt, asJBreakpointStmt, asJEnterMonitorStmt, asJExitMonitorStmt, asJGotoStmt, asJIdentityStmt, asJIfStmt, asJInvokeStmt, asJNopStmt, asJRetStmt, asJReturnStmt, asJReturnVoidStmt, asJSwitchStmt, asJThrowStmt, branches, containsArrayRef, containsFieldRef, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUses, getUsesAndDefs, isInvokableStmt, 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, withNewUse

Method Details

fallsThrough

default 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 Stmt