Package com.google.errorprone.dataflow.nullnesspropagation.inference

Class NullnessQualifierInference

java.lang.Object

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

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

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<Void,Void>

public class NullnessQualifierInference
extends com.sun.source.util.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(com.sun.source.tree.Tree methodOrInitializerOrLambda)
Void	visitAssignment(com.sun.source.tree.AssignmentTree node, Void unused)
Void	visitIdentifier(com.sun.source.tree.IdentifierTree node, Void unused)
Void	visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, Void unused)
Void	visitReturn(com.sun.source.tree.ReturnTree node, Void unused)
Void	visitVariable(com.sun.source.tree.VariableTree node, Void unused)

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

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

Methods inherited from class java.lang.Object

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

Method Details

getInferredNullability

public static InferredNullability getInferredNullability(com.sun.source.tree.Tree methodOrInitializerOrLambda)

visitIdentifier

public Void visitIdentifier(com.sun.source.tree.IdentifierTree node,
 Void unused)

Specified by:

visitIdentifier in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitIdentifier in class com.sun.source.util.TreeScanner<Void,Void>

visitAssignment

public Void visitAssignment(com.sun.source.tree.AssignmentTree node,
 Void unused)

Specified by:

visitAssignment in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitAssignment in class com.sun.source.util.TreeScanner<Void,Void>

visitVariable

public Void visitVariable(com.sun.source.tree.VariableTree node,
 Void unused)

Specified by:

visitVariable in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitVariable in class com.sun.source.util.TreeScanner<Void,Void>

visitReturn

public Void visitReturn(com.sun.source.tree.ReturnTree node,
 Void unused)

Specified by:

visitReturn in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitReturn in class com.sun.source.util.TreeScanner<Void,Void>

visitMethodInvocation

public Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node,
 Void unused)

Specified by:

visitMethodInvocation in interface com.sun.source.tree.TreeVisitor<Void,Void>

Overrides:

visitMethodInvocation in class com.sun.source.util.TreeScanner<Void,Void>