protected static class NullnessAnnotatedTypeFactory.NullnessPropagationTreeAnnotator extends PropagationTreeAnnotator
Would this be valid to move into CommitmentTreeAnnotator.
atypeFactory
DEFAULT_VALUE
Constructor and Description |
---|
NullnessPropagationTreeAnnotator(AnnotatedTypeFactory atypeFactory)
Create the NullnessPropagationTreeAnnotator.
|
Modifier and Type | Method and Description |
---|---|
Void |
visitBinary(BinaryTree node,
AnnotatedTypeMirror type)
When overriding this method, getAnnotatedType on the left and right operands should only be
called when absolutely necessary.
|
Void |
visitTypeCast(TypeCastTree node,
AnnotatedTypeMirror type) |
Void |
visitUnary(UnaryTree node,
AnnotatedTypeMirror type) |
visitCompoundAssignment, visitNewArray
visitMethod
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitModule, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard
public NullnessPropagationTreeAnnotator(AnnotatedTypeFactory atypeFactory)
public Void visitBinary(BinaryTree node, AnnotatedTypeMirror type)
TreeAnnotator
If a checker's performance is still too slow, the types of binary trees could be computed
in a subclass of CFTransfer
. When computing the
types in a transfer, look up the value in the store rather than the AnnotatedTypeFactory.
Then this method should annotate binary trees with top so that the type applied in the
transfer is always a subtype of the type the AnnotatedTypeFactory computes.
visitBinary
in interface TreeVisitor<Void,AnnotatedTypeMirror>
visitBinary
in class PropagationTreeAnnotator
public Void visitUnary(UnaryTree node, AnnotatedTypeMirror type)
visitUnary
in interface TreeVisitor<Void,AnnotatedTypeMirror>
visitUnary
in class PropagationTreeAnnotator
public Void visitTypeCast(TypeCastTree node, AnnotatedTypeMirror type)
visitTypeCast
in interface TreeVisitor<Void,AnnotatedTypeMirror>
visitTypeCast
in class PropagationTreeAnnotator