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

getLastNode, getNodes, getPredecessors, getSuccessors, getType

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

Method Detail

getSpecialType

SpecialBlock.SpecialBlockType getSpecialType()

Returns the type of this special basic block.

Returns:

the type of this special basic block