Annotate java.util.random. (#89)

jspecify · Oct 7, 2024 · a14a10e · a14a10e
1 parent 3e19ce2
commit a14a10e
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/src/java.base/share/classes/java/util/random/RandomGenerator.java b/src/java.base/share/classes/java/util/random/RandomGenerator.java
@@ -25,6 +25,8 @@
 
 package java.util.random;
 
+import org.jspecify.annotations.NullMarked;
+
 import java.math.BigInteger;
 import java.security.SecureRandom;
 import java.util.Objects;
@@ -106,6 +108,7 @@
  * @since 17
  *
  */
+@NullMarked
 public interface RandomGenerator {
      /**
      * Returns an instance of {@link RandomGenerator} that utilizes the

diff --git a/src/java.base/share/classes/java/util/random/RandomGeneratorFactory.java b/src/java.base/share/classes/java/util/random/RandomGeneratorFactory.java
@@ -25,6 +25,8 @@
 
 package java.util.random;
 
+import org.jspecify.annotations.NullMarked;
+
 import jdk.internal.random.L128X1024MixRandom;
 import jdk.internal.random.L128X128MixRandom;
 import jdk.internal.random.L128X256MixRandom;
@@ -112,6 +114,7 @@
  * @see java.util.random
  *
  */
+@NullMarked
 public final class RandomGeneratorFactory<T extends RandomGenerator> {
 
     private static final String DEFAULT_ALGORITHM = "L32X64MixRandom";