protected class NullnessAnnotatedTypeFactory.NullnessTreeAnnotator extends InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
atypeFactory
Constructor and Description |
---|
NullnessTreeAnnotator(NullnessAnnotatedTypeFactory atypeFactory) |
Modifier and Type | Method and Description |
---|---|
java.lang.Void |
visitBinary(com.sun.source.tree.BinaryTree node,
AnnotatedTypeMirror type) |
java.lang.Void |
visitCompoundAssignment(com.sun.source.tree.CompoundAssignmentTree node,
AnnotatedTypeMirror type) |
java.lang.Void |
visitIdentifier(com.sun.source.tree.IdentifierTree node,
AnnotatedTypeMirror type) |
java.lang.Void |
visitMemberSelect(com.sun.source.tree.MemberSelectTree node,
AnnotatedTypeMirror type) |
java.lang.Void |
visitNewClass(com.sun.source.tree.NewClassTree node,
AnnotatedTypeMirror type) |
java.lang.Void |
visitUnary(com.sun.source.tree.UnaryTree node,
AnnotatedTypeMirror type) |
java.lang.Void |
visitVariable(com.sun.source.tree.VariableTree node,
AnnotatedTypeMirror type) |
visitLiteral, visitMethod
addStringPattern, addTreeClass, addTreeKind, defaultAction, visitNewArray, visitTypeCast
visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMethodInvocation, visitModifiers, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnionType, visitWhileLoop, visitWildcard
public NullnessTreeAnnotator(NullnessAnnotatedTypeFactory atypeFactory)
public java.lang.Void visitMemberSelect(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror type)
visitMemberSelect
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitMemberSelect
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
public java.lang.Void visitVariable(com.sun.source.tree.VariableTree node, AnnotatedTypeMirror type)
visitVariable
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitVariable
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
public java.lang.Void visitIdentifier(com.sun.source.tree.IdentifierTree node, AnnotatedTypeMirror type)
visitIdentifier
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitIdentifier
in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
public java.lang.Void visitBinary(com.sun.source.tree.BinaryTree node, AnnotatedTypeMirror type)
visitBinary
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitBinary
in class TreeAnnotator
public java.lang.Void visitCompoundAssignment(com.sun.source.tree.CompoundAssignmentTree node, AnnotatedTypeMirror type)
visitCompoundAssignment
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitCompoundAssignment
in class TreeAnnotator
public java.lang.Void visitUnary(com.sun.source.tree.UnaryTree node, AnnotatedTypeMirror type)
visitUnary
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitUnary
in class TreeAnnotator
public java.lang.Void visitNewClass(com.sun.source.tree.NewClassTree node, AnnotatedTypeMirror type)
visitNewClass
in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
visitNewClass
in class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator