Package org.checkerframework.dataflow.cfg.block

Interface Block

All Superinterfaces:

org.plumelib.util.UniqueId

All Known Subinterfaces:

ConditionalBlock, ExceptionBlock, RegularBlock, SingleSuccessorBlock, SpecialBlock

All Known Implementing Classes:

BlockImpl, ConditionalBlockImpl, ExceptionBlockImpl, RegularBlockImpl, SingleSuccessorBlockImpl, SpecialBlockImpl

public interface Block
extends org.plumelib.util.UniqueId

Represents a basic block in a control flow graph.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	Block.BlockType	The types of basic blocks.

Method Summary

Modifier and Type	Method	Description
@Nullable Node	getLastNode()	Returns the last node of this block, or null if none.
List<Node>	getNodes()	Returns the nodes contained within this basic block.
Set<Block>	getPredecessors()	Returns the predecessors of this basic block.
Set<Block>	getSuccessors()	Returns the successors of this basic block.
Block.BlockType	getType()	Returns the type of this basic block.

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

Method Details

getType

Block.BlockType getType()

Returns the type of this basic block.

Returns:

the type of this basic block

getPredecessors

Set<Block> getPredecessors()

Returns the predecessors of this basic block.

Returns:

the predecessors of this basic block

getSuccessors

Set<Block> getSuccessors()

Returns the successors of this basic block.

Returns:

the successors of this basic block

getNodes

@Pure
List<Node> getNodes()

Returns the nodes contained within this basic block. The list may be empty.

The following invariant holds.

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

Returns:

the nodes contained within this basic block

getLastNode

@Nullable Node getLastNode()

Returns the last node of this block, or null if none.

Returns:

the last node of this block or null