Package sootup.core.jimple.common.stmt

Class JIfStmt

java.lang.Object

sootup.core.jimple.common.stmt.AbstractStmt

sootup.core.jimple.common.stmt.JIfStmt

All Implemented Interfaces:

EquivTo, BranchingStmt, FallsThroughStmt, Stmt, Acceptor<StmtVisitor>

public final class JIfStmt
extends AbstractStmt
implements BranchingStmt, FallsThroughStmt

If the condition is true, jumps to the target, otherwise continues to the next stmt. The first successor (index=0) is the fallsthrough Stmt and the second successor (index=1) is the rbanching one.

Field Summary

Fields

Modifier and Type	Field	Description
static final int	FALSE_BRANCH_IDX
static final int	TRUE_BRANCH_IDX

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

positionInfo

Constructor Summary

Constructors

Constructor	Description
JIfStmt(AbstractConditionExpr condition, StmtPositionInfo positionInfo)

Method Summary

Modifier and Type	Method	Description
<V extends StmtVisitor> V	accept(V v)	Called when this object is visited.
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, 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.
AbstractConditionExpr	getCondition()
int	getExpectedSuccessorCount()	Returns the amount of unexceptional successors the Stmt needs to have in the StmtGraph.
List<Stmt>	getTargetStmts(Body body)
Stream<Value>	getUses()	Returns a list of Values used in this Stmt.
String	toString()
void	toString(StmtPrinter stmtPrinter)
JIfStmt	withCondition(AbstractConditionExpr condition)
JIfStmt	withPositionInfo(StmtPositionInfo positionInfo)

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

asInvokableStmt, containsArrayRef, containsFieldRef, getArrayRef, getDef, getFieldRef, getPositionInfo, getUsesAndDefs, 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, containsArrayRef, containsFieldRef, getArrayRef, getDef, getFieldRef, getPositionInfo, getUsesAndDefs, isInvokableStmt, withNewUse

Field Details

FALSE_BRANCH_IDX

public static final int FALSE_BRANCH_IDX

See Also:

• Constant Field Values

TRUE_BRANCH_IDX

public static final int TRUE_BRANCH_IDX

See Also:

• Constant Field Values

Constructor Details

JIfStmt

public JIfStmt(@Nonnull
 AbstractConditionExpr condition,
 @Nonnull
 StmtPositionInfo positionInfo)

Method Details

toString

public String toString()

Overrides:

toString in class Object

toString

public void toString(@Nonnull
 StmtPrinter stmtPrinter)

Specified by:

toString in interface Stmt

getCondition

@Nonnull
public AbstractConditionExpr getCondition()

getTargetStmts

@Nonnull
public List<Stmt> getTargetStmts(@Nonnull
 Body body)

Specified by:

getTargetStmts in interface BranchingStmt

getExpectedSuccessorCount

public int getExpectedSuccessorCount()

Description copied from class: AbstractStmt

Returns the amount of unexceptional successors the Stmt needs to have in the StmtGraph.

Specified by:

getExpectedSuccessorCount in interface Stmt

Overrides:

getExpectedSuccessorCount in class AbstractStmt

getUses

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

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>

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

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 BranchingStmt

Specified by:

branches in interface Stmt

equivTo

public boolean equivTo(@Nonnull
 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

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

withCondition

@Nonnull
public JIfStmt withCondition(@Nonnull
 AbstractConditionExpr condition)

withPositionInfo

@Nonnull
public JIfStmt withPositionInfo(@Nonnull
 StmtPositionInfo positionInfo)