org.checkerframework.framework.flow

Class CFCFGBuilder.CFCFGTranslationPhaseOne

java.lang.Object

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

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

org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne

All Implemented Interfaces:

TreeVisitor<Node,java.lang.Void>

Enclosing class:

CFCFGBuilder

protected static class CFCFGBuilder.CFCFGTranslationPhaseOne
extends CFGBuilder.CFGTranslationPhaseOne

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

annotationProvider, assumeAssertionsDisabled, assumeAssertionsEnabled, bindings, breakLabels, breakTargetL, continueLabels, continueTargetL, convertedTreeLookupMap, declaredClasses, declaredLambdas, ea, elements, env, exceptionalExitLabel, leaders, nodeList, regularExitLabel, returnTargetL, treeBuilder, treeLookupMap, trees, types, uid, unaryAssignNodeLookupMap

Constructor Summary

Constructors

Constructor and Description
CFCFGTranslationPhaseOne(CFTreeBuilder builder, BaseTypeChecker checker, AnnotatedTypeFactory factory, boolean assumeAssertionsEnabled, boolean assumeAssertionsDisabled, javax.annotation.processing.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, javax.lang.model.element.VariableElement variableElement)
protected VariableTree	createEnhancedForLoopIteratorVariable(MethodInvocationTree iteratorCall, javax.lang.model.element.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.CFGBuilder.CFGTranslationPhaseOne

addLabelForNextNode, addToConvertedLookupMap, addToConvertedLookupMap, addToLookupMap, addToUnaryAssignLookupMap, assignConvert, binaryNumericPromotion, binaryPromotedType, box, commonConvert, conditionalExprPromotion, conversionRequiresNarrowing, convertCallArguments, extendWithExtendedNode, extendWithNode, extendWithNodeWithException, extendWithNodeWithExceptions, getAssertionsEnabledVariable, getLabel, insertExtendedNodeAfter, insertNodeAfter, insertNodeWithExceptionsAfter, isNumericOrBoxed, methodInvocationConvert, narrow, narrowAndBox, process, process, 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, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard, widen, withoutAssignment

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

getCurrentPath, scan, scan

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

reduce, scan, visitIntersectionType

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,
                                javax.annotation.processing.ProcessingEnvironment env)

Method Detail

assumeAssertionsEnabledFor

protected boolean assumeAssertionsEnabledFor(AssertTree tree)

Description copied from class: CFGBuilder.CFGTranslationPhaseOne

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

Overrides:

assumeAssertionsEnabledFor in class CFGBuilder.CFGTranslationPhaseOne

handleArtificialTree

public void handleArtificialTree(Tree tree)

Description copied from class: CFGBuilder.CFGTranslationPhaseOne

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

Overrides:

handleArtificialTree in class CFGBuilder.CFGTranslationPhaseOne

Parameters:

tree - the newly created Tree

createEnhancedForLoopIteratorVariable

protected VariableTree createEnhancedForLoopIteratorVariable(MethodInvocationTree iteratorCall,
                                                             javax.lang.model.element.VariableElement variableElement)

Overrides:

createEnhancedForLoopIteratorVariable in class CFGBuilder.CFGTranslationPhaseOne

createEnhancedForLoopArrayVariable

protected VariableTree createEnhancedForLoopArrayVariable(ExpressionTree expression,
                                                          javax.lang.model.element.VariableElement variableElement)

Overrides:

createEnhancedForLoopArrayVariable in class CFGBuilder.CFGTranslationPhaseOne