xref: /external/nullaway/nullaway/src/main/java/com/uber/nullaway/LibraryModels.java

/*
 * Copyright (c) 2017 Uber Technologies, Inc.
 *
 * Permission is hereby granted, free of charge, to any person obtaining a copy
 * of this software and associated documentation files (the "Software"), to deal
 * in the Software without restriction, including without limitation the rights
 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
 * copies of the Software, and to permit persons to whom the Software is
 * furnished to do so, subject to the following conditions:
 *
 * The above copyright notice and this permission notice shall be included in
 * all copies or substantial portions of the Software.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
 * THE SOFTWARE.
 */

package com.uber.nullaway;

import com.google.auto.value.AutoValue;
import com.google.common.collect.ImmutableList;
import com.google.common.collect.ImmutableSet;
import com.google.common.collect.ImmutableSetMultimap;
import com.sun.tools.javac.code.Symbol;
import com.uber.nullaway.handlers.stream.StreamTypeRecord;
import java.util.Objects;
import java.util.regex.Matcher;
import java.util.regex.Pattern;

/** Provides models for library routines for the null checker. */
public interface LibraryModels {

  /**
   * Get methods which fail/error out when passed null.
   *
   * @return map from the names of null-rejecting methods to the indexes of the arguments that
   *     aren't permitted to be null.
   */
  ImmutableSetMultimap<MethodRef, Integer> failIfNullParameters();

  /**
   * Get (method, parameter) pairs that must be modeled as if explicitly annotated with @Nullable.
   *
   * @return map from the names of methods with @Nullable parameters to the indexes of the arguments
   *     that are @Nullable.
   *     <p>This is taken into account for override checks, requiring methods that override the
   *     methods listed here to take @Nullable parameters on the same indexes. The main use for this
   *     is to document which API callbacks can be passed null values.
   */
  ImmutableSetMultimap<MethodRef, Integer> explicitlyNullableParameters();

  /**
   * Get (method, parameter) pairs that must be modeled as @NonNull.
   *
   * @return map from the names of methods with @NonNull parameters to the indexes of the arguments
   *     that are @NonNull.
   *     <p>Note that these methods are different from the {@link #failIfNullParameters()} methods,
   *     in that we expect the null checker to ensure that the parameters passed to these methods
   *     are @NonNull. In contrast, the null checker does no such enforcement for methods in {@link
   *     #failIfNullParameters()}, it just learns that after the call the relevant parameters cannot
   *     be null.
   */
  ImmutableSetMultimap<MethodRef, Integer> nonNullParameters();

  /**
   * Get (method, parameter) pairs that cause the method to return <code>true</code> when null.
   *
   * @return map from the names of null-querying methods to the indexes of the arguments that are
   *     compared against null.
   */
  ImmutableSetMultimap<MethodRef, Integer> nullImpliesTrueParameters();

  /**
   * Get (method, parameter) pairs that cause the method to return <code>false</code> when null.
   *
   * @return map from the names of non-null-querying methods to the indexes of the arguments that
   *     are compared against null.
   */
  ImmutableSetMultimap<MethodRef, Integer> nullImpliesFalseParameters();

  /**
   * Get (method, parameter) pairs that cause the method to return <code>null</code> when passed
   * <code>null</code> on that parameter.
   *
   * <p>This is equivalent to annotating a method with both a {@code @Nullable} return type
   * <em>and</em> a {@code @Contract} annotation specifying that if the parameter is
   * {@code @NonNull} then the return is {@code @NonNull}, e.g.:
   *
   * <pre><code>@Contract("!null -&gt; !null") @Nullable</code></pre>
   *
   * @return map from the names of null-in-implies-null out methods to the indexes of the arguments
   *     that determine nullness of the return.
   */
  ImmutableSetMultimap<MethodRef, Integer> nullImpliesNullParameters();

  /**
   * Get the set of library methods that may return null.
   *
   * @return set of library methods that may return null
   */
  ImmutableSet<MethodRef> nullableReturns();

  /**
   * Get the set of library methods that are assumed not to return null.
   *
   * @return set of library methods that are assumed not to return null
   */
  ImmutableSet<MethodRef> nonNullReturns();

  /**
   * Get (method, parameter) pairs that act as castToNonNull(...) methods.
   *
   * <p>Here, the parameter index determines the argument position of the reference being cast to
   * non-null.
   *
   * <p>We still provide the CLI configuration `-XepOpt:NullAway:CastToNonNullMethod` as the default
   * way to define the common case of a single-argument {@code @NonNull Object
   * castToNonNull(@Nullable Object o)}} cast method.
   *
   * <p>However, in some cases, the user might wish to have a cast method that takes multiple
   * arguments, in addition to the <code>@Nullable</code> value being cast. For these cases,
   * providing a library model allows for more precise error reporting whenever a known non-null
   * value is passed to such method, rendering the cast unnecessary.
   *
   * <p>Note that we can't auto-add castToNonNull(...) methods taking more than one argument, simply
   * because there might be no general, automated way of synthesizing the required arguments.
   */
  ImmutableSetMultimap<MethodRef, Integer> castToNonNullMethods();

  /**
   * Get the set of library fields that may be {@code null}.
   *
   * @return set of library fields that may be {@code null}.
   */
  ImmutableSet<FieldRef> nullableFields();

  /**
   * Get a list of custom stream library specifications.
   *
   * <p>This allows users to define filter/map/other methods for APIs which behave similarly to Java
   * 8 streams or ReactiveX streams, so that NullAway is able to understand nullability invariants
   * across stream API calls. See {@link com.uber.nullaway.handlers.stream.StreamModelBuilder} for
   * details on how to construct these {@link com.uber.nullaway.handlers.stream.StreamTypeRecord}
   * specs. A full example is available at {@link
   * com.uber.nullaway.testlibrarymodels.TestLibraryModels}.
   *
   * @return A list of StreamTypeRecord specs (usually generated using StreamModelBuilder).
   */
  default ImmutableList<StreamTypeRecord> customStreamNullabilitySpecs() {
    return ImmutableList.of();
  }

  /**
   * Representation of a method as a qualified class name + a signature for the method
   *
   * <p>The formatting of a method signature should match the result of calling {@link
   * Symbol.MethodSymbol#toString()} on the corresponding symbol. See {@link
   * com.uber.nullaway.handlers.LibraryModelsHandler.DefaultLibraryModels} for examples. Basic
   * principles:
   *
   * <ul>
   *   <li>signature is a method name plus argument types, e.g., <code>foo(java.lang.Object,
   *  java.lang.String)</code>
   *   <li>constructor for class Foo looks like <code>Foo(java.lang.String)</code>
   *   <li>If the method has its own type parameters, they need to be declared, like <code>
   *       &lt;T&gt;checkNotNull(T)</code>
   *   <li>Type bounds matter for generics, e.g., <code>addAll(java.lang.Iterable&lt;? extends
   *   E&gt;)
   *  </code>
   * </ul>
   */
  final class MethodRef {

    public final String enclosingClass;

    /**
     * we store the method name separately to enable fast comparison with MethodSymbols. See {@link
     * com.uber.nullaway.handlers.LibraryModelsHandler.OptimizedLibraryModels}
     */
    public final String methodName;

    public final String fullMethodSig;

    private MethodRef(String enclosingClass, String methodName, String fullMethodSig) {
      this.enclosingClass = enclosingClass;
      this.methodName = methodName;
      this.fullMethodSig = fullMethodSig;
    }

    private static final Pattern METHOD_SIG_PATTERN = Pattern.compile("^(<.*>)?(\\w+)(\\(.*\\))$");

    /**
     * Construct a method reference.
     *
     * @param enclosingClass containing class
     * @param methodSignature method signature in the appropriate format (see class docs)
     * @return corresponding {@link MethodRef}
     */
    public static MethodRef methodRef(String enclosingClass, String methodSignature) {
      Matcher matcher = METHOD_SIG_PATTERN.matcher(methodSignature);
      if (matcher.find()) {
        String methodName = matcher.group(2);
        if (methodName.equals(enclosingClass.substring(enclosingClass.lastIndexOf('.') + 1))) {
          // constructor
          methodName = "<init>";
        }
        return new MethodRef(enclosingClass, methodName, methodSignature);
      } else {
        throw new IllegalArgumentException("malformed method signature " + methodSignature);
      }
    }

    public static MethodRef fromSymbol(Symbol.MethodSymbol symbol) {
      String methodStr = symbol.toString();

      return new MethodRef(
          symbol.owner.getQualifiedName().toString(), symbol.name.toString(), methodStr);
    }

    @Override
    public boolean equals(Object o) {
      if (this == o) {
        return true;
      }
      if (o == null || getClass() != o.getClass()) {
        return false;
      }
      MethodRef methodRef = (MethodRef) o;
      return Objects.equals(enclosingClass, methodRef.enclosingClass)
          && Objects.equals(fullMethodSig, methodRef.fullMethodSig);
    }

    @Override
    public int hashCode() {
      return Objects.hash(enclosingClass, fullMethodSig);
    }

    @Override
    public String toString() {
      return "MethodRef{"
          + "enclosingClass='"
          + enclosingClass
          + '\''
          + ", fullMethodSig='"
          + fullMethodSig
          + '\''
          + '}';
    }
  }

  /** Representation of a field as a qualified class name + a field name */
  @AutoValue
  abstract class FieldRef {

    public abstract String getEnclosingClassName();

    public abstract String getFieldName();

    public static FieldRef fieldRef(String enclosingClass, String fieldName) {
      return new AutoValue_LibraryModels_FieldRef(enclosingClass, fieldName);
    }
  }
}