Migrate AutoValue to Records

build.gradle

@@ -84,8 +84,6 @@ subprojects { project ->
             "-parameters",
         ]
         options.errorprone {
-            // disable warnings in generated code; AutoValue code fails UnnecessaryParentheses check
-            disableWarningsInGeneratedCode = true
 
             // https://github.com/uber/NullAway/issues/1398
             check("MisformattedTestData", CheckSeverity.OFF)

gradle/libs.versions.toml

@@ -4,7 +4,6 @@ check-framework = "3.53.0"
 support = "27.1.1"
 wala = "1.6.12"
 commons-cli = "1.4"
-auto-value = "1.11.1"
 auto-service = "1.1.1"
 google-java-format = "1.30.0"
 android-gradle-plugin = "8.13.0"
@@ -59,8 +58,6 @@ android-gradle-plugin = { module = "com.android.tools.build:gradle", version.ref
 gradle-maven-publish-plugin = { module = "com.vanniktech:gradle-maven-publish-plugin", version.ref = "gradle-maven-publish-plugin" }
 
 # --- APT (Annotation Processing) ---
-auto-value = { module = "com.google.auto.value:auto-value", version.ref = "auto-value" }
-auto-value-annotations = { module = "com.google.auto.value:auto-value-annotations", version.ref = "auto-value" }
 auto-service = { module = "com.google.auto.service:auto-service", version.ref = "auto-service" }
 auto-service-annotations = { module = "com.google.auto.service:auto-service-annotations", version.ref = "auto-service" }
 jakarta-inject = { module = "jakarta.inject:jakarta.inject-api", version.ref = "jakarta-inject" }

jmh/build.gradle

@@ -64,8 +64,6 @@ dependencies {
     nullawayReleaseDeps "com.facebook.infer.annotation:infer-annotation:0.11.0"
     nullawayReleaseDeps "org.jetbrains:annotations:13.0"
 
-    // To run AutoValue during NullAway compilation
-    nullawayReleaseProcessors "com.google.auto.value:auto-value:1.9"
 
     testImplementation libs.junit4
 }

library-model/library-model-generator/build.gradle

@@ -21,8 +21,5 @@ plugins {
 dependencies {
     implementation libs.guava
 
-    compileOnly libs.auto.value.annotations
-    annotationProcessor libs.auto.value
-
     testImplementation libs.junit4
 }

library-model/library-model-generator/src/main/java/com/uber/nullaway/libmodel/MethodAnnotationsRecord.java

@@ -1,24 +1,21 @@
 package com.uber.nullaway.libmodel;
 
-import com.google.auto.value.AutoValue;
 import com.google.common.collect.ImmutableMap;
 import com.google.common.collect.ImmutableSet;
 
-/** A record describing the annotations associated with a java method and its arguments. */
-@AutoValue
-public abstract class MethodAnnotationsRecord {
+/** A record describing the annotations associated with a java method and its arguments.
+ */
+
+public record MethodAnnotationsRecord(ImmutableSet<String> methodAnnotations,
+                                      ImmutableSet<Integer> typeParamNullableUpperbounds,
+                                      ImmutableMap<Integer, ImmutableSet<String>> argumentAnnotations) {
 
   public static MethodAnnotationsRecord create(
       ImmutableSet<String> methodAnnotations,
       ImmutableSet<Integer> typeParamNullableUpperbounds,
       ImmutableMap<Integer, ImmutableSet<String>> argumentAnnotations) {
-    return new AutoValue_MethodAnnotationsRecord(
+    return new MethodAnnotationsRecord(
         methodAnnotations, typeParamNullableUpperbounds, argumentAnnotations);
   }
 
-  abstract ImmutableSet<String> methodAnnotations();
-
-  abstract ImmutableSet<Integer> typeParamNullableUpperbounds();
-
-  abstract ImmutableMap<Integer, ImmutableSet<String>> argumentAnnotations();
 }

nullaway/build.gradle

@@ -33,8 +33,6 @@ configurations {
 
 dependencies {
     compileOnly project(":annotations")
-    compileOnly libs.auto.value.annotations
-    annotationProcessor libs.auto.value
     compileOnly libs.auto.service.annotations
     annotationProcessor libs.auto.service
     // Using api following the guidance at https://jspecify.dev/docs/using#gradle

nullaway/src/main/java/com/uber/nullaway/ErrorProneCLIFlagsConfig.java

@@ -22,7 +22,6 @@
 
 package com.uber.nullaway;
 
-import com.google.auto.value.AutoValue;
 import com.google.common.base.Joiner;
 import com.google.common.base.Preconditions;
 import com.google.common.collect.ImmutableSet;
@@ -613,11 +612,11 @@ public boolean warnOnGenericInferenceFailure() {
     return warnOnInferenceFailure;
   }
 
-  @AutoValue
-  abstract static class MethodClassAndName {
+  record MethodClassAndName(String enclosingClass,
+                            String methodName) {
 
     static MethodClassAndName create(String enclosingClass, String methodName) {
-      return new AutoValue_ErrorProneCLIFlagsConfig_MethodClassAndName(enclosingClass, methodName);
+      return new MethodClassAndName(enclosingClass, methodName);
     }
 
     static MethodClassAndName fromClassDotMethod(String classDotMethod) {
@@ -627,8 +626,5 @@ static MethodClassAndName fromClassDotMethod(String classDotMethod) {
       return MethodClassAndName.create(className, methodName);
     }
 
-    abstract String enclosingClass();
-
-    abstract String methodName();
   }
 }

nullaway/src/main/java/com/uber/nullaway/LibraryModels.java

@@ -22,7 +22,6 @@
 
 package com.uber.nullaway;
 
-import com.google.auto.value.AutoValue;
 import com.google.common.collect.ImmutableList;
 import com.google.common.collect.ImmutableMap;
 import com.google.common.collect.ImmutableSet;
@@ -325,15 +324,12 @@ public String toString() {
   }
 
   /** Representation of a field as a qualified class name + a field name */
-  @AutoValue
-  abstract class FieldRef {
 
-    public abstract String getEnclosingClassName();
-
-    public abstract String getFieldName();
+  record FieldRef(String enclosingClassName,
+                  String fieldName) {
 
     public static FieldRef fieldRef(String enclosingClass, String fieldName) {
-      return new AutoValue_LibraryModels_FieldRef(enclosingClass, fieldName);
+      return new FieldRef(enclosingClass, fieldName);
     }
   }
 }

nullaway/src/main/java/com/uber/nullaway/NullAway.java

@@ -33,7 +33,6 @@
 import static java.lang.annotation.ElementType.TYPE_USE;
 
 import com.google.auto.service.AutoService;
-import com.google.auto.value.AutoValue;
 import com.google.common.base.Verify;
 import com.google.common.collect.ImmutableList;
 import com.google.common.collect.ImmutableMultimap;
@@ -2782,9 +2781,44 @@ public void setComputedNullness(ExpressionTree e, Nullness nullness) {
     computedNullnessMap.put(e, nullness);
   }
 
-  @AutoValue
-  abstract static class FieldInitEntities {
+  /**
+   * Aggregates all entities involved in field initialization for a class.
+   *
+   * <p>This record captures information needed to reason about initialization of
+   * {@code @NonNull} fields, including initializer blocks, constructors, and
+   * initializer methods, both instance-level and static.
+   *
+   * <p>The data is extracted from a class symbol and used during NullAway analysis
+   * to verify that all required fields are properly initialized.
+   */
+  record FieldInitEntities(Symbol.ClassSymbol classSymbol,
+                           ImmutableSet<Symbol> nonnullInstanceFields,
+                           ImmutableSet<Symbol> nonnullStaticFields,
+                           ImmutableList<BlockTree> instanceInitializerBlocks,
+                           ImmutableList<BlockTree> staticInitializerBlocks,
+                           ImmutableSet<MethodTree> constructors,
+                           ImmutableSet<MethodTree> instanceInitializerMethods,
+                           ImmutableSet<MethodTree> staticInitializerMethods) {
 
+    /**
+     * Creates an immutable {@link FieldInitEntities} instance from mutable inputs.
+     *
+     * @param classSymbol symbol for class.
+     * @param nonnullInstanceFields <code>@NonNull</code> instance fields that are not directly initialized at declaration.
+     * @param nonnullStaticFields  <code>@NonNull</code> static fields that are not directly initialized at declaration.
+     * @param instanceInitializerBlocks the list of instance initializer blocks (e.g. blocks of the form `class X { { //Code
+     * } } ), in the order in which they appear in the class.
+     * @param staticInitializerBlocks the list of static initializer blocks (e.g. blocks of the form `class X { static {
+     * //Code } } ), in the order in which they appear in the class.
+     * @param constructors constructors in the class.
+     * @param instanceInitializerMethods the list of non-static (instance) initializer methods. This includes methods
+     * annotated @Initializer, as well as those specified by -XepOpt:NullAway:KnownInitializers or
+     * annotated with annotations passed to -XepOpt:NullAway:CustomInitializerAnnotations.
+     * @param staticInitializerMethods the list of static initializer methods. This includes static methods
+     * annotated @Initializer, as well as those specified by -XepOpt:NullAway:KnownInitializers or
+     * annotated with annotations passed to -XepOpt:NullAway:CustomInitializerAnnotations.
+     * @return an immutable {@link FieldInitEntities} instance
+     */
     static FieldInitEntities create(
         Symbol.ClassSymbol classSymbol,
         Set<Symbol> nonnullInstanceFields,
@@ -2794,7 +2828,7 @@ static FieldInitEntities create(
         Set<MethodTree> constructors,
         Set<MethodTree> instanceInitializerMethods,
         Set<MethodTree> staticInitializerMethods) {
-      return new AutoValue_NullAway_FieldInitEntities(
+      return new FieldInitEntities(
           classSymbol,
           ImmutableSet.copyOf(nonnullInstanceFields),
           ImmutableSet.copyOf(nonnullStaticFields),
@@ -2805,47 +2839,5 @@ static FieldInitEntities create(
           ImmutableSet.copyOf(staticInitializerMethods));
     }
 
-    /** Returns symbol for class. */
-    abstract Symbol.ClassSymbol classSymbol();
-
-    /**
-     * Returns <code>@NonNull</code> instance fields that are not directly initialized at
-     * declaration.
-     */
-    abstract ImmutableSet<Symbol> nonnullInstanceFields();
-
-    /**
-     * Returns <code>@NonNull</code> static fields that are not directly initialized at declaration.
-     */
-    abstract ImmutableSet<Symbol> nonnullStaticFields();
-
-    /**
-     * Returns the list of instance initializer blocks (e.g. blocks of the form `class X { { //Code
-     * } } ), in the order in which they appear in the class.
-     */
-    abstract ImmutableList<BlockTree> instanceInitializerBlocks();
-
-    /**
-     * Returns the list of static initializer blocks (e.g. blocks of the form `class X { static {
-     * //Code } } ), in the order in which they appear in the class.
-     */
-    abstract ImmutableList<BlockTree> staticInitializerBlocks();
-
-    /** Returns constructors in the class. */
-    abstract ImmutableSet<MethodTree> constructors();
-
-    /**
-     * Returns the list of non-static (instance) initializer methods. This includes methods
-     * annotated @Initializer, as well as those specified by -XepOpt:NullAway:KnownInitializers or
-     * annotated with annotations passed to -XepOpt:NullAway:CustomInitializerAnnotations.
-     */
-    abstract ImmutableSet<MethodTree> instanceInitializerMethods();
-
-    /**
-     * Returns the list of static initializer methods. This includes static methods
-     * annotated @Initializer, as well as those specified by -XepOpt:NullAway:KnownInitializers or
-     * annotated with annotations passed to -XepOpt:NullAway:CustomInitializerAnnotations.
-     */
-    abstract ImmutableSet<MethodTree> staticInitializerMethods();
   }
 }