Package org.checkerframework.dataflow.cfg.builder
package org.checkerframework.dataflow.cfg.builder
-
ClassDescriptionBuilds the control flow graph of some Java code (either a method, or an arbitrary statement).Class that performs phase one of the translation process.Holds the elements of an
AssertMethodannotation.Class that performs phase three of the translation process.A simple wrapper object that holds a basic block and allows to set one of its successors.Class that performs phase two of the translation process.An extended node of typeExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP.An extended node can be one of several things (depending on itstype): NODE:NodeHolder.Extended node types (description see above).A label is used to refer to other extended nodes using a mapping from labels to extended nodes.A wrapper object to pass around the result of phase one.