protected class NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator extends PropagationTreeAnnotator
atypeFactory
DEFAULT_VALUE
Constructor and Description |
---|
NullnessPropagationAnnotator(AnnotatedTypeFactory atypeFactory) |
Modifier and Type | Method and Description |
---|---|
Void |
visitBinary(BinaryTree node,
AnnotatedTypeMirror type) |
Void |
visitUnary(UnaryTree node,
AnnotatedTypeMirror type) |
visitCompoundAssignment, visitNewArray, visitTypeCast
visitMethod
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnionType, visitVariable, visitWhileLoop, visitWildcard
public NullnessPropagationAnnotator(AnnotatedTypeFactory atypeFactory)
public Void visitBinary(BinaryTree node, AnnotatedTypeMirror type)
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