public interface SingleSuccessorBlock extends Block
Block.BlockType
Modifier and Type | Method and Description |
---|---|
Store.FlowRule |
getFlowRule()
Returns the flow rule for information flowing from this block to its successor.
|
@Nullable Block |
getSuccessor()
Returns the non-exceptional successor block, or
null if there is no successor. |
void |
setFlowRule(Store.FlowRule rule)
Set the flow rule for information flowing from this block to its successor.
|
getId, getPredecessors, getType
@Pure @Nullable Block getSuccessor()
null
if there is no successor.null
if there is no successor@Pure Store.FlowRule getFlowRule()
void setFlowRule(Store.FlowRule rule)