org.checkerframework.framework.flow

Class CFCFGBuilder.CFCFGTranslationPhaseOne

java.lang.Object

com.sun.source.util.TreeScanner<R,P>

com.sun.source.util.TreePathScanner<Node,Void>

org.checkerframework.dataflow.cfg.builder.CFGTranslationPhaseOne

org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne

All Implemented Interfaces:

TreeVisitor<Node,Void>

Enclosing class:

CFCFGBuilder

protected static class CFCFGBuilder.CFCFGTranslationPhaseOne
extends CFGTranslationPhaseOne

A specialized phase-one CFG builder, with a few modifications that make use of the type factory. It is responsible for: 1) translating foreach loops so that the declarations of their iteration variables have the right annotations, 2) registering the containing elements of artificial trees with the relevant type factories, and 3) generating appropriate assertion CFG structure in the presence of @AssumeAssertion assertion strings which mention the checker or its supercheckers.

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.builder.CFGTranslationPhaseOne

ea, treeBuilder, uid

Constructor Summary

Constructors

Constructor and Description
CFCFGTranslationPhaseOne(CFTreeBuilder builder, BaseTypeChecker checker, AnnotatedTypeFactory factory, boolean assumeAssertionsEnabled, boolean assumeAssertionsDisabled, ProcessingEnvironment env)

Method Summary

Modifier and Type	Method and Description
protected boolean	assumeAssertionsEnabledFor(AssertTree tree) Should assertions be assumed to be executed for a given AssertTree? False by default.
protected VariableTree	createEnhancedForLoopArrayVariable(ExpressionTree expression, VariableElement variableElement)
protected VariableTree	createEnhancedForLoopIteratorVariable(MethodInvocationTree iteratorCall, VariableElement variableElement)
void	handleArtificialTree(Tree tree) Perform any actions required when CFG translation creates a new Tree that is not part of the original AST.

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

addLabelForNextNode, addToConvertedLookupMap, addToConvertedLookupMap, addToLookupMap, addToUnaryAssignLookupMap, assignConvert, binaryNumericPromotion, binaryPromotedType, box, commonConvert, conditionalExprPromotion, conversionRequiresNarrowing, convertCallArguments, extendWithClassNameNode, extendWithExtendedNode, extendWithNode, extendWithNodeWithException, extendWithNodeWithExceptions, getAssertionsEnabledVariable, getLabel, insertExtendedNodeAfter, insertNodeAfter, insertNodeWithExceptionsAfter, isNumericOrBoxed, methodInvocationConvert, narrow, narrowAndBox, process, process, scan, stringConversion, translateAssertWithAssertionsEnabled, translateAssignment, translateAssignment, unaryNumericPromotion, unbox, uniqueName, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSwitchExpression17, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard, visitYield17, widen, withoutAssignment

Methods inherited from class com.sun.source.util.TreePathScanner

getCurrentPath, scan

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitExports, visitIntersectionType, visitModule, visitOpens, visitPackage, visitProvides, visitRequires, visitUses

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

CFCFGTranslationPhaseOne

public CFCFGTranslationPhaseOne(CFTreeBuilder builder,
                                BaseTypeChecker checker,
                                AnnotatedTypeFactory factory,
                                boolean assumeAssertionsEnabled,
                                boolean assumeAssertionsDisabled,
                                ProcessingEnvironment env)

Method Detail

assumeAssertionsEnabledFor

protected boolean assumeAssertionsEnabledFor(AssertTree tree)

Description copied from class: CFGTranslationPhaseOne

Should assertions be assumed to be executed for a given AssertTree? False by default.

Overrides:

assumeAssertionsEnabledFor in class CFGTranslationPhaseOne

handleArtificialTree

public void handleArtificialTree(Tree tree)

Description copied from class: CFGTranslationPhaseOne

Perform any actions required when CFG translation creates a new Tree that is not part of the original AST.

Overrides:

handleArtificialTree in class CFGTranslationPhaseOne

Parameters:

tree - the newly created Tree

createEnhancedForLoopIteratorVariable

protected VariableTree createEnhancedForLoopIteratorVariable(MethodInvocationTree iteratorCall,
                                                             VariableElement variableElement)

Overrides:

createEnhancedForLoopIteratorVariable in class CFGTranslationPhaseOne

createEnhancedForLoopArrayVariable

protected VariableTree createEnhancedForLoopArrayVariable(ExpressionTree expression,
                                                          VariableElement variableElement)

Overrides:

createEnhancedForLoopArrayVariable in class CFGTranslationPhaseOne