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:

com.sun.source.tree.TreeVisitor<Node,java.lang.Void>

Enclosing class:

CFCFGBuilder

public class CFCFGBuilder.CFCFGTranslationPhaseOne
extends CFGBuilder.CFGTranslationPhaseOne

Field Summary

Fields inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne

annotationProvider, bindings, breakLabels, breakTargetL, continueLabels, continueTargetL, convertedTreeLookupMap, ea, elements, env, generatedTreesLookupMap, leaders, nodeList, treeBuilder, treeLookupMap, trees, types, uid, unaryAssignNodeLookupMap

Constructor Summary

Constructors

Constructor and Description
CFCFGTranslationPhaseOne()

Method Summary

Modifier and Type	Method and Description
protected boolean	assumeAssertionsEnabledFor(com.sun.source.tree.AssertTree tree) Should assertions be assumed to be executed for a given AssertTree? False by default.
protected com.sun.source.tree.VariableTree	createEnhancedForLoopArrayVariable(com.sun.source.tree.ExpressionTree expression, javax.lang.model.element.VariableElement variableElement)
protected com.sun.source.tree.VariableTree	createEnhancedForLoopIteratorVariable(com.sun.source.tree.MethodInvocationTree iteratorCall, javax.lang.model.element.VariableElement variableElement)
void	handleArtificialTree(com.sun.source.tree.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, addToGeneratedTreesLookupMap, 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

Constructor Detail

CFCFGTranslationPhaseOne

public CFCFGTranslationPhaseOne()

Method Detail

assumeAssertionsEnabledFor

protected boolean assumeAssertionsEnabledFor(com.sun.source.tree.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(com.sun.source.tree.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 com.sun.source.tree.VariableTree createEnhancedForLoopIteratorVariable(com.sun.source.tree.MethodInvocationTree iteratorCall,
                                                                                 javax.lang.model.element.VariableElement variableElement)

Overrides:

createEnhancedForLoopIteratorVariable in class CFGBuilder.CFGTranslationPhaseOne

createEnhancedForLoopArrayVariable

protected com.sun.source.tree.VariableTree createEnhancedForLoopArrayVariable(com.sun.source.tree.ExpressionTree expression,
                                                                              javax.lang.model.element.VariableElement variableElement)

Overrides:

createEnhancedForLoopArrayVariable in class CFGBuilder.CFGTranslationPhaseOne