Kotlin: test context parameter setters

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: andersfugmann

java/ql/test-kotlin2/library-tests/context-parameters/test.expected

@@ -3,11 +3,18 @@ parameters
 | test.kt:8:1:8:45 | logged | test.kt:8:12:8:24 | value | 1 | String |
 | test.kt:12:5:12:28 | getLogged | test.kt:10:9:10:22 | logger | 1 | Logger |
 | test.kt:12:5:12:28 | getLogged | test.kt:11:5:11:10 | <this> | 0 | String |
+| test.kt:13:5:15:5 | setLogged | test.kt:10:9:10:22 | logger | 1 | Logger |
+| test.kt:13:5:15:5 | setLogged | test.kt:11:5:11:10 | <this> | 0 | String |
+| test.kt:13:5:15:5 | setLogged | test.kt:13:9:13:13 | value | 2 | String |
 calls
-| test.kt:15:5:15:21 | logged(...) | test.kt:14:43:16:1 | invoke | test.kt:8:1:8:45 | logged | test.kt:15:5:15:21 | TestKt | 2 |
-| test.kt:15:5:15:28 | getLogged(...) | test.kt:14:43:16:1 | invoke | test.kt:12:5:12:28 | getLogged | test.kt:15:5:15:28 | TestKt | 2 |
+| test.kt:18:17:18:33 | logged(...) | test.kt:17:43:21:1 | invoke | test.kt:8:1:8:45 | logged | test.kt:18:17:18:33 | TestKt | 2 |
+| test.kt:18:17:18:40 | getLogged(...) | test.kt:17:43:21:1 | invoke | test.kt:12:5:12:28 | getLogged | test.kt:18:17:18:40 | TestKt | 2 |
+| test.kt:19:5:19:27 | setLogged(...) | test.kt:17:43:21:1 | invoke | test.kt:13:5:15:5 | setLogged | test.kt:19:5:19:27 | TestKt | 3 |
 arguments
-| test.kt:15:5:15:21 | logged(...) | 0 | test.kt:0:0:0:0 | p0 |
-| test.kt:15:5:15:21 | logged(...) | 1 | test.kt:15:12:15:20 | "message" |
-| test.kt:15:5:15:28 | getLogged(...) | 0 | test.kt:15:5:15:21 | logged(...) |
-| test.kt:15:5:15:28 | getLogged(...) | 1 | test.kt:0:0:0:0 | p0 |
+| test.kt:18:17:18:33 | logged(...) | 0 | test.kt:0:0:0:0 | p0 |
+| test.kt:18:17:18:33 | logged(...) | 1 | test.kt:18:24:18:32 | "message" |
+| test.kt:18:17:18:40 | getLogged(...) | 0 | test.kt:18:17:18:33 | logged(...) |
+| test.kt:18:17:18:40 | getLogged(...) | 1 | test.kt:0:0:0:0 | p0 |
+| test.kt:19:5:19:27 | setLogged(...) | 0 | test.kt:19:5:19:12 | "target" |
+| test.kt:19:5:19:27 | setLogged(...) | 1 | test.kt:0:0:0:0 | p0 |
+| test.kt:19:5:19:27 | setLogged(...) | 2 | test.kt:19:23:19:27 | value |

java/ql/test-kotlin2/library-tests/context-parameters/test.kt

@@ -8,9 +8,14 @@ context(logger: Logger)
 fun logged(value: String) = logger.log(value)
 
 context(logger: Logger)
-val String.logged: String
+var String.logged: String
     get() = logger.log(this)
+    set(value) {
+        logger.log(value)
+    }
 
 fun use(logger: Logger) = context(logger) {
-    logged("message").logged
+    val value = logged("message").logged
+    "target".logged = value
+    value
 }

java/ql/test-kotlin2/library-tests/context-parameters/test.ql

@@ -1,6 +1,6 @@
 import java
 
-predicate isContextCallable(Callable c) { c.getName() = ["logged", "getLogged"] }
+predicate isContextCallable(Callable c) { c.getName() = ["logged", "getLogged", "setLogged"] }
 
 query predicate parameters(Callable callable, Parameter parameter, int index, string parameterType) {
   isContextCallable(callable) and