Package org.checkerframework.dataflow.cfg.block
package org.checkerframework.dataflow.cfg.block

ClassDescriptionRepresents a basic block in a control flow graph.The types of basic blocks.Base class of the
Block
implementation hierarchy.Represents a conditional basic block.Implementation of a conditional basic block.Represents a basic block that contains exactly oneNode
which can throw an exception.Implementation ofExceptionBlock
.A regular basic block that contains a sequence ofNode
s.Implementation of a regular basic block.A basic block that has exactly one nonexceptional successor.A basic block that has at most one successor.Represents a special basic block; i.e., one of the following: Entry block of a method.The types of special basic blocks.The implementation of aSpecialBlock
.