public class CFCFGBuilder extends CFGBuilder
CFGBuilder
) that knows about the Checker Framework
annotations and their representation as AnnotatedTypeMirror
s.Modifier and Type | Class and Description |
---|---|
protected static class |
CFCFGBuilder.CFCFGTranslationPhaseOne |
CFGBuilder.CFGTranslationPhaseOne, CFGBuilder.CFGTranslationPhaseThree, CFGBuilder.CFGTranslationPhaseTwo, CFGBuilder.ConditionalJump, CFGBuilder.ExtendedNode, CFGBuilder.Label, CFGBuilder.NodeHolder, CFGBuilder.NodeWithExceptionsHolder, CFGBuilder.PhaseOneResult, CFGBuilder.TryCatchFrame, CFGBuilder.TryFinallyFrame, CFGBuilder.TryFinallyScopeCell, CFGBuilder.TryFinallyScopeMap, CFGBuilder.TryFrame, CFGBuilder.TryStack, CFGBuilder.Tuple<A,B,C>, CFGBuilder.UnconditionalJump
Modifier | Constructor and Description |
---|---|
protected |
CFCFGBuilder()
This class should never be instantiated.
|
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.
|
build, build, build, build, extendedNodeCollectionToStringDebug, printBlocks
protected CFCFGBuilder()
public static ControlFlowGraph build(CompilationUnitTree root, UnderlyingAST underlyingAST, BaseTypeChecker checker, AnnotatedTypeFactory factory, ProcessingEnvironment env)
public static boolean assumeAssertionsActivatedForAssertTree(SourceChecker checker, AssertTree tree)