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
 

Author:

Stefan Heule

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
java.util.List<Node>	getContents()
Block	getRegularSuccessor()
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, getType

Method Detail

getContents

java.util.List<Node> getContents()

Returns:

the unmodifiable sequence of Nodes.

getRegularSuccessor

Block getRegularSuccessor()

Returns:

the regular successor block

isEmpty

boolean isEmpty()

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