Package org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFactory.NullnessTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

Enclosing class:

NullnessAnnotatedTypeFactory

protected class NullnessAnnotatedTypeFactory.NullnessTreeAnnotator
extends TreeAnnotator

Field Summary

Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

atypeFactory

Fields inherited from class com.sun.source.util.SimpleTreeVisitor

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor	Description
NullnessTreeAnnotator(NullnessAnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method	Description
Void	visitBinary(BinaryTree tree, AnnotatedTypeMirror type)	When overriding this method, getAnnotatedType on the left and right operands should only be called when absolutely necessary.
Void	visitCompoundAssignment(CompoundAssignmentTree tree, AnnotatedTypeMirror type)
Void	visitIdentifier(IdentifierTree tree, AnnotatedTypeMirror type)
Void	visitMemberSelect(MemberSelectTree tree, AnnotatedTypeMirror type)
Void	visitMethodInvocation(MethodInvocationTree tree, AnnotatedTypeMirror type)
Void	visitNewArray(NewArrayTree tree, AnnotatedTypeMirror type)
Void	visitNewClass(NewClassTree tree, AnnotatedTypeMirror type)
Void	visitUnary(UnaryTree tree, AnnotatedTypeMirror type)
Void	visitVariable(VariableTree tree, AnnotatedTypeMirror type)

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

log, visitMethod

Methods inherited from class com.sun.source.util.SimpleTreeVisitor

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitGuardedPattern, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitModifiers, visitModule, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitParenthesizedPattern, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnionType, visitUses, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

NullnessTreeAnnotator

public NullnessTreeAnnotator(NullnessAnnotatedTypeFactory atypeFactory)

Method Details

visitMemberSelect

public Void visitMemberSelect(MemberSelectTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitMemberSelect in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitVariable

public Void visitVariable(VariableTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitVariable in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitVariable in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitIdentifier

public Void visitIdentifier(IdentifierTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitIdentifier in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitIdentifier in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitBinary

public Void visitBinary(BinaryTree tree,
 AnnotatedTypeMirror type)

Description copied from class: TreeAnnotator

When overriding this method, getAnnotatedType on the left and right operands should only be called when absolutely necessary. Otherwise, the checker will be very slow on heavily nested binary trees. (For example, a + b + c + d + e + f + g + h.)

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.

Specified by:

visitBinary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitBinary in class TreeAnnotator

visitCompoundAssignment

public Void visitCompoundAssignment(CompoundAssignmentTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitCompoundAssignment in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitCompoundAssignment in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitUnary

public Void visitUnary(UnaryTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitUnary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitUnary in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitNewClass

public Void visitNewClass(NewClassTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitNewClass in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewClass in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitNewArray

public Void visitNewArray(NewArrayTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitNewArray in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewArray in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMethodInvocation in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>