Annotate some of the remaining java.lang classes. (#123)

This covers my list from
#112 (comment)

Author: cpovirk

src/java.base/share/classes/java/lang/AutoCloseable.java

@@ -25,6 +25,8 @@
 
 package java.lang;
 
+import org.jspecify.annotations.NullMarked;
+
 /**
  * An object that may hold resources (such as file or socket handles)
  * until it is closed. The {@link #close()} method of an {@code AutoCloseable}
@@ -48,6 +50,7 @@
  * @author Josh Bloch
  * @since 1.7
  */
+@NullMarked
 public interface AutoCloseable {
     /**
      * Closes this resource, relinquishing any underlying resources.

src/java.base/share/classes/java/lang/IllegalCallerException.java

@@ -25,12 +25,16 @@
 
 package java.lang;
 
+import org.jspecify.annotations.NullMarked;
+import org.jspecify.annotations.Nullable;
+
 /**
  * Thrown to indicate that a method has been called by an inappropriate caller.
  *
  * @since 9
  * @see StackWalker#getCallerClass
  */
+@NullMarked
 public class IllegalCallerException extends RuntimeException {
     /**
      * Constructs an IllegalCallerException with no detail message.
@@ -45,7 +49,7 @@ public IllegalCallerException() {
      *
      * @param s the String that contains a detailed message (can be null)
      */
-    public IllegalCallerException(String s) {
+    public IllegalCallerException(@Nullable String s) {
         super(s);
     }
 
@@ -56,7 +60,7 @@ public IllegalCallerException(String s) {
      * @param  message the detail message (can be null)
      * @param  cause the cause (can be null)
      */
-    public IllegalCallerException(String message, Throwable cause) {
+    public IllegalCallerException(@Nullable String message, @Nullable Throwable cause) {
         super(message, cause);
     }
 
@@ -67,7 +71,7 @@ public IllegalCallerException(String message, Throwable cause) {
      *
      * @param  cause the cause (can be null)
      */
-    public IllegalCallerException(Throwable cause) {
+    public IllegalCallerException(@Nullable Throwable cause) {
         super(cause);
     }
 

src/java.base/share/classes/java/lang/Module.java

@@ -71,6 +71,9 @@
 import jdk.internal.reflect.Reflection;
 import jdk.internal.vm.annotation.Stable;
 
+import org.jspecify.annotations.NullMarked;
+import org.jspecify.annotations.Nullable;
+
 /**
  * Represents a run-time module, either {@link #isNamed() named} or unnamed.
  *
@@ -97,7 +100,7 @@
  * @see Class#getModule()
  * @jls 7.7 Module Declarations
  */
-
+@NullMarked
 public final class Module implements AnnotatedElement {
 
     // the layer that contains this module, can be null
@@ -186,7 +189,7 @@ public boolean isNamed() {
      *
      * @return The module name
      */
-    public String getName() {
+    public @Nullable String getName() {
         return name;
     }
 
@@ -195,7 +198,7 @@ public String getName() {
      *
      * @return The class loader for this module
      */
-    public ClassLoader getClassLoader() {
+    public @Nullable ClassLoader getClassLoader() {
         return loader;
     }
 
@@ -205,7 +208,7 @@ public ClassLoader getClassLoader() {
      *
      * @return The module descriptor for this module
      */
-    public ModuleDescriptor getDescriptor() {
+    public @Nullable ModuleDescriptor getDescriptor() {
         return descriptor;
     }
 
@@ -224,7 +227,7 @@ public ModuleDescriptor getDescriptor() {
      *
      * @see java.lang.reflect.Proxy
      */
-    public ModuleLayer getLayer() {
+    public @Nullable ModuleLayer getLayer() {
         if (isNamed()) {
             ModuleLayer layer = this.layer;
             if (layer != null)
@@ -1521,7 +1524,7 @@ private static Module findModule(String target,
      * declaration annotation.
      */
     @Override
-    public <T extends Annotation> T getAnnotation(Class<T> annotationClass) {
+    public <T extends Annotation> @Nullable T getAnnotation(Class<T> annotationClass) {
         return moduleInfoClass().getDeclaredAnnotation(annotationClass);
     }
 
@@ -1689,7 +1692,7 @@ protected Class<?> loadClass(String cn, boolean resolve)
      * @see Class#getResourceAsStream(String)
      */
     @CallerSensitive
-    public InputStream getResourceAsStream(String name) throws IOException {
+    public @Nullable InputStream getResourceAsStream(String name) throws IOException {
         if (name.startsWith("/")) {
             name = name.substring(1);
         }

src/java.base/share/classes/java/lang/ModuleLayer.java

@@ -54,6 +54,9 @@
 import jdk.internal.reflect.Reflection;
 import jdk.internal.vm.annotation.Stable;
 
+import org.jspecify.annotations.NullMarked;
+import org.jspecify.annotations.Nullable;
+
 /**
  * A layer of modules in the Java virtual machine.
  *
@@ -143,7 +146,7 @@
  * @since 9
  * @see Module#getLayer()
  */
-
+@NullMarked
 public final class ModuleLayer {
 
     // the empty layer (may be initialized from the CDS archive)
@@ -361,7 +364,7 @@ public Controller enableNativeAccess(Module target) {
      * @see #findLoader
      */
     public ModuleLayer defineModulesWithOneLoader(Configuration cf,
-                                                  ClassLoader parentLoader) {
+                                                  @Nullable ClassLoader parentLoader) {
         return defineModulesWithOneLoader(cf, List.of(this), parentLoader).layer();
     }
 
@@ -399,7 +402,7 @@ public ModuleLayer defineModulesWithOneLoader(Configuration cf,
      * @see #findLoader
      */
     public ModuleLayer defineModulesWithManyLoaders(Configuration cf,
-                                                    ClassLoader parentLoader) {
+                                                    @Nullable ClassLoader parentLoader) {
         return defineModulesWithManyLoaders(cf, List.of(this), parentLoader).layer();
     }
 
@@ -498,7 +501,7 @@ public ModuleLayer defineModules(Configuration cf,
      */
     public static Controller defineModulesWithOneLoader(Configuration cf,
                                                         List<ModuleLayer> parentLayers,
-                                                        ClassLoader parentLoader)
+                                                        @Nullable ClassLoader parentLoader)
     {
         List<ModuleLayer> parents = List.copyOf(parentLayers);
         checkConfiguration(cf, parents);
@@ -562,7 +565,7 @@ public static Controller defineModulesWithOneLoader(Configuration cf,
      */
     public static Controller defineModulesWithManyLoaders(Configuration cf,
                                                           List<ModuleLayer> parentLayers,
-                                                          ClassLoader parentLoader)
+                                                          @Nullable ClassLoader parentLoader)
     {
         List<ModuleLayer> parents = List.copyOf(parentLayers);
         checkConfiguration(cf, parents);
@@ -862,7 +865,7 @@ boolean addEnableNativeAccess(String name) {
      * @throws IllegalArgumentException if a module of the given name is not
      *         defined in this layer or any parent of this layer
      */
-    public ClassLoader findLoader(String name) {
+    public @Nullable ClassLoader findLoader(String name) {
         Optional<Module> om = findModule(name);
 
         // can't use map(Module::getClassLoader) as class loader can be null
@@ -906,7 +909,7 @@ public static ModuleLayer empty() {
      *
      * @return The boot layer
      */
-    public static ModuleLayer boot() {
+    public static @Nullable ModuleLayer boot() {
         return System.bootLayer;
     }
 

src/java.base/share/classes/java/lang/ProcessHandle.java

@@ -30,6 +30,9 @@
 import java.util.concurrent.CompletableFuture;
 import java.util.stream.Stream;
 
+import org.jspecify.annotations.NullMarked;
+import org.jspecify.annotations.Nullable;
+
 /**
  * ProcessHandle identifies and provides control of native processes. Each
  * individual process can be monitored for liveness, list its children,
@@ -90,6 +93,7 @@
  * @since 9
  */
 @jdk.internal.ValueBased
+@NullMarked
 public interface ProcessHandle extends Comparable<ProcessHandle> {
 
     /**
@@ -401,7 +405,7 @@ public interface Info {
      *         the same system process; otherwise returns {@code false}
      */
     @Override
-    boolean equals(Object other);
+    boolean equals(@Nullable Object other);
 
     /**
      * Compares this ProcessHandle with the specified ProcessHandle for order.

src/java.base/share/classes/java/lang/ReflectiveOperationException.java

@@ -25,13 +25,17 @@
 
 package java.lang;
 
+import org.jspecify.annotations.NullMarked;
+import org.jspecify.annotations.Nullable;
+
 /**
  * Common superclass of exceptions thrown by reflective operations in
  * core reflection.
  *
  * @see LinkageError
  * @since 1.7
  */
+@NullMarked
 public class ReflectiveOperationException extends Exception {
     @java.io.Serial
     static final long serialVersionUID = 123456789L;
@@ -53,7 +57,7 @@ public ReflectiveOperationException() {
      * @param   message   the detail message. The detail message is saved for
      *          later retrieval by the {@link #getMessage()} method.
      */
-    public ReflectiveOperationException(String message) {
+    public ReflectiveOperationException(@Nullable String message) {
         super(message);
     }
 
@@ -72,7 +76,7 @@ public ReflectiveOperationException(String message) {
      *         permitted, and indicates that the cause is nonexistent or
      *         unknown.)
      */
-    public ReflectiveOperationException(String message, Throwable cause) {
+    public ReflectiveOperationException(@Nullable String message, @Nullable Throwable cause) {
         super(message, cause);
     }
 
@@ -86,7 +90,7 @@ public ReflectiveOperationException(String message, Throwable cause) {
      *         permitted, and indicates that the cause is nonexistent or
      *         unknown.)
      */
-    public ReflectiveOperationException(Throwable cause) {
+    public ReflectiveOperationException(@Nullable Throwable cause) {
         super(cause);
     }
 }