Package soot
Interface UnitBox
-
- All Superinterfaces:
Serializable
- All Known Subinterfaces:
SUnitBox
- All Known Implementing Classes:
AbstractUnitBox,StmtBox,SValueUnitPair,ValueUnitPair
public interface UnitBox extends Serializable
A box which can contain units.- See Also:
Unit
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description booleancanContainUnit(Unit u)Returns true if this box can contain the given Unit.UnitgetUnit()Returns the unit contained within this box.booleanisBranchTarget()Returns true if the UnitBox is holding a Unit that is the target of a branch (ie a Unit at the beginning of a CFG block).voidsetUnit(Unit u)Sets this box to contain the given unit.voidtoString(UnitPrinter up)
-
-
-
Method Detail
-
setUnit
void setUnit(Unit u)
Sets this box to contain the given unit. Subject to canContainValue() checks.
-
getUnit
Unit getUnit()
Returns the unit contained within this box.
-
canContainUnit
boolean canContainUnit(Unit u)
Returns true if this box can contain the given Unit.
-
isBranchTarget
boolean isBranchTarget()
Returns true if the UnitBox is holding a Unit that is the target of a branch (ie a Unit at the beginning of a CFG block). This is the default case.Returns false if the UnitBox is holding a Unit that indicates the end of a CFG block and may require specialised processing for SSA.
-
toString
void toString(UnitPrinter up)
-
-