CFGTranslationPhaseThree.PredecessorHolder (checker-framework 3.39.0-eisop1 API)

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 Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  BlockImpl getBlock()
  
  void setSuccessor(BlockImpl b)

Method Detail

setSuccessor
```
void setSuccessor(BlockImpl b)
```

getBlock
```
BlockImpl getBlock()
```