org.checkerframework.checker.nullness

Class NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator

org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator

All Implemented Interfaces:

TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Enclosing class:

NullnessAnnotatedTypeFactory

protected static class NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
extends org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator

Nullness doesn't call propagation on binary and unary because the result is always @Initialized (the default qualifier).

Would this be valid to move into CommitmentTreeAnnotator.

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 and Description
NullnessPropagationAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
java.lang.Void	visitBinary(BinaryTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
java.lang.Void	visitUnary(UnaryTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)

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

visitCompoundAssignment, visitNewArray, visitTypeCast

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

visitMethod

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

NullnessPropagationAnnotator

public NullnessPropagationAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory)

Method Detail

visitBinary

public java.lang.Void visitBinary(BinaryTree node,
                                  org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

visitBinary in interface TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitBinary in class org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator

visitUnary

public java.lang.Void visitUnary(UnaryTree node,
                                 org.checkerframework.framework.type.AnnotatedTypeMirror type)

Specified by:

visitUnary in interface TreeVisitor<java.lang.Void,org.checkerframework.framework.type.AnnotatedTypeMirror>

Overrides:

visitUnary in class org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator