Introduce Myers algorithm in linear space

build.gradle.kts

@@ -7,6 +7,7 @@ import org.jetbrains.kotlin.gradle.ExperimentalKotlinGradlePluginApi
 import org.jetbrains.kotlin.gradle.dsl.JvmTarget
 import org.jetbrains.kotlin.gradle.dsl.KotlinVersion
 import org.jetbrains.kotlin.gradle.targets.js.dsl.ExperimentalWasmDsl
+import org.jetbrains.kotlin.gradle.targets.js.testing.KotlinJsTest
 
 plugins {
     kotlin("multiplatform")
@@ -36,7 +37,10 @@ kotlin {
                 jvmTarget = JvmTarget.JVM_1_8
 
                 // Output interfaces with default methods
-                freeCompilerArgs.add("-Xjvm-default=all")
+                freeCompilerArgs.addAll(
+                    "-Xjvm-default=all",      // Output interfaces with default methods
+                    "-Xno-param-assertions",  // Remove Intrinsics.checkNotNullParameter
+                )
             }
         }
 
@@ -48,8 +52,20 @@ kotlin {
     }
 
     js {
-        browser()
-        nodejs()
+        val testConfig: (KotlinJsTest).() -> Unit = {
+            useMocha {
+                // Override default 2s timeout
+                timeout = "120s"
+            }
+        }
+
+        browser {
+            testTask(testConfig)
+        }
+
+        nodejs {
+            testTask(testConfig)
+        }
     }
 
     @OptIn(ExperimentalWasmDsl::class)

detekt.yml

@@ -15,3 +15,12 @@ formatting:
     active: false
   TrailingCommaOnDeclarationSite:
     active: true
+complexity:
+  ComplexCondition:
+    active: false
+  CyclomaticComplexMethod:
+    active: false
+  NestedBlockDepth:
+    active: false
+  LongParameterList:
+    functionThreshold: 7

src/commonMain/kotlin/io/github/petertrr/diffutils/DiffUtils.kt

@@ -22,6 +22,7 @@ package io.github.petertrr.diffutils
 
 import io.github.petertrr.diffutils.algorithm.DiffAlgorithm
 import io.github.petertrr.diffutils.algorithm.DiffAlgorithmListener
+import io.github.petertrr.diffutils.algorithm.DiffEqualizer
 import io.github.petertrr.diffutils.algorithm.NoopAlgorithmListener
 import io.github.petertrr.diffutils.algorithm.myers.MyersDiff
 import io.github.petertrr.diffutils.patch.Patch
@@ -73,7 +74,7 @@ public fun diff(
 public fun <T> diff(
     source: List<T>,
     target: List<T>,
-    equalizer: ((T, T) -> Boolean),
+    equalizer: DiffEqualizer<T>,
 ): Patch<T> =
     diff(
         source = source,

src/commonMain/kotlin/io/github/petertrr/diffutils/algorithm/Change.kt

@@ -19,11 +19,12 @@
 package io.github.petertrr.diffutils.algorithm
 
 import io.github.petertrr.diffutils.patch.DeltaType
+import kotlin.jvm.JvmField
 
 public data class Change(
-    val deltaType: DeltaType,
-    val startOriginal: Int,
-    val endOriginal: Int,
-    val startRevised: Int,
-    val endRevised: Int,
+    @JvmField val deltaType: DeltaType,
+    @JvmField val startOriginal: Int,
+    @JvmField val endOriginal: Int,
+    @JvmField val startRevised: Int,
+    @JvmField val endRevised: Int,
 )

src/commonMain/kotlin/io/github/petertrr/diffutils/algorithm/DiffEqualizer.kt

@@ -0,0 +1,20 @@
+/*
+ * Copyright 2024 Peter Trifanov.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *      http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+package io.github.petertrr.diffutils.algorithm
+
+public fun interface DiffEqualizer<T> {
+    public fun test(one: T, two: T): Boolean
+}

src/commonMain/kotlin/io/github/petertrr/diffutils/algorithm/EqualsDiffEqualizer.kt

@@ -0,0 +1,21 @@
+/*
+ * Copyright 2024 Peter Trifanov.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *      http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+package io.github.petertrr.diffutils.algorithm
+
+public class EqualsDiffEqualizer<T> : DiffEqualizer<T> {
+    override fun test(one: T, two: T): Boolean =
+        one == two
+}

src/commonMain/kotlin/io/github/petertrr/diffutils/algorithm/IgnoreWsStringDiffEqualizer.kt

@@ -0,0 +1,25 @@
+/*
+ * Copyright 2024 Peter Trifanov.
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *      http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+package io.github.petertrr.diffutils.algorithm
+
+public class IgnoreWsStringDiffEqualizer : DiffEqualizer<String> {
+    private companion object {
+        private val ws = Regex("\\s+")
+    }
+
+    override fun test(one: String, two: String): Boolean =
+        ws.replace(one.trim(), " ") == ws.replace(two.trim(), " ")
+}

src/commonMain/kotlin/io/github/petertrr/diffutils/algorithm/myers/MyersDiff.kt

@@ -21,12 +21,14 @@ package io.github.petertrr.diffutils.algorithm.myers
 import io.github.petertrr.diffutils.algorithm.Change
 import io.github.petertrr.diffutils.algorithm.DiffAlgorithm
 import io.github.petertrr.diffutils.algorithm.DiffAlgorithmListener
+import io.github.petertrr.diffutils.algorithm.DiffEqualizer
+import io.github.petertrr.diffutils.algorithm.EqualsDiffEqualizer
 import io.github.petertrr.diffutils.patch.DeltaType
 
 /**
  * A clean-room implementation of Eugene Myers greedy differencing algorithm.
  */
-public class MyersDiff<T>(private val equalizer: (T, T) -> Boolean = { t1, t2 -> t1 == t2 }) : DiffAlgorithm<T> {
+public class MyersDiff<T>(private val equalizer: DiffEqualizer<T> = EqualsDiffEqualizer()) : DiffAlgorithm<T> {
     /**
      * Returns an empty diff if we get an error while procession the difference.
      */
@@ -82,7 +84,7 @@ public class MyersDiff<T>(private val equalizer: (T, T) -> Boolean = { t1, t2 ->
                 var j = i - k
                 var node = PathNode(i, j, snake = false, bootstrap = false, prev = prev)
 
-                while (i < origSize && j < revSize && equalizer.invoke(orig[i], rev[j])) {
+                while (i < origSize && j < revSize && equalizer.test(orig[i], rev[j])) {
                     i++
                     j++
                 }