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
List<Node>	getContents() Deprecated. use Block.getNodes() instead
@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

getContents

@Deprecated
 @Pure
List<Node> getContents()

Deprecated. use Block.getNodes() instead

Returns the unmodifiable sequence of Nodes.

Returns:

the unmodifiable sequence of Nodes

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