Package soot

Interface UnitBox

    • 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.