Search Java Classes and Packages
#Org.checkerframework.dataflow.cfg.block Classes and Interfaces - 14 results found.
| Name | Description | Type | Package | Framework |
| Block | Represents a basic block in a control flow graph. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| Block .BlockType | The types of basic blocksA conditional basic block. | Class | org.checkerframework.dataflow.cfg.block | Checker |
| BlockImpl | Base class of the Block implementation hierarchy. | Class | org.checkerframework.dataflow.cfg.block | Checker |
| ConditionalBlock | Interface | org.checkerframework.dataflow.cfg.block | Checker | |
| ConditionalBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| ExceptionBlock | Represents a basic block that contains exactly one Node which can throw an exception. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| ExceptionBlockImpl | Base class of the Block implementation hierarchy. | Class | org.checkerframework.dataflow.cfg.block | Checker |
| RegularBlock | A regular basic block that contains a sequence of Nodes. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| RegularBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| SingleSuccessorBlock | A basic block that has at exactly one non-exceptional successor. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| SingleSuccessorBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |
| SpecialBlock | Represents a special basic block; i. | Interface | org.checkerframework.dataflow.cfg.block | Checker |
| SpecialBlock .SpecialBlockType | The types of special basic blocksThe entry block of a method | Class | org.checkerframework.dataflow.cfg.block | Checker |
| SpecialBlockImpl | Class | org.checkerframework.dataflow.cfg.block | Checker | |