Package com.google.errorprone.dataflow.nullnesspropagation

Examples of com.google.errorprone.dataflow.nullnesspropagation.NullnessValue

52
53
54
55
56
57
58
59
  /**
   * Returns true if the leaf of {@code exprPath} is non-null.
   * Note that returning false does not necessarily mean that the expression can be null.
   */
  public static boolean isDefinitelyNonNull(TreePath exprPath, Context context) {
    NullnessValue val = DataFlow.expressionDataflow(exprPath, context, NULLNESS_PROPAGATION);
    return val != null && val == NullnessValue.NONNULL;
  }
View Full Code Here
61
62
63
64
65
66
67
68
  /**
   * Returns true if the leaf of {@code exprPath} is null.
   * Note that returning false does not necessarily mean that the expression can be non-null.
   */
  public static boolean isDefinitelyNull(TreePath exprPath, Context context) {
    NullnessValue val = DataFlow.expressionDataflow(exprPath, context, NULLNESS_PROPAGATION);
    return val != null && val == NullnessValue.NULL;
  }
View Full Code Here
TOP

Related Classes of com.google.errorprone.dataflow.nullnesspropagation.NullnessValue

  • com.google.errorprone.JDKCompatible
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.