org.checkerframework.dataflow.cfg.block

Interface Block

All Known Subinterfaces:

ConditionalBlock, ExceptionBlock, RegularBlock, SingleSuccessorBlock, SpecialBlock

All Known Implementing Classes:

BlockImpl, ConditionalBlockImpl, ExceptionBlockImpl, RegularBlockImpl, SingleSuccessorBlockImpl, SpecialBlockImpl

public interface Block

Represents a basic block in a control flow graph.

Nested Class Summary

Nested Classes

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

Method Summary

Modifier and Type	Method and Description
long	getId() Returns the unique identifier of this block.
@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.

Method Detail

getType

Block.BlockType getType()

Returns the type of this basic block.

Returns:

the type of this basic block

getId

long getId()

Returns the unique identifier of this block.

Returns:

the unique identifier of this 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