Render Pair and Triple (#712)

Author: ndkoval

src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ObjectLabelFactory.kt

@@ -38,6 +38,12 @@ object ObjectLabelFactory {
         if (any.javaClass.isEnum) {
             return (any as Enum<*>).name
         }
+        if (any is Pair<*, *>) {
+            return "(${adornedStringRepresentation(any.first)}, ${adornedStringRepresentation(any.second)})"
+        }
+        if (any is Triple<*, *, *>) {
+            return "(${adornedStringRepresentation(any.first)}, ${adornedStringRepresentation(any.second)}, ${adornedStringRepresentation(any.third)})"
+        }
         // Instead of java.util.HashMap$Node@3e2a56 show Node@1.
         // It is better not to use `toString` in general since
         // we usually care about references to certain objects,

src/jvm/test/org/jetbrains/kotlinx/lincheck_test/representation/PairTripleRenderingTest.kt

@@ -0,0 +1,21 @@
+/*
+ * Lincheck
+ *
+ * Copyright (C) 2019 - 2025 JetBrains s.r.o.
+ *
+ * This Source Code Form is subject to the terms of the
+ * Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed
+ * with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
+ */
+
+package org.jetbrains.kotlinx.lincheck_test.representation
+
+class PairTripleRenderingTest : BaseTraceRepresentationTest("pair_triple_rendering") {
+    var pair = 1 to 2
+
+    override fun operation() {
+        foo(Triple("a", 3, 4.0))
+    }
+
+    fun foo(triple: Triple<String, Int, Double>) = pair to triple
+}

src/jvm/test/resources/expected_logs/pair_triple_rendering.txt

@@ -0,0 +1,23 @@
+= Invalid execution results =
+| ----------------- |
+|     Thread 1      |
+| ----------------- |
+| operation(): void |
+| ----------------- |
+
+The following interleaving leads to the error:
+| ----------- |
+|  Thread 1   |
+| ----------- |
+| operation() |
+| ----------- |
+
+Detailed trace:
+| ----------------------------------------------------------------------------------------------------------------- |
+|                                                     Thread 1                                                      |
+| ----------------------------------------------------------------------------------------------------------------- |
+| operation()                                                                                                       |
+|   foo(("a", 3, 4.0)): ((1, 2), ("a", 3, 4.0)) at PairTripleRenderingTest.operation(PairTripleRenderingTest.kt:17) |
+|     pair ➜ (1, 2) at PairTripleRenderingTest.foo(PairTripleRenderingTest.kt:20)                                   |
+|   result: void                                                                                                    |
+| ----------------------------------------------------------------------------------------------------------------- |