Package org.checkerframework.dataflow.cfg.builder

Interface CFGTranslationPhaseThree.PredecessorHolder

Enclosing class:
CFGTranslationPhaseThree
protected static interface CFGTranslationPhaseThree.PredecessorHolder
A simple wrapper object that holds a basic block and allows to set one of its successors.

  • Method Details

    • setSuccessor

      void setSuccessor(BlockImpl b)
      Sets the successor.
      Parameters:
      b - the new successor

    • getBlock

      BlockImpl getBlock()
      Returns the block.
      Returns:
      the block