Migrate google-java-format to JSpecify

PiperOrigin-RevId: 609760882

Author: cushon

core/pom.xml

@@ -42,8 +42,8 @@
 
     <!-- Compile-time dependencies -->
     <dependency>
-      <groupId>org.checkerframework</groupId>
-      <artifactId>checker-qual</artifactId>
+      <groupId>org.jspecify</groupId>
+      <artifactId>jspecify</artifactId>
       <optional>true</optional>
     </dependency>
     <dependency>

core/src/main/java/com/google/googlejavaformat/java/FormatFileCallable.java

@@ -20,7 +20,7 @@
 import com.google.common.collect.TreeRangeSet;
 import java.nio.file.Path;
 import java.util.concurrent.Callable;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Encapsulates information about a file to be formatted, including which parts of the file to

core/src/main/java/com/google/googlejavaformat/java/JavaInputAstVisitor.java

@@ -158,7 +158,7 @@
 import java.util.regex.Pattern;
 import java.util.stream.Stream;
 import javax.lang.model.element.Name;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * An AST visitor that builds a stream of {@link Op}s to format from the given {@link
@@ -287,7 +287,7 @@ private static ImmutableSetMultimap<String, String> typeAnnotations() {
         ImmutableList.of(
             "org.jspecify.annotations.NonNull",
             "org.jspecify.annotations.Nullable",
-            "org.jspecify.nullness.Nullable",
+            "org.jspecify.annotations.Nullable",
             "org.checkerframework.checker.nullness.qual.NonNull",
             "org.checkerframework.checker.nullness.qual.Nullable")) {
       String simpleName = annotation.substring(annotation.lastIndexOf('.') + 1);

core/src/main/java/com/google/googlejavaformat/java/JavacTokens.java

@@ -37,7 +37,7 @@
 import java.util.List;
 import java.util.Objects;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /** A wrapper around javac's lexer. */
 final class JavacTokens {

core/src/main/java/com/google/googlejavaformat/java/StringWrapper.java

@@ -61,7 +61,7 @@
 import javax.tools.JavaFileObject;
 import javax.tools.SimpleJavaFileObject;
 import javax.tools.StandardLocation;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /** Wraps string literals that exceed the column limit. */
 public final class StringWrapper {

core/src/main/java/com/google/googlejavaformat/java/filer/FormattingFiler.java

@@ -24,7 +24,7 @@
 import javax.tools.FileObject;
 import javax.tools.JavaFileManager;
 import javax.tools.JavaFileObject;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A decorating {@link Filer} implementation which formats Java source files with a {@link

core/src/main/java/com/google/googlejavaformat/java/filer/FormattingJavaFileObject.java

@@ -26,7 +26,7 @@
 import javax.tools.Diagnostic;
 import javax.tools.ForwardingJavaFileObject;
 import javax.tools.JavaFileObject;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /** A {@link JavaFileObject} decorator which {@linkplain Formatter formats} source code. */
 final class FormattingJavaFileObject extends ForwardingJavaFileObject<JavaFileObject> {

core/src/test/resources/com/google/googlejavaformat/java/testdata/TypeAnnotations.input

@@ -1,4 +1,4 @@
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 class TypeAnnotations {
 

core/src/test/resources/com/google/googlejavaformat/java/testdata/TypeAnnotations.output

@@ -1,4 +1,4 @@
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 class TypeAnnotations {
 

idea_plugin/src/main/java/com/google/googlejavaformat/intellij/GoogleJavaFormatConfigurable.java

@@ -31,9 +31,9 @@
 import javax.swing.JComponent;
 import javax.swing.JLabel;
 import javax.swing.JPanel;
-import org.checkerframework.checker.nullness.qual.Nullable;
 import org.jetbrains.annotations.Nls;
 import org.jetbrains.annotations.NotNull;
+import org.jspecify.annotations.Nullable;
 
 class GoogleJavaFormatConfigurable extends BaseConfigurable implements SearchableConfigurable {
 

idea_plugin/src/main/java/com/google/googlejavaformat/intellij/GoogleJavaFormatSettings.java

@@ -21,8 +21,8 @@
 import com.intellij.openapi.components.State;
 import com.intellij.openapi.components.Storage;
 import com.intellij.openapi.project.Project;
-import org.checkerframework.checker.nullness.qual.Nullable;
 import org.jetbrains.annotations.NotNull;
+import org.jspecify.annotations.Nullable;
 
 @State(
     name = "GoogleJavaFormatSettings",

pom.xml

@@ -88,7 +88,7 @@
     <java.version>1.8</java.version>
     <guava.version>32.1.3-jre</guava.version>
     <truth.version>1.4.0</truth.version>
-    <checker.version>3.21.2</checker.version>
+    <jspecify.version>0.3.0</jspecify.version>
     <errorprone.version>2.16</errorprone.version>
     <auto-value.version>1.9</auto-value.version>
     <auto-service.version>1.0.1</auto-service.version>
@@ -107,9 +107,9 @@
 
       <!-- Compile-time dependencies -->
       <dependency>
-        <groupId>org.checkerframework</groupId>
-        <artifactId>checker-qual</artifactId>
-        <version>${checker.version}</version>
+        <groupId>org.jspecify</groupId>
+        <artifactId>jspecify</artifactId>
+        <version>${jspecify.version}</version>
       </dependency>
       <dependency>
         <groupId>com.google.errorprone</groupId>