org.checkerframework.framework.flow

Class CFCFGBuilder

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder

org.checkerframework.framework.flow.CFCFGBuilder

public class CFCFGBuilder
extends CFGBuilder

A control-flow graph builder (see CFGBuilder) that knows about the Checker Framework annotations and their representation as AnnotatedTypeMirrors.

Author:

Stefan Heule

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	CFCFGBuilder.CFCFGTranslationPhaseOne

Nested classes/interfaces inherited from class org.checkerframework.dataflow.cfg.CFGBuilder

CFGBuilder.CFGTranslationPhaseOne, CFGBuilder.CFGTranslationPhaseThree, CFGBuilder.CFGTranslationPhaseTwo, CFGBuilder.ConditionalJump, CFGBuilder.ExtendedNode, CFGBuilder.Label, CFGBuilder.NodeHolder, CFGBuilder.NodeWithExceptionsHolder, CFGBuilder.PhaseOneResult, CFGBuilder.TryCatchFrame, CFGBuilder.TryFinallyFrame, CFGBuilder.TryFrame, CFGBuilder.TryStack, CFGBuilder.Tuple<A,B,C>, CFGBuilder.UnconditionalJump

Field Summary

Fields

Modifier and Type	Field and Description
protected BaseTypeChecker	checker The associated checker.
protected AnnotatedTypeFactory	factory Type factory to provide types used during CFG building.

Fields inherited from class org.checkerframework.dataflow.cfg.CFGBuilder

assumeAssertionsDisabled, assumeAssertionsEnabled, declaredClasses, declaredLambdas, exceptionalExitLabel, regularExitLabel

Constructor Summary

Constructors

Constructor and Description
CFCFGBuilder(BaseTypeChecker checker, AnnotatedTypeFactory factory)

Method Summary

Modifier and Type	Method and Description
static boolean	assumeAssertionsActivatedForAssertTree(SourceChecker checker, AssertTree tree)
ControlFlowGraph	run(CompilationUnitTree root, ProcessingEnvironment env, UnderlyingAST underlyingAST) Build the control flow graph of some code.

Methods inherited from class org.checkerframework.dataflow.cfg.CFGBuilder

build, build, build, build, build, getDeclaredClasses, getDeclaredLambdas, printBlocks, run, run

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

checker

protected final BaseTypeChecker checker

The associated checker.

factory

protected final AnnotatedTypeFactory factory

Type factory to provide types used during CFG building.

Constructor Detail

CFCFGBuilder

public CFCFGBuilder(BaseTypeChecker checker,
                    AnnotatedTypeFactory factory)

Method Detail

run

public ControlFlowGraph run(CompilationUnitTree root,
                            ProcessingEnvironment env,
                            UnderlyingAST underlyingAST)

Build the control flow graph of some code.

Overrides:

run in class CFGBuilder

assumeAssertionsActivatedForAssertTree

public static boolean assumeAssertionsActivatedForAssertTree(SourceChecker checker,
                                                             AssertTree tree)