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 Details

    • getNullnessGenerics

      public com.google.common.collect.ImmutableMap<com.sun.tools.javac.code.Symbol.TypeVariableSymbol, Nullness> getNullnessGenerics(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(ExpressionTree exprTree)
      Get inferred nullness qualifier for an expression, if possible.