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()
@Nullable Block	getSuccessor()
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, getType

Method Detail

getSuccessor

@Pure
@Nullable Block getSuccessor()

Returns:

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

getFlowRule

@Pure
Store.FlowRule getFlowRule()

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.