Kotlin: Add a test for type aliases

igfoo · igfoo · commit cb1124b5ffbc · 2022-05-10T19:51:01.000+01:00
diff --git a/java/ql/test/kotlin/library-tests/type_aliases/test.kt b/java/ql/test/kotlin/library-tests/type_aliases/test.kt
@@ -0,0 +1,16 @@
+
+class MyClass<T> {}
+
+typealias AliasInt = Int
+typealias AliasX = MyClass<Int>
+typealias AliasY = MyClass<AliasInt>
+
+fun someFun(
+    x1: Int,
+    x2: AliasInt,
+    x3: MyClass<Int>,
+    x4: AliasX,
+    x5: MyClass<AliasInt>,
+    x6: AliasY) {
+}
+
diff --git a/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected b/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected
@@ -0,0 +1,3 @@
+| test.kt:4:1:4:24 | AliasInt | file://:0:0:0:0 | Kotlin not-null Int |
+| test.kt:5:1:5:31 | AliasX | file://:0:0:0:0 | Kotlin not-null MyClass |
+| test.kt:6:1:6:36 | AliasY | file://:0:0:0:0 | Kotlin not-null MyClass |
diff --git a/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.ql b/java/ql/test/kotlin/library-tests/type_aliases/type_aliases.ql
@@ -0,0 +1,4 @@
+import java
+
+from KotlinTypeAlias ta
+select ta, ta.getKotlinType()

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+\| test.kt:4:1:4:24 \| AliasInt \| file://:0:0:0:0 \| Kotlin not-null Int \|`
	`2`	`+\| test.kt:5:1:5:31 \| AliasX \| file://:0:0:0:0 \| Kotlin not-null MyClass \|`
	`3`	`+\| test.kt:6:1:6:36 \| AliasY \| file://:0:0:0:0 \| Kotlin not-null MyClass \|`