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.

Author:

Stefan Heule

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()
Block.BlockType	getType()

Method Detail

getType

Block.BlockType getType()

Returns:

the type of this basic block

getId

long getId()

Returns:

the unique identifier of this block