Deterministic System.identityHashCode for Trace Debugger. This is an …

…adapted version of #430.
JetBrains · Jan 21, 2025 · 687083c · 687083c
1 parent d0510ae
commit 687083c
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/src/jvm/main/org/jetbrains/kotlinx/lincheck/transformation/LincheckClassVisitor.kt b/src/jvm/main/org/jetbrains/kotlinx/lincheck/transformation/LincheckClassVisitor.kt
@@ -91,7 +91,7 @@ internal class LincheckClassVisitor(
         if (methodName == "<init>" || ideaPluginEnabled && methodName == "toString" && desc == "()Ljava/lang/String;") {
             mv = ObjectCreationTransformer(fileName, className, methodName, mv.newAdapter())
             if (TRACE_DEBUGGER_MODE) {
-                mv = InvokeDynamicTransformer(fileName, className, methodName, mv.newAdapter())
+                mv = DeoptimizeInvokeDynamicTransformer(fileName, className, methodName, mv.newAdapter())
             }
             mv = run {
                 val st = ConstructorArgumentsSnapshotTrackerTransformer(fileName, className, methodName, mv.newAdapter(), classVisitor::isInstanceOf)
@@ -154,7 +154,7 @@ internal class LincheckClassVisitor(
             mv = DeterministicHashCodeTransformer(fileName, className, methodName, mv.newAdapter())
         }
         if (TRACE_DEBUGGER_MODE) {
-            mv = InvokeDynamicTransformer(fileName, className, methodName, mv.newAdapter())
+            mv = DeoptimizeInvokeDynamicTransformer(fileName, className, methodName, mv.newAdapter())
         }
         mv = DeterministicTimeTransformer(mv.newAdapter())
         mv = DeterministicRandomTransformer(fileName, className, methodName, mv.newAdapter())

diff --git a/.../transformers/InvokeDynamicTransformer.kt → ...ers/DeoptimizeInvokeDynamicTransformer.kt b/.../transformers/InvokeDynamicTransformer.kt → ...ers/DeoptimizeInvokeDynamicTransformer.kt
@@ -22,7 +22,8 @@ import java.lang.invoke.MethodHandles
 import java.lang.invoke.MethodType
 
 
-internal class InvokeDynamicTransformer(
+// TODO explain what this transformer does
+internal class DeoptimizeInvokeDynamicTransformer(
     fileName: String,
     className: String,
     methodName: String,

diff --git a/.../trace_debugger/AbstractNativeCallTest.kt → ...st/native_calls/AbstractNativeCallTest.kt b/.../trace_debugger/AbstractNativeCallTest.kt → ...st/native_calls/AbstractNativeCallTest.kt
@@ -8,7 +8,7 @@
  * with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
  */
 
-package org.jetbrains.kotlinx.lincheck_test.trace_debugger
+package org.jetbrains.kotlinx.lincheck_test.native_calls
 
 import org.jetbrains.kotlinx.lincheck.ExceptionResult
 import org.jetbrains.kotlinx.lincheck.checkImpl

diff --git a/...heck_test/trace_debugger/HashCodeTests.kt → ...ncheck_test/native_calls/HashCodeTests.kt b/...heck_test/trace_debugger/HashCodeTests.kt → ...ncheck_test/native_calls/HashCodeTests.kt
@@ -8,7 +8,7 @@
  * with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
  */
 
-package org.jetbrains.kotlinx.lincheck_test.trace_debugger
+package org.jetbrains.kotlinx.lincheck_test.native_calls
 
 import org.jetbrains.kotlinx.lincheck.annotations.Operation
 import org.jetbrains.kotlinx.lincheck.check