Merge pull request #173 from SimY4/update/kotest-property-jvm-6.0.0

Update kotest-property-jvm to 6.0.0

Author: SimY4

build.sbt

@@ -133,12 +133,12 @@ lazy val kotest = (project in file("kotest"))
     description   := "Kotest bindings for coregex library.",
     headerEndYear := Some(2025),
     libraryDependencies ++= Seq(
-      "io.kotest"            % "kotest-property-jvm" % "5.9.1"                          % Provided,
+      "io.kotest"            % "kotest-property-jvm" % "6.0.0"                          % Provided,
       "com.github.sbt.junit" % "jupiter-interface"   % JupiterKeys.jupiterVersion.value % Test
     ),
     testOptions += Tests.Argument(jupiterTestFramework, "-q", "-v")
   )
-  .settings(javaLibSettings(8))
+  .settings(javaLibSettings(11))
   .settings(jacocoSettings)
   .dependsOn(core)
 

kotest/src/main/java/com/github/simy4/coregex/kotest/CoregexArbitrary.java

@@ -55,15 +55,15 @@ public Classifier<? extends java.lang.String> getClassifier() {
 
   @Nullable
   @Override
-  public String edgecase(@NotNull RandomSource randomSource) {
+  public Sample<String> edgecase(@NotNull RandomSource randomSource) {
     return null;
   }
 
   @NotNull
   @Override
   public Sample<String> sample(@NotNull RandomSource randomSource) {
-    long seed = randomSource.getRandom().nextLong();
-    String sample = coregex.generate(seed);
+    var seed = randomSource.getRandom().nextLong();
+    var sample = coregex.generate(seed);
     return new Sample<>(
         sample, new RTree<>(() -> sample, lazy(new CoregexShrinker(coregex, seed))));
   }
@@ -84,7 +84,7 @@ public List<RTree<String>> invoke() {
         .shrink()
         .map(
             coregex -> {
-              String shrink = coregex.generate(seed);
+              var shrink = coregex.generate(seed);
               return Collections.singletonList(
                   new RTree<>(() -> shrink, lazy(new CoregexShrinker(coregex, seed))));
             })

kotest/src/test/java/com/github/simy4/coregex/kotest/CoregexArbitraryTest.java

@@ -51,8 +51,8 @@ void shouldGenerateMatchingIPv4String() throws InterruptedException {
                 CoregexArbitrary.of(
                     "((25[0-5]|(2[0-4]|1?[0-9])?[0-9])\\.){3}(25[0-5]|(2[0-4]|1?[0-9])?[0-9])"),
                 (___, ipv4, c2) -> {
-                  String[] expected = ipv4.split("\\.");
-                  String[] actual =
+                  var expected = ipv4.split("\\.");
+                  var actual =
                       assertDoesNotThrow(() -> InetAddress.getByName(ipv4))
                           .getHostAddress()
                           .split("\\.");
@@ -69,7 +69,7 @@ void shouldGenerateMatchingIPv4String() throws InterruptedException {
 
   @Test
   void shouldGenerateMatchingIsoDateString() throws InterruptedException {
-    DateTimeFormatter formatter = DateTimeFormatter.ISO_INSTANT;
+    var formatter = DateTimeFormatter.ISO_INSTANT;
     runBlocking(
         EmptyCoroutineContext.INSTANCE,
         (__, c1) ->

kotest/src/test/java/com/github/simy4/coregex/kotest/KotestTest.java

@@ -22,11 +22,9 @@
 
 import io.kotest.property.Arb;
 import io.kotest.property.RTree;
-import io.kotest.property.Sample;
 import io.kotest.property.arbitrary.CollectionsKt;
 import java.util.ArrayDeque;
 import java.util.Collections;
-import java.util.Queue;
 import java.util.regex.Pattern;
 import kotlin.Unit;
 import kotlin.coroutines.EmptyCoroutineContext;
@@ -42,13 +40,13 @@ void shrinkingTest() throws InterruptedException {
             checkAll(
                 regexes(),
                 (context, regex, c2) -> {
-                  Arb<String> coregexArbitrary = new CoregexArbitrary(regex);
-                  Sample<String> sample = coregexArbitrary.sample(context.randomSource());
-                  Queue<RTree<String>> shrinks = Collections.asLifoQueue(new ArrayDeque<>());
+                  var coregexArbitrary = new CoregexArbitrary(regex);
+                  var sample = coregexArbitrary.sample(context.randomSource());
+                  var shrinks = Collections.asLifoQueue(new ArrayDeque<RTree<String>>());
                   shrinks.add(sample.getShrinks());
                   while (!shrinks.isEmpty()) {
-                    RTree<String> shrink = shrinks.remove();
-                    String shrinkValue = shrink.getValue().invoke();
+                    var shrink = shrinks.remove();
+                    var shrinkValue = shrink.getValue().invoke();
                     assertTrue(regex.matcher(shrinkValue).matches());
                     shrinks.addAll(shrink.getChildren().getValue());
                   }

version.sbt

@@ -1 +1 @@
-ThisBuild / version := "1.2.1-SNAPSHOT"
+ThisBuild / version := "1.3.0-SNAPSHOT"