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.

Author:

Stefan Heule

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()

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

getFlowRule, getSuccessor, setFlowRule

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

getId, getType

Method Detail

getSpecialType

SpecialBlock.SpecialBlockType getSpecialType()

Returns:

the type of this special basic block