Explicitly comment unspecified-nullness types.

Co-authored-by: Werner Dietl <[email protected]>
jspecify · Dec 18, 2024 · 3f15d24 · 3f15d24
1 parent 53889a8
commit 3f15d24
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/java.base/share/classes/java/nio/file/Files.java b/src/java.base/share/classes/java/nio/file/Files.java
@@ -1816,7 +1816,7 @@ public static Path setAttribute(Path path, String attribute, Object value,
      *          if an I/O error occurs
      */
     @NullUnmarked // https://github.com/jspecify/jdk/pull/10#pullrequestreview-1404320091
-    public static Object getAttribute(@NonNull Path path, @NonNull String attribute,
+    public static /*@NullUnmarked*/ Object getAttribute(@NonNull Path path, @NonNull String attribute,
                                       @NonNull LinkOption @NonNull ... options)
         throws IOException
     {
@@ -1915,7 +1915,7 @@ public static Object getAttribute(@NonNull Path path, @NonNull String attribute,
      *          if an I/O error occurs
      */
     @NullUnmarked // https://github.com/jspecify/jdk/pull/10#pullrequestreview-1404320091
-    public static @NonNull Map<@NonNull String,Object> readAttributes(@NonNull Path path, @NonNull String attributes,
+    public static @NonNull Map<@NonNull String, /*@NullUnmarked*/ Object> readAttributes(@NonNull Path path, @NonNull String attributes,
                                                     @NonNull LinkOption @NonNull ... options)
         throws IOException
     {