public interface Unit extends Switchable, Host, java.io.Serializable, Context
Modifier and Type | Method and Description |
---|---|
void |
addBoxPointingToThis(UnitBox b)
Adds a box to the list returned by getBoxesPointingToThis.
|
boolean |
branches()
Returns true if execution after this statement does not necessarily continue at the following statement.
|
void |
clearUnitBoxes()
Clears any pointers to and from this Unit's UnitBoxes.
|
java.lang.Object |
clone() |
boolean |
fallsThrough()
Returns true if execution after this statement may continue at the following statement.
|
java.util.List<UnitBox> |
getBoxesPointingToThis()
Returns a list of Boxes pointing to this Unit.
|
java.util.List<ValueBox> |
getDefBoxes()
Returns a list of Boxes containing Values defined in this Unit.
|
java.util.List<UnitBox> |
getUnitBoxes()
Returns a list of Boxes containing Units defined in this Unit; typically
branch targets.
|
java.util.List<ValueBox> |
getUseAndDefBoxes()
Returns a list of Boxes containing any Value either used or defined
in this Unit.
|
java.util.List<ValueBox> |
getUseBoxes()
Returns a list of Boxes containing Values used in this Unit.
|
void |
redirectJumpsToThisTo(Unit newLocation)
Redirects jumps to this Unit to newLocation.
|
void |
removeBoxPointingToThis(UnitBox b)
Removes a box from the list returned by getBoxesPointingToThis.
|
void |
toString(UnitPrinter up) |
apply
addAllTagsOf, addTag, getJavaSourceStartColumnNumber, getJavaSourceStartLineNumber, getTag, getTags, hasTag, removeAllTags, removeTag
java.util.List<ValueBox> getUseBoxes()
java.util.List<ValueBox> getDefBoxes()
java.util.List<UnitBox> getUnitBoxes()
java.util.List<UnitBox> getBoxesPointingToThis()
void addBoxPointingToThis(UnitBox b)
void removeBoxPointingToThis(UnitBox b)
void clearUnitBoxes()
java.util.List<ValueBox> getUseAndDefBoxes()
java.lang.Object clone()
boolean fallsThrough()
boolean branches()
void toString(UnitPrinter up)
void redirectJumpsToThisTo(Unit newLocation)
PatchingChain.getNonPatchingChain()
,
soot.shimple.Shimple#redirectToPreds(Chain, Unit)
,
Shimple.redirectPointers(Unit, Unit)