org.checkerframework.framework.flow

Class CFCFGBuilder

java.lang.Object

org.checkerframework.dataflow.cfg.builder.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.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	CFCFGBuilder.CFCFGTranslationPhaseOne

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	CFCFGBuilder() This class should never be instantiated.

Method Summary

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

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

build, build, build, build, extendedNodeCollectionToStringDebug, printBlocks

Methods inherited from class java.lang.Object

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

Constructor Detail

CFCFGBuilder

protected CFCFGBuilder()

This class should never be instantiated. Protected to still allow subclasses.

Method Detail

build

public static ControlFlowGraph build(CompilationUnitTree root,
                                     UnderlyingAST underlyingAST,
                                     BaseTypeChecker checker,
                                     AnnotatedTypeFactory factory,
                                     ProcessingEnvironment env)

Build the control flow graph of some code.

assumeAssertionsActivatedForAssertTree

public static boolean assumeAssertionsActivatedForAssertTree(SourceChecker checker,
                                                             AssertTree tree)