Kotlin: test context parameter extraction

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

Author: andersfugmann

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

@@ -0,0 +1,13 @@
+parameters
+| test.kt:8:1:8:45 | logged | test.kt:7:9:7:22 | logger | 0 | Logger |
+| 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 |
+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 |
+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 |

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

@@ -0,0 +1,16 @@
+// codeql-extractor-kotlin-options: -language-version 2.4 -Xcontext-parameters
+
+class Logger {
+    fun log(value: String) = value
+}
+
+context(logger: Logger)
+fun logged(value: String) = logger.log(value)
+
+context(logger: Logger)
+val String.logged: String
+    get() = logger.log(this)
+
+fun use(logger: Logger) = context(logger) {
+    logged("message").logged
+}

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

@@ -0,0 +1,25 @@
+import java
+
+predicate isContextCallable(Callable c) { c.getName() = ["logged", "getLogged"] }
+
+query predicate parameters(Callable callable, Parameter parameter, int index, string parameterType) {
+  isContextCallable(callable) and
+  parameter = callable.getParameter(index) and
+  parameterType = parameter.getType().toString()
+}
+
+query predicate calls(
+  MethodCall call, Callable caller, Method target, Expr qualifier, int argumentCount
+) {
+  caller.fromSource() and
+  call.getEnclosingCallable() = caller and
+  target = call.getMethod() and
+  isContextCallable(target) and
+  qualifier = call.getQualifier() and
+  argumentCount = call.getNumArgument()
+}
+
+query predicate arguments(MethodCall call, int index, Expr argument) {
+  isContextCallable(call.getMethod()) and
+  argument = call.getArgument(index)
+}

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

@@ -0,0 +1 @@
+test.ql