Mark ScheduledThreadPoolExecutor as annotated for nullness. (#37)

eisop · Jun 5, 2023 · e073c00 · e073c00
1 parent 9347924
commit e073c00
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/java.base/share/classes/java/util/concurrent/ScheduledThreadPoolExecutor.java b/src/java.base/share/classes/java/util/concurrent/ScheduledThreadPoolExecutor.java
@@ -39,6 +39,7 @@
 import org.checkerframework.checker.nullness.qual.PolyNull;
 import org.checkerframework.checker.signedness.qual.UnknownSignedness;
 import org.checkerframework.dataflow.qual.Pure;
+import org.checkerframework.framework.qual.AnnotatedFor;
 
 import static java.util.concurrent.TimeUnit.MILLISECONDS;
 import static java.util.concurrent.TimeUnit.NANOSECONDS;
@@ -136,6 +137,7 @@
  * @since 1.5
  * @author Doug Lea
  */
+@AnnotatedFor("nullness")
 public class ScheduledThreadPoolExecutor
         extends ThreadPoolExecutor
         implements ScheduledExecutorService {