Class NullnessQualifierInference

java.lang.Object

com.sun.source.util.TreeScanner<Void,Void>

com.google.errorprone.dataflow.nullnesspropagation.inference.NullnessQualifierInference

All Implemented Interfaces:

TreeVisitor<Void,Void>

public class NullnessQualifierInference
extends TreeScanner<Void,Void>

Eagerly traverse one MethodTree at a time and accumulate constraints between nullness qualifiers. Those constraints are then solved as needed in InferredNullability. Based on Java type inference as defined in JLS section 18.

Author:

bennostein@google.com (Benno Stein)

Method Summary

Modifier and Type	Method	Description
static InferredNullability	getInferredNullability(Tree methodOrInitializerOrLambda)
Void	visitAssignment(AssignmentTree node, Void unused)
Void	visitIdentifier(IdentifierTree node, Void unused)
Void	visitMethodInvocation(MethodInvocationTree node, Void unused)
Void	visitReturn(ReturnTree node, Void unused)
Void	visitVariable(VariableTree node, Void unused)

Methods inherited from class TreeScanner

reduce, scan, scan, visitAnnotatedType, visitAnnotation, visitAnyPattern, visitArrayAccess, visitArrayType, visitAssert, visitBinary, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitConstantCaseLabel, visitContinue, visitDeconstructionPattern, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPatternCaseLabel, visitPrimitiveType, visitProvides, visitRequires, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class Object

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

Method Details

getInferredNullability

public static InferredNullability getInferredNullability(Tree methodOrInitializerOrLambda)

visitIdentifier

public Void visitIdentifier(IdentifierTree node,
 Void unused)

Specified by:

visitIdentifier in interface TreeVisitor<Void,Void>

Overrides:

visitIdentifier in class TreeScanner<Void,Void>

visitAssignment

public Void visitAssignment(AssignmentTree node,
 Void unused)

Specified by:

visitAssignment in interface TreeVisitor<Void,Void>

Overrides:

visitAssignment in class TreeScanner<Void,Void>

visitVariable

public Void visitVariable(VariableTree node,
 Void unused)

Specified by:

visitVariable in interface TreeVisitor<Void,Void>

Overrides:

visitVariable in class TreeScanner<Void,Void>

visitReturn

public Void visitReturn(ReturnTree node,
 Void unused)

Specified by:

visitReturn in interface TreeVisitor<Void,Void>

Overrides:

visitReturn in class TreeScanner<Void,Void>

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree node,
 Void unused)

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,Void>

Overrides:

visitMethodInvocation in class TreeScanner<Void,Void>