Package 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	Description
protected static class	CFCFGBuilder.CFCFGTranslationPhaseOne	A specialized phase-one CFG builder, with a few modifications that make use of the type factory.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
static boolean	assumeAssertionsActivatedForAssertTree(BaseTypeChecker checker, AssertTree tree)	Given a SourceChecker and an AssertTree, returns whether the AssertTree uses an @AssumeAssertion string that is relevant to the SourceChecker.
static ControlFlowGraph	build(CompilationUnitTree root, UnderlyingAST underlyingAST, BaseTypeChecker checker, AnnotatedTypeFactory atypeFactory, 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 Details

CFCFGBuilder

protected CFCFGBuilder()

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

Method Details

build

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

Build the control flow graph of some code.

assumeAssertionsActivatedForAssertTree

public static boolean assumeAssertionsActivatedForAssertTree(BaseTypeChecker checker,
 AssertTree tree)

Given a SourceChecker and an AssertTree, returns whether the AssertTree uses an @AssumeAssertion string that is relevant to the SourceChecker.

Parameters:

checker - the checker

tree - an assert tree

Returns:

true if the assert tree contains an @AssumeAssertion(checker) message string for any subchecker of the given checker's ultimate parent checker