Package sootup.core.jimple.common.stmt

Interface BranchingStmt

All Superinterfaces:

Acceptor<StmtVisitor>, EquivTo, Stmt

All Known Implementing Classes:

JGotoStmt, JIfStmt, JSwitchStmt

public interface BranchingStmt
extends Stmt

Interface for Stmts at which the execution does not necessarily continue with the following Stmt in the List

mandatory: branches() needs to be true!

Method Summary

Modifier and Type	Method	Description
default boolean	branches()	Returns true if execution after this statement does not necessarily continue at the following statement.
List<Stmt>	getTargetStmts(Body body)

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, containsArrayRef, containsFieldRef, fallsThrough, getArrayRef, getDef, getExpectedSuccessorCount, getFieldRef, getPositionInfo, getUses, getUsesAndDefs, isInvokableStmt, toString, withNewUse

Method Details

getTargetStmts

List<Stmt> getTargetStmts(Body body)

branches

default 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