Kotlin: Add test for missing kotlin to java property mapping

tamasvajk · tamasvajk · commit 19400249a931 · 2022-05-24T10:02:32.000+02:00
diff --git a/java/ql/test/kotlin/library-tests/java-map-methods/test.expected b/java/ql/test/kotlin/library-tests/java-map-methods/test.expected
@@ -1,2 +1,5 @@
+diagnostics
+| file://:0:0:0:0 | Couldn't find a Java equivalent function to kotlin.String.<get-length> in java.lang.String |
+#select
 | Integer |
 | Object |
diff --git a/java/ql/test/kotlin/library-tests/java-map-methods/test.kt b/java/ql/test/kotlin/library-tests/java-map-methods/test.kt
@@ -1 +1,3 @@
 fun test(m: Map<Int, Int>) = m.getOrDefault(1, 2)
+
+fun test2(s: String) = s.length
diff --git a/java/ql/test/kotlin/library-tests/java-map-methods/test.ql b/java/ql/test/kotlin/library-tests/java-map-methods/test.ql
@@ -1,4 +1,7 @@
 import java
+import semmle.code.java.Diagnostics
 
 from MethodAccess ma
 select ma.getCallee().getAParameter().getType().toString()
+
+query predicate diagnostics(Diagnostic d) { any() }

Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`fun test(m: Map<Int, Int>) = m.getOrDefault(1, 2)`
	`2`	`+`
	`3`	`+fun test2(s: String) = s.length`