protected static class NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator
extends org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator
Would this be valid to move into CommitmentTreeAnnotator.
atypeFactory
DEFAULT_VALUE
Constructor and Description |
---|
NullnessPropagationAnnotator(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory) |
Modifier and Type | Method and Description |
---|---|
Void |
visitBinary(BinaryTree node,
org.checkerframework.framework.type.AnnotatedTypeMirror type) |
Void |
visitUnary(UnaryTree node,
org.checkerframework.framework.type.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(org.checkerframework.framework.type.AnnotatedTypeFactory atypeFactory)
public Void visitBinary(BinaryTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitBinary
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitBinary
in class org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator
public Void visitUnary(UnaryTree node, org.checkerframework.framework.type.AnnotatedTypeMirror type)
visitUnary
in interface TreeVisitor<Void,org.checkerframework.framework.type.AnnotatedTypeMirror>
visitUnary
in class org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator