#337 - output fixed in case of an incorrect arguments count in th cus… (

#338)

Output fixed in case of an incorrect arguments count in the custom scenario DSL

src/jvm/main/org/jetbrains/kotlinx/lincheck/CustomScenarioDSL.kt

@@ -44,6 +44,8 @@ fun scenario(block: DSLScenarioBuilder.() -> Unit): ExecutionScenario =
 internal fun actor(f: KFunction<*>, vararg args: Any?, cancelOnSuspension: Boolean = false): Actor {
     val method = f.javaMethod ?: throw IllegalStateException("The function is a constructor or cannot be represented by a Java Method")
     require(method.exceptionTypes.all { Throwable::class.java.isAssignableFrom(it) }) { "Not all declared exceptions are Throwable" }
+    val requiredArgsCount = method.parameters.size - if (f.isSuspend) 1 else 0
+    require(requiredArgsCount == args.size) { "Invalid number of the operation ${f.name} parameters: $requiredArgsCount expected, ${args.size} provided." }
     return Actor(
         method = method,
         arguments = args.toList(),

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

@@ -0,0 +1,47 @@
+/*
+ * Lincheck
+ *
+ * Copyright (C) 2019 - 2024 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
+
+import org.jetbrains.kotlinx.lincheck.annotations.Operation
+import org.jetbrains.kotlinx.lincheck.strategy.managed.modelchecking.ModelCheckingOptions
+import org.jetbrains.kotlinx.lincheck_test.util.checkFailsWithException
+import org.junit.Assert
+import org.junit.Assert.assertEquals
+import org.junit.Test
+
+class IncorrectArgumentsCountInCustomScenarioActorTest {
+
+    @Operation
+    fun operation(value: Int) = Unit
+
+    @Test
+    fun testTooFew() {
+        val exception = Assert.assertThrows(IllegalArgumentException::class.java) {
+            ModelCheckingOptions()
+                .addCustomScenario {
+                    parallel { thread { actor(::operation) } }
+                }
+        }
+        assertEquals("Invalid number of the operation operation parameters: 1 expected, 0 provided.", exception.message)
+    }
+
+    @Test
+    fun testTooMany() {
+        val exception = Assert.assertThrows(IllegalArgumentException::class.java) {
+            ModelCheckingOptions()
+                .addCustomScenario {
+                    parallel { thread { actor(::operation, 1, 2) } }
+                }
+        }
+        assertEquals("Invalid number of the operation operation parameters: 1 expected, 2 provided.", exception.message)
+    }
+
+}