Package org.checkerframework.dataflow.cfg.block

Interface SpecialBlock

All Superinterfaces:

Block, SingleSuccessorBlock, org.plumelib.util.UniqueId

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	Description
static enum	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	Description
SpecialBlock.SpecialBlockType	getSpecialType()	Returns the type of this special basic block.

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

getLastNode, getNodes, getPredecessors, getSuccessors, getType

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

getFlowRule, getSuccessor, setFlowRule

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

Method Details

getSpecialType

SpecialBlock.SpecialBlockType getSpecialType()

Returns the type of this special basic block.

Returns:

the type of this special basic block