SpecialBlock (checker-framework 3.39.0-eisop1 API)

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 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
  
  All Methods Instance Methods Abstract Methods
  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 Detail
  - getSpecialType
```
SpecialBlock.SpecialBlockType getSpecialType()
```
    Returns the type of this special basic block.
    
    Returns:
    
    the type of this special basic block