org.checkerframework.dataflow.cfg.block

Interface RegularBlock

All Superinterfaces:

Block, SingleSuccessorBlock

All Known Implementing Classes:

RegularBlockImpl

public interface RegularBlock
extends SingleSuccessorBlock

A regular basic block that contains a sequence of Nodes.

The following invariant holds.

 forall n in getContents() :: n.getBlock() == this
 

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() Returns the unmodifiable sequence of Nodes.
@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

getId, getPredecessors, getType

Method Detail

getContents

@Pure
List<Node> getContents()

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