Annotate some new java.net APIs. (#86)

jspecify · Oct 7, 2024 · 3491a93 · 3491a93
1 parent 6ee45ed
commit 3491a93
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/java.base/share/classes/java/net/DatagramSocket.java b/src/java.base/share/classes/java/net/DatagramSocket.java
@@ -1329,7 +1329,7 @@ public Set<SocketOption<?>> supportedOptions() {
      * @see    StandardSocketOptions#IP_MULTICAST_IF
      * @since  17
      */
-    public void joinGroup(SocketAddress mcastaddr, NetworkInterface netIf)
+    public void joinGroup(SocketAddress mcastaddr, @Nullable NetworkInterface netIf)
             throws IOException {
         delegate().joinGroup(mcastaddr, netIf);
     }
@@ -1373,7 +1373,7 @@ public void joinGroup(SocketAddress mcastaddr, NetworkInterface netIf)
      * @see    StandardSocketOptions#IP_MULTICAST_IF
      * @since  17
      */
-    public void leaveGroup(SocketAddress mcastaddr, NetworkInterface netIf)
+    public void leaveGroup(SocketAddress mcastaddr, @Nullable NetworkInterface netIf)
             throws IOException {
         delegate().leaveGroup(mcastaddr, netIf);
     }

diff --git a/src/java.base/share/classes/java/net/URL.java b/src/java.base/share/classes/java/net/URL.java
@@ -860,7 +860,7 @@ public URL(@Nullable URL context, String spec, @Nullable URLStreamHandler handle
      *
      * @since 20
      */
-    public static URL of(URI uri, URLStreamHandler handler)
+    public static URL of(URI uri, @Nullable URLStreamHandler handler)
         throws MalformedURLException {
         if (!uri.isAbsolute()) {
             throw new IllegalArgumentException("URI is not absolute");