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

Class InferredNullability

java.lang.Object

com.google.errorprone.dataflow.nullnesspropagation.inference.InferredNullability

public class InferredNullability
extends Object

Results of running NullnessQualifierInference over a method. The constraintGraph represents qualifier constraints as a directed graph, where graph reachability encodes a less-than-or-equal-to relationship.

Method Summary

Modifier and Type	Method	Description
Optional<Nullness>	getExprNullness(com.sun.source.tree.ExpressionTree exprTree)	Get inferred nullness qualifier for an expression, if possible.
com.google.common.collect.ImmutableMap<com.sun.tools.javac.code.Symbol.TypeVariableSymbol,Nullness>	getNullnessGenerics(com.sun.source.tree.MethodInvocationTree callsite)	Get inferred nullness qualifiers for method-generic type variables at a callsite.

Methods inherited from class java.lang.Object

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

Method Details

getNullnessGenerics

public com.google.common.collect.ImmutableMap<com.sun.tools.javac.code.Symbol.TypeVariableSymbol,Nullness> getNullnessGenerics(com.sun.source.tree.MethodInvocationTree callsite)

Get inferred nullness qualifiers for method-generic type variables at a callsite. When inference is not possible for a given type variable, that type variable is not included in the resulting map.

getExprNullness

public Optional<Nullness> getExprNullness(com.sun.source.tree.ExpressionTree exprTree)

Get inferred nullness qualifier for an expression, if possible.