org.checkerframework.dataflow.cfg.block

Interface SingleSuccessorBlock

All Superinterfaces:

Block

All Known Subinterfaces:

ExceptionBlock, RegularBlock, SpecialBlock

All Known Implementing Classes:

ExceptionBlockImpl, RegularBlockImpl, SingleSuccessorBlockImpl, SpecialBlockImpl

public interface SingleSuccessorBlock
extends Block

A basic block that has at exactly one non-exceptional successor.

Nested Class Summary

Nested classes/interfaces inherited from interface org.checkerframework.dataflow.cfg.block.Block

Block.BlockType

Method Summary

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 non-exceptional successor.
void	setFlowRule(Store.FlowRule rule) Set the flow rule for information flowing from this block to its successor.

Methods inherited from interface org.checkerframework.dataflow.cfg.block.Block

getId, getLastNode, getNodes, getPredecessors, getSuccessors, getType

Method Detail

getSuccessor

@Pure
@Nullable Block getSuccessor()

Returns the non-exceptional successor block, or null if there is no non-exceptional successor.

Returns:

the non-exceptional successor block, or null if there is no non-exceptional successor

getFlowRule

@Pure
Store.FlowRule getFlowRule()

Returns the flow rule for information flowing from this block to its successor.

Returns:

the flow rule for information flowing from this block to its successor

setFlowRule

void setFlowRule(Store.FlowRule rule)

Set the flow rule for information flowing from this block to its successor.