nullaway/src/main/java/com/uber/nullaway/handlers/InferredJARModelsHandler.java [123:141]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public Nullness[] onOverrideMethodInvocationParametersNullability(
      Context context,
      Symbol.MethodSymbol methodSymbol,
      boolean isAnnotated,
      Nullness[] argumentPositionNullness) {
    if (isAnnotated) {
      // We currently do not load JarInfer models for code marked as annotated.
      // This is unlikely to change, as the behavior of JarInfer on arguments is to explicitly mark
      // as @NonNull those arguments that are shallowly dereferenced within the analyzed method. By
      // convention, annotated code has no use for explicit @NonNull annotations, since `T` already
      // means `@NonNull T` within annotated code. The only case where we would want to enable this
      // for annotated code is if we expect/want JarInfer results to override the results of another
      // handler, such as restrictive annotations, but a library models is a safer place to perform
      // such an override.
      // Additionally, by default, InferredJARModelsHandler is used only to load our Android SDK
      // JarInfer models (i.e. `com.uber.nullaway:JarInferAndroidModelsSDK##`), since the default
      // model of JarInfer on a normal jar/aar is to add bytecode annotations.
      return argumentPositionNullness;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



nullaway/src/main/java/com/uber/nullaway/handlers/RestrictiveAnnotationHandler.java [100:109]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public Nullness[] onOverrideMethodInvocationParametersNullability(
      Context context,
      Symbol.MethodSymbol methodSymbol,
      boolean isAnnotated,
      Nullness[] argumentPositionNullness) {
    if (isAnnotated) {
      // We ignore isAnnotated code here, since annotations in code considered isAnnotated are
      // already handled by NullAway's core algorithm.
      return argumentPositionNullness;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



