protected class AccumulationAnnotatedTypeFactory.AccumulationTreeAnnotator extends TreeAnnotator
atypeFactory
DEFAULT_VALUE
Constructor and Description |
---|
AccumulationTreeAnnotator(AccumulationAnnotatedTypeFactory factory)
Creates an instance of this tree annotator for the given type factory.
|
Modifier and Type | Method and Description |
---|---|
Void |
visitMethodInvocation(MethodInvocationTree tree,
AnnotatedTypeMirror type)
Implements rule RRA.
|
visitBinary, visitMethod
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard
public AccumulationTreeAnnotator(AccumulationAnnotatedTypeFactory factory)
factory
- the type factorypublic Void visitMethodInvocation(MethodInvocationTree tree, AnnotatedTypeMirror type)
This implementation propagates types from the receiver to the return value, without change. Subclasses may override this method to also add additional properties, as appropriate.
visitMethodInvocation
in interface TreeVisitor<Void,AnnotatedTypeMirror>
visitMethodInvocation
in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>
tree
- a method invocation treetype
- the type of tree
(i.e. the return type of the invoked method). Is
(possibly) side-effected by this method.type