public class CFCFGBuilder.CFCFGTranslationPhaseOne extends CFGBuilder.CFGTranslationPhaseOne
annotationProvider, bindings, breakLabels, breakTargetL, continueLabels, continueTargetL, convertedTreeLookupMap, ea, elements, env, leaders, nodeList, returnTargetL, treeBuilder, treeLookupMap, trees, types, uid, unaryAssignNodeLookupMap
Constructor and Description |
---|
CFCFGTranslationPhaseOne() |
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.
|
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
getCurrentPath, scan, scan
reduce, scan, visitIntersectionType
protected boolean assumeAssertionsEnabledFor(AssertTree tree)
CFGBuilder.CFGTranslationPhaseOne
AssertTree
? False by
default.assumeAssertionsEnabledFor
in class CFGBuilder.CFGTranslationPhaseOne
public void handleArtificialTree(Tree tree)
CFGBuilder.CFGTranslationPhaseOne
handleArtificialTree
in class CFGBuilder.CFGTranslationPhaseOne
tree
- the newly created Treeprotected VariableTree createEnhancedForLoopIteratorVariable(MethodInvocationTree iteratorCall, javax.lang.model.element.VariableElement variableElement)
createEnhancedForLoopIteratorVariable
in class CFGBuilder.CFGTranslationPhaseOne
protected VariableTree createEnhancedForLoopArrayVariable(ExpressionTree expression, javax.lang.model.element.VariableElement variableElement)
createEnhancedForLoopArrayVariable
in class CFGBuilder.CFGTranslationPhaseOne