Package org.checkerframework.dataflow.cfg.block

Interface RegularBlock

All Superinterfaces:

Block, SingleSuccessorBlock, org.plumelib.util.UniqueId

All Known Implementing Classes:

RegularBlockImpl

public interface RegularBlock
extends SingleSuccessorBlock

A regular basic block that contains a sequence of Nodes.

Nested Class Summary

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

Block.BlockType

Method Summary

Modifier and Type	Method	Description
@Nullable Block	getRegularSuccessor()	Returns the regular successor block.
boolean	isEmpty()	Is this block empty (i.e., does it not contain any contents).

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

getLastNode, getNodes, getPredecessors, getSuccessors, getType

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

getFlowRule, getSuccessor, setFlowRule

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

Method Details

getRegularSuccessor

@Pure
@Nullable Block getRegularSuccessor()

Returns the regular successor block.

Returns:

the regular successor block

isEmpty

@Pure
boolean isEmpty()

Is this block empty (i.e., does it not contain any contents).