org.checkerframework.dataflow.cfg

Interface CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder

Enclosing class:

CFGBuilder.CFGTranslationPhaseThree

protected static interface CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder

A simple wrapper object that holds a basic block and allows to set one of its successors.

Method Summary

Modifier and Type	Method and Description
BlockImpl	getBlock()
void	setSuccessor(BlockImpl b)

Method Detail

setSuccessor

void setSuccessor(BlockImpl b)

getBlock

BlockImpl getBlock()