Migrate from Checker Framework annotations to JSpecify.

RELNOTES=n/a
PiperOrigin-RevId: 704266700

Author: cpovirk

jimfs/pom.xml

@@ -61,8 +61,8 @@
       <optional>true</optional>
     </dependency>
     <dependency>
-      <groupId>org.checkerframework</groupId>
-      <artifactId>checker-qual</artifactId>
+      <groupId>org.jspecify</groupId>
+      <artifactId>jspecify</artifactId>
       <optional>true</optional>
     </dependency>
 

jimfs/src/main/java/com/google/common/jimfs/AbstractWatchService.java

@@ -42,7 +42,7 @@
 import java.util.concurrent.atomic.AtomicBoolean;
 import java.util.concurrent.atomic.AtomicInteger;
 import java.util.concurrent.atomic.AtomicReference;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Abstract implementation of {@link WatchService}. Provides the means for registering and managing

jimfs/src/main/java/com/google/common/jimfs/AclAttributeProvider.java

@@ -29,7 +29,7 @@
 import java.nio.file.attribute.UserPrincipal;
 import java.util.List;
 import java.util.Map;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides the {@link AclFileAttributeView} ("acl").

jimfs/src/main/java/com/google/common/jimfs/AttributeProvider.java

@@ -24,7 +24,7 @@
 import java.nio.file.attribute.FileAttributeView;
 import java.util.Arrays;
 import java.util.Map;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Abstract provider for handling a specific file attribute view.

jimfs/src/main/java/com/google/common/jimfs/AttributeService.java

@@ -36,7 +36,7 @@
 import java.util.List;
 import java.util.Map;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Service providing all attribute related operations for a file store. One piece of the file store

jimfs/src/main/java/com/google/common/jimfs/BasicAttributeProvider.java

@@ -23,7 +23,7 @@
 import java.nio.file.attribute.BasicFileAttributes;
 import java.nio.file.attribute.FileAttributeView;
 import java.nio.file.attribute.FileTime;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides attributes common to all file systems, the {@link

jimfs/src/main/java/com/google/common/jimfs/Configuration.java

@@ -45,7 +45,7 @@
 import java.util.Map;
 import java.util.Set;
 import java.util.regex.Pattern;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Immutable configuration for an in-memory file system. A {@code Configuration} is passed to a

jimfs/src/main/java/com/google/common/jimfs/Directory.java

@@ -22,7 +22,7 @@
 import com.google.errorprone.annotations.CanIgnoreReturnValue;
 import java.nio.file.attribute.FileTime;
 import java.util.Iterator;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A table of {@linkplain DirectoryEntry directory entries}.

jimfs/src/main/java/com/google/common/jimfs/DirectoryEntry.java

@@ -27,7 +27,7 @@
 import java.nio.file.NotLinkException;
 import java.nio.file.Path;
 import java.util.Objects;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Entry in a directory, containing references to the directory itself, the file the entry links to

jimfs/src/main/java/com/google/common/jimfs/DosAttributeProvider.java

@@ -27,7 +27,7 @@
 import java.nio.file.attribute.FileAttributeView;
 import java.nio.file.attribute.FileTime;
 import java.util.Map;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides the {@link DosFileAttributeView} ("dos") and allows the reading

jimfs/src/main/java/com/google/common/jimfs/File.java

@@ -26,7 +26,7 @@
 import java.io.IOException;
 import java.nio.file.attribute.FileTime;
 import java.util.concurrent.locks.ReadWriteLock;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * A file object, containing both the file's metadata and content.

jimfs/src/main/java/com/google/common/jimfs/FileSystemView.java

@@ -50,7 +50,7 @@
 import java.util.Set;
 import java.util.concurrent.locks.Lock;
 import java.util.concurrent.locks.ReadWriteLock;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * View of a file system with a specific working directory. As all file system operations need to

jimfs/src/main/java/com/google/common/jimfs/FileTree.java

@@ -27,7 +27,7 @@
 import java.util.Iterator;
 import java.util.Map;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * The tree of directories and files for the file system. Contains the file system root directories

jimfs/src/main/java/com/google/common/jimfs/Handler.java

@@ -23,7 +23,7 @@
 import java.net.URL;
 import java.net.URLConnection;
 import java.net.URLStreamHandler;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * {@link URLStreamHandler} implementation for jimfs. Named {@code Handler} so that the class can be

jimfs/src/main/java/com/google/common/jimfs/Jimfs.java

@@ -33,7 +33,7 @@
 import java.util.UUID;
 import java.util.logging.Level;
 import java.util.logging.Logger;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Static factory methods for creating new Jimfs file systems. File systems may either be created

jimfs/src/main/java/com/google/common/jimfs/JimfsAsynchronousFileChannel.java

@@ -34,7 +34,7 @@
 import java.util.concurrent.Callable;
 import java.util.concurrent.ExecutionException;
 import java.util.concurrent.ExecutorService;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * {@link AsynchronousFileChannel} implementation that delegates to a {@link JimfsFileChannel}.

jimfs/src/main/java/com/google/common/jimfs/JimfsFileStore.java

@@ -34,7 +34,7 @@
 import java.util.concurrent.locks.Lock;
 import java.util.concurrent.locks.ReadWriteLock;
 import java.util.concurrent.locks.ReentrantReadWriteLock;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * {@link FileStore} implementation which provides methods for file creation, lookup and attribute

jimfs/src/main/java/com/google/common/jimfs/JimfsFileSystem.java

@@ -33,7 +33,7 @@
 import java.nio.file.attribute.UserPrincipalLookupService;
 import java.util.concurrent.ExecutorService;
 import java.util.concurrent.Executors;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * {@link FileSystem} implementation for Jimfs. Most behavior for the file system is implemented by

jimfs/src/main/java/com/google/common/jimfs/JimfsFileSystemProvider.java

@@ -48,7 +48,7 @@
 import java.util.Map;
 import java.util.Set;
 import java.util.concurrent.ExecutorService;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * {@link FileSystemProvider} implementation for Jimfs. This provider implements the actual file

jimfs/src/main/java/com/google/common/jimfs/JimfsPath.java

@@ -41,7 +41,7 @@
 import java.util.Iterator;
 import java.util.List;
 import java.util.Objects;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Jimfs implementation of {@link Path}. Creation of new {@code Path} objects is delegated to the

jimfs/src/main/java/com/google/common/jimfs/JimfsSecureDirectoryStream.java

@@ -35,7 +35,7 @@
 import java.nio.file.attribute.FileAttributeView;
 import java.util.Iterator;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Secure directory stream implementation that uses a {@link FileSystemView} with the stream's

jimfs/src/main/java/com/google/common/jimfs/Name.java

@@ -20,7 +20,7 @@
 
 import com.google.common.annotations.VisibleForTesting;
 import java.util.Comparator;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Immutable representation of a file name. Used both for the name components of paths and as the

jimfs/src/main/java/com/google/common/jimfs/OwnerAttributeProvider.java

@@ -26,7 +26,7 @@
 import java.nio.file.attribute.FileOwnerAttributeView;
 import java.nio.file.attribute.UserPrincipal;
 import java.util.Map;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides the {@link FileOwnerAttributeView} ("owner").

jimfs/src/main/java/com/google/common/jimfs/PathService.java

@@ -38,7 +38,7 @@
 import java.util.ArrayList;
 import java.util.Comparator;
 import java.util.List;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Service for creating {@link JimfsPath} instances and handling other path-related operations.

jimfs/src/main/java/com/google/common/jimfs/PathType.java

@@ -26,7 +26,7 @@
 import java.net.URISyntaxException;
 import java.nio.file.InvalidPathException;
 import java.util.Arrays;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * An object defining a specific type of path. Knows how to parse strings to a path and how to

jimfs/src/main/java/com/google/common/jimfs/PathURLConnection.java

@@ -43,7 +43,7 @@
 import java.util.Locale;
 import java.util.Map;
 import java.util.TimeZone;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * {@code URLConnection} implementation.

jimfs/src/main/java/com/google/common/jimfs/PosixAttributeProvider.java

@@ -35,7 +35,7 @@
 import java.nio.file.attribute.UserPrincipal;
 import java.util.Map;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides the {@link PosixFileAttributeView} ("posix") and allows reading

jimfs/src/main/java/com/google/common/jimfs/StandardAttributeProviders.java

@@ -17,7 +17,7 @@
 package com.google.common.jimfs;
 
 import com.google.common.collect.ImmutableMap;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Static registry of {@link AttributeProvider} implementations for the standard set of file

jimfs/src/main/java/com/google/common/jimfs/UnixAttributeProvider.java

@@ -28,7 +28,7 @@
 import java.util.concurrent.ConcurrentHashMap;
 import java.util.concurrent.ConcurrentMap;
 import java.util.concurrent.atomic.AtomicInteger;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides the "unix" attribute view.

jimfs/src/main/java/com/google/common/jimfs/UnixPathType.java

@@ -19,7 +19,7 @@
 import static com.google.common.base.Preconditions.checkArgument;
 
 import java.nio.file.InvalidPathException;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Unix-style path type.

jimfs/src/main/java/com/google/common/jimfs/UserDefinedAttributeProvider.java

@@ -25,7 +25,7 @@
 import java.nio.file.attribute.FileAttributeView;
 import java.nio.file.attribute.UserDefinedFileAttributeView;
 import java.util.List;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Attribute provider that provides the {@link UserDefinedFileAttributeView} ("user"). Unlike most

jimfs/src/main/java/com/google/common/jimfs/WindowsPathType.java

@@ -20,7 +20,7 @@
 import java.util.Iterator;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Windows-style path type.

jimfs/src/test/java/com/google/common/jimfs/AbstractPathMatcherTest.java

@@ -34,7 +34,7 @@
 import java.nio.file.WatchService;
 import java.util.Iterator;
 import java.util.regex.PatternSyntaxException;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Abstract base class for tests of {@link PathMatcher} implementations.

jimfs/src/test/java/com/google/common/jimfs/DirectoryTest.java

@@ -28,7 +28,7 @@
 import com.google.common.collect.Iterables;
 import java.util.HashSet;
 import java.util.Set;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Before;
 import org.junit.Test;
 import org.junit.runner.RunWith;

jimfs/src/test/java/com/google/common/jimfs/FileTreeTest.java

@@ -32,7 +32,7 @@
 import java.util.HashMap;
 import java.util.Map;
 import java.util.Random;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Before;
 import org.junit.Test;
 import org.junit.runner.RunWith;

jimfs/src/test/java/com/google/common/jimfs/PathSubject.java

@@ -37,7 +37,7 @@
 import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.List;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /**
  * Subject for doing assertions on file system paths.

jimfs/src/test/java/com/google/common/jimfs/PathTypeTest.java

@@ -22,7 +22,7 @@
 import com.google.common.collect.ImmutableList;
 import com.google.common.jimfs.PathType.ParseResult;
 import java.net.URI;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 import org.junit.Test;
 import org.junit.runner.RunWith;
 import org.junit.runners.JUnit4;

jimfs/src/test/java/com/google/common/jimfs/TestAttributeProvider.java

@@ -26,7 +26,7 @@
 import java.nio.file.attribute.FileTime;
 import java.util.HashMap;
 import java.util.Map;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import org.jspecify.annotations.Nullable;
 
 /** @author Colin Decker */
 public final class TestAttributeProvider extends AttributeProvider {

pom.xml

@@ -129,9 +129,9 @@
         <version>3.0.2</version>
       </dependency>
       <dependency>
-        <groupId>org.checkerframework</groupId>
-        <artifactId>checker-qual</artifactId>
-        <version>3.48.2</version>
+        <groupId>org.jspecify</groupId>
+        <artifactId>jspecify</artifactId>
+        <version>1.0.0</version>
       </dependency>
 
       <!-- Test dependencies -->