org.checkerframework.dataflow.cfg.block

Interface SpecialBlock

All Superinterfaces:

Block, SingleSuccessorBlock

All Known Implementing Classes:

SpecialBlockImpl

public interface SpecialBlock
extends SingleSuccessorBlock

Represents a special basic block; i.e., one of the following:

• Entry block of a method.
• Regular exit block of a method.
• Exceptional exit block of a method.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	SpecialBlock.SpecialBlockType The types of special basic blocks.

Nested classes/interfaces inherited from interface org.checkerframework.dataflow.cfg.block.Block

Block.BlockType

Method Summary

Modifier and Type	Method and Description
SpecialBlock.SpecialBlockType	getSpecialType() Returns the type of this special basic block.

Methods inherited from interface org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock

getFlowRule, getSuccessor, setFlowRule

Methods inherited from interface org.checkerframework.dataflow.cfg.block.Block

getId, getPredecessors, getType

Method Detail

getSpecialType

SpecialBlock.SpecialBlockType getSpecialType()

Returns the type of this special basic block.

Returns:

the type of this special basic block