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
Blockimplementation hierarchy.Represents a conditional basic block.Implementation of a conditional basic block.Represents a basic block that contains exactly oneNodewhich can throw an exception.Implementation ofExceptionBlock.A regular basic block that contains a sequence ofNodes.Implementation of a regular basic block.A basic block that has exactly one non-exceptional 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.