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.

Author:

Stefan Heule

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

@Nullable Block getSuccessor()

Returns:

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

getFlowRule

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.