soot.shimple.internal
Interface SUnitBox

All Known Implementing Classes:
SValueUnitPair

public interface SUnitBox
extends UnitBox

Extension of UnitBox to provide some extra information needed by SPatchingChain.


Method Summary
 boolean isUnitChanged()
          Indicates whether the contents of the UnitBox may have been changed.
 void setUnitChanged(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, setBranchTarget, setUnit, toString
 

Method Detail

isUnitChanged

public 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

public 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()