hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: Accept test changes

Browse Source
This commit is contained in:
Ian Lynagh
2021-12-06 15:19:14 +00:00
parent b57d7f5a75
commit 1719b921cf
4 changed files with 54 additions and 53 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
java/ql/test/kotlin/library-tests/arrays/test.expected
View File

@@ -1,8 +1,8 @@
cloneMethods
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | Integer[] | file://:0:0:0:0 | Integer[] | file://:0:0:0:0 | Kotlin nullable Array<Integer> |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | Integer[][] | file://:0:0:0:0 | Integer[][] | file://:0:0:0:0 | Kotlin nullable Array<Integer[]> |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | int[] | file://:0:0:0:0 | int[] | file://:0:0:0:0 | Kotlin nullable IntArray |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | int[][] | file://:0:0:0:0 | int[][] | file://:0:0:0:0 | Kotlin nullable Array<int[]> |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | Integer[] | file://:0:0:0:0 | Integer[] | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | Integer[][] | file://:0:0:0:0 | Integer[][] | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | int[] | file://:0:0:0:0 | int[] | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| file://:0:0:0:0 | clone | clone() | file://:0:0:0:0 | int[][] | file://:0:0:0:0 | int[][] | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
sourceSignatures
| arrayCreations.kt:3:1:29:1 | <obinit> | <obinit>() |
| arrayCreations.kt:3:1:29:1 | TestArrayCreation | TestArrayCreation() |
@@ -17,9 +17,9 @@ sourceSignatures
| primitiveArrays.kt:3:1:7:1 | toString | toString() |
| primitiveArrays.kt:5:3:5:123 | test | test(java.lang.Integer[],java.lang.Integer[],int[],java.lang.Integer[][],java.lang.Integer[][],int[][]) |
#select
| primitiveArrays.kt:5:12:5:24 | a | file://:0:0:0:0 | Integer[] | Integer | Integer | file://:0:0:0:0 | Kotlin not-null Array<Integer> |
| primitiveArrays.kt:5:27:5:40 | b | file://:0:0:0:0 | Integer[] | Integer | Integer | file://:0:0:0:0 | Kotlin not-null Array<Integer> |
| primitiveArrays.kt:5:43:5:53 | c | file://:0:0:0:0 | int[] | int | int | file://:0:0:0:0 | Kotlin not-null IntArray |
| primitiveArrays.kt:5:56:5:76 | d | file://:0:0:0:0 | Integer[][] | Integer[] | Integer | file://:0:0:0:0 | Kotlin not-null Array<Integer[]> |
| primitiveArrays.kt:5:79:5:98 | e | file://:0:0:0:0 | Integer[][] | Integer[] | Integer | file://:0:0:0:0 | Kotlin not-null Array<Integer[]> |
| primitiveArrays.kt:5:101:5:118 | f | file://:0:0:0:0 | int[][] | int[] | int | file://:0:0:0:0 | Kotlin not-null Array<int[]> |
| primitiveArrays.kt:5:12:5:24 | a | file://:0:0:0:0 | Integer[] | Integer | Integer | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| primitiveArrays.kt:5:27:5:40 | b | file://:0:0:0:0 | Integer[] | Integer | Integer | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| primitiveArrays.kt:5:43:5:53 | c | file://:0:0:0:0 | int[] | int | int | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| primitiveArrays.kt:5:56:5:76 | d | file://:0:0:0:0 | Integer[][] | Integer[] | Integer | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| primitiveArrays.kt:5:79:5:98 | e | file://:0:0:0:0 | Integer[][] | Integer[] | Integer | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| primitiveArrays.kt:5:101:5:118 | f | file://:0:0:0:0 | int[][] | int[] | int | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |

80
java/ql/test/kotlin/library-tests/inheritence-substitution/test.expected
View File

@@ -1,40 +1,40 @@
| test.kt:14:3:14:29 | p1 | test.kt:3:1:3:34 | SimpleInvariant<String> | file://:0:0:0:0 | Kotlin not-null SimpleInvariant<String> | Object |
| test.kt:15:3:15:33 | p2 | test.kt:3:1:3:34 | SimpleInvariant<? extends String> | file://:0:0:0:0 | Kotlin not-null SimpleInvariant<? extends String> | Object |
| test.kt:16:3:16:32 | p3 | test.kt:3:1:3:34 | SimpleInvariant<? super String> | file://:0:0:0:0 | Kotlin not-null SimpleInvariant<? super String> | Object |
| test.kt:17:3:17:24 | p4 | test.kt:3:1:3:34 | SimpleInvariant<?> | file://:0:0:0:0 | Kotlin not-null SimpleInvariant<?> | Object |
| test.kt:18:3:18:29 | p5 | test.kt:5:1:5:75 | NestedInvariant<String> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<String> | Object |
| test.kt:18:3:18:29 | p5 | test.kt:5:1:5:75 | NestedInvariant<String> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<String> | SimpleInvariant<SimpleInvariant<String>> |
| test.kt:19:3:19:33 | p6 | test.kt:5:1:5:75 | NestedInvariant<? extends String> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<? extends String> | Object |
| test.kt:19:3:19:33 | p6 | test.kt:5:1:5:75 | NestedInvariant<? extends String> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<? extends String> | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:20:3:20:32 | p7 | test.kt:5:1:5:75 | NestedInvariant<? super String> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<? super String> | Object |
| test.kt:20:3:20:32 | p7 | test.kt:5:1:5:75 | NestedInvariant<? super String> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<? super String> | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:21:3:21:24 | p8 | test.kt:5:1:5:75 | NestedInvariant<?> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<?> | Object |
| test.kt:21:3:21:24 | p8 | test.kt:5:1:5:75 | NestedInvariant<?> | file://:0:0:0:0 | Kotlin not-null NestedInvariant<?> | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:22:3:22:29 | p9 | test.kt:7:1:7:74 | NestedCovariant<String> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<String> | Object |
| test.kt:22:3:22:29 | p9 | test.kt:7:1:7:74 | NestedCovariant<String> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<String> | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:23:3:23:34 | p10 | test.kt:7:1:7:74 | NestedCovariant<? extends String> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<? extends String> | Object |
| test.kt:23:3:23:34 | p10 | test.kt:7:1:7:74 | NestedCovariant<? extends String> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<? extends String> | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:24:3:24:33 | p11 | test.kt:7:1:7:74 | NestedCovariant<? super String> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<? super String> | Object |
| test.kt:24:3:24:33 | p11 | test.kt:7:1:7:74 | NestedCovariant<? super String> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<? super String> | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:25:3:25:25 | p12 | test.kt:7:1:7:74 | NestedCovariant<?> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<?> | Object |
| test.kt:25:3:25:25 | p12 | test.kt:7:1:7:74 | NestedCovariant<?> | file://:0:0:0:0 | Kotlin not-null NestedCovariant<?> | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:26:3:26:34 | p13 | test.kt:9:1:9:77 | NestedContravariant<String> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<String> | Object |
| test.kt:26:3:26:34 | p13 | test.kt:9:1:9:77 | NestedContravariant<String> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<String> | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:27:3:27:38 | p14 | test.kt:9:1:9:77 | NestedContravariant<? extends String> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<? extends String> | Object |
| test.kt:27:3:27:38 | p14 | test.kt:9:1:9:77 | NestedContravariant<? extends String> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<? extends String> | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:28:3:28:37 | p15 | test.kt:9:1:9:77 | NestedContravariant<? super String> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<? super String> | Object |
| test.kt:28:3:28:37 | p15 | test.kt:9:1:9:77 | NestedContravariant<? super String> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<? super String> | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:29:3:29:29 | p16 | test.kt:9:1:9:77 | NestedContravariant<?> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<?> | Object |
| test.kt:29:3:29:29 | p16 | test.kt:9:1:9:77 | NestedContravariant<?> | file://:0:0:0:0 | Kotlin not-null NestedContravariant<?> | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:30:3:30:28 | p17 | test.kt:11:1:11:51 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<String> | NestedInvariant<String> |
| test.kt:30:3:30:28 | p17 | test.kt:11:1:11:51 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<String> | Object |
| test.kt:30:3:30:28 | p17 | test.kt:11:1:11:51 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<String> | SimpleInvariant<SimpleInvariant<String>> |
| test.kt:31:3:31:31 | p18 | test.kt:11:1:11:51 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<? super String> | NestedInvariant<? super String> |
| test.kt:31:3:31:31 | p18 | test.kt:11:1:11:51 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<? super String> | Object |
| test.kt:31:3:31:31 | p18 | test.kt:11:1:11:51 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<? super String> | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:32:3:32:32 | p19 | test.kt:11:1:11:51 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<? extends String> | NestedInvariant<? extends String> |
| test.kt:32:3:32:32 | p19 | test.kt:11:1:11:51 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<? extends String> | Object |
| test.kt:32:3:32:32 | p19 | test.kt:11:1:11:51 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<? extends String> | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:33:3:33:23 | p20 | test.kt:11:1:11:51 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<?> | NestedInvariant<?> |
| test.kt:33:3:33:23 | p20 | test.kt:11:1:11:51 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<?> | Object |
| test.kt:33:3:33:23 | p20 | test.kt:11:1:11:51 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin not-null DoubleInherit<?> | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:14:3:14:29 | p1 | test.kt:3:1:3:34 | SimpleInvariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:15:3:15:33 | p2 | test.kt:3:1:3:34 | SimpleInvariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:16:3:16:32 | p3 | test.kt:3:1:3:34 | SimpleInvariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:17:3:17:24 | p4 | test.kt:3:1:3:34 | SimpleInvariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:18:3:18:29 | p5 | test.kt:5:1:5:75 | NestedInvariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:18:3:18:29 | p5 | test.kt:5:1:5:75 | NestedInvariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<String>> |
| test.kt:19:3:19:33 | p6 | test.kt:5:1:5:75 | NestedInvariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:19:3:19:33 | p6 | test.kt:5:1:5:75 | NestedInvariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:20:3:20:32 | p7 | test.kt:5:1:5:75 | NestedInvariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:20:3:20:32 | p7 | test.kt:5:1:5:75 | NestedInvariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:21:3:21:24 | p8 | test.kt:5:1:5:75 | NestedInvariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:21:3:21:24 | p8 | test.kt:5:1:5:75 | NestedInvariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:22:3:22:29 | p9 | test.kt:7:1:7:74 | NestedCovariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:22:3:22:29 | p9 | test.kt:7:1:7:74 | NestedCovariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:23:3:23:34 | p10 | test.kt:7:1:7:74 | NestedCovariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:23:3:23:34 | p10 | test.kt:7:1:7:74 | NestedCovariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:24:3:24:33 | p11 | test.kt:7:1:7:74 | NestedCovariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:24:3:24:33 | p11 | test.kt:7:1:7:74 | NestedCovariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:25:3:25:25 | p12 | test.kt:7:1:7:74 | NestedCovariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:25:3:25:25 | p12 | test.kt:7:1:7:74 | NestedCovariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:26:3:26:34 | p13 | test.kt:9:1:9:77 | NestedContravariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:26:3:26:34 | p13 | test.kt:9:1:9:77 | NestedContravariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:27:3:27:38 | p14 | test.kt:9:1:9:77 | NestedContravariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:27:3:27:38 | p14 | test.kt:9:1:9:77 | NestedContravariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:28:3:28:37 | p15 | test.kt:9:1:9:77 | NestedContravariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:28:3:28:37 | p15 | test.kt:9:1:9:77 | NestedContravariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:29:3:29:29 | p16 | test.kt:9:1:9:77 | NestedContravariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:29:3:29:29 | p16 | test.kt:9:1:9:77 | NestedContravariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:30:3:30:28 | p17 | test.kt:11:1:11:51 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<String> |
| test.kt:30:3:30:28 | p17 | test.kt:11:1:11:51 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:30:3:30:28 | p17 | test.kt:11:1:11:51 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<String>> |
| test.kt:31:3:31:31 | p18 | test.kt:11:1:11:51 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<? super String> |
| test.kt:31:3:31:31 | p18 | test.kt:11:1:11:51 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:31:3:31:31 | p18 | test.kt:11:1:11:51 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:32:3:32:32 | p19 | test.kt:11:1:11:51 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<? extends String> |
| test.kt:32:3:32:32 | p19 | test.kt:11:1:11:51 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:32:3:32:32 | p19 | test.kt:11:1:11:51 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:33:3:33:23 | p20 | test.kt:11:1:11:51 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<?> |
| test.kt:33:3:33:23 | p20 | test.kt:11:1:11:51 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:33:3:33:23 | p20 | test.kt:11:1:11:51 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |

6
java/ql/test/kotlin/library-tests/type_aliases/type_aliases.expected
View File

@@ -1,3 +1,3 @@
| test.kt:4:1:4:24 | AliasInt | file://:0:0:0:0 | Kotlin not-null Integer |
| test.kt:5:1:5:31 | AliasX | file://:0:0:0:0 | Kotlin not-null MyClass<Integer> |
| test.kt:6:1:6:36 | AliasY | file://:0:0:0:0 | Kotlin not-null MyClass<Integer> |
| test.kt:4:1:4:24 | AliasInt | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| test.kt:5:1:5:31 | AliasX | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |
| test.kt:6:1:6:36 | AliasY | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass |

1
java/ql/test/kotlin/library-tests/types/types.expected
View File

@@ -1041,6 +1041,7 @@
| Factory<BoundMethodHandle,String,SpeciesData> | Class, ParameterizedType |
| Factory<T,K,S> | Class, ParameterizedType |
| FairSync | Class |
| FakeKotlinClass | Class |
| Field | Class |
| FieldAccessor | Interface |
| FieldDelegate | Interface |