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
Method Summary |
void |
apply(Switch sw)
Called when this object is visited. |
boolean |
branches()
Returns true if execution after this statement is not 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)
|
void |
setTarget(Unit target)
|
java.lang.String |
toString()
Returns a textual representation of this object. |
protected java.lang.String |
toString(boolean isBrief,
java.util.Map stmtToName,
java.lang.String indentation)
Returns a textual representation of this object, with the given briefness, Map and indentation. |
Methods inherited from class soot.AbstractUnit |
getBoxesPointingToThis,
getDefBoxes,
getUseAndDefBoxes,
redirectJumpsToThisTo,
toBriefString,
toBriefString,
toBriefString,
toBriefString,
toString,
toString,
toString |
Methods inherited from class java.lang.Object |
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
JIfStmt
public JIfStmt(Value condition,
Unit target)
JIfStmt
public JIfStmt(Value condition,
UnitBox target)
JIfStmt
protected JIfStmt(ValueBox conditionBox,
UnitBox targetBox)
clone
public java.lang.Object clone()
- Description copied from class: AbstractUnit
- Returns a deep clone of this object.
- Overrides:
- clone in class AbstractUnit
toString
protected java.lang.String toString(boolean isBrief,
java.util.Map stmtToName,
java.lang.String indentation)
- Description copied from class: AbstractUnit
- Returns a textual representation of this object, with the given briefness, Map and indentation.
- Overrides:
- toString in class AbstractUnit
toString
public java.lang.String toString()
- Description copied from class: AbstractUnit
- Returns a textual representation of this object.
- Overrides:
- toString in class AbstractUnit
getCondition
public Value getCondition()
- Specified by:
- getCondition in interface IfStmt
setCondition
public void setCondition(Value condition)
- 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.
branches
public boolean branches()
- Description copied from interface: Unit
- Returns true if execution after this statement is not the following statement.