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.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 type
ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP.A wrapper object to pass around the result of phase one.