soot.jimple.internal
Class JIfStmt

java.lang.Object
  |
  +--soot.tagkit.AbstractHost
        |
        +--soot.AbstractUnit
              |
              +--soot.jimple.internal.AbstractStmt
                    |
                    +--soot.jimple.internal.JIfStmt
Direct Known Subclasses:
GIfStmt

public class JIfStmt
extends AbstractStmt
implements IfStmt

See Also:
Serialized Form

Fields inherited from class soot.AbstractUnit
emptyList
 
Constructor Summary
protected JIfStmt(ValueBox conditionBox, UnitBox targetBox)
           
  JIfStmt(Value condition, Unit target)
           
  JIfStmt(Value condition, UnitBox target)
           
 
Method Summary
 void apply(Switch sw)
          Called when this object is visited.
 boolean branches()
          Returns true if execution after this statement does not necessarily continue at the following statement.
 java.lang.Object clone()
          Returns a deep clone of this object.
 void convertToBaf(JimpleToBafContext context, java.util.List out)
           
 boolean fallsThrough()
          Returns true if execution after this statement may continue at the following statement.
 Value getCondition()
           
 ValueBox getConditionBox()
           
 Stmt getTarget()
           
 UnitBox getTargetBox()
           
 java.util.List getUnitBoxes()
          Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
 java.util.List getUseBoxes()
          Returns a list of Boxes containing Values used in this Unit.
 void setCondition(Value condition)
          condition must be soot.jimple.ConditionExpr
 void setTarget(Unit target)
           
 java.lang.String toString()
           
 void toString(UnitPrinter up)
           
 
Methods inherited from class soot.jimple.internal.AbstractStmt
containsArrayRef, containsFieldRef, containsInvokeExpr, getArrayRef, getArrayRefBox, getFieldRef, getFieldRefBox, getInvokeExpr, getInvokeExprBox
 
Methods inherited from class soot.AbstractUnit
addBoxPointingToThis, clearUnitBoxes, getBoxesPointingToThis, getDefBoxes, getUseAndDefBoxes, redirectJumpsToThisTo, removeBoxPointingToThis
 
Methods inherited from class soot.tagkit.AbstractHost
addAllTagsOf, addTag, getTag, getTags, hasTag, removeAllTags, removeTag
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JIfStmt

public JIfStmt(Value condition,
               Unit target)

JIfStmt

public JIfStmt(Value condition,
               UnitBox target)

JIfStmt

protected JIfStmt(ValueBox conditionBox,
                  UnitBox targetBox)
Method Detail

clone

public java.lang.Object clone()
Description copied from class: AbstractUnit
Returns a deep clone of this object.
Overrides:
clone in class AbstractUnit

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

toString

public void toString(UnitPrinter up)

getCondition

public Value getCondition()
Specified by:
getCondition in interface IfStmt

setCondition

public void setCondition(Value condition)
Description copied from interface: IfStmt
condition must be soot.jimple.ConditionExpr
Specified by:
setCondition in interface IfStmt

getConditionBox

public ValueBox getConditionBox()
Specified by:
getConditionBox in interface IfStmt

getTarget

public Stmt getTarget()
Specified by:
getTarget in interface IfStmt

setTarget

public void setTarget(Unit target)
Specified by:
setTarget in interface IfStmt

getTargetBox

public UnitBox getTargetBox()
Specified by:
getTargetBox in interface IfStmt

getUseBoxes

public java.util.List getUseBoxes()
Description copied from interface: Unit
Returns a list of Boxes containing Values used in this Unit.
Overrides:
getUseBoxes in class AbstractUnit

getUnitBoxes

public java.util.List getUnitBoxes()
Description copied from interface: Unit
Returns a list of Boxes containing Units defined in this Unit; typically branch targets.
Overrides:
getUnitBoxes in class AbstractUnit

apply

public void apply(Switch sw)
Description copied from interface: Switchable
Called when this object is visited.
Overrides:
apply in class AbstractUnit

convertToBaf

public void convertToBaf(JimpleToBafContext context,
                         java.util.List out)
Overrides:
convertToBaf in class AbstractStmt

fallsThrough

public boolean fallsThrough()
Description copied from interface: Unit
Returns true if execution after this statement may continue at the following statement. GotoStmt will return false but IfStmt will return true.

branches

public boolean branches()
Description copied from interface: Unit
Returns true if execution after this statement does not necessarily continue at the following statement. GotoStmt and IfStmt will both return true.