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