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

Fix expected files

Browse Source
This commit is contained in:
Tamas Vajk
2022-03-24 12:02:14 +01:00
committed by Ian Lynagh
parent acb310e46a
commit 3813e6fc10
17 changed files with 180 additions and 204 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
java/ql/test/kotlin/library-tests/classes/PrintAst.expected
View File

@@ -146,7 +146,7 @@ classes.kt:
# 61| 15: [GenericType,Interface,ParameterizedType] Interface3
#-----| -2: (Generic Parameters)
# 61| 0: [TypeVariable] T
# 63| 18: [Class] Class1
# 63| 16: [Class] Class1
# 63| 1: [Constructor] Class1
# 63| 5: [BlockStmt] { ... }
# 63| 0: [SuperConstructorInvocationStmt] super(...)
@@ -266,27 +266,27 @@ classes.kt:
# 89| 1: [ExprStmt] <Expr>;
# 89| 0: [ClassInstanceExpr] new (...)
# 89| -3: [TypeAccess] Interface3<Integer>
# 93| 19: [Class] pulicClass
# 93| 17: [Class] pulicClass
# 93| 1: [Constructor] pulicClass
# 93| 5: [BlockStmt] { ... }
# 93| 0: [SuperConstructorInvocationStmt] super(...)
# 93| 1: [BlockStmt] { ... }
# 94| 20: [Class] privateClass
# 94| 18: [Class] privateClass
# 94| 1: [Constructor] privateClass
# 94| 5: [BlockStmt] { ... }
# 94| 0: [SuperConstructorInvocationStmt] super(...)
# 94| 1: [BlockStmt] { ... }
# 95| 21: [Class] internalClass
# 95| 19: [Class] internalClass
# 95| 1: [Constructor] internalClass
# 95| 5: [BlockStmt] { ... }
# 95| 0: [SuperConstructorInvocationStmt] super(...)
# 95| 1: [BlockStmt] { ... }
# 96| 22: [Class] noExplicitVisibilityClass
# 96| 20: [Class] noExplicitVisibilityClass
# 96| 1: [Constructor] noExplicitVisibilityClass
# 96| 5: [BlockStmt] { ... }
# 96| 0: [SuperConstructorInvocationStmt] super(...)
# 96| 1: [BlockStmt] { ... }
# 98| 23: [Class] nestedClassVisibilities
# 98| 21: [Class] nestedClassVisibilities
# 98| 1: [Constructor] nestedClassVisibilities
# 98| 5: [BlockStmt] { ... }
# 98| 0: [SuperConstructorInvocationStmt] super(...)
@@ -316,17 +316,17 @@ classes.kt:
# 103| 5: [BlockStmt] { ... }
# 103| 0: [SuperConstructorInvocationStmt] super(...)
# 103| 1: [BlockStmt] { ... }
# 106| 24: [Class] sealedClass
# 106| 22: [Class] sealedClass
# 106| 1: [Constructor] sealedClass
# 106| 5: [BlockStmt] { ... }
# 106| 0: [SuperConstructorInvocationStmt] super(...)
# 106| 1: [BlockStmt] { ... }
# 107| 25: [Class] openClass
# 107| 23: [Class] openClass
# 107| 1: [Constructor] openClass
# 107| 5: [BlockStmt] { ... }
# 107| 0: [SuperConstructorInvocationStmt] super(...)
# 107| 1: [BlockStmt] { ... }
# 109| 26: [Class] C1
# 109| 24: [Class] C1
# 109| 1: [Constructor] C1
# 109| 5: [BlockStmt] { ... }
# 109| 0: [SuperConstructorInvocationStmt] super(...)
@@ -711,7 +711,7 @@ superChain.kt:
# 1| 5: [BlockStmt] { ... }
# 1| 0: [SuperConstructorInvocationStmt] super(...)
# 1| 1: [BlockStmt] { ... }
# 2| 4: [Class,GenericType,ParameterizedType] SuperChain2
# 2| 2: [Class,GenericType,ParameterizedType] SuperChain2
#-----| -2: (Generic Parameters)
# 2| 0: [TypeVariable] T3
# 2| 1: [TypeVariable] T4
@@ -719,7 +719,7 @@ superChain.kt:
# 2| 5: [BlockStmt] { ... }
# 2| 0: [SuperConstructorInvocationStmt] super(...)
# 2| 1: [BlockStmt] { ... }
# 3| 6: [Class,GenericType,ParameterizedType] SuperChain3
# 3| 3: [Class,GenericType,ParameterizedType] SuperChain3
#-----| -2: (Generic Parameters)
# 3| 0: [TypeVariable] T5
# 3| 1: [TypeVariable] T6

24
java/ql/test/kotlin/library-tests/classes/paramTypes.expected
View File

@@ -1,22 +1,22 @@
| classes.kt:111:9:113:9 | Local1 | 0 | classes.kt:111:22:111:23 | T1 |
| classes.kt:111:9:113:9 | Local1<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| classes.kt:119:13:121:13 | Local2 | 0 | classes.kt:119:26:119:27 | T1 |
| classes.kt:119:13:121:13 | Local2<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| classes.kt:129:17:131:17 | Local3 | 0 | classes.kt:129:30:129:31 | T1 |
| classes.kt:129:17:131:17 | Local3<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| file://<external>/C1$<no name provided>$Local3.class:0:0:0:0 | Local3<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| file://<external>/C1$Local1.class:0:0:0:0 | Local1<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| file://<external>/C1$Local2.class:0:0:0:0 | Local2<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| file://<external>/Generic.class:0:0:0:0 | Generic<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| file://<external>/Generic.class:0:0:0:0 | Generic<String> | 0 | file://<external>/String.class:0:0:0:0 | String |
| file://<external>/Generic.class:0:0:0:0 | Generic<T> | 0 | generic_anonymous.kt:1:23:1:23 | T |
| file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T3,String> | 0 | superChain.kt:2:24:2:25 | T3 |
| file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T3,String> | 1 | file://<external>/String.class:0:0:0:0 | String |
| file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T5,String> | 0 | superChain.kt:3:24:3:25 | T5 |
| file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T5,String> | 1 | file://<external>/String.class:0:0:0:0 | String |
| file://<external>/SuperChain2.class:0:0:0:0 | SuperChain2<T5,String> | 0 | superChain.kt:3:24:3:25 | T5 |
| file://<external>/SuperChain2.class:0:0:0:0 | SuperChain2<T5,String> | 1 | file://<external>/String.class:0:0:0:0 | String |
| generic_anonymous.kt:1:1:9:1 | Generic | 0 | generic_anonymous.kt:1:23:1:23 | T |
| generic_anonymous.kt:1:1:9:1 | Generic<Integer> | 0 | file://<external>/Integer.class:0:0:0:0 | Integer |
| generic_anonymous.kt:1:1:9:1 | Generic<String> | 0 | file://<external>/String.class:0:0:0:0 | String |
| generic_anonymous.kt:1:1:9:1 | Generic<T> | 0 | generic_anonymous.kt:1:23:1:23 | T |
| superChain.kt:1:1:1:33 | SuperChain1 | 0 | superChain.kt:1:24:1:25 | T1 |
| superChain.kt:1:1:1:33 | SuperChain1 | 1 | superChain.kt:1:28:1:29 | T2 |
| superChain.kt:1:1:1:33 | SuperChain1<T3,String> | 0 | superChain.kt:2:24:2:25 | T3 |
| superChain.kt:1:1:1:33 | SuperChain1<T3,String> | 1 | file://<external>/String.class:0:0:0:0 | String |
| superChain.kt:1:1:1:33 | SuperChain1<T5,String> | 0 | superChain.kt:3:24:3:25 | T5 |
| superChain.kt:1:1:1:33 | SuperChain1<T5,String> | 1 | file://<external>/String.class:0:0:0:0 | String |
| superChain.kt:2:1:2:60 | SuperChain2 | 0 | superChain.kt:2:24:2:25 | T3 |
| superChain.kt:2:1:2:60 | SuperChain2 | 1 | superChain.kt:2:28:2:29 | T4 |
| superChain.kt:2:1:2:60 | SuperChain2<T5,String> | 0 | superChain.kt:3:24:3:25 | T5 |
| superChain.kt:2:1:2:60 | SuperChain2<T5,String> | 1 | file://<external>/String.class:0:0:0:0 | String |
| superChain.kt:3:1:3:60 | SuperChain3 | 0 | superChain.kt:3:24:3:25 | T5 |
| superChain.kt:3:1:3:60 | SuperChain3 | 1 | superChain.kt:3:28:3:29 | T6 |

26
java/ql/test/kotlin/library-tests/classes/superTypes.expected
View File

@@ -14,13 +14,13 @@
| classes.kt:66:20:66:54 | new Object(...) { ... } | classes.kt:60:1:60:23 | Interface2 |
| classes.kt:68:20:68:74 | new Object(...) { ... } | classes.kt:59:1:59:23 | Interface1 |
| classes.kt:68:20:68:74 | new Object(...) { ... } | classes.kt:60:1:60:23 | Interface2 |
| classes.kt:68:20:68:74 | new Object(...) { ... } | classes.kt:61:1:61:26 | Interface3<String> |
| classes.kt:68:20:68:74 | new Object(...) { ... } | file://<external>/Interface3.class:0:0:0:0 | Interface3<String> |
| classes.kt:72:16:77:10 | new Object(...) { ... } | classes.kt:59:1:59:23 | Interface1 |
| classes.kt:72:16:77:10 | new Object(...) { ... } | classes.kt:60:1:60:23 | Interface2 |
| classes.kt:75:24:75:33 | new Object(...) { ... } | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:81:16:81:38 | new Interface1(...) { ... } | classes.kt:59:1:59:23 | Interface1 |
| classes.kt:85:16:85:25 | new Object(...) { ... } | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:89:16:89:44 | new Interface3<Integer>(...) { ... } | classes.kt:61:1:61:26 | Interface3<Integer> |
| classes.kt:89:16:89:44 | new Interface3<Integer>(...) { ... } | file://<external>/Interface3.class:0:0:0:0 | Interface3<Integer> |
| classes.kt:93:1:93:26 | pulicClass | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:94:1:94:29 | privateClass | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:95:1:95:31 | internalClass | file://<external>/Object.class:0:0:0:0 | Object |
@@ -35,17 +35,20 @@
| classes.kt:107:1:107:23 | openClass | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:109:1:136:1 | C1 | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:111:9:113:9 | Local1 | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:111:9:113:9 | Local1<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:118:9:123:9 | | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:119:13:121:13 | Local2 | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:119:13:121:13 | Local2<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:127:16:134:9 | new Object(...) { ... } | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:129:17:131:17 | Local3 | file://<external>/Object.class:0:0:0:0 | Object |
| classes.kt:129:17:131:17 | Local3<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/C1$<no name provided>$Local3.class:0:0:0:0 | Local3<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/C1$Local1.class:0:0:0:0 | Local1<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/C1$Local2.class:0:0:0:0 | Local2<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/Generic.class:0:0:0:0 | Generic<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/Generic.class:0:0:0:0 | Generic<String> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/Generic.class:0:0:0:0 | Generic<T> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T3,String> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T5,String> | file://<external>/Object.class:0:0:0:0 | Object |
| file://<external>/SuperChain2.class:0:0:0:0 | SuperChain2<T5,String> | file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T5,String> |
| generic_anonymous.kt:1:1:9:1 | Generic | file://<external>/Object.class:0:0:0:0 | Object |
| generic_anonymous.kt:1:1:9:1 | Generic<Integer> | file://<external>/Object.class:0:0:0:0 | Object |
| generic_anonymous.kt:1:1:9:1 | Generic<String> | file://<external>/Object.class:0:0:0:0 | Object |
| generic_anonymous.kt:1:1:9:1 | Generic<T> | file://<external>/Object.class:0:0:0:0 | Object |
| generic_anonymous.kt:3:19:5:3 | new Object(...) { ... } | file://<external>/Object.class:0:0:0:0 | Object |
| local_anonymous.kt:3:1:36:1 | Class1 | file://<external>/Object.class:0:0:0:0 | Object |
| local_anonymous.kt:5:16:7:9 | new Object(...) { ... } | file://<external>/Object.class:0:0:0:0 | Object |
@@ -61,8 +64,5 @@
| local_anonymous.kt:39:1:45:1 | Class2 | file://<external>/Object.class:0:0:0:0 | Object |
| local_anonymous.kt:40:14:44:5 | new Interface2(...) { ... } | local_anonymous.kt:38:1:38:23 | Interface2 |
| superChain.kt:1:1:1:33 | SuperChain1 | file://<external>/Object.class:0:0:0:0 | Object |
| superChain.kt:1:1:1:33 | SuperChain1<T3,String> | file://<external>/Object.class:0:0:0:0 | Object |
| superChain.kt:1:1:1:33 | SuperChain1<T5,String> | file://<external>/Object.class:0:0:0:0 | Object |
| superChain.kt:2:1:2:60 | SuperChain2 | superChain.kt:1:1:1:33 | SuperChain1<T3,String> |
| superChain.kt:2:1:2:60 | SuperChain2<T5,String> | superChain.kt:1:1:1:33 | SuperChain1<T5,String> |
| superChain.kt:3:1:3:60 | SuperChain3 | superChain.kt:2:1:2:60 | SuperChain2<T5,String> |
| superChain.kt:2:1:2:60 | SuperChain2 | file://<external>/SuperChain1.class:0:0:0:0 | SuperChain1<T3,String> |
| superChain.kt:3:1:3:60 | SuperChain3 | file://<external>/SuperChain2.class:0:0:0:0 | SuperChain2<T5,String> |

8
java/ql/test/kotlin/library-tests/exprs/PrintAst.expected
View File

@@ -4183,11 +4183,11 @@ funcExprs.kt:
# 70| 0: [ReturnStmt] return ...
# 70| 0: [StringLiteral]
# 73| 4: [Class] Class3
# 73| 1: [Constructor] Class3
# 73| 3: [Constructor] Class3
# 73| 5: [BlockStmt] { ... }
# 73| 0: [SuperConstructorInvocationStmt] super(...)
# 73| 1: [BlockStmt] { ... }
# 74| 2: [Method] call
# 74| 4: [Method] call
# 74| 5: [BlockStmt] { ... }
# 75| 0: [ExprStmt] <Expr>;
# 75| 0: [MethodAccess] fn(...)
@@ -4208,11 +4208,11 @@ funcExprs.kt:
# 75| 0: [TypeAccess] Generic<Integer>
# 75| 0: [TypeAccess] Integer
# 75| 1: [TypeAccess] String
# 77| 3: [Method] fn
# 77| 5: [Method] fn
#-----| 4: (Parameters)
# 77| 0: [Parameter] f
# 77| 5: [BlockStmt] { ... }
# 79| 4: [Class,GenericType,ParameterizedType] Generic
# 79| 6: [Class,GenericType,ParameterizedType] Generic
#-----| -2: (Generic Parameters)
# 79| 0: [TypeVariable] T
# 79| 1: [Constructor] Generic

2
java/ql/test/kotlin/library-tests/fake_overrides/all_kotlin/call.expected
View File

@@ -1 +1 @@
| A.kt:4:21:4:29 | someFun(...) | A.kt:15:6:17:6 | someFun | A.kt:14:2:18:2 | C<D1,D2,E1,E2> | A.kt:13:1:19:1 | OC<F1,F2> |
| A.kt:4:21:4:29 | someFun(...) | A.kt:15:6:17:6 | someFun | file:///!unknown-binary-location/OC$C.class:0:0:0:0 | C<D1,D2,E1,E2> | file:///!unknown-binary-location/OC.class:0:0:0:0 | OC<F1,F2> |

4
java/ql/test/kotlin/library-tests/files/test.expected
View File

@@ -1,5 +1,5 @@
| test.kt:7:3:7:11 | b | String | String.class | 0 |
| test.kt:8:3:8:24 | c | List<String> | List.class | 0 |
| test.kt:9:3:9:28 | d | List<? extends String> | List.class | 0 |
| test.kt:10:3:10:24 | e | DefinedHere<String> | test.kt | 14 |
| test.kt:11:3:11:29 | f | DefinedOtherFile<String> | otherfile.kt | 3 |
| test.kt:10:3:10:24 | e | DefinedHere<String> | DefinedHere.class | 0 |
| test.kt:11:3:11:29 | f | DefinedOtherFile<String> | DefinedOtherFile.class | 0 |

24
java/ql/test/kotlin/library-tests/generic-inner-classes/test.expected
View File

@@ -26,11 +26,11 @@ genericTypes
| OuterNotGeneric.kt:5:3:9:3 | InnerGeneric | OuterNotGeneric.kt:5:35:5:35 | S |
paramTypes
| OuterGeneric.kt:3:1:21:1 | OuterGeneric | T |
| OuterGeneric.kt:3:1:21:1 | OuterGeneric<Integer> | Integer |
| OuterGeneric.kt:11:3:19:3 | InnerGeneric | S |
| OuterGeneric.kt:11:3:19:3 | InnerGeneric<String> | String |
| OuterNotGeneric.kt:5:3:9:3 | InnerGeneric | S |
| OuterNotGeneric.kt:5:3:9:3 | InnerGeneric<String> | String |
| file:///!unknown-binary-location/testuser/OuterGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | String |
| file:///!unknown-binary-location/testuser/OuterGeneric.class:0:0:0:0 | OuterGeneric<Integer> | Integer |
| file:///!unknown-binary-location/testuser/OuterNotGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | String |
constructors
| KotlinUser.kt:3:1:18:1 | User |
| OuterGeneric.kt:3:8:21:1 | OuterGeneric |
@@ -46,15 +46,15 @@ constructors
| OuterNotGeneric.kt:5:16:9:3 | InnerGeneric<String> |
nestedTypes
| OuterGeneric.kt:5:3:9:3 | InnerNotGeneric | OuterGeneric.kt:3:1:21:1 | OuterGeneric |
| OuterGeneric.kt:5:3:9:3 | InnerNotGeneric<> | OuterGeneric.kt:3:1:21:1 | OuterGeneric<Integer> |
| OuterGeneric.kt:11:3:19:3 | InnerGeneric | OuterGeneric.kt:3:1:21:1 | OuterGeneric |
| OuterGeneric.kt:11:3:19:3 | InnerGeneric<String> | OuterGeneric.kt:3:1:21:1 | OuterGeneric<Integer> |
| OuterNotGeneric.kt:5:3:9:3 | InnerGeneric | OuterNotGeneric.kt:3:1:11:1 | OuterNotGeneric |
| OuterNotGeneric.kt:5:3:9:3 | InnerGeneric<String> | OuterNotGeneric.kt:3:1:11:1 | OuterNotGeneric |
| file:///!unknown-binary-location/testuser/OuterGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | file:///!unknown-binary-location/testuser/OuterGeneric.class:0:0:0:0 | OuterGeneric<Integer> |
| file:///!unknown-binary-location/testuser/OuterGeneric$InnerNotGeneric.class:0:0:0:0 | InnerNotGeneric<> | file:///!unknown-binary-location/testuser/OuterGeneric.class:0:0:0:0 | OuterGeneric<Integer> |
| file:///!unknown-binary-location/testuser/OuterNotGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | OuterNotGeneric.kt:3:1:11:1 | OuterNotGeneric |
#select
| KotlinUser.kt:7:13:7:31 | new OuterGeneric<Integer>(...) | OuterGeneric.kt:3:1:21:1 | OuterGeneric<Integer> | OuterGeneric.kt:3:8:21:1 | OuterGeneric<Integer> | KotlinUser.kt:7:13:7:31 | Integer |
| KotlinUser.kt:7:33:7:61 | new InnerGeneric<String>(...) | OuterGeneric.kt:11:3:19:3 | InnerGeneric<String> | OuterGeneric.kt:15:5:15:25 | InnerGeneric<String> | KotlinUser.kt:7:33:7:61 | String |
| KotlinUser.kt:8:14:8:32 | new OuterGeneric<Integer>(...) | OuterGeneric.kt:3:1:21:1 | OuterGeneric<Integer> | OuterGeneric.kt:3:8:21:1 | OuterGeneric<Integer> | KotlinUser.kt:8:14:8:32 | Integer |
| KotlinUser.kt:8:34:8:54 | new InnerGeneric<String>(...) | OuterGeneric.kt:11:3:19:3 | InnerGeneric<String> | OuterGeneric.kt:15:5:15:25 | InnerGeneric<String> | KotlinUser.kt:8:34:8:54 | String |
| KotlinUser.kt:9:13:9:31 | new OuterGeneric<Integer>(...) | OuterGeneric.kt:3:1:21:1 | OuterGeneric<Integer> | OuterGeneric.kt:3:8:21:1 | OuterGeneric<Integer> | KotlinUser.kt:9:13:9:31 | Integer |
| KotlinUser.kt:10:31:10:52 | new InnerGeneric<String>(...) | OuterNotGeneric.kt:5:3:9:3 | InnerGeneric<String> | OuterNotGeneric.kt:5:16:9:3 | InnerGeneric<String> | KotlinUser.kt:10:31:10:52 | String |
| KotlinUser.kt:7:13:7:31 | new OuterGeneric<Integer>(...) | file:///!unknown-binary-location/testuser/OuterGeneric.class:0:0:0:0 | OuterGeneric<Integer> | OuterGeneric.kt:3:8:21:1 | OuterGeneric<Integer> | KotlinUser.kt:7:13:7:31 | Integer |
| KotlinUser.kt:7:33:7:61 | new InnerGeneric<String>(...) | file:///!unknown-binary-location/testuser/OuterGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | OuterGeneric.kt:15:5:15:25 | InnerGeneric<String> | KotlinUser.kt:7:33:7:61 | String |
| KotlinUser.kt:8:14:8:32 | new OuterGeneric<Integer>(...) | file:///!unknown-binary-location/testuser/OuterGeneric.class:0:0:0:0 | OuterGeneric<Integer> | OuterGeneric.kt:3:8:21:1 | OuterGeneric<Integer> | KotlinUser.kt:8:14:8:32 | Integer |
| KotlinUser.kt:8:34:8:54 | new InnerGeneric<String>(...) | file:///!unknown-binary-location/testuser/OuterGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | OuterGeneric.kt:15:5:15:25 | InnerGeneric<String> | KotlinUser.kt:8:34:8:54 | String |
| KotlinUser.kt:9:13:9:31 | new OuterGeneric<Integer>(...) | file:///!unknown-binary-location/testuser/OuterGeneric.class:0:0:0:0 | OuterGeneric<Integer> | OuterGeneric.kt:3:8:21:1 | OuterGeneric<Integer> | KotlinUser.kt:9:13:9:31 | Integer |
| KotlinUser.kt:10:31:10:52 | new InnerGeneric<String>(...) | file:///!unknown-binary-location/testuser/OuterNotGeneric$InnerGeneric.class:0:0:0:0 | InnerGeneric<String> | OuterNotGeneric.kt:5:16:9:3 | InnerGeneric<String> | KotlinUser.kt:10:31:10:52 | String |

52
java/ql/test/kotlin/library-tests/generic-instance-methods/test.expected
View File

@@ -8,21 +8,21 @@ calls
| test.kt:5:32:5:46 | identity(...) | test.kt:5:3:5:46 | identity2 | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity | test.kt:1:1:10:1 | Generic |
| test.kt:7:21:7:26 | getStored(...) | test.kt:7:3:7:26 | getter | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored | test.kt:1:1:10:1 | Generic |
| test.kt:8:26:8:31 | setStored(...) | test.kt:8:3:8:41 | setter | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored | test.kt:1:1:10:1 | Generic |
| test.kt:15:13:15:35 | identity(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:6:3:6:35 | identity | test.kt:1:1:10:1 | Generic<String> |
| test.kt:16:13:16:36 | identity2(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:5:3:5:46 | identity2 | test.kt:1:1:10:1 | Generic<String> |
| test.kt:19:16:19:23 | getter(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:7:3:7:26 | getter | test.kt:1:1:10:1 | Generic<? extends String> |
| test.kt:22:15:22:33 | setter(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:8:3:8:41 | setter | test.kt:1:1:10:1 | Generic<? super String> |
| test.kt:23:15:23:22 | getter(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:7:3:7:26 | getter | test.kt:1:1:10:1 | Generic<? super String> |
| test.kt:15:13:15:35 | identity(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:6:3:6:35 | identity | file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> |
| test.kt:16:13:16:36 | identity2(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:5:3:5:46 | identity2 | file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> |
| test.kt:19:16:19:23 | getter(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:7:3:7:26 | getter | file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> |
| test.kt:22:15:22:33 | setter(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:8:3:8:41 | setter | file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> |
| test.kt:23:15:23:22 | getter(...) | test.kt:12:1:25:1 | user | test.kt:0:0:0:0 | TestKt | test.kt:7:3:7:26 | getter | file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> |
constructors
| Generic2.class:0:0:0:0 | Generic2<? extends String> | Generic2.class:0:0:0:0 | Generic2<? extends String> | Generic2<? extends String>(java.lang.String) | ? extends String | void | Test.java:1:7:1:14 | Generic2 | Test.java:3:10:3:17 | Generic2 |
| Generic2.class:0:0:0:0 | Generic2<? super String> | Generic2.class:0:0:0:0 | Generic2<? super String> | Generic2<? super String>(java.lang.Object) | ? super String | void | Test.java:1:7:1:14 | Generic2 | Test.java:3:10:3:17 | Generic2 |
| Generic2.class:0:0:0:0 | Generic2<String> | Generic2.class:0:0:0:0 | Generic2<String> | Generic2<String>(java.lang.String) | String | void | Test.java:1:7:1:14 | Generic2 | Test.java:3:10:3:17 | Generic2 |
| Test.java:1:7:1:14 | Generic2 | Test.java:3:10:3:17 | Generic2 | Generic2(java.lang.Object) | T | void | Test.java:1:7:1:14 | Generic2 | Test.java:3:10:3:17 | Generic2 |
| Test.java:14:14:14:17 | Test | Test.java:14:14:14:17 | Test | Test() | No parameters | void | Test.java:14:14:14:17 | Test | Test.java:14:14:14:17 | Test |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:1:1:10:1 | Generic<? extends String> | Generic<? extends String>(java.lang.Void) | Void | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:1:1:10:1 | Generic<? super String> | Generic<? super String>(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:1:1:10:1 | Generic<String> | Generic<String>(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
| test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic | Generic(java.lang.Object) | T | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:1:1:10:1 | Generic<? extends String> | Generic<? extends String>(java.lang.Void) | Void | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:1:1:10:1 | Generic<? super String> | Generic<? super String>(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
| test.kt:1:1:10:1 | Generic<String> | test.kt:1:1:10:1 | Generic<String> | Generic<String>(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:1:1:10:1 | Generic |
constructorCalls
| Test.java:18:34:18:68 | new Generic2<String>(...) | Generic2.class:0:0:0:0 | Generic2<String> |
| test.kt:14:19:14:48 | new Generic<String>(...) | test.kt:1:1:10:1 | Generic<String> |
@@ -51,6 +51,24 @@ refTypes
| Test.java:1:7:1:14 | Generic2 | Test.java:9:5:9:10 | getter | getter() | No parameters | T | Test.java:1:7:1:14 | Generic2 | Test.java:9:5:9:10 | getter |
| Test.java:1:7:1:14 | Generic2 | Test.java:10:8:10:13 | setter | setter(java.lang.Object) | T | void | Test.java:1:7:1:14 | Generic2 | Test.java:10:8:10:13 | setter |
| Test.java:14:14:14:17 | Test | Test.java:16:22:16:25 | user | user() | No parameters | void | Test.java:14:14:14:17 | Test | Test.java:16:22:16:25 | user |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:3:3:3:19 | getStored | getStored() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:3:3:3:19 | setStored | setStored(java.lang.Void) | Void | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:5:3:5:46 | identity2 | identity2(java.lang.Void) | Void | String | test.kt:1:1:10:1 | Generic | test.kt:5:3:5:46 | identity2 |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:6:3:6:35 | identity | identity(java.lang.Void) | Void | String | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:7:3:7:26 | getter | getter() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? extends String> | test.kt:8:3:8:41 | setter | setter(java.lang.Void) | Void | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:3:3:3:19 | getStored | getStored() | No parameters | Object | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:3:3:3:19 | setStored | setStored(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:5:3:5:46 | identity2 | identity2(java.lang.String) | String | Object | test.kt:1:1:10:1 | Generic | test.kt:5:3:5:46 | identity2 |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:6:3:6:35 | identity | identity(java.lang.String) | String | Object | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:7:3:7:26 | getter | getter() | No parameters | Object | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<? super String> | test.kt:8:3:8:41 | setter | setter(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:3:3:3:19 | getStored | getStored() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:3:3:3:19 | setStored | setStored(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:5:3:5:46 | identity2 | identity2(java.lang.String) | String | String | test.kt:1:1:10:1 | Generic | test.kt:5:3:5:46 | identity2 |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:6:3:6:35 | identity | identity(java.lang.String) | String | String | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:7:3:7:26 | getter | getter() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| file:///!unknown-binary-location/Generic.class:0:0:0:0 | Generic<String> | test.kt:8:3:8:41 | setter | setter(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |
| test.kt:0:0:0:0 | TestKt | test.kt:12:1:25:1 | user | user() | No parameters | void | test.kt:0:0:0:0 | TestKt | test.kt:12:1:25:1 | user |
| test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored | getStored() | No parameters | T | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored | setStored(java.lang.Object) | T | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
@@ -58,21 +76,3 @@ refTypes
| test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity | identity(java.lang.Object) | T | T | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter | getter() | No parameters | T | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter | setter(java.lang.Object) | T | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:3:3:3:19 | getStored | getStored() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:3:3:3:19 | setStored | setStored(java.lang.Void) | Void | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:5:3:5:46 | identity2 | identity2(java.lang.Void) | Void | String | test.kt:1:1:10:1 | Generic | test.kt:5:3:5:46 | identity2 |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:6:3:6:35 | identity | identity(java.lang.Void) | Void | String | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:7:3:7:26 | getter | getter() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| test.kt:1:1:10:1 | Generic<? extends String> | test.kt:8:3:8:41 | setter | setter(java.lang.Void) | Void | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:3:3:3:19 | getStored | getStored() | No parameters | Object | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:3:3:3:19 | setStored | setStored(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:5:3:5:46 | identity2 | identity2(java.lang.String) | String | Object | test.kt:1:1:10:1 | Generic | test.kt:5:3:5:46 | identity2 |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:6:3:6:35 | identity | identity(java.lang.String) | String | Object | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:7:3:7:26 | getter | getter() | No parameters | Object | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| test.kt:1:1:10:1 | Generic<? super String> | test.kt:8:3:8:41 | setter | setter(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |
| test.kt:1:1:10:1 | Generic<String> | test.kt:3:3:3:19 | getStored | getStored() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | getStored |
| test.kt:1:1:10:1 | Generic<String> | test.kt:3:3:3:19 | setStored | setStored(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:3:3:3:19 | setStored |
| test.kt:1:1:10:1 | Generic<String> | test.kt:5:3:5:46 | identity2 | identity2(java.lang.String) | String | String | test.kt:1:1:10:1 | Generic | test.kt:5:3:5:46 | identity2 |
| test.kt:1:1:10:1 | Generic<String> | test.kt:6:3:6:35 | identity | identity(java.lang.String) | String | String | test.kt:1:1:10:1 | Generic | test.kt:6:3:6:35 | identity |
| test.kt:1:1:10:1 | Generic<String> | test.kt:7:3:7:26 | getter | getter() | No parameters | String | test.kt:1:1:10:1 | Generic | test.kt:7:3:7:26 | getter |
| test.kt:1:1:10:1 | Generic<String> | test.kt:8:3:8:41 | setter | setter(java.lang.String) | String | void | test.kt:1:1:10:1 | Generic | test.kt:8:3:8:41 | setter |

12
java/ql/test/kotlin/library-tests/generic-methods/test.expected
View File

@@ -1,7 +1,7 @@
| kttest.kt:5:5:5:7 | cwp | ClassWithoutParams.kt:5:3:5:35 | hasTypeParams | hasTypeParams(java.lang.Object) | T | ClassWithoutParams.kt:1:1:7:1 | ClassWithoutParams |
| kttest.kt:9:5:9:15 | specialised | ClassWithParams.kt:5:3:5:42 | instanceHasTypeParam | instanceHasTypeParam(java.lang.Object) | S | ClassWithParams.kt:1:1:9:1 | ClassWithParams<String> |
| kttest.kt:10:5:10:15 | specialised | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.String) | S | ClassWithParams.kt:1:1:9:1 | ClassWithParams<String> |
| kttest.kt:10:5:10:15 | specialised | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.String) | String | ClassWithParams.kt:1:1:9:1 | ClassWithParams<String> |
| kttest.kt:14:5:14:12 | wildcard | ClassWithParams.kt:5:3:5:42 | instanceHasTypeParam | instanceHasTypeParam(java.lang.Object) | S | ClassWithParams.kt:1:1:9:1 | ClassWithParams<? extends Object> |
| kttest.kt:15:5:15:12 | wildcard | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.Void) | S | ClassWithParams.kt:1:1:9:1 | ClassWithParams<? extends Object> |
| kttest.kt:15:5:15:12 | wildcard | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.Void) | Void | ClassWithParams.kt:1:1:9:1 | ClassWithParams<? extends Object> |
| kttest.kt:9:5:9:15 | specialised | ClassWithParams.kt:5:3:5:42 | instanceHasTypeParam | instanceHasTypeParam(java.lang.Object) | S | file:///!unknown-binary-location/ClassWithParams.class:0:0:0:0 | ClassWithParams<String> |
| kttest.kt:10:5:10:15 | specialised | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.String) | S | file:///!unknown-binary-location/ClassWithParams.class:0:0:0:0 | ClassWithParams<String> |
| kttest.kt:10:5:10:15 | specialised | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.String) | String | file:///!unknown-binary-location/ClassWithParams.class:0:0:0:0 | ClassWithParams<String> |
| kttest.kt:14:5:14:12 | wildcard | ClassWithParams.kt:5:3:5:42 | instanceHasTypeParam | instanceHasTypeParam(java.lang.Object) | S | file:///!unknown-binary-location/ClassWithParams.class:0:0:0:0 | ClassWithParams<? extends Object> |
| kttest.kt:15:5:15:12 | wildcard | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.Void) | S | file:///!unknown-binary-location/ClassWithParams.class:0:0:0:0 | ClassWithParams<? extends Object> |
| kttest.kt:15:5:15:12 | wildcard | ClassWithParams.kt:7:3:7:67 | instanceHasTypeParamUsesClassTypeParam | instanceHasTypeParamUsesClassTypeParam(java.lang.Object,java.lang.Void) | Void | file:///!unknown-binary-location/ClassWithParams.class:0:0:0:0 | ClassWithParams<? extends Object> |

48
java/ql/test/kotlin/library-tests/generic-selective-extraction/test.expected
View File

@@ -19,30 +19,6 @@
| Test.kt:1:1:8:1 | TestKt | Test.kt:5:3:5:25 | getRawField |
| Test.kt:1:1:8:1 | TestKt | Test.kt:5:3:5:25 | setRawField |
| Test.kt:1:1:8:1 | TestKt | Test.kt:6:3:6:22 | method |
| Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> | Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> |
| Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> | Test.kt:3:3:3:22 | getField |
| Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> | Test.kt:3:3:3:22 | setField |
| Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> | Test.kt:5:3:5:25 | getRawField |
| Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> | Test.kt:5:3:5:25 | setRawField |
| Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> | Test.kt:6:3:6:22 | method |
| Test.kt:1:1:8:1 | TestKt<FieldUsedKt> | Test.kt:1:1:8:1 | TestKt<FieldUsedKt> |
| Test.kt:1:1:8:1 | TestKt<FieldUsedKt> | Test.kt:3:3:3:22 | getField |
| Test.kt:1:1:8:1 | TestKt<FieldUsedKt> | Test.kt:3:3:3:22 | setField |
| Test.kt:1:1:8:1 | TestKt<FieldUsedKt> | Test.kt:5:3:5:25 | getRawField |
| Test.kt:1:1:8:1 | TestKt<FieldUsedKt> | Test.kt:5:3:5:25 | setRawField |
| Test.kt:1:1:8:1 | TestKt<FieldUsedKt> | Test.kt:6:3:6:22 | method |
| Test.kt:1:1:8:1 | TestKt<MethodUsedKt> | Test.kt:1:1:8:1 | TestKt<MethodUsedKt> |
| Test.kt:1:1:8:1 | TestKt<MethodUsedKt> | Test.kt:3:3:3:22 | getField |
| Test.kt:1:1:8:1 | TestKt<MethodUsedKt> | Test.kt:3:3:3:22 | setField |
| Test.kt:1:1:8:1 | TestKt<MethodUsedKt> | Test.kt:5:3:5:25 | getRawField |
| Test.kt:1:1:8:1 | TestKt<MethodUsedKt> | Test.kt:5:3:5:25 | setRawField |
| Test.kt:1:1:8:1 | TestKt<MethodUsedKt> | Test.kt:6:3:6:22 | method |
| Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> | Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> |
| Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> | Test.kt:3:3:3:22 | getField |
| Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> | Test.kt:3:3:3:22 | setField |
| Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> | Test.kt:5:3:5:25 | getRawField |
| Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> | Test.kt:5:3:5:25 | setRawField |
| Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> | Test.kt:6:3:6:22 | method |
| Test.kt:10:1:10:20 | FieldUsedKt | Test.kt:10:1:10:20 | FieldUsedKt |
| Test.kt:11:1:11:23 | RawFieldUsedKt | Test.kt:11:1:11:23 | RawFieldUsedKt |
| Test.kt:12:1:12:21 | MethodUsedKt | Test.kt:12:1:12:21 | MethodUsedKt |
@@ -50,3 +26,27 @@
| Test.kt:14:1:14:22 | NeitherUsedKt | Test.kt:14:1:14:22 | NeitherUsedKt |
| Test.kt:16:1:27:1 | UserKt | Test.kt:16:1:27:1 | UserKt |
| Test.kt:16:1:27:1 | UserKt | Test.kt:18:3:25:3 | test |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<ConstructorUsedKt> | Test.kt:1:1:8:1 | TestKt<ConstructorUsedKt> |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<ConstructorUsedKt> | Test.kt:3:3:3:22 | getField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<ConstructorUsedKt> | Test.kt:3:3:3:22 | setField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<ConstructorUsedKt> | Test.kt:5:3:5:25 | getRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<ConstructorUsedKt> | Test.kt:5:3:5:25 | setRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<ConstructorUsedKt> | Test.kt:6:3:6:22 | method |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<FieldUsedKt> | Test.kt:1:1:8:1 | TestKt<FieldUsedKt> |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<FieldUsedKt> | Test.kt:3:3:3:22 | getField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<FieldUsedKt> | Test.kt:3:3:3:22 | setField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<FieldUsedKt> | Test.kt:5:3:5:25 | getRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<FieldUsedKt> | Test.kt:5:3:5:25 | setRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<FieldUsedKt> | Test.kt:6:3:6:22 | method |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<MethodUsedKt> | Test.kt:1:1:8:1 | TestKt<MethodUsedKt> |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<MethodUsedKt> | Test.kt:3:3:3:22 | getField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<MethodUsedKt> | Test.kt:3:3:3:22 | setField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<MethodUsedKt> | Test.kt:5:3:5:25 | getRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<MethodUsedKt> | Test.kt:5:3:5:25 | setRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<MethodUsedKt> | Test.kt:6:3:6:22 | method |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<RawFieldUsedKt> | Test.kt:1:1:8:1 | TestKt<RawFieldUsedKt> |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<RawFieldUsedKt> | Test.kt:3:3:3:22 | getField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<RawFieldUsedKt> | Test.kt:3:3:3:22 | setField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<RawFieldUsedKt> | Test.kt:5:3:5:25 | getRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<RawFieldUsedKt> | Test.kt:5:3:5:25 | setRawField |
| file:///!unknown-binary-location/TestKt.class:0:0:0:0 | TestKt<RawFieldUsedKt> | Test.kt:6:3:6:22 | method |

16
java/ql/test/kotlin/library-tests/generics/PrintAst.expected
View File

@@ -76,7 +76,7 @@ generics.kt:
# 11| 5: [BlockStmt] { ... }
# 11| 0: [SuperConstructorInvocationStmt] super(...)
# 11| 1: [BlockStmt] { ... }
# 13| 9: [Class,GenericType,ParameterizedType] C1
# 13| 3: [Class,GenericType,ParameterizedType] C1
#-----| -2: (Generic Parameters)
# 13| 0: [TypeVariable] T
# 13| 1: [TypeVariable] W
@@ -113,7 +113,7 @@ generics.kt:
# 16| 0: [TypeAccess] U
# 16| 1: [TypeAccess] U
# 16| 0: [VarAccess] u
# 20| 15: [Class] C2
# 20| 4: [Class] C2
# 20| 1: [Constructor] C2
# 20| 5: [BlockStmt] { ... }
# 20| 0: [SuperConstructorInvocationStmt] super(...)
@@ -124,7 +124,7 @@ generics.kt:
#-----| 4: (Parameters)
# 21| 0: [Parameter] p
# 21| 5: [BlockStmt] { ... }
# 36| 16: [Class,GenericType,ParameterizedType] BoundedTest
# 36| 5: [Class,GenericType,ParameterizedType] BoundedTest
#-----| -2: (Generic Parameters)
# 36| 0: [TypeVariable] T
# 36| 1: [TypeVariable] S
@@ -137,15 +137,15 @@ generics.kt:
# 38| 0: [Parameter] s
# 38| 1: [Parameter] t
# 38| 5: [BlockStmt] { ... }
# 42| 17: [Class,GenericType,ParameterizedType] Outer
# 42| 6: [Class,GenericType,ParameterizedType] Outer
#-----| -2: (Generic Parameters)
# 42| 0: [TypeVariable] T1
# 42| 1: [TypeVariable] T2
# 42| 1: [Constructor] Outer
# 42| 3: [Constructor] Outer
# 42| 5: [BlockStmt] { ... }
# 42| 0: [SuperConstructorInvocationStmt] super(...)
# 42| 1: [BlockStmt] { ... }
# 43| 2: [Class,GenericType,ParameterizedType] Inner1
# 43| 4: [Class,GenericType,ParameterizedType] Inner1
#-----| -2: (Generic Parameters)
# 43| 0: [TypeVariable] T3
# 43| 1: [TypeVariable] T4
@@ -168,7 +168,7 @@ generics.kt:
# 45| 1: [TypeAccess] String
# 45| -2: [ThisAccess] Outer.this
# 45| 0: [TypeAccess] Outer
# 49| 4: [Class,GenericType,ParameterizedType] Nested1
# 49| 5: [Class,GenericType,ParameterizedType] Nested1
#-----| -2: (Generic Parameters)
# 49| 0: [TypeVariable] T3
# 49| 1: [TypeVariable] T4
@@ -187,7 +187,7 @@ generics.kt:
# 51| -3: [TypeAccess] Nested1<Integer,String>
# 51| 0: [TypeAccess] Integer
# 51| 1: [TypeAccess] String
# 56| 19: [Class,GenericType,ParameterizedType] Class1
# 56| 7: [Class,GenericType,ParameterizedType] Class1
#-----| -2: (Generic Parameters)
# 56| 0: [TypeVariable] T1
# 56| 1: [Constructor] Class1

32
java/ql/test/kotlin/library-tests/generics/generics.expected
View File

@@ -14,42 +14,18 @@ genericType
| generics.kt:58:9:60:9 | Local | generics.kt:58:21:58:22 | T3 | 0 |
parameterizedType
| generics.kt:11:1:11:19 | C0 | generics.kt:11:1:11:19 | C0 | 0 | V |
| generics.kt:11:1:11:19 | C0<?> | generics.kt:11:1:11:19 | C0 | 0 | ? |
| generics.kt:11:1:11:19 | C0<Integer> | generics.kt:11:1:11:19 | C0 | 0 | Integer |
| generics.kt:11:1:11:19 | C0<S> | generics.kt:11:1:11:19 | C0 | 0 | S |
| generics.kt:11:1:11:19 | C0<String> | generics.kt:11:1:11:19 | C0 | 0 | String |
| generics.kt:11:1:11:19 | C0<U> | generics.kt:11:1:11:19 | C0 | 0 | U |
| generics.kt:11:1:11:19 | C0<W> | generics.kt:11:1:11:19 | C0 | 0 | W |
| generics.kt:13:1:18:1 | C1 | generics.kt:13:1:18:1 | C1 | 0 | T |
| generics.kt:13:1:18:1 | C1 | generics.kt:13:1:18:1 | C1 | 1 | W |
| generics.kt:13:1:18:1 | C1<Integer,Integer> | generics.kt:13:1:18:1 | C1 | 0 | Integer |
| generics.kt:13:1:18:1 | C1<Integer,Integer> | generics.kt:13:1:18:1 | C1 | 1 | Integer |
| generics.kt:13:1:18:1 | C1<String,Integer> | generics.kt:13:1:18:1 | C1 | 0 | String |
| generics.kt:13:1:18:1 | C1<String,Integer> | generics.kt:13:1:18:1 | C1 | 1 | Integer |
| generics.kt:13:1:18:1 | C1<String,String> | generics.kt:13:1:18:1 | C1 | 0 | String |
| generics.kt:13:1:18:1 | C1<String,String> | generics.kt:13:1:18:1 | C1 | 1 | String |
| generics.kt:13:1:18:1 | C1<T,W> | generics.kt:13:1:18:1 | C1 | 0 | T |
| generics.kt:13:1:18:1 | C1<T,W> | generics.kt:13:1:18:1 | C1 | 1 | W |
| generics.kt:13:1:18:1 | C1<U,U> | generics.kt:13:1:18:1 | C1 | 0 | U |
| generics.kt:13:1:18:1 | C1<U,U> | generics.kt:13:1:18:1 | C1 | 1 | U |
| generics.kt:36:1:40:1 | BoundedTest | generics.kt:36:1:40:1 | BoundedTest | 0 | T |
| generics.kt:36:1:40:1 | BoundedTest | generics.kt:36:1:40:1 | BoundedTest | 1 | S |
| generics.kt:42:1:54:1 | Outer | generics.kt:42:1:54:1 | Outer | 0 | T1 |
| generics.kt:42:1:54:1 | Outer | generics.kt:42:1:54:1 | Outer | 1 | T2 |
| generics.kt:42:1:54:1 | Outer<T1,T2> | generics.kt:42:1:54:1 | Outer | 0 | T1 |
| generics.kt:42:1:54:1 | Outer<T1,T2> | generics.kt:42:1:54:1 | Outer | 1 | T2 |
| generics.kt:43:5:47:5 | Inner1 | generics.kt:43:5:47:5 | Inner1 | 0 | T3 |
| generics.kt:43:5:47:5 | Inner1 | generics.kt:43:5:47:5 | Inner1 | 1 | T4 |
| generics.kt:43:5:47:5 | Inner1<Integer,String> | generics.kt:43:5:47:5 | Inner1 | 0 | Integer |
| generics.kt:43:5:47:5 | Inner1<Integer,String> | generics.kt:43:5:47:5 | Inner1 | 1 | String |
| generics.kt:49:5:53:5 | Nested1 | generics.kt:49:5:53:5 | Nested1 | 0 | T3 |
| generics.kt:49:5:53:5 | Nested1 | generics.kt:49:5:53:5 | Nested1 | 1 | T4 |
| generics.kt:49:5:53:5 | Nested1<Integer,String> | generics.kt:49:5:53:5 | Nested1 | 0 | Integer |
| generics.kt:49:5:53:5 | Nested1<Integer,String> | generics.kt:49:5:53:5 | Nested1 | 1 | String |
| generics.kt:56:1:63:1 | Class1 | generics.kt:56:1:63:1 | Class1 | 0 | T1 |
| generics.kt:56:1:63:1 | Class1<T1> | generics.kt:56:1:63:1 | Class1 | 0 | T2 |
| generics.kt:58:9:60:9 | Local | generics.kt:58:9:60:9 | Local | 0 | T3 |
| generics.kt:58:9:60:9 | Local<Integer> | generics.kt:58:9:60:9 | Local | 0 | Integer |
function
| generics.kt:3:1:5:1 | f0 | f0(int,java.lang.Object) |
| generics.kt:7:1:9:1 | f1 | f1(int,java.lang.Object) |
@@ -96,14 +72,14 @@ function
genericFunction
| generics.kt:3:1:5:1 | f0 | generics.kt:0:0:0:0 | GenericsKt | generics.kt:3:6:3:6 | S | 0 |
| generics.kt:7:1:9:1 | f1 | generics.kt:0:0:0:0 | GenericsKt | generics.kt:7:6:7:6 | S | 0 |
| generics.kt:15:5:17:5 | f2 | file:///!unknown-binary-location/foo/bar/C1.class:0:0:0:0 | C1<Integer,Integer> | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:15:5:17:5 | f2 | file:///!unknown-binary-location/foo/bar/C1.class:0:0:0:0 | C1<String,Integer> | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:15:5:17:5 | f2 | file:///!unknown-binary-location/foo/bar/C1.class:0:0:0:0 | C1<U,U> | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:15:5:17:5 | f2 | generics.kt:13:1:18:1 | C1 | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:15:5:17:5 | f2 | generics.kt:13:1:18:1 | C1<Integer,Integer> | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:15:5:17:5 | f2 | generics.kt:13:1:18:1 | C1<String,Integer> | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:15:5:17:5 | f2 | generics.kt:13:1:18:1 | C1<U,U> | generics.kt:15:10:15:10 | U | 0 |
| generics.kt:21:5:21:23 | f4 | generics.kt:20:1:22:1 | C2 | generics.kt:21:10:21:10 | P | 0 |
| generics.kt:57:5:62:5 | fn1 | generics.kt:56:1:63:1 | Class1 | generics.kt:57:10:57:11 | T2 | 0 |
| generics.kt:59:13:59:43 | fn2 | file:///!unknown-binary-location/foo/bar/Class1$Local.class:0:0:0:0 | Local<Integer> | generics.kt:59:18:59:19 | T4 | 0 |
| generics.kt:59:13:59:43 | fn2 | generics.kt:58:9:60:9 | Local | generics.kt:59:18:59:19 | T4 | 0 |
| generics.kt:59:13:59:43 | fn2 | generics.kt:58:9:60:9 | Local<Integer> | generics.kt:59:18:59:19 | T4 | 0 |
genericCall
| generics.kt:27:17:27:22 | f2(...) | generics.kt:15:10:15:10 | U | String |
| generics.kt:30:17:30:21 | f2(...) | generics.kt:15:10:15:10 | U | Integer |

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 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<?>> |
| test.kt:14:3:14:29 | p1 | file:///!unknown-binary-location/main/SimpleInvariant.class:0:0:0:0 | SimpleInvariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:15:3:15:33 | p2 | file:///!unknown-binary-location/main/SimpleInvariant.class:0:0:0:0 | SimpleInvariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:16:3:16:32 | p3 | file:///!unknown-binary-location/main/SimpleInvariant.class:0:0:0:0 | SimpleInvariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:17:3:17:24 | p4 | file:///!unknown-binary-location/main/SimpleInvariant.class:0:0:0:0 | SimpleInvariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:18:3:18:29 | p5 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:18:3:18:29 | p5 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<String>> |
| test.kt:19:3:19:33 | p6 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:19:3:19:33 | p6 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:20:3:20:32 | p7 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:20:3:20:32 | p7 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:21:3:21:24 | p8 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:21:3:21:24 | p8 | file:///!unknown-binary-location/main/NestedInvariant.class:0:0:0:0 | NestedInvariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:22:3:22:29 | p9 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:22:3:22:29 | p9 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:23:3:23:34 | p10 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:23:3:23:34 | p10 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:24:3:24:33 | p11 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:24:3:24:33 | p11 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:25:3:25:25 | p12 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:25:3:25:25 | p12 | file:///!unknown-binary-location/main/NestedCovariant.class:0:0:0:0 | NestedCovariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:26:3:26:34 | p13 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:26:3:26:34 | p13 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:27:3:27:38 | p14 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:27:3:27:38 | p14 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:28:3:28:37 | p15 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:28:3:28:37 | p15 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:29:3:29:29 | p16 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:29:3:29:29 | p16 | file:///!unknown-binary-location/main/NestedContravariant.class:0:0:0:0 | NestedContravariant<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |
| test.kt:30:3:30:28 | p17 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<String> |
| test.kt:30:3:30:28 | p17 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:30:3:30:28 | p17 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<String>> |
| test.kt:31:3:31:31 | p18 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<? super String> |
| test.kt:31:3:31:31 | p18 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:31:3:31:31 | p18 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<? super String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? super String>> |
| test.kt:32:3:32:32 | p19 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<? extends String> |
| test.kt:32:3:32:32 | p19 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:32:3:32:32 | p19 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<? extends String> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<? extends String>> |
| test.kt:33:3:33:23 | p20 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | NestedInvariant<?> |
| test.kt:33:3:33:23 | p20 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | Object |
| test.kt:33:3:33:23 | p20 | file:///!unknown-binary-location/main/DoubleInherit.class:0:0:0:0 | DoubleInherit<?> | file://:0:0:0:0 | Kotlin nullable FakeKotlinClass | SimpleInvariant<SimpleInvariant<?>> |

2
java/ql/test/kotlin/library-tests/instances/classes.expected
View File

@@ -1,4 +1,4 @@
| TestClassA.kt:2:1:3:1 | TestClassA |
| TestClassA.kt:2:1:3:1 | TestClassA<TestClassAUser> |
| TestClassAUser.kt:0:0:0:0 | TestClassAUserKt |
| TestClassAUser.kt:15:1:15:24 | TestClassAUser |
| file:///!unknown-binary-location/TestClassA.class:0:0:0:0 | TestClassA<TestClassAUser> |

4
java/ql/test/kotlin/library-tests/methods/methods.expected
View File

@@ -16,6 +16,7 @@ methods
| methods.kt:5:1:19:1 | Class | methods.kt:17:14:17:33 | internalFun | internalFun() | internal |
| methods.kt:5:1:19:1 | Class | methods.kt:18:5:18:36 | noExplicitVisibilityFun | noExplicitVisibilityFun() | public |
constructors
| file:///!unknown-binary-location/foo/bar/C1.class:0:0:0:0 | C1<Integer> | methods5.kt:13:1:13:14 | C1<Integer> | C1<Integer>() |
| methods2.kt:7:1:10:1 | Class2 | methods2.kt:7:1:10:1 | Class2 | Class2() |
| methods3.kt:5:1:7:1 | Class3 | methods3.kt:5:1:7:1 | Class3 | Class3() |
| methods4.kt:3:1:11:1 | NestedTest | methods4.kt:3:1:11:1 | NestedTest | NestedTest() |
@@ -23,9 +24,8 @@ constructors
| methods5.kt:5:3:5:27 | | methods5.kt:5:3:5:27 | | |
| methods5.kt:9:3:9:32 | | methods5.kt:9:3:9:32 | | |
| methods5.kt:13:1:13:14 | C1 | methods5.kt:13:1:13:14 | C1 | C1() |
| methods5.kt:13:1:13:14 | C1<Integer> | methods5.kt:13:1:13:14 | C1<Integer> | C1<Integer>() |
| methods.kt:5:1:19:1 | Class | methods.kt:5:1:19:1 | Class | Class() |
extensions
| methods3.kt:3:1:3:42 | fooBarTopLevelMethodExt | file://:0:0:0:0 | int |
| methods3.kt:6:5:6:46 | fooBarTopLevelMethodExt | file://:0:0:0:0 | int |
| methods5.kt:9:3:9:32 | f1 | methods5.kt:13:1:13:14 | C1<T1> |
| methods5.kt:9:3:9:32 | f1 | file:///!unknown-binary-location/foo/bar/C1.class:0:0:0:0 | C1<T1> |

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

@@ -564,11 +564,11 @@ reflection.kt:
# 41| 0: [ReturnStmt] return ...
# 41| 0: [VarAccess] INSTANCE
# 58| 3: [Class] Class1
# 58| 1: [Constructor] Class1
# 58| 4: [Constructor] Class1
# 58| 5: [BlockStmt] { ... }
# 58| 0: [SuperConstructorInvocationStmt] super(...)
# 58| 1: [BlockStmt] { ... }
# 59| 2: [Method] fn
# 59| 5: [Method] fn
# 59| 5: [BlockStmt] { ... }
# 60| 0: [ExprStmt] <Expr>;
# 60| 0: [MethodAccess] println(...)
@@ -894,7 +894,7 @@ reflection.kt:
# 72| 0: [TypeAccess] Integer
# 72| 0: [ClassInstanceExpr] new Rectangle(...)
# 72| -3: [TypeAccess] Rectangle
# 75| 3: [Class,GenericType,ParameterizedType] Generic
# 75| 6: [Class,GenericType,ParameterizedType] Generic
#-----| -2: (Generic Parameters)
# 75| 0: [TypeVariable] T1
# 75| 1: [Constructor] Generic
@@ -921,7 +921,7 @@ reflection.kt:
# 83| 4: [Class,GenericType,ParameterizedType] Class2
#-----| -2: (Generic Parameters)
# 83| 0: [TypeVariable] T
# 83| 1: [Constructor] Class2
# 83| 3: [Constructor] Class2
#-----| 4: (Parameters)
# 83| 0: [Parameter] value
# 83| 5: [BlockStmt] { ... }
@@ -930,15 +930,15 @@ reflection.kt:
# 83| 0: [ExprStmt] <Expr>;
# 83| 0: [KtInitializerAssignExpr] ...=...
# 83| 0: [VarAccess] value
# 83| 2: [Method] getValue
# 83| 4: [Method] getValue
# 83| 5: [BlockStmt] { ... }
# 83| 0: [ReturnStmt] return ...
# 83| 0: [VarAccess] this.value
# 83| -1: [ThisAccess] this
# 83| 2: [FieldDeclaration] T value;
# 83| 4: [FieldDeclaration] T value;
# 83| -1: [TypeAccess] T
# 83| 0: [VarAccess] value
# 85| 4: [Class,GenericType,ParameterizedType] Inner
# 85| 6: [Class,GenericType,ParameterizedType] Inner
#-----| -2: (Generic Parameters)
# 85| 0: [TypeVariable] T1
# 86| 1: [Constructor] Inner
@@ -987,7 +987,7 @@ reflection.kt:
# 90| 1: [TypeAccess] Inner<String>
# 90| 0: [TypeAccess] String
# 90| 0: [ThisAccess] this
# 105| 8: [Class] Base1
# 105| 5: [Class] Base1
# 105| 1: [Constructor] Base1
#-----| 4: (Parameters)
# 105| 0: [Parameter] prop1
@@ -1014,7 +1014,7 @@ reflection.kt:
# 105| 2: [FieldDeclaration] int prop1;
# 105| -1: [TypeAccess] int
# 105| 0: [VarAccess] prop1
# 107| 9: [Class] Derived1
# 107| 6: [Class] Derived1
# 107| 1: [Constructor] Derived1
#-----| 4: (Parameters)
# 107| 0: [Parameter] prop1
@@ -1064,7 +1064,7 @@ reflection.kt:
# 109| -3: [TypeAccess] KMutableProperty0<Integer>
# 109| 0: [TypeAccess] Integer
# 109| 0: [ThisAccess] this
# 113| 10: [Class] LocalFn
# 113| 7: [Class] LocalFn
# 113| 1: [Constructor] LocalFn
# 113| 5: [BlockStmt] { ... }
# 113| 0: [SuperConstructorInvocationStmt] super(...)

8
java/ql/test/kotlin/library-tests/type_equivalences/type_equivalences.expected
View File

@@ -1,8 +1,8 @@
| type_equivalences.kt:4:1:4:65 | fooUnit | file://:0:0:0:0 | void | 0 | type_equivalences.kt:4:13:4:19 | x | file://<external>/Unit.class:0:0:0:0 | Unit |
| type_equivalences.kt:4:1:4:65 | fooUnit | file://:0:0:0:0 | void | 1 | type_equivalences.kt:4:22:4:33 | y | type_equivalences.kt:2:1:2:15 | Par<Unit> |
| type_equivalences.kt:4:1:4:65 | fooUnit | file://:0:0:0:0 | void | 1 | type_equivalences.kt:4:22:4:33 | y | file://<external>/Par.class:0:0:0:0 | Par<Unit> |
| type_equivalences.kt:5:1:5:65 | fooVoid | file://<external>/Void.class:0:0:0:0 | Void | 0 | type_equivalences.kt:5:13:5:19 | x | file://<external>/Void.class:0:0:0:0 | Void |
| type_equivalences.kt:5:1:5:65 | fooVoid | file://<external>/Void.class:0:0:0:0 | Void | 1 | type_equivalences.kt:5:22:5:33 | y | type_equivalences.kt:2:1:2:15 | Par<Void> |
| type_equivalences.kt:5:1:5:65 | fooVoid | file://<external>/Void.class:0:0:0:0 | Void | 1 | type_equivalences.kt:5:22:5:33 | y | file://<external>/Par.class:0:0:0:0 | Par<Void> |
| type_equivalences.kt:6:1:6:80 | fooNothing | file://<external>/Void.class:0:0:0:0 | Void | 0 | type_equivalences.kt:6:16:6:25 | x | file://<external>/Void.class:0:0:0:0 | Void |
| type_equivalences.kt:6:1:6:80 | fooNothing | file://<external>/Void.class:0:0:0:0 | Void | 1 | type_equivalences.kt:6:28:6:42 | y | type_equivalences.kt:2:1:2:15 | Par<Void> |
| type_equivalences.kt:6:1:6:80 | fooNothing | file://<external>/Void.class:0:0:0:0 | Void | 1 | type_equivalences.kt:6:28:6:42 | y | file://<external>/Par.class:0:0:0:0 | Par<Void> |
| type_equivalences.kt:7:1:7:60 | fooInt | file://:0:0:0:0 | int | 0 | type_equivalences.kt:7:12:7:17 | x | file://:0:0:0:0 | int |
| type_equivalences.kt:7:1:7:60 | fooInt | file://:0:0:0:0 | int | 1 | type_equivalences.kt:7:20:7:30 | y | type_equivalences.kt:2:1:2:15 | Par<Integer> |
| type_equivalences.kt:7:1:7:60 | fooInt | file://:0:0:0:0 | int | 1 | type_equivalences.kt:7:20:7:30 | y | file://<external>/Par.class:0:0:0:0 | Par<Integer> |