From 15456c86a45c7871d8a217e985d099c02149aa7a Mon Sep 17 00:00:00 2001 From: Matthias Andreas Benkard Date: Sat, 20 Jul 2024 10:52:54 +0200 Subject: Switch from JetBrains annotations to JSpecify. Change-Id: Ia04b52c36f9779ab15e688e0dd7434644b3a3f7f --- jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/MainCommand.java | 2 +- jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/package-info.java | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) (limited to 'jgvariant-tool/src/main/java/eu') diff --git a/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/MainCommand.java b/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/MainCommand.java index db724dd..9c3e0f9 100644 --- a/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/MainCommand.java +++ b/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/MainCommand.java @@ -29,8 +29,8 @@ import java.text.ParseException; import java.util.*; import java.util.logging.Logger; import java.util.stream.IntStream; -import org.jetbrains.annotations.Nullable; import org.jetbrains.annotations.VisibleForTesting; +import org.jspecify.annotations.Nullable; import picocli.AutoComplete; import picocli.CommandLine; import picocli.CommandLine.*; diff --git a/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/package-info.java b/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/package-info.java index 54a4fff..43dd1bf 100644 --- a/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/package-info.java +++ b/jgvariant-tool/src/main/java/eu/mulk/jgvariant/tool/package-info.java @@ -9,6 +9,8 @@ * be used to manipulate GVariant-formatted files from the command line. */ @API(status = API.Status.INTERNAL) +@NullMarked package eu.mulk.jgvariant.tool; import org.apiguardian.api.API; +import org.jspecify.annotations.NullMarked; -- cgit v1.2.3