Switch to JSpecify for nullability annotations (#12)

* Switch to JSpecify for nullability annotations, null-mark all base API code

* Include copyright settings in VCS, update copyright

Author: eclipseisoffline

.idea/copyright/Geyser.xml

@@ -5,6 +5,7 @@ plugins {
 
 dependencies {
     api(libs.checker.qual)
+    api(libs.jspecify)
     api(libs.cumulus)
     api(libs.events) {
         exclude(group = "com.google.guava", module = "guava")

.idea/copyright/profiles_settings.xml

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2019-2022 GeyserMC. http://geysermc.org
+ * Copyright (c) 2019-2026 GeyserMC. http://geysermc.org
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to deal
@@ -25,21 +25,19 @@
 
 package org.geysermc.api;
 
-import org.checkerframework.checker.nullness.qual.NonNull;
+import org.jspecify.annotations.Nullable;
 
 /**
  * General API class for Geyser.
  */
-@NonNull
 public class Geyser {
-    private static GeyserApiBase api;
+    private static @Nullable GeyserApiBase api;
 
     /**
      * Returns the base api.
      *
      * @return the base api
      */
-    @NonNull
     public static GeyserApiBase api() {
         if (api == null) {
             throw new RuntimeException("Api has not been registered yet!");
@@ -56,7 +54,7 @@ public static GeyserApiBase api() {
      * @return the api of the given type
      */
     @SuppressWarnings("unchecked")
-    public static <T extends GeyserApiBase> T api(@NonNull Class<T> apiClass) {
+    public static <T extends GeyserApiBase> T api(Class<T> apiClass) {
         if (apiClass.isInstance(api)) {
             return (T) api;
         }
@@ -75,7 +73,7 @@ public static <T extends GeyserApiBase> T api(@NonNull Class<T> apiClass) {
      *
      * @param api the api
      */
-    public static void set(@NonNull GeyserApiBase api) {
+    public static void set(GeyserApiBase api) {
         if (Geyser.api != null) {
             throw new RuntimeException("Cannot redefine already registered api!");
         }

base/build.gradle.kts

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2019-2022 GeyserMC. http://geysermc.org
+ * Copyright (c) 2019-2026 GeyserMC. http://geysermc.org
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to deal
@@ -26,13 +26,12 @@
 package org.geysermc.api;
 
 import org.checkerframework.checker.nullness.qual.MonotonicNonNull;
-import org.checkerframework.checker.nullness.qual.NonNull;
-import org.checkerframework.checker.nullness.qual.Nullable;
 import org.checkerframework.common.value.qual.IntRange;
 import org.geysermc.api.connection.Connection;
 import org.geysermc.api.util.ApiVersion;
 import org.geysermc.cumulus.form.Form;
 import org.geysermc.cumulus.form.util.FormBuilder;
+import org.jspecify.annotations.Nullable;
 
 import java.util.List;
 import java.util.UUID;
@@ -48,25 +47,23 @@ public interface GeyserApiBase {
      * @param uuid the UUID of the connection
      * @return the connection from the given UUID, if applicable
      */
-    @Nullable
-    Connection connectionByUuid(@NonNull UUID uuid);
+    @Nullable Connection connectionByUuid(UUID uuid);
 
     /**
      * Gets the connection from the given XUID, if applicable. This method only works for online connections.
      *
      * @param xuid the XUID of the session
      * @return the connection from the given UUID, if applicable
      */
-    @Nullable
-    Connection connectionByXuid(@NonNull String xuid);
+    @Nullable Connection connectionByXuid(String xuid);
 
     /**
      * Method to determine if the given <b>online</b> player is a Bedrock player.
      *
      * @param uuid the uuid of the online player
      * @return true if the given online player is a Bedrock player
      */
-    boolean isBedrockPlayer(@NonNull UUID uuid);
+    boolean isBedrockPlayer(UUID uuid);
 
     /**
      * Sends a form to the given connection and opens it.
@@ -75,7 +72,7 @@ public interface GeyserApiBase {
      * @param form the form to send
      * @return whether the form was successfully sent
      */
-    boolean sendForm(@NonNull UUID uuid, @NonNull Form form);
+    boolean sendForm(UUID uuid, Form form);
 
     /**
      * Sends a form to the given connection and opens it.
@@ -84,7 +81,7 @@ public interface GeyserApiBase {
      * @param formBuilder the formBuilder to send
      * @return whether the form was successfully sent
      */
-    boolean sendForm(@NonNull UUID uuid, @NonNull FormBuilder<?, ?, ?> formBuilder);
+    boolean sendForm(UUID uuid, FormBuilder<?, ?, ?> formBuilder);
 
     /**
      * Transfer the given connection to a server. A Bedrock player can successfully transfer to the same server they are
@@ -95,12 +92,11 @@ public interface GeyserApiBase {
      * @param port    the port of the server
      * @return true if the transfer was a success
      */
-    boolean transfer(@NonNull UUID uuid, @NonNull String address, @IntRange(from = 0, to = 65535) int port);
+    boolean transfer(UUID uuid, String address, @IntRange(from = 0, to = 65535) int port);
 
     /**
      * Returns all the online connections.
      */
-    @NonNull
     List<? extends Connection> onlineConnections();
 
     /**

base/src/main/java/org/geysermc/api/Geyser.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2019-2022 GeyserMC. http://geysermc.org
+ * Copyright (c) 2019-2026 GeyserMC. http://geysermc.org
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to deal
@@ -26,7 +26,6 @@
 package org.geysermc.api.connection;
 
 import org.checkerframework.checker.nullness.qual.MonotonicNonNull;
-import org.checkerframework.checker.nullness.qual.NonNull;
 import org.checkerframework.common.value.qual.IntRange;
 import org.geysermc.api.util.BedrockPlatform;
 import org.geysermc.api.util.InputMode;
@@ -43,7 +42,7 @@ public interface Connection {
     /**
      * Returns the bedrock name of the connection.
      */
-    @NonNull String bedrockUsername();
+    String bedrockUsername();
 
     /**
      * Returns the java name of the connection.
@@ -60,32 +59,32 @@ public interface Connection {
     /**
      * Returns the XUID of the connection.
      */
-    @NonNull String xuid();
+    String xuid();
 
     /**
      * Returns the version of the Bedrock client.
      */
-    @NonNull String version();
+    String version();
 
     /**
      * Returns the platform that the connection is playing on.
      */
-    @NonNull BedrockPlatform platform();
+    BedrockPlatform platform();
 
     /**
      * Returns the language code of the connection.
      */
-    @NonNull String languageCode();
+    String languageCode();
 
     /**
      * Returns the User Interface Profile of the connection.
      */
-    @NonNull UiProfile uiProfile();
+    UiProfile uiProfile();
 
     /**
      * Returns the Input Mode of the Bedrock client.
      */
-    @NonNull InputMode inputMode();
+    InputMode inputMode();
 
     /**
      * Returns whether the connection is linked.
@@ -99,15 +98,15 @@ public interface Connection {
      * @param form the form to send
      * @return whether the form was successfully sent
      */
-    boolean sendForm(@NonNull Form form);
+    boolean sendForm(Form form);
 
     /**
      * Sends a form to the connection and opens it.
      *
      * @param formBuilder the formBuilder to send
      * @return whether the form was successfully sent
      */
-    boolean sendForm(@NonNull FormBuilder<?, ?, ?> formBuilder);
+    boolean sendForm(FormBuilder<?, ?, ?> formBuilder);
 
     /**
      * Transfer the connection to a server. A Bedrock player can successfully transfer to the same server they are
@@ -117,5 +116,5 @@ public interface Connection {
      * @param port    the port of the server
      * @return true if the transfer was a success
      */
-    boolean transfer(@NonNull String address, @IntRange(from = 0, to = 65535) int port);
+    boolean transfer(String address, @IntRange(from = 0, to = 65535) int port);
 }

base/src/main/java/org/geysermc/api/GeyserApiBase.java

@@ -0,0 +1,29 @@
+/*
+ * Copyright (c) 2026 GeyserMC. http://geysermc.org
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ *
+ * @author GeyserMC
+ * @link https://github.com/GeyserMC/Geyser
+ */
+
+@NullMarked
+package org.geysermc.api.connection;
+
+import org.jspecify.annotations.NullMarked;

base/src/main/java/org/geysermc/api/connection/Connection.java

@@ -0,0 +1,29 @@
+/*
+ * Copyright (c) 2026 GeyserMC. http://geysermc.org
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ *
+ * @author GeyserMC
+ * @link https://github.com/GeyserMC/Geyser
+ */
+
+@NullMarked
+package org.geysermc.api;
+
+import org.jspecify.annotations.NullMarked;

base/src/main/java/org/geysermc/api/connection/package-info.java

@@ -1,3 +1,28 @@
+/*
+ * Copyright (c) 2026 GeyserMC. http://geysermc.org
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ *
+ * @author GeyserMC
+ * @link https://github.com/GeyserMC/Geyser
+ */
+
 package org.geysermc.api.util;
 
 /**

base/src/main/java/org/geysermc/api/package-info.java

@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2019-2022 GeyserMC. http://geysermc.org
+ * Copyright (c) 2019-2026 GeyserMC. http://geysermc.org
  *
  * Permission is hereby granted, free of charge, to any person obtaining a copy
  * of this software and associated documentation files (the "Software"), to deal
@@ -25,8 +25,6 @@
 
 package org.geysermc.api.util;
 
-import org.checkerframework.checker.nullness.qual.NonNull;
-
 public enum BedrockPlatform {
     UNKNOWN("Unknown"),
     GOOGLE("Android"),
@@ -62,7 +60,6 @@ public enum BedrockPlatform {
      * @param id the BedrockPlatform identifier
      * @return The BedrockPlatform or {@link #UNKNOWN} if the platform wasn't found
      */
-    @NonNull
     public static BedrockPlatform fromId(int id) {
         return id < VALUES.length ? VALUES[id] : VALUES[0];
     }