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 and 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.SingleSuccessorBlock

getFlowRule, getSuccessor, setFlowRule

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

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).