Switch to JSpecify

Author: charphi

java-service-processor/pom.xml

@@ -33,8 +33,8 @@
             <scope>provided</scope>
         </dependency>
         <dependency>
-            <groupId>org.checkerframework</groupId>
-            <artifactId>checker-qual</artifactId>
+            <groupId>org.jspecify</groupId>
+            <artifactId>jspecify</artifactId>
             <scope>provided</scope>
         </dependency>
 

java-service-processor/src/main/java/internal/nbbrd/service/ExtEnvironment.java

@@ -17,8 +17,8 @@
 package internal.nbbrd.service;
 
 import com.squareup.javapoet.ClassName;
-import org.checkerframework.checker.nullness.qual.NonNull;
-import org.checkerframework.checker.nullness.qual.Nullable;
+import lombok.NonNull;
+import org.jspecify.annotations.Nullable;
 
 import javax.annotation.processing.ProcessingEnvironment;
 import javax.lang.model.element.Element;

java-service-processor/src/main/java/internal/nbbrd/service/HasMethod.java

@@ -1,6 +1,6 @@
 package internal.nbbrd.service;
 
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 import javax.lang.model.element.ExecutableElement;
 

java-service-processor/src/main/java/internal/nbbrd/service/HasTypeMirror.java

@@ -1,6 +1,6 @@
 package internal.nbbrd.service;
 
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 import javax.lang.model.type.TypeMirror;
 

java-service-processor/src/main/java/internal/nbbrd/service/Instantiator.java

@@ -16,7 +16,7 @@
  */
 package internal.nbbrd.service;
 
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 import java.util.Arrays;
 import java.util.List;

java-service-processor/src/main/java/internal/nbbrd/service/ProcessorUtil.java

@@ -17,7 +17,7 @@
 package internal.nbbrd.service;
 
 import com.squareup.javapoet.JavaFile;
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 import javax.annotation.processing.ProcessingEnvironment;
 import javax.lang.model.type.MirroredTypeException;

java-service-processor/src/main/java/internal/nbbrd/service/Wrapper.java

@@ -16,7 +16,7 @@
  */
 package internal.nbbrd.service;
 
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 import javax.lang.model.element.Element;
 import javax.lang.model.element.ExecutableElement;

java-service-processor/src/main/java/internal/nbbrd/service/definition/Lifecycle.java

@@ -18,7 +18,7 @@
 
 import internal.nbbrd.service.Unreachable;
 import nbbrd.service.Mutability;
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 /**
  * @author Philippe Charles

java-service-processor/src/main/java/internal/nbbrd/service/definition/LoadDefinition.java

@@ -20,7 +20,7 @@
 import com.squareup.javapoet.ClassName;
 import internal.nbbrd.service.ExtEnvironment;
 import nbbrd.service.Quantifier;
-import org.checkerframework.checker.nullness.qual.NonNull;
+import lombok.NonNull;
 
 import javax.lang.model.type.TypeMirror;
 import javax.lang.model.util.Types;

java-service-processor/src/main/java/internal/nbbrd/service/definition/LoadFilter.java

@@ -17,7 +17,6 @@
 package internal.nbbrd.service.definition;
 
 import internal.nbbrd.service.HasMethod;
-import org.checkerframework.checker.index.qual.NonNegative;
 
 import javax.lang.model.element.ExecutableElement;
 import javax.lang.model.element.TypeElement;
@@ -34,7 +33,7 @@ class LoadFilter implements HasMethod {
 
     boolean negate;
 
-    @NonNegative
+    //@NonNegative
     int position;
 
     @lombok.NonNull