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.
Set<BlockImpl>	getPredecessors() Returns the predecessors 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<BlockImpl> getPredecessors()

Returns the predecessors of this basic block.

Returns:

the predecessors of this basic block