Annotated io/nio/concurrent exceptions

Author: DavyLandman

src/java.base/share/classes/java/io/EOFException.java

@@ -25,6 +25,9 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * Signals that an end of file or end of stream has been reached
  * unexpectedly during input.
@@ -38,6 +41,7 @@
  * @see     java.io.IOException
  * @since   1.0
  */
+@AnnotatedFor({"nullness"})
 public class EOFException extends IOException {
     @java.io.Serial
     private static final long serialVersionUID = 6433858223774886977L;
@@ -58,7 +62,7 @@ public EOFException() {
      *
      * @param   s   the detail message.
      */
-    public EOFException(String s) {
+    public EOFException(@Nullable String s) {
         super(s);
     }
 }

src/java.base/share/classes/java/io/FileNotFoundException.java

@@ -25,6 +25,8 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
 
 /**
  * Signals that an attempt to open the file denoted by a specified pathname
@@ -39,6 +41,7 @@
  * @since   1.0
  */
 
+@AnnotatedFor({"nullness"})
 public class FileNotFoundException extends IOException {
     @java.io.Serial
     private static final long serialVersionUID = -897856973823710492L;
@@ -60,7 +63,7 @@ public FileNotFoundException() {
      *
      * @param   s   the detail message.
      */
-    public FileNotFoundException(String s) {
+    public FileNotFoundException(@Nullable String s) {
         super(s);
     }
 
@@ -73,7 +76,7 @@ public FileNotFoundException(String s) {
      *
      * @since 1.2
      */
-    private FileNotFoundException(String path, String reason) {
+    private FileNotFoundException(String path, @Nullable String reason) {
         super(path + ((reason == null)
                       ? ""
                       : " (" + reason + ")"));

src/java.base/share/classes/java/io/IOError.java

@@ -25,12 +25,15 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
 /**
  * Thrown when a serious I/O error has occurred.
  *
  * @author  Xueming Shen
  * @since   1.6
  */
+@AnnotatedFor({"nullness"})
 public class IOError extends Error {
     /**
      * Constructs a new instance of IOError with the specified cause. The
@@ -42,7 +45,7 @@ public class IOError extends Error {
      *         The cause of this error, or {@code null} if the cause
      *         is not known
      */
-    public IOError(Throwable cause) {
+    public IOError(@Nullable Throwable cause) {
         super(cause);
     }
 

src/java.base/share/classes/java/io/NotActiveException.java

@@ -25,11 +25,15 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * Thrown when serialization or deserialization is not active.
  *
  * @since   1.1
  */
+@AnnotatedFor({"nullness"})
 public class NotActiveException extends ObjectStreamException {
 
     @java.io.Serial
@@ -40,7 +44,7 @@ public class NotActiveException extends ObjectStreamException {
      *
      * @param reason  a String describing the reason for the exception.
      */
-    public NotActiveException(String reason) {
+    public NotActiveException(@Nullable String reason) {
         super(reason);
     }
 

src/java.base/share/classes/java/io/NotSerializableException.java

@@ -25,13 +25,17 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * Thrown when an instance is required to have a Serializable interface.
  * The serialization runtime or the class of the instance can throw
  * this exception. The argument should be the name of the class.
  *
  * @since   1.1
  */
+@AnnotatedFor({"nullness"})
 public class NotSerializableException extends ObjectStreamException {
 
     @java.io.Serial
@@ -42,7 +46,7 @@ public class NotSerializableException extends ObjectStreamException {
      *
      * @param classname Class of the instance being serialized/deserialized.
      */
-    public NotSerializableException(String classname) {
+    public NotSerializableException(@Nullable String classname) {
         super(classname);
     }
 

src/java.base/share/classes/java/io/OptionalDataException.java

@@ -24,6 +24,8 @@
  */
 package java.io;
 
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * Exception indicating the failure of an object read operation due to
  * unread primitive data, or the end of data belonging to a serialized
@@ -44,6 +46,7 @@
  *
  * @since   1.1
  */
+@AnnotatedFor({"nullness"})
 public class OptionalDataException extends ObjectStreamException {
 
     @java.io.Serial

src/java.base/share/classes/java/io/StreamCorruptedException.java

@@ -25,12 +25,15 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
 /**
  * Thrown when control information that was read from an object stream
  * violates internal consistency checks.
  *
  * @since   1.1
  */
+@AnnotatedFor({"nullness"})
 public class StreamCorruptedException extends ObjectStreamException {
 
     @java.io.Serial
@@ -41,7 +44,7 @@ public class StreamCorruptedException extends ObjectStreamException {
      *
      * @param reason  String describing the reason for the exception.
      */
-    public StreamCorruptedException(String reason) {
+    public StreamCorruptedException(@Nullable String reason) {
         super(reason);
     }
 

src/java.base/share/classes/java/io/SyncFailedException.java

@@ -25,6 +25,9 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * Signals that a sync operation has failed.
  *
@@ -33,6 +36,7 @@
  * @see     java.io.IOException
  * @since   1.1
  */
+@AnnotatedFor({"nullness"})
 public class SyncFailedException extends IOException {
     @java.io.Serial
     private static final long serialVersionUID = -2353342684412443330L;
@@ -43,7 +47,7 @@ public class SyncFailedException extends IOException {
      *
      * @param desc  a String describing the exception.
      */
-    public SyncFailedException(String desc) {
+    public SyncFailedException(@Nullable String desc) {
         super(desc);
     }
 }

src/java.base/share/classes/java/io/UTFDataFormatException.java

@@ -25,6 +25,9 @@
 
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * Signals that a malformed string in
  * <a href="DataInput.html#modified-utf-8">modified UTF-8</a>
@@ -42,6 +45,7 @@
  * @see     java.io.IOException
  * @since   1.0
  */
+@AnnotatedFor({"nullness"})
 public class UTFDataFormatException extends IOException {
     @java.io.Serial
     private static final long serialVersionUID = 420743449228280612L;
@@ -63,7 +67,7 @@ public UTFDataFormatException() {
      *
      * @param   s   the detail message.
      */
-    public UTFDataFormatException(String s) {
+    public UTFDataFormatException(@Nullable String s) {
         super(s);
     }
 }

src/java.base/share/classes/java/io/UnsupportedEncodingException.java

@@ -24,12 +24,16 @@
  */
 package java.io;
 
+import org.checkerframework.checker.nullness.qual.Nullable;
+import org.checkerframework.framework.qual.AnnotatedFor;
+
 /**
  * The Character Encoding is not supported.
  *
  * @author  Asmus Freytag
  * @since   1.1
  */
+@AnnotatedFor({"nullness"})
 public class UnsupportedEncodingException
     extends IOException
 {
@@ -47,7 +51,7 @@ public UnsupportedEncodingException() {
      * Constructs an UnsupportedEncodingException with a detail message.
      * @param s Describes the reason for the exception.
      */
-    public UnsupportedEncodingException(String s) {
+    public UnsupportedEncodingException(@Nullable String s) {
         super(s);
     }
 }