Package soot.shimple.internal
Interface SUnitBox
-
- All Superinterfaces:
Serializable,UnitBox
- All Known Implementing Classes:
SValueUnitPair
public interface SUnitBox extends UnitBox
Extension of UnitBox to provide some extra information needed by SPatchingChain.- Author:
- Navindra Umanee
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleanisUnitChanged()Indicates whether the contents of the UnitBox may have been changed.voidsetUnitChanged(boolean unitChanged)Updates the value of the flag used to indicate whether the contents of the UnitBox may have changed.-
Methods inherited from interface soot.UnitBox
canContainUnit, getUnit, isBranchTarget, setUnit, toString
-
-
-
-
Method Detail
-
isUnitChanged
boolean isUnitChanged()
Indicates whether the contents of the UnitBox may have been changed. Returns true if setUnit(Unit) has been called recently and was not followed by setUnitChanged(false).Needed for Shimple internal Unit chain patching.
-
setUnitChanged
void setUnitChanged(boolean unitChanged)
Updates the value of the flag used to indicate whether the contents of the UnitBox may have changed.Needed for Shimple internal Unit chain patching.
- See Also:
isUnitChanged()
-
-