soot.shimple.internal

Interface SUnitBox

All Superinterfaces:

java.io.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

Methods

Modifier and Type	Method and Description
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, 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()