soot

Interface UnitBox

All Superinterfaces:

java.io.Serializable

All Known Subinterfaces:

SUnitBox

All Known Implementing Classes:

AbstractUnitBox, StmtBox, SValueUnitPair, ValueUnitPair

public interface UnitBox
extends java.io.Serializable

A box which can contain units.

See Also:

Unit

Method Summary

Modifier and Type	Method and Description
boolean	canContainUnit(Unit u) Returns true if this box can contain the given Unit.
Unit	getUnit() Returns the unit contained within this box.
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).
void	setUnit(Unit u) Sets this box to contain the given unit.
void	toString(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)