Should be used in test purposes only. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.transport.memory; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/main/java/io/spine/server/transport/package-info.java b/server/src/main/java/io/spine/server/transport/package-info.java index 68018f77831..7b7595dc021 100644 --- a/server/src/main/java/io/spine/server/transport/package-info.java +++ b/server/src/main/java/io/spine/server/transport/package-info.java @@ -31,9 +31,9 @@ *
Typical transport options include gRPC servers, messaging system integration etc. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.transport; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/main/java/io/spine/server/tuple/Pair.java b/server/src/main/java/io/spine/server/tuple/Pair.java index 05de92c9004..0184a8277ab 100644 --- a/server/src/main/java/io/spine/server/tuple/Pair.java +++ b/server/src/main/java/io/spine/server/tuple/Pair.java @@ -30,7 +30,7 @@ import com.google.protobuf.Message; import io.spine.server.tuple.Element.AValue; import io.spine.server.tuple.Element.BValue; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/server/src/main/java/io/spine/server/tuple/Quartet.java b/server/src/main/java/io/spine/server/tuple/Quartet.java index bcb297e455e..3b70ceded4d 100644 --- a/server/src/main/java/io/spine/server/tuple/Quartet.java +++ b/server/src/main/java/io/spine/server/tuple/Quartet.java @@ -32,7 +32,7 @@ import io.spine.server.tuple.Element.BValue; import io.spine.server.tuple.Element.CValue; import io.spine.server.tuple.Element.DValue; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/server/src/main/java/io/spine/server/tuple/Quintet.java b/server/src/main/java/io/spine/server/tuple/Quintet.java index abbfa428ce0..8bbc57db80f 100644 --- a/server/src/main/java/io/spine/server/tuple/Quintet.java +++ b/server/src/main/java/io/spine/server/tuple/Quintet.java @@ -33,7 +33,7 @@ import io.spine.server.tuple.Element.CValue; import io.spine.server.tuple.Element.DValue; import io.spine.server.tuple.Element.EValue; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/server/src/main/java/io/spine/server/tuple/Triplet.java b/server/src/main/java/io/spine/server/tuple/Triplet.java index 804b865a60e..41a102fce9b 100644 --- a/server/src/main/java/io/spine/server/tuple/Triplet.java +++ b/server/src/main/java/io/spine/server/tuple/Triplet.java @@ -31,7 +31,7 @@ import io.spine.server.tuple.Element.AValue; import io.spine.server.tuple.Element.BValue; import io.spine.server.tuple.Element.CValue; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/server/src/main/java/io/spine/server/tuple/Tuple.java b/server/src/main/java/io/spine/server/tuple/Tuple.java index 531df0609b5..44b14fb4b57 100644 --- a/server/src/main/java/io/spine/server/tuple/Tuple.java +++ b/server/src/main/java/io/spine/server/tuple/Tuple.java @@ -32,8 +32,8 @@ import com.google.protobuf.Empty; import com.google.protobuf.GeneratedMessageV3; import com.google.protobuf.Message; -import org.checkerframework.checker.nullness.qual.NonNull; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.NonNull; +import org.jspecify.annotations.Nullable; import java.io.Serializable; import java.util.Iterator; diff --git a/server/src/main/java/io/spine/server/tuple/package-info.java b/server/src/main/java/io/spine/server/tuple/package-info.java index ac97030a822..9f0c010788f 100644 --- a/server/src/main/java/io/spine/server/tuple/package-info.java +++ b/server/src/main/java/io/spine/server/tuple/package-info.java @@ -131,9 +131,9 @@ * io.spine.server.tuple.Either) Pair.withEither()}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.tuple; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/main/java/io/spine/server/type/package-info.java b/server/src/main/java/io/spine/server/type/package-info.java index 542f1b73bad..16fcf04c101 100644 --- a/server/src/main/java/io/spine/server/type/package-info.java +++ b/server/src/main/java/io/spine/server/type/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.type; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/main/java/io/spine/system/server/SystemConfig.java b/server/src/main/java/io/spine/system/server/SystemConfig.java index 8f25ec957f7..72c268d86cf 100644 --- a/server/src/main/java/io/spine/system/server/SystemConfig.java +++ b/server/src/main/java/io/spine/system/server/SystemConfig.java @@ -26,7 +26,7 @@ package io.spine.system.server; -import javax.annotation.Nullable; +import org.jspecify.annotations.Nullable; import javax.annotation.concurrent.Immutable; import java.util.Objects; import java.util.concurrent.Executor; diff --git a/server/src/main/java/io/spine/system/server/SystemRequestFactory.java b/server/src/main/java/io/spine/system/server/SystemRequestFactory.java index 0f5e0461bc3..8b8dfb57c73 100644 --- a/server/src/main/java/io/spine/system/server/SystemRequestFactory.java +++ b/server/src/main/java/io/spine/system/server/SystemRequestFactory.java @@ -29,7 +29,7 @@ import io.spine.client.ActorRequestFactory; import io.spine.core.TenantId; import io.spine.server.tenant.TenantFunction; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static io.spine.system.server.DefaultSystemWriteSide.SYSTEM_USER; diff --git a/server/src/main/java/io/spine/system/server/SystemSettings.java b/server/src/main/java/io/spine/system/server/SystemSettings.java index 878afe0355c..e17e5a46f45 100644 --- a/server/src/main/java/io/spine/system/server/SystemSettings.java +++ b/server/src/main/java/io/spine/system/server/SystemSettings.java @@ -31,7 +31,7 @@ import io.spine.environment.Environment; import io.spine.environment.Tests; -import javax.annotation.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Objects; import java.util.concurrent.Executor; import java.util.concurrent.ForkJoinPool; diff --git a/server/src/main/java/io/spine/system/server/event/package-info.java b/server/src/main/java/io/spine/system/server/event/package-info.java index d992d538f92..744b18c8760 100644 --- a/server/src/main/java/io/spine/system/server/event/package-info.java +++ b/server/src/main/java/io/spine/system/server/event/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.event; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/main/java/io/spine/system/server/package-info.java b/server/src/main/java/io/spine/system/server/package-info.java index b0790533807..80677fb9e29 100644 --- a/server/src/main/java/io/spine/system/server/package-info.java +++ b/server/src/main/java/io/spine/system/server/package-info.java @@ -38,11 +38,11 @@ @Internal @BoundedContext("_System") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.annotation.Internal; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/test/java/io/spine/client/ClientBuilderTest.java b/server/src/test/java/io/spine/client/ClientBuilderTest.java index 225a79faab7..c9832b3e47f 100644 --- a/server/src/test/java/io/spine/client/ClientBuilderTest.java +++ b/server/src/test/java/io/spine/client/ClientBuilderTest.java @@ -34,7 +34,7 @@ import io.spine.testing.TestValues; import io.spine.testing.core.given.GivenTenantId; import io.spine.testing.core.given.GivenUserId; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.DisplayName; diff --git a/server/src/test/java/io/spine/client/CommandRequestTest.java b/server/src/test/java/io/spine/client/CommandRequestTest.java index 194fb0695cd..ba7dc8a016e 100644 --- a/server/src/test/java/io/spine/client/CommandRequestTest.java +++ b/server/src/test/java/io/spine/client/CommandRequestTest.java @@ -41,7 +41,7 @@ import io.spine.test.client.users.rejection.Rejections.UserAlreadyLoggedIn; import io.spine.testing.core.given.GivenUserId; import io.spine.testing.logging.mute.MuteLogging; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.DisplayName; diff --git a/server/src/test/java/io/spine/client/package-info.java b/server/src/test/java/io/spine/client/package-info.java index 413747c3fd0..82c150ee169 100644 --- a/server/src/test/java/io/spine/client/package-info.java +++ b/server/src/test/java/io/spine/client/package-info.java @@ -37,9 +37,9 @@ * to {@code ":server"}, which is not circular but in some cases is not handled by Gradle. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.client; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/test/java/io/spine/server/ServerEnvironmentConfigTest.java b/server/src/test/java/io/spine/server/ServerEnvironmentConfigTest.java index 0231e53fdc7..ccfc007b731 100644 --- a/server/src/test/java/io/spine/server/ServerEnvironmentConfigTest.java +++ b/server/src/test/java/io/spine/server/ServerEnvironmentConfigTest.java @@ -46,7 +46,7 @@ import io.spine.server.transport.Subscriber; import io.spine.server.transport.TransportFactory; import io.spine.server.transport.memory.InMemoryTransportFactory; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.DisplayName; diff --git a/server/src/test/java/io/spine/server/aggregate/AggregateStorageTest.java b/server/src/test/java/io/spine/server/aggregate/AggregateStorageTest.java index ddac5ac4eb9..14c224ae702 100644 --- a/server/src/test/java/io/spine/server/aggregate/AggregateStorageTest.java +++ b/server/src/test/java/io/spine/server/aggregate/AggregateStorageTest.java @@ -58,7 +58,7 @@ import io.spine.testing.server.TestEventFactory; import io.spine.testing.server.model.ModelTests; import io.spine.type.TypeUrl; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.Disabled; import org.junit.jupiter.api.DisplayName; diff --git a/server/src/test/java/io/spine/server/aggregate/EventImportTest.java b/server/src/test/java/io/spine/server/aggregate/EventImportTest.java index 54efc0cbf25..b3c74eff313 100644 --- a/server/src/test/java/io/spine/server/aggregate/EventImportTest.java +++ b/server/src/test/java/io/spine/server/aggregate/EventImportTest.java @@ -37,7 +37,7 @@ import io.spine.server.type.EventEnvelope; import io.spine.testing.server.TestEventFactory; import io.spine.testing.server.blackbox.BlackBox; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Nested; diff --git a/server/src/test/java/io/spine/server/aggregate/TestAggregateStorage.java b/server/src/test/java/io/spine/server/aggregate/TestAggregateStorage.java index f9ee1306ec2..3226945d636 100644 --- a/server/src/test/java/io/spine/server/aggregate/TestAggregateStorage.java +++ b/server/src/test/java/io/spine/server/aggregate/TestAggregateStorage.java @@ -35,7 +35,7 @@ import io.spine.server.entity.EntityRecord; import io.spine.test.aggregate.AggProject; import io.spine.test.aggregate.ProjectId; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Iterator; import java.util.Optional; diff --git a/server/src/test/java/io/spine/server/aggregate/model/ApplierTest.java b/server/src/test/java/io/spine/server/aggregate/model/ApplierTest.java index 139d679d187..d547270d5a9 100644 --- a/server/src/test/java/io/spine/server/aggregate/model/ApplierTest.java +++ b/server/src/test/java/io/spine/server/aggregate/model/ApplierTest.java @@ -45,7 +45,7 @@ import io.spine.testdata.Sample; import io.spine.testing.logging.mute.MuteLogging; import io.spine.testing.server.model.ModelTests; -import org.checkerframework.checker.nullness.qual.NonNull; +import org.jspecify.annotations.NonNull; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Nested; import org.junit.jupiter.api.Test; diff --git a/server/src/test/java/io/spine/server/commandbus/AckRejectionPublisherTest.java b/server/src/test/java/io/spine/server/commandbus/AckRejectionPublisherTest.java index 197c1e30592..2c6e57a3dfc 100644 --- a/server/src/test/java/io/spine/server/commandbus/AckRejectionPublisherTest.java +++ b/server/src/test/java/io/spine/server/commandbus/AckRejectionPublisherTest.java @@ -34,7 +34,7 @@ import io.spine.test.commandbus.CmdBusCaffetteriaId; import io.spine.test.commandbus.command.CmdBusEntryDenied; import io.spine.testing.client.TestActorRequestFactory; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Test; diff --git a/server/src/test/java/io/spine/server/commandbus/CommandReceivedTapTest.java b/server/src/test/java/io/spine/server/commandbus/CommandReceivedTapTest.java index ef2219e9973..2048edb1641 100644 --- a/server/src/test/java/io/spine/server/commandbus/CommandReceivedTapTest.java +++ b/server/src/test/java/io/spine/server/commandbus/CommandReceivedTapTest.java @@ -36,7 +36,7 @@ import io.spine.test.command.CmdCreateProject; import io.spine.test.command.ProjectId; import io.spine.testing.client.TestActorRequestFactory; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Test; diff --git a/server/src/test/java/io/spine/server/commandbus/CommandValidatorViolationCheckTest.java b/server/src/test/java/io/spine/server/commandbus/CommandValidatorViolationCheckTest.java index f75ace58e10..37ae7899d85 100644 --- a/server/src/test/java/io/spine/server/commandbus/CommandValidatorViolationCheckTest.java +++ b/server/src/test/java/io/spine/server/commandbus/CommandValidatorViolationCheckTest.java @@ -38,7 +38,7 @@ import io.spine.test.commandbus.command.CmdBusCreateProject; import io.spine.testing.client.TestActorRequestFactory; import io.spine.validate.ConstraintViolation; -import org.checkerframework.checker.nullness.qual.NonNull; +import org.jspecify.annotations.NonNull; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Test; diff --git a/server/src/test/java/io/spine/server/event/EventBusTest.java b/server/src/test/java/io/spine/server/event/EventBusTest.java index 1c65ee3b820..fd7d0c9886a 100644 --- a/server/src/test/java/io/spine/server/event/EventBusTest.java +++ b/server/src/test/java/io/spine/server/event/EventBusTest.java @@ -53,7 +53,7 @@ import io.spine.testing.logging.mute.MuteLogging; import io.spine.testing.server.TestEventFactory; import io.spine.validate.Validated; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.DisplayName; diff --git a/server/src/test/java/io/spine/server/model/contexts/package-info.java b/server/src/test/java/io/spine/server/model/contexts/package-info.java index 01ff1bca9f6..265339d213e 100644 --- a/server/src/test/java/io/spine/server/model/contexts/package-info.java +++ b/server/src/test/java/io/spine/server/model/contexts/package-info.java @@ -32,9 +32,9 @@ * @see io.spine.server.model.contexts.tasks */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.contexts; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/test/java/io/spine/server/model/handler/package-info.java b/server/src/test/java/io/spine/server/model/handler/package-info.java index 981f07f5c1b..b00a2aa408b 100644 --- a/server/src/test/java/io/spine/server/model/handler/package-info.java +++ b/server/src/test/java/io/spine/server/model/handler/package-info.java @@ -31,9 +31,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.handler; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/test/java/io/spine/server/package-info.java b/server/src/test/java/io/spine/server/package-info.java index 6445ac5d30f..501649552a3 100644 --- a/server/src/test/java/io/spine/server/package-info.java +++ b/server/src/test/java/io/spine/server/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/test/java/io/spine/server/projection/e2e/package-info.java b/server/src/test/java/io/spine/server/projection/e2e/package-info.java index 62e7d6e9206..8da783894bf 100644 --- a/server/src/test/java/io/spine/server/projection/e2e/package-info.java +++ b/server/src/test/java/io/spine/server/projection/e2e/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.projection.e2e; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/test/java/io/spine/server/route/StateUpdateRoutingTest.java b/server/src/test/java/io/spine/server/route/StateUpdateRoutingTest.java index 51c80203ea4..f8145c98b8c 100644 --- a/server/src/test/java/io/spine/server/route/StateUpdateRoutingTest.java +++ b/server/src/test/java/io/spine/server/route/StateUpdateRoutingTest.java @@ -37,7 +37,7 @@ import io.spine.system.server.event.EntityStateChanged; import io.spine.testing.core.given.GivenVersion; import io.spine.type.TypeUrl; -import org.checkerframework.checker.nullness.qual.NonNull; +import org.jspecify.annotations.NonNull; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Test; diff --git a/server/src/test/java/io/spine/server/stand/StandTest.java b/server/src/test/java/io/spine/server/stand/StandTest.java index b7785dabc0f..f724f3fa8bf 100644 --- a/server/src/test/java/io/spine/server/stand/StandTest.java +++ b/server/src/test/java/io/spine/server/stand/StandTest.java @@ -64,7 +64,7 @@ import io.spine.testing.logging.mute.MuteLogging; import io.spine.testing.server.tenant.TenantAwareTest; import io.spine.validate.ValidationError; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.BeforeEach; import org.junit.jupiter.api.Disabled; import org.junit.jupiter.api.DisplayName; diff --git a/server/src/test/java/io/spine/server/storage/EntityRecordStorageTest.java b/server/src/test/java/io/spine/server/storage/EntityRecordStorageTest.java index e490c362708..d4903990b5a 100644 --- a/server/src/test/java/io/spine/server/storage/EntityRecordStorageTest.java +++ b/server/src/test/java/io/spine/server/storage/EntityRecordStorageTest.java @@ -44,7 +44,7 @@ import io.spine.server.storage.given.GivenStorageProject; import io.spine.test.storage.StgProject; import io.spine.test.storage.StgProjectId; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Nested; import org.junit.jupiter.api.Test; diff --git a/server/src/test/java/io/spine/server/storage/memory/RecordQueryMatcherTest.java b/server/src/test/java/io/spine/server/storage/memory/RecordQueryMatcherTest.java index 669fb56f67c..4d6d9c8b6ec 100644 --- a/server/src/test/java/io/spine/server/storage/memory/RecordQueryMatcherTest.java +++ b/server/src/test/java/io/spine/server/storage/memory/RecordQueryMatcherTest.java @@ -30,7 +30,7 @@ import io.spine.server.storage.given.GivenStorageProject.StgProjectColumns; import io.spine.test.storage.StgProject; import io.spine.test.storage.StgProjectId; -import org.checkerframework.checker.nullness.qual.NonNull; +import org.jspecify.annotations.NonNull; import org.junit.jupiter.api.DisplayName; import org.junit.jupiter.api.Test; diff --git a/server/src/testFixtures/java/com/example/package-info.java b/server/src/testFixtures/java/com/example/package-info.java index 0cb6944477c..3db4602f7f5 100644 --- a/server/src/testFixtures/java/com/example/package-info.java +++ b/server/src/testFixtures/java/com/example/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for testing invocations from outside the framework package namespace. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package com.example; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/client/given/package-info.java b/server/src/testFixtures/java/io/spine/client/given/package-info.java index dc7f80b9132..7a0d84917a5 100644 --- a/server/src/testFixtures/java/io/spine/client/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/client/given/package-info.java @@ -28,9 +28,9 @@ * Provides convenience API to create a desired test environment for Spine Client tests. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.client.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/core/given/package-info.java b/server/src/testFixtures/java/io/spine/core/given/package-info.java index e7a6a1722eb..4337e45f67d 100644 --- a/server/src/testFixtures/java/io/spine/core/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/core/given/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for {@code core} tests. */ -@ParametersAreNonnullByDefault +@NullMarked @CheckReturnValue package io.spine.core.given; import javax.annotation.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/given/package-info.java b/server/src/testFixtures/java/io/spine/given/package-info.java index 683179563d0..3c305d9aafa 100644 --- a/server/src/testFixtures/java/io/spine/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/given/package-info.java @@ -29,9 +29,9 @@ * but belonging to the framework namespace. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/Given.java b/server/src/testFixtures/java/io/spine/server/Given.java index eae4910a9a4..aa81a2f2c91 100644 --- a/server/src/testFixtures/java/io/spine/server/Given.java +++ b/server/src/testFixtures/java/io/spine/server/Given.java @@ -74,7 +74,7 @@ import io.spine.testing.client.TestActorRequestFactory; import io.spine.testing.core.given.GivenUserId; import io.spine.time.Now; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Iterator; import java.util.List; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/TaskAggregate.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/TaskAggregate.java index 3bf3cc21573..0ba4e6526fa 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/TaskAggregate.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/TaskAggregate.java @@ -42,7 +42,7 @@ import io.spine.test.aggregate.rejection.Rejections; import io.spine.test.aggregate.task.AggTask; import io.spine.test.aggregate.task.AggTaskId; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/package-info.java index f429266efbd..ba8b9a624f9 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/aggregate/package-info.java @@ -28,7 +28,7 @@ * Test environment classes for {@linkplain io.spine.server.aggregate.AggregateTest * Aggregate tests}. */ -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.aggregate; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/dispatch/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/dispatch/package-info.java index 95bd213b81c..7600c46edc1 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/dispatch/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/dispatch/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.dispatch; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/fibonacci/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/fibonacci/package-info.java index 3dc4065657d..9b204f37090 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/fibonacci/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/fibonacci/package-info.java @@ -29,9 +29,9 @@ * {@link io.spine.server.aggregate.AggregateStorage#truncateOlderThan(int) truncation} test. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.fibonacci; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/importado/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/importado/package-info.java index 6ced795239e..aba6b05e468 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/importado/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/importado/package-info.java @@ -33,9 +33,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.importado; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/klasse/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/klasse/package-info.java index 0eb2765ce80..fe01665f00e 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/klasse/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/klasse/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.klasse; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/package-info.java index 7d15fc253dc..29c2f6da34e 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/part/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/part/package-info.java index 0d373ffdfd6..85527149755 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/part/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/part/package-info.java @@ -30,9 +30,9 @@ * {@link io.spine.server.aggregate.AggregatePartTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.part; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/query/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/query/package-info.java index d3cc16bcf2e..1e01252df20 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/query/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/query/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.query; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/ProjectAggregateRepository.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/ProjectAggregateRepository.java index 189d44b857d..c0bffe8a67f 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/ProjectAggregateRepository.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/ProjectAggregateRepository.java @@ -40,7 +40,7 @@ import io.spine.test.aggregate.ProjectId; import io.spine.test.aggregate.event.AggProjectArchived; import io.spine.test.aggregate.event.AggProjectDeleted; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/package-info.java index c42dab7269c..3e4eea5016e 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/repo/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for testing {@code AggregateRepository}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.repo; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/aggregate/given/thermometer/package-info.java b/server/src/testFixtures/java/io/spine/server/aggregate/given/thermometer/package-info.java index 833a2fb6bd3..7b1073eeda4 100644 --- a/server/src/testFixtures/java/io/spine/server/aggregate/given/thermometer/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/aggregate/given/thermometer/package-info.java @@ -30,9 +30,9 @@ * test. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.aggregate.given.thermometer; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/bc/given/package-info.java b/server/src/testFixtures/java/io/spine/server/bc/given/package-info.java index eb868a100f5..c7e9d9ced7c 100644 --- a/server/src/testFixtures/java/io/spine/server/bc/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/bc/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.bc.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/bc/package-info.java b/server/src/testFixtures/java/io/spine/server/bc/package-info.java index 2be7d5cf951..4490e496a8c 100644 --- a/server/src/testFixtures/java/io/spine/server/bc/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/bc/package-info.java @@ -28,9 +28,9 @@ * This package contains tests for {@link io.spine.server.BoundedContext BoundedContext}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.bc; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/bus/given/package-info.java b/server/src/testFixtures/java/io/spine/server/bus/given/package-info.java index 8ced616c115..e073a796d00 100644 --- a/server/src/testFixtures/java/io/spine/server/bus/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/bus/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.bus.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/bus/given/stock/package-info.java b/server/src/testFixtures/java/io/spine/server/bus/given/stock/package-info.java index e534487efaa..4b12b356767 100644 --- a/server/src/testFixtures/java/io/spine/server/bus/given/stock/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/bus/given/stock/package-info.java @@ -31,10 +31,10 @@ @BoundedContext("Stock") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.bus.given.stock; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/command/given/package-info.java b/server/src/testFixtures/java/io/spine/server/command/given/package-info.java index 27b1d97fd70..9f2b8235482 100644 --- a/server/src/testFixtures/java/io/spine/server/command/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/command/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.command.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/command/model/given/handler/package-info.java b/server/src/testFixtures/java/io/spine/server/command/model/given/handler/package-info.java index 08610ff6211..954026296b7 100644 --- a/server/src/testFixtures/java/io/spine/server/command/model/given/handler/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/command/model/given/handler/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.command.model.given.handler; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/command/model/given/reaction/package-info.java b/server/src/testFixtures/java/io/spine/server/command/model/given/reaction/package-info.java index fdfba5608cb..c38becff869 100644 --- a/server/src/testFixtures/java/io/spine/server/command/model/given/reaction/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/command/model/given/reaction/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.command.model.given.reaction; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/command/package-info.java b/server/src/testFixtures/java/io/spine/server/command/package-info.java index 6b497b98537..e3f64d85074 100644 --- a/server/src/testFixtures/java/io/spine/server/command/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/command/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.command; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/commandbus/given/DirectScheduledExecutor.java b/server/src/testFixtures/java/io/spine/server/commandbus/given/DirectScheduledExecutor.java index ece3bd5b684..fc113021985 100644 --- a/server/src/testFixtures/java/io/spine/server/commandbus/given/DirectScheduledExecutor.java +++ b/server/src/testFixtures/java/io/spine/server/commandbus/given/DirectScheduledExecutor.java @@ -26,7 +26,7 @@ package io.spine.server.commandbus.given; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Collection; import java.util.List; diff --git a/server/src/testFixtures/java/io/spine/server/commandbus/given/caffetteria/package-info.java b/server/src/testFixtures/java/io/spine/server/commandbus/given/caffetteria/package-info.java index 18a2c6a3f53..e6970f1a6a9 100644 --- a/server/src/testFixtures/java/io/spine/server/commandbus/given/caffetteria/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/commandbus/given/caffetteria/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.commandbus.given.caffetteria; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/commandbus/given/package-info.java b/server/src/testFixtures/java/io/spine/server/commandbus/given/package-info.java index 959e71de07d..0425895a972 100644 --- a/server/src/testFixtures/java/io/spine/server/commandbus/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/commandbus/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.commandbus.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/delivery/MemoizingAction.java b/server/src/testFixtures/java/io/spine/server/delivery/MemoizingAction.java index af1f911409c..70588806108 100644 --- a/server/src/testFixtures/java/io/spine/server/delivery/MemoizingAction.java +++ b/server/src/testFixtures/java/io/spine/server/delivery/MemoizingAction.java @@ -26,7 +26,7 @@ package io.spine.server.delivery; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.List; diff --git a/server/src/testFixtures/java/io/spine/server/delivery/NastyClient.java b/server/src/testFixtures/java/io/spine/server/delivery/NastyClient.java index b5cf84bbfac..bcb0fd50781 100644 --- a/server/src/testFixtures/java/io/spine/server/delivery/NastyClient.java +++ b/server/src/testFixtures/java/io/spine/server/delivery/NastyClient.java @@ -38,7 +38,7 @@ import io.spine.test.delivery.NumberImported; import io.spine.test.delivery.NumberReacted; import io.spine.testing.server.blackbox.BlackBox; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Collection; import java.util.Iterator; diff --git a/server/src/testFixtures/java/io/spine/server/delivery/given/ReceptionFailureTestEnv.java b/server/src/testFixtures/java/io/spine/server/delivery/given/ReceptionFailureTestEnv.java index 4f1ad6f7397..114c13fb7aa 100644 --- a/server/src/testFixtures/java/io/spine/server/delivery/given/ReceptionFailureTestEnv.java +++ b/server/src/testFixtures/java/io/spine/server/delivery/given/ReceptionFailureTestEnv.java @@ -40,7 +40,7 @@ import io.spine.test.delivery.Receptionist; import io.spine.test.delivery.command.TurnConditionerOn; import io.spine.testing.server.blackbox.BlackBox; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.time.Duration; import java.util.Optional; diff --git a/server/src/testFixtures/java/io/spine/server/delivery/given/TestCatchUpJobs.java b/server/src/testFixtures/java/io/spine/server/delivery/given/TestCatchUpJobs.java index 93fdf08a2df..8e920adcba4 100644 --- a/server/src/testFixtures/java/io/spine/server/delivery/given/TestCatchUpJobs.java +++ b/server/src/testFixtures/java/io/spine/server/delivery/given/TestCatchUpJobs.java @@ -32,7 +32,7 @@ import io.spine.server.delivery.CatchUpId; import io.spine.server.delivery.CatchUpStatus; import io.spine.type.TypeUrl; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Collection; diff --git a/server/src/testFixtures/java/io/spine/server/delivery/given/WhatToCatchUp.java b/server/src/testFixtures/java/io/spine/server/delivery/given/WhatToCatchUp.java index be77e7777c0..02d0c854d91 100644 --- a/server/src/testFixtures/java/io/spine/server/delivery/given/WhatToCatchUp.java +++ b/server/src/testFixtures/java/io/spine/server/delivery/given/WhatToCatchUp.java @@ -27,7 +27,7 @@ package io.spine.server.delivery.given; import com.google.protobuf.Timestamp; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; diff --git a/server/src/testFixtures/java/io/spine/server/delivery/given/package-info.java b/server/src/testFixtures/java/io/spine/server/delivery/given/package-info.java index 2fcb90db1f8..da6aa7b298f 100644 --- a/server/src/testFixtures/java/io/spine/server/delivery/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/delivery/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.delivery.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/dispatch/given/package-info.java b/server/src/testFixtures/java/io/spine/server/dispatch/given/package-info.java index ed7e56baf25..aa7f1d1a9f5 100644 --- a/server/src/testFixtures/java/io/spine/server/dispatch/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/dispatch/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.dispatch.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/enrich/given/event/package-info.java b/server/src/testFixtures/java/io/spine/server/enrich/given/event/package-info.java index 8b9e909b019..9117299e7ae 100644 --- a/server/src/testFixtures/java/io/spine/server/enrich/given/event/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/enrich/given/event/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.enrich.given.event; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/enrich/given/package-info.java b/server/src/testFixtures/java/io/spine/server/enrich/given/package-info.java index 0ace979e604..5b137b757e9 100644 --- a/server/src/testFixtures/java/io/spine/server/enrich/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/enrich/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.enrich.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/entity/given/entity/package-info.java b/server/src/testFixtures/java/io/spine/server/entity/given/entity/package-info.java index 249f038e79b..751e7ea9498 100644 --- a/server/src/testFixtures/java/io/spine/server/entity/given/entity/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/entity/given/entity/package-info.java @@ -28,9 +28,9 @@ * Test environment for testing entity classes. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.entity.given.entity; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/entity/given/package-info.java b/server/src/testFixtures/java/io/spine/server/entity/given/package-info.java index 8af024fc18b..55135625fb0 100644 --- a/server/src/testFixtures/java/io/spine/server/entity/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/entity/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.entity.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/entity/given/repository/package-info.java b/server/src/testFixtures/java/io/spine/server/entity/given/repository/package-info.java index a5fcc2af66b..d10f0958839 100644 --- a/server/src/testFixtures/java/io/spine/server/entity/given/repository/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/entity/given/repository/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.entity.given.repository; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/entity/given/tx/package-info.java b/server/src/testFixtures/java/io/spine/server/entity/given/tx/package-info.java index a713899f624..b88c041eb59 100644 --- a/server/src/testFixtures/java/io/spine/server/entity/given/tx/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/entity/given/tx/package-info.java @@ -29,9 +29,9 @@ * and derived test cases. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.entity.given.tx; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/entity/storage/given/package-info.java b/server/src/testFixtures/java/io/spine/server/entity/storage/given/package-info.java index 1f69b5f5285..7e0df7a4ae0 100644 --- a/server/src/testFixtures/java/io/spine/server/entity/storage/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/entity/storage/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.entity.storage.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/event/given/bus/package-info.java b/server/src/testFixtures/java/io/spine/server/event/given/bus/package-info.java index 89f1e3fcebc..5dd280c0d56 100644 --- a/server/src/testFixtures/java/io/spine/server/event/given/bus/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/event/given/bus/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.event.given.bus; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/event/given/package-info.java b/server/src/testFixtures/java/io/spine/server/event/given/package-info.java index 4ac3419993d..9978a159f3b 100644 --- a/server/src/testFixtures/java/io/spine/server/event/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/event/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.event.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/event/model/given/classes/package-info.java b/server/src/testFixtures/java/io/spine/server/event/model/given/classes/package-info.java index 6a57e0cdbe8..bf20d585f28 100644 --- a/server/src/testFixtures/java/io/spine/server/event/model/given/classes/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/event/model/given/classes/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.event.model.given.classes; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/event/model/given/package-info.java b/server/src/testFixtures/java/io/spine/server/event/model/given/package-info.java index 30bb2c6d4e3..4ac6001b161 100644 --- a/server/src/testFixtures/java/io/spine/server/event/model/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/event/model/given/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.event.model.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/event/model/given/reactor/package-info.java b/server/src/testFixtures/java/io/spine/server/event/model/given/reactor/package-info.java index 0993571aa74..3b45e610fa4 100644 --- a/server/src/testFixtures/java/io/spine/server/event/model/given/reactor/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/event/model/given/reactor/package-info.java @@ -29,9 +29,9 @@ * {@link io.spine.server.event.model.EventReactorMethodTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.event.model.given.reactor; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/event/model/given/subscriber/package-info.java b/server/src/testFixtures/java/io/spine/server/event/model/given/subscriber/package-info.java index 0bee031d3fe..74a28068959 100644 --- a/server/src/testFixtures/java/io/spine/server/event/model/given/subscriber/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/event/model/given/subscriber/package-info.java @@ -29,9 +29,9 @@ * {@link io.spine.server.event.model.EventSubscriberMethodTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.event.model.given.subscriber; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/context/drawing/event/package-info.java b/server/src/testFixtures/java/io/spine/server/given/context/drawing/event/package-info.java index 935aa8c6b2d..7acc8ac9e7f 100644 --- a/server/src/testFixtures/java/io/spine/server/given/context/drawing/event/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/context/drawing/event/package-info.java @@ -30,9 +30,9 @@ *
The handcrafted interfaces in this package serve for grouping events */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given.context.drawing.event; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/environment/package-info.java b/server/src/testFixtures/java/io/spine/server/given/environment/package-info.java index 07e8d9c8304..f81c3bf0cbc 100644 --- a/server/src/testFixtures/java/io/spine/server/given/environment/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/environment/package-info.java @@ -29,9 +29,9 @@ * {@link io.spine.server.EnvSetting}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given.environment; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/groups/package-info.java b/server/src/testFixtures/java/io/spine/server/given/groups/package-info.java index 1c38c8081e9..155505d7fc6 100644 --- a/server/src/testFixtures/java/io/spine/server/given/groups/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/groups/package-info.java @@ -35,10 +35,10 @@ @BoundedContext("Groups") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given.groups; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/organizations/package-info.java b/server/src/testFixtures/java/io/spine/server/given/organizations/package-info.java index 9464e5ebb43..d6465ceab4c 100644 --- a/server/src/testFixtures/java/io/spine/server/given/organizations/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/organizations/package-info.java @@ -33,10 +33,10 @@ @BoundedContext("Organizations") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given.organizations; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/package-info.java b/server/src/testFixtures/java/io/spine/server/given/package-info.java index 48bc223ef47..1e88f048d69 100644 --- a/server/src/testFixtures/java/io/spine/server/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/service/package-info.java b/server/src/testFixtures/java/io/spine/server/given/service/package-info.java index 70db4343e43..9c9a7811d8b 100644 --- a/server/src/testFixtures/java/io/spine/server/given/service/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/service/package-info.java @@ -28,9 +28,9 @@ * Provides test-grade types and interfaces of gRPC services. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given.service; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/given/transport/package-info.java b/server/src/testFixtures/java/io/spine/server/given/transport/package-info.java index 952f23c0838..9e684e429ae 100644 --- a/server/src/testFixtures/java/io/spine/server/given/transport/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/given/transport/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.given.transport; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/integration/given/broker/package-info.java b/server/src/testFixtures/java/io/spine/server/integration/given/broker/package-info.java index 4e9aad7418f..82235294903 100644 --- a/server/src/testFixtures/java/io/spine/server/integration/given/broker/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/integration/given/broker/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.integration.given.broker; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/integration/given/package-info.java b/server/src/testFixtures/java/io/spine/server/integration/given/package-info.java index 8153f0e0a6e..4d735775bd4 100644 --- a/server/src/testFixtures/java/io/spine/server/integration/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/integration/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.integration.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/log/given/package-info.java b/server/src/testFixtures/java/io/spine/server/log/given/package-info.java index 8fc6a24ae7a..7610332503e 100644 --- a/server/src/testFixtures/java/io/spine/server/log/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/log/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.log.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/migration/mirror/given/package-info.java b/server/src/testFixtures/java/io/spine/server/migration/mirror/given/package-info.java index ccddc92f94b..06730460045 100644 --- a/server/src/testFixtures/java/io/spine/server/migration/mirror/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/migration/mirror/given/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.migration.mirror.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/contexts/orders/package-info.java b/server/src/testFixtures/java/io/spine/server/model/contexts/orders/package-info.java index 291050e99d9..a873a57c026 100644 --- a/server/src/testFixtures/java/io/spine/server/model/contexts/orders/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/contexts/orders/package-info.java @@ -29,10 +29,10 @@ */ @BoundedContext("Tasks") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.contexts.orders; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/contexts/projects/package-info.java b/server/src/testFixtures/java/io/spine/server/model/contexts/projects/package-info.java index bf44c4fbcca..64783b4e9f4 100644 --- a/server/src/testFixtures/java/io/spine/server/model/contexts/projects/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/contexts/projects/package-info.java @@ -31,10 +31,10 @@ @BoundedContext("Projects") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.contexts.projects; import io.spine.core.BoundedContext; import javax.annotation.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/contexts/tasks/package-info.java b/server/src/testFixtures/java/io/spine/server/model/contexts/tasks/package-info.java index 7a66b658753..f95bb81419d 100644 --- a/server/src/testFixtures/java/io/spine/server/model/contexts/tasks/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/contexts/tasks/package-info.java @@ -29,10 +29,10 @@ */ @BoundedContext("Tasks") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.contexts.tasks; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/given/external/package-info.java b/server/src/testFixtures/java/io/spine/server/model/given/external/package-info.java index 5a555780e16..7dff3b2cc9f 100644 --- a/server/src/testFixtures/java/io/spine/server/model/given/external/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/given/external/package-info.java @@ -30,9 +30,9 @@ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.given.external; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/given/filter/package-info.java b/server/src/testFixtures/java/io/spine/server/model/given/filter/package-info.java index 489f97e7843..c7bde3017f5 100644 --- a/server/src/testFixtures/java/io/spine/server/model/given/filter/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/given/filter/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for {@link io.spine.server.model.ArgumentFilterTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.given.filter; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/given/map/package-info.java b/server/src/testFixtures/java/io/spine/server/model/given/map/package-info.java index a9c0066ef69..4d6c5cf701e 100644 --- a/server/src/testFixtures/java/io/spine/server/model/given/map/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/given/map/package-info.java @@ -28,9 +28,9 @@ * Test environment for {@link io.spine.server.model.HandlerMapTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.given.map; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/given/method/package-info.java b/server/src/testFixtures/java/io/spine/server/model/given/method/package-info.java index dacac63aafd..7e050bc5411 100644 --- a/server/src/testFixtures/java/io/spine/server/model/given/method/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/given/method/package-info.java @@ -28,9 +28,9 @@ * Test environment for testing handler methods. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.given.method; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/given/package-info.java b/server/src/testFixtures/java/io/spine/server/model/given/package-info.java index 510185c3b6e..a3bd89298cb 100644 --- a/server/src/testFixtures/java/io/spine/server/model/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/given/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for tests of the {@code io.spine.server.model} package. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/given/storage/package-info.java b/server/src/testFixtures/java/io/spine/server/model/given/storage/package-info.java index 9b1f31feaa5..36c3ff042e2 100644 --- a/server/src/testFixtures/java/io/spine/server/model/given/storage/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/given/storage/package-info.java @@ -29,9 +29,9 @@ * in model tests. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.given.storage; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/handler/given/event/package-info.java b/server/src/testFixtures/java/io/spine/server/model/handler/given/event/package-info.java index eebb30b53ff..cf6176d1bdd 100644 --- a/server/src/testFixtures/java/io/spine/server/model/handler/given/event/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/handler/given/event/package-info.java @@ -31,9 +31,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.model.handler.given.event; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/model/handler/given/package-info.java b/server/src/testFixtures/java/io/spine/server/model/handler/given/package-info.java index 33f530065de..9ca5d114ecc 100644 --- a/server/src/testFixtures/java/io/spine/server/model/handler/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/model/handler/given/package-info.java @@ -25,11 +25,11 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked @BoundedContext("MovingBot") package io.spine.server.model.handler.given; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/procman/given/delivery/package-info.java b/server/src/testFixtures/java/io/spine/server/procman/given/delivery/package-info.java index a97f510feeb..790e8c4d932 100644 --- a/server/src/testFixtures/java/io/spine/server/procman/given/delivery/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/procman/given/delivery/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.procman.given.delivery; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/procman/given/dispatch/package-info.java b/server/src/testFixtures/java/io/spine/server/procman/given/dispatch/package-info.java index 52aedf2a6af..9925b77f053 100644 --- a/server/src/testFixtures/java/io/spine/server/procman/given/dispatch/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/procman/given/dispatch/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.procman.given.dispatch; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/procman/given/package-info.java b/server/src/testFixtures/java/io/spine/server/procman/given/package-info.java index bf5cc2f5e9d..e4dfcc59fc8 100644 --- a/server/src/testFixtures/java/io/spine/server/procman/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/procman/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.procman.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/procman/given/pm/package-info.java b/server/src/testFixtures/java/io/spine/server/procman/given/pm/package-info.java index c9d17f44594..5010bb89631 100644 --- a/server/src/testFixtures/java/io/spine/server/procman/given/pm/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/procman/given/pm/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.procman.given.pm; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/procman/given/repo/RememberingSubscriber.java b/server/src/testFixtures/java/io/spine/server/procman/given/repo/RememberingSubscriber.java index 0f7d5c875f9..c20d3af06b9 100644 --- a/server/src/testFixtures/java/io/spine/server/procman/given/repo/RememberingSubscriber.java +++ b/server/src/testFixtures/java/io/spine/server/procman/given/repo/RememberingSubscriber.java @@ -29,7 +29,7 @@ import io.spine.core.Subscribe; import io.spine.server.event.AbstractEventSubscriber; import io.spine.test.procman.event.PmTaskAdded; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; /** * Helper event subscriber which remembers an event message. diff --git a/server/src/testFixtures/java/io/spine/server/procman/given/repo/package-info.java b/server/src/testFixtures/java/io/spine/server/procman/given/repo/package-info.java index 1d98461074e..43f59bda955 100644 --- a/server/src/testFixtures/java/io/spine/server/procman/given/repo/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/procman/given/repo/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for {@link io.spine.server.procman.ProcessManagerRepositoryTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.procman.given.repo; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/projection/given/cls/package-info.java b/server/src/testFixtures/java/io/spine/server/projection/given/cls/package-info.java index e5a60fa1b90..c9d1de8bc13 100644 --- a/server/src/testFixtures/java/io/spine/server/projection/given/cls/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/projection/given/cls/package-info.java @@ -28,9 +28,9 @@ * Test environment classes for {@link io.spine.server.projection.model.ProjectionClassTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.projection.given.cls; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/projection/given/dispatch/package-info.java b/server/src/testFixtures/java/io/spine/server/projection/given/dispatch/package-info.java index 2a55c78c693..1217a72798b 100644 --- a/server/src/testFixtures/java/io/spine/server/projection/given/dispatch/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/projection/given/dispatch/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.projection.given.dispatch; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/projection/given/package-info.java b/server/src/testFixtures/java/io/spine/server/projection/given/package-info.java index 43eb8923016..9da8becfeac 100644 --- a/server/src/testFixtures/java/io/spine/server/projection/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/projection/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.projection.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/route/given/package-info.java b/server/src/testFixtures/java/io/spine/server/route/given/package-info.java index fcf5d6d5d13..6159de0fcb9 100644 --- a/server/src/testFixtures/java/io/spine/server/route/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/route/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.route.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/route/given/sur/package-info.java b/server/src/testFixtures/java/io/spine/server/route/given/sur/package-info.java index da46e350eb1..ab580531107 100644 --- a/server/src/testFixtures/java/io/spine/server/route/given/sur/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/route/given/sur/package-info.java @@ -30,10 +30,10 @@ @BoundedContext("Surrealism") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.route.given.sur; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/route/given/switchman/package-info.java b/server/src/testFixtures/java/io/spine/server/route/given/switchman/package-info.java index f327c173fbb..a9b5389640e 100644 --- a/server/src/testFixtures/java/io/spine/server/route/given/switchman/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/route/given/switchman/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.route.given.switchman; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/stand/given/Given.java b/server/src/testFixtures/java/io/spine/server/stand/given/Given.java index 84de99a77c1..a6946355450 100644 --- a/server/src/testFixtures/java/io/spine/server/stand/given/Given.java +++ b/server/src/testFixtures/java/io/spine/server/stand/given/Given.java @@ -40,7 +40,7 @@ import io.spine.test.projection.Project; import io.spine.test.projection.ProjectId; import io.spine.test.projection.event.PrjProjectCreated; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Iterator; import java.util.Optional; diff --git a/server/src/testFixtures/java/io/spine/server/stand/given/StandTestEnv.java b/server/src/testFixtures/java/io/spine/server/stand/given/StandTestEnv.java index a8e2e819fae..570516d5ec6 100644 --- a/server/src/testFixtures/java/io/spine/server/stand/given/StandTestEnv.java +++ b/server/src/testFixtures/java/io/spine/server/stand/given/StandTestEnv.java @@ -67,7 +67,7 @@ import io.spine.test.projection.ProjectId; import io.spine.testing.core.given.GivenUserId; import io.spine.type.TypeUrl; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.security.SecureRandom; import java.util.ArrayList; diff --git a/server/src/testFixtures/java/io/spine/server/stand/given/package-info.java b/server/src/testFixtures/java/io/spine/server/stand/given/package-info.java index 1302905aa57..d73808f8712 100644 --- a/server/src/testFixtures/java/io/spine/server/stand/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/stand/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.stand.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/storage/given/TestColumnMapping.java b/server/src/testFixtures/java/io/spine/server/storage/given/TestColumnMapping.java index 8cc24005195..ba144196e4c 100644 --- a/server/src/testFixtures/java/io/spine/server/storage/given/TestColumnMapping.java +++ b/server/src/testFixtures/java/io/spine/server/storage/given/TestColumnMapping.java @@ -32,7 +32,7 @@ import io.spine.server.storage.AbstractColumnMapping; import io.spine.server.storage.ColumnTypeMapping; import io.spine.test.entity.TaskView; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; /** * Defines a mapping where all types are mapped to a {@code String}. diff --git a/server/src/testFixtures/java/io/spine/server/storage/given/package-info.java b/server/src/testFixtures/java/io/spine/server/storage/given/package-info.java index e6b81c29f44..54c33b15960 100644 --- a/server/src/testFixtures/java/io/spine/server/storage/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/storage/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.storage.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/storage/memory/given/package-info.java b/server/src/testFixtures/java/io/spine/server/storage/memory/given/package-info.java index 73864b9cb72..37230695b7f 100644 --- a/server/src/testFixtures/java/io/spine/server/storage/memory/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/storage/memory/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.storage.memory.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/storage/system/given/package-info.java b/server/src/testFixtures/java/io/spine/server/storage/system/given/package-info.java index d40ecc12cbc..c669adc71c4 100644 --- a/server/src/testFixtures/java/io/spine/server/storage/system/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/storage/system/given/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.storage.system.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/trace/given/airport/package-info.java b/server/src/testFixtures/java/io/spine/server/trace/given/airport/package-info.java index c2caffa2bfa..f32e4094f30 100644 --- a/server/src/testFixtures/java/io/spine/server/trace/given/airport/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/trace/given/airport/package-info.java @@ -26,10 +26,10 @@ @BoundedContext(AirportContext.NAME) @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.trace.given.airport; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/trace/given/package-info.java b/server/src/testFixtures/java/io/spine/server/trace/given/package-info.java index 0affb9a8556..490e79edfaa 100644 --- a/server/src/testFixtures/java/io/spine/server/trace/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/trace/given/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.trace.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/transport/memory/given/package-info.java b/server/src/testFixtures/java/io/spine/server/transport/memory/given/package-info.java index 8c52f7cbfb2..77d0c8ca32a 100644 --- a/server/src/testFixtures/java/io/spine/server/transport/memory/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/transport/memory/given/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.transport.memory.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/tuple/given/package-info.java b/server/src/testFixtures/java/io/spine/server/tuple/given/package-info.java index ae243728492..f65a94849d6 100644 --- a/server/src/testFixtures/java/io/spine/server/tuple/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/tuple/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.tuple.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/server/type/given/package-info.java b/server/src/testFixtures/java/io/spine/server/type/given/package-info.java index 369855a764d..4fe1c48b081 100644 --- a/server/src/testFixtures/java/io/spine/server/type/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/server/type/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.server.type.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/system/server/given/client/package-info.java b/server/src/testFixtures/java/io/spine/system/server/given/client/package-info.java index 75c37c3e74e..0a0d0277de7 100644 --- a/server/src/testFixtures/java/io/spine/system/server/given/client/package-info.java +++ b/server/src/testFixtures/java/io/spine/system/server/given/client/package-info.java @@ -26,10 +26,10 @@ @BoundedContext("_System") @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.given.client; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/system/server/given/command/package-info.java b/server/src/testFixtures/java/io/spine/system/server/given/command/package-info.java index 4c1af1fe9cf..8f80e19cf8a 100644 --- a/server/src/testFixtures/java/io/spine/system/server/given/command/package-info.java +++ b/server/src/testFixtures/java/io/spine/system/server/given/command/package-info.java @@ -29,8 +29,8 @@ * {@link io.spine.system.server.CommandLifecycleAggregate CommandLog} tests. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.given.command; import javax.annotation.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/system/server/given/diagnostics/package-info.java b/server/src/testFixtures/java/io/spine/system/server/given/diagnostics/package-info.java index 7d82e1299af..6fd6b1e0165 100644 --- a/server/src/testFixtures/java/io/spine/system/server/given/diagnostics/package-info.java +++ b/server/src/testFixtures/java/io/spine/system/server/given/diagnostics/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.given.diagnostics; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/system/server/given/entity/package-info.java b/server/src/testFixtures/java/io/spine/system/server/given/entity/package-info.java index a025240e377..a873d3a6266 100644 --- a/server/src/testFixtures/java/io/spine/system/server/given/entity/package-info.java +++ b/server/src/testFixtures/java/io/spine/system/server/given/entity/package-info.java @@ -29,8 +29,8 @@ * {@link io.spine.system.server.EntityHistoryTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.given.entity; import javax.annotation.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/system/server/given/package-info.java b/server/src/testFixtures/java/io/spine/system/server/given/package-info.java index 24ee87c481f..7265fac86c0 100644 --- a/server/src/testFixtures/java/io/spine/system/server/given/package-info.java +++ b/server/src/testFixtures/java/io/spine/system/server/given/package-info.java @@ -29,8 +29,8 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.given; import javax.annotation.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/system/server/given/schedule/package-info.java b/server/src/testFixtures/java/io/spine/system/server/given/schedule/package-info.java index 2d347117706..5284648d671 100644 --- a/server/src/testFixtures/java/io/spine/system/server/given/schedule/package-info.java +++ b/server/src/testFixtures/java/io/spine/system/server/given/schedule/package-info.java @@ -28,8 +28,8 @@ * This package provides test environment for {@link io.spine.system.server.ScheduledCommandTest}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.system.server.given.schedule; import javax.annotation.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/test/client/package-info.java b/server/src/testFixtures/java/io/spine/test/client/package-info.java index 251768b3062..6cf9491d4fa 100644 --- a/server/src/testFixtures/java/io/spine/test/client/package-info.java +++ b/server/src/testFixtures/java/io/spine/test/client/package-info.java @@ -28,11 +28,11 @@ * Testing environment for {@link io.spine.client.ClientSpec}. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked @BoundedContext(ClientTestContext.USERS_NAME) package io.spine.test.client; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.core.BoundedContext; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/test/route/package-info.java b/server/src/testFixtures/java/io/spine/test/route/package-info.java index 59ef954ea7f..9cba40c2b1f 100644 --- a/server/src/testFixtures/java/io/spine/test/route/package-info.java +++ b/server/src/testFixtures/java/io/spine/test/route/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.test.route; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/server/src/testFixtures/java/io/spine/testdata/package-info.java b/server/src/testFixtures/java/io/spine/testdata/package-info.java index 3bf2220713e..9d74772203e 100644 --- a/server/src/testFixtures/java/io/spine/testdata/package-info.java +++ b/server/src/testFixtures/java/io/spine/testdata/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testdata; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-client/src/main/java/io/spine/testing/client/TestActorRequestFactory.java b/testutil-client/src/main/java/io/spine/testing/client/TestActorRequestFactory.java index 45e05e39ac7..93b3bd9028d 100644 --- a/testutil-client/src/main/java/io/spine/testing/client/TestActorRequestFactory.java +++ b/testutil-client/src/main/java/io/spine/testing/client/TestActorRequestFactory.java @@ -39,7 +39,7 @@ import io.spine.testing.core.given.GivenUserId; import io.spine.time.ZoneId; import io.spine.time.ZoneIds; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.time.Instant; diff --git a/testutil-client/src/main/java/io/spine/testing/client/grpc/package-info.java b/testutil-client/src/main/java/io/spine/testing/client/grpc/package-info.java index 9570c29d5e5..60dd610e1a1 100644 --- a/testutil-client/src/main/java/io/spine/testing/client/grpc/package-info.java +++ b/testutil-client/src/main/java/io/spine/testing/client/grpc/package-info.java @@ -29,9 +29,9 @@ * use gRPC for sending commands and querying the backend. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.client.grpc; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-client/src/main/java/io/spine/testing/client/package-info.java b/testutil-client/src/main/java/io/spine/testing/client/package-info.java index 6612d18ea67..ca8a31ced5a 100644 --- a/testutil-client/src/main/java/io/spine/testing/client/package-info.java +++ b/testutil-client/src/main/java/io/spine/testing/client/package-info.java @@ -28,9 +28,9 @@ * This package provides utilities for testing client-side code. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.client; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-core/src/main/java/io/spine/testing/core/given/package-info.java b/testutil-core/src/main/java/io/spine/testing/core/given/package-info.java index c4e706a8edc..62fa9520de4 100644 --- a/testutil-core/src/main/java/io/spine/testing/core/given/package-info.java +++ b/testutil-core/src/main/java/io/spine/testing/core/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.core.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/CommandSubject.java b/testutil-server/src/main/java/io/spine/testing/server/CommandSubject.java index 446a52d4242..81185d3f9ed 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/CommandSubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/CommandSubject.java @@ -30,7 +30,7 @@ import com.google.common.truth.Subject; import io.spine.base.CommandMessage; import io.spine.core.Command; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.truth.Truth.assertAbout; diff --git a/testutil-server/src/main/java/io/spine/testing/server/EmittedMessageSubject.java b/testutil-server/src/main/java/io/spine/testing/server/EmittedMessageSubject.java index f0122493f32..d6a0471a408 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/EmittedMessageSubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/EmittedMessageSubject.java @@ -37,8 +37,8 @@ import io.spine.core.Signal; import io.spine.protobuf.AnyPacker; import io.spine.type.SerializableMessage; -import org.checkerframework.checker.nullness.qual.NonNull; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.NonNull; +import org.jspecify.annotations.Nullable; import java.util.List; diff --git a/testutil-server/src/main/java/io/spine/testing/server/EventSubject.java b/testutil-server/src/main/java/io/spine/testing/server/EventSubject.java index 7b07eb775b9..b8b68183c03 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/EventSubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/EventSubject.java @@ -30,7 +30,7 @@ import com.google.common.truth.Subject; import io.spine.base.EventMessage; import io.spine.core.Event; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.truth.Truth.assertAbout; diff --git a/testutil-server/src/main/java/io/spine/testing/server/TestEventFactory.java b/testutil-server/src/main/java/io/spine/testing/server/TestEventFactory.java index ffe49461444..7927c28c62b 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/TestEventFactory.java +++ b/testutil-server/src/main/java/io/spine/testing/server/TestEventFactory.java @@ -40,7 +40,7 @@ import io.spine.server.type.CommandEnvelope; import io.spine.server.type.MessageEnvelope; import io.spine.testing.client.TestActorRequestFactory; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static io.spine.protobuf.AnyPacker.pack; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/Actor.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/Actor.java index a42cd1a3379..1bf8eeaa39b 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/Actor.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/Actor.java @@ -33,7 +33,7 @@ import io.spine.testing.client.TestActorRequestFactory; import io.spine.time.ZoneId; import io.spine.time.ZoneIds; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static io.spine.validate.Validate.check; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBox.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBox.java index bd43e2dbac9..d1a9e17d283 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBox.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBox.java @@ -61,7 +61,7 @@ import io.spine.testing.server.entity.EntitySubject; import io.spine.testing.server.query.QueryResultSubject; import io.spine.time.ZoneId; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Collection; import java.util.HashSet; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBoxClients.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBoxClients.java index 1a08daa5106..8a31e89a513 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBoxClients.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/BlackBoxClients.java @@ -28,7 +28,7 @@ import io.spine.client.Client; import io.spine.core.TenantId; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/ClientFactory.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/ClientFactory.java index 8c4286bbdcc..3d3fe4af749 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/ClientFactory.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/ClientFactory.java @@ -36,7 +36,7 @@ import io.spine.server.QueryService; import io.spine.server.SubscriptionService; import org.checkerframework.checker.nullness.qual.MonotonicNonNull; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.io.IOException; import java.util.ArrayList; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/ContextAwareTest.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/ContextAwareTest.java index 438c73a92b3..4e6d8ff3999 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/ContextAwareTest.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/ContextAwareTest.java @@ -29,7 +29,7 @@ import com.google.errorprone.annotations.OverridingMethodsMustInvokeSuper; import io.spine.base.CommandMessage; import io.spine.server.BoundedContextBuilder; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import org.junit.jupiter.api.AfterEach; import org.junit.jupiter.api.BeforeEach; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/MtBlackBox.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/MtBlackBox.java index 956d76655b1..1b1baff7e63 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/MtBlackBox.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/MtBlackBox.java @@ -37,7 +37,7 @@ import io.spine.testing.server.blackbox.probe.CommandCollector; import io.spine.testing.server.blackbox.probe.EventCollector; import org.checkerframework.checker.nullness.qual.MonotonicNonNull; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.function.Supplier; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/package-info.java index aca90f6206d..f2f0ebb6dcd 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/package-info.java @@ -37,9 +37,9 @@ * @see io.spine.testing.server.blackbox.BlackBox */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.blackbox; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/BlackboxProbe.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/BlackboxProbe.java index 4b67f55a1ff..9a596c44afa 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/BlackboxProbe.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/BlackboxProbe.java @@ -29,7 +29,7 @@ import com.google.common.collect.ImmutableSet; import io.spine.server.BoundedContext; import io.spine.server.event.EventDispatcher; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Set; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/UnsupportedCommandGuard.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/UnsupportedCommandGuard.java index 8f2a917b942..4dea4dd25a7 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/UnsupportedCommandGuard.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/UnsupportedCommandGuard.java @@ -36,7 +36,7 @@ import io.spine.server.type.EventEnvelope; import io.spine.system.server.event.CommandErrored; import io.spine.testing.server.blackbox.BlackBox; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static io.spine.core.CommandValidationError.UNSUPPORTED_COMMAND_VALUE; import static io.spine.server.commandbus.CommandException.ATTR_COMMAND_TYPE_NAME; diff --git a/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/package-info.java index afd6a40519d..3a85173a573 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/blackbox/probe/package-info.java @@ -30,10 +30,10 @@ */ @Internal @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.blackbox.probe; import com.google.errorprone.annotations.CheckReturnValue; import io.spine.annotation.Internal; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/entity/EntitySubject.java b/testutil-server/src/main/java/io/spine/testing/server/entity/EntitySubject.java index d52013449cb..55639b50985 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/entity/EntitySubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/entity/EntitySubject.java @@ -35,7 +35,7 @@ import io.spine.core.Version; import io.spine.server.entity.Entity; import io.spine.server.entity.LifecycleFlags; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static com.google.common.truth.Fact.simpleFact; diff --git a/testutil-server/src/main/java/io/spine/testing/server/entity/EntityVersionSubject.java b/testutil-server/src/main/java/io/spine/testing/server/entity/EntityVersionSubject.java index 4642b395dec..108666fd653 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/entity/EntityVersionSubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/entity/EntityVersionSubject.java @@ -31,7 +31,7 @@ import com.google.common.truth.Subject; import com.google.common.truth.extensions.proto.ProtoSubject; import io.spine.core.Version; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static com.google.common.truth.Truth.assertAbout; diff --git a/testutil-server/src/main/java/io/spine/testing/server/entity/IterableEntityVersionSubject.java b/testutil-server/src/main/java/io/spine/testing/server/entity/IterableEntityVersionSubject.java index 3348c90d3e5..5185a92e1dd 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/entity/IterableEntityVersionSubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/entity/IterableEntityVersionSubject.java @@ -31,7 +31,7 @@ import com.google.common.truth.Subject; import com.google.common.truth.extensions.proto.IterableOfProtosSubject; import io.spine.core.Version; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static com.google.common.collect.Iterables.size; diff --git a/testutil-server/src/main/java/io/spine/testing/server/entity/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/entity/package-info.java index c71391ece00..9a69be0cc95 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/entity/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/entity/package-info.java @@ -28,9 +28,9 @@ * This package contains utilities for building test instances of the entities. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.entity; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/model/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/model/package-info.java index dbfc9461905..465133ea0d7 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/model/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/model/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.model; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/package-info.java index ee10dea6990..89dd14c6d51 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/package-info.java @@ -28,9 +28,9 @@ * This package provides test utilities for testing Spine entities. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/query/ResponseStatusSubject.java b/testutil-server/src/main/java/io/spine/testing/server/query/ResponseStatusSubject.java index 5569e03f511..b9e83e327c9 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/query/ResponseStatusSubject.java +++ b/testutil-server/src/main/java/io/spine/testing/server/query/ResponseStatusSubject.java @@ -32,7 +32,7 @@ import com.google.common.truth.extensions.proto.ProtoSubject; import io.spine.core.Status; import io.spine.core.Status.StatusCase; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import static com.google.common.base.Preconditions.checkNotNull; import static com.google.common.truth.Truth.assertAbout; diff --git a/testutil-server/src/main/java/io/spine/testing/server/query/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/query/package-info.java index 8e3f6d658ab..5cd63f92827 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/query/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/query/package-info.java @@ -29,9 +29,9 @@ * {@link io.spine.client.Query Query} execution. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.query; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/main/java/io/spine/testing/server/tenant/package-info.java b/testutil-server/src/main/java/io/spine/testing/server/tenant/package-info.java index 1773464a54c..c3eb136d7b1 100644 --- a/testutil-server/src/main/java/io/spine/testing/server/tenant/package-info.java +++ b/testutil-server/src/main/java/io/spine/testing/server/tenant/package-info.java @@ -25,9 +25,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.tenant; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/test/java/io/spine/testing/client/grpc/given/package-info.java b/testutil-server/src/test/java/io/spine/testing/client/grpc/given/package-info.java index 7ad8b86e422..214aaba3ea4 100644 --- a/testutil-server/src/test/java/io/spine/testing/client/grpc/given/package-info.java +++ b/testutil-server/src/test/java/io/spine/testing/client/grpc/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.client.grpc.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/BbInitProcess.java b/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/BbInitProcess.java index 3136749d781..4f63fbec338 100644 --- a/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/BbInitProcess.java +++ b/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/BbInitProcess.java @@ -40,7 +40,7 @@ import io.spine.testing.server.blackbox.event.BbProjectInitialized; import io.spine.testing.server.blackbox.event.BbScrumMasterAssigned; import io.spine.testing.server.blackbox.event.BbTeamAssigned; -import org.checkerframework.checker.nullness.qual.Nullable; +import org.jspecify.annotations.Nullable; import java.util.Optional; diff --git a/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/package-info.java b/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/package-info.java index 5067dd834b8..3fed22b26d1 100644 --- a/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/package-info.java +++ b/testutil-server/src/test/java/io/spine/testing/server/blackbox/given/package-info.java @@ -28,9 +28,9 @@ * This package provides test environment for black-box testing of server-side code. */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.blackbox.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/test/java/io/spine/testing/server/entity/given/package-info.java b/testutil-server/src/test/java/io/spine/testing/server/entity/given/package-info.java index 83d63b286ae..278f05d8e2e 100644 --- a/testutil-server/src/test/java/io/spine/testing/server/entity/given/package-info.java +++ b/testutil-server/src/test/java/io/spine/testing/server/entity/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.entity.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/test/java/io/spine/testing/server/given/package-info.java b/testutil-server/src/test/java/io/spine/testing/server/given/package-info.java index eed9ff86e36..61cf2ab2c82 100644 --- a/testutil-server/src/test/java/io/spine/testing/server/given/package-info.java +++ b/testutil-server/src/test/java/io/spine/testing/server/given/package-info.java @@ -29,9 +29,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/testutil-server/src/test/java/io/spine/testing/server/model/given/package-info.java b/testutil-server/src/test/java/io/spine/testing/server/model/given/package-info.java index 948274889b5..8a97cfd881e 100644 --- a/testutil-server/src/test/java/io/spine/testing/server/model/given/package-info.java +++ b/testutil-server/src/test/java/io/spine/testing/server/model/given/package-info.java @@ -30,9 +30,9 @@ */ @CheckReturnValue -@ParametersAreNonnullByDefault +@NullMarked package io.spine.testing.server.model.given; import com.google.errorprone.annotations.CheckReturnValue; -import javax.annotation.ParametersAreNonnullByDefault; +import org.jspecify.annotations.NullMarked; diff --git a/version.gradle.kts b/version.gradle.kts index 7b2eca4d22b..df6f188d2a2 100644 --- a/version.gradle.kts +++ b/version.gradle.kts @@ -29,4 +29,4 @@ * * For versions of Spine-based dependencies, please see [io.spine.dependency.local.Spine]. */ -val versionToPublish: String by extra("2.0.0-SNAPSHOT.301") +val versionToPublish: String by extra("2.0.0-SNAPSHOT.310")