Package org.checkerframework.dataflow.cfg.block

Interface SingleSuccessorBlock

All Superinterfaces:

Block, org.plumelib.util.UniqueId

All Known Subinterfaces:

ExceptionBlock, RegularBlock, SpecialBlock

All Known Implementing Classes:

ExceptionBlockImpl, RegularBlockImpl, SingleSuccessorBlockImpl, SpecialBlockImpl

public interface SingleSuccessorBlock
extends Block

A basic block that has 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	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

getLastNode, getNodes, getPredecessors, getSuccessors, getType

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

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.

Parameters:

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