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

Fix local function reference extraction

Browse Source
This commit is contained in:
Tamas Vajk
2022-03-17 09:25:41 +01:00
committed by Ian Lynagh
parent 62d9b85b46
commit 222f2415e2
6 changed files with 138 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -157,6 +157,8 @@ delegatedProperties.kt:
# 6| 5: [BlockStmt] { ... }
# 6| 0: [ReturnStmt] return ...
# 6| 0: [MethodAccess] <get-prop1>(...)
# 6| -1: [ClassInstanceExpr] new (...)
# 6| -3: [TypeAccess] Object
# 6| -3: [TypeAccess] KProperty0<Integer>
# 6| 0: [TypeAccess] Integer
# 10| 1: [ExprStmt] <Expr>;
@@ -213,12 +215,16 @@ delegatedProperties.kt:
# 19| 5: [BlockStmt] { ... }
# 19| 0: [ReturnStmt] return ...
# 19| 0: [MethodAccess] <get-varResource1>(...)
# 19| -1: [ClassInstanceExpr] new (...)
# 19| -3: [TypeAccess] Object
# 19| 1: [Method] set
#-----| 4: (Parameters)
# 19| 0: [Parameter] a0
# 19| 5: [BlockStmt] { ... }
# 19| 0: [ReturnStmt] return ...
# 19| 0: [MethodAccess] <set-varResource1>(...)
# 19| -1: [ClassInstanceExpr] new (...)
# 19| -3: [TypeAccess] Object
# 19| 0: [VarAccess] a0
# 19| -3: [TypeAccess] KMutableProperty0<Integer>
# 19| 0: [TypeAccess] Integer
@@ -244,12 +250,16 @@ delegatedProperties.kt:
# 19| 5: [BlockStmt] { ... }
# 19| 0: [ReturnStmt] return ...
# 19| 0: [MethodAccess] <get-varResource1>(...)
# 19| -1: [ClassInstanceExpr] new (...)
# 19| -3: [TypeAccess] Object
# 19| 1: [Method] set
#-----| 4: (Parameters)
# 19| 0: [Parameter] a0
# 19| 5: [BlockStmt] { ... }
# 19| 0: [ReturnStmt] return ...
# 19| 0: [MethodAccess] <set-varResource1>(...)
# 19| -1: [ClassInstanceExpr] new (...)
# 19| -3: [TypeAccess] Object
# 19| 0: [VarAccess] a0
# 19| -3: [TypeAccess] KMutableProperty0<Integer>
# 19| 0: [TypeAccess] Integer
@@ -292,6 +302,8 @@ delegatedProperties.kt:
# 23| 5: [BlockStmt] { ... }
# 23| 0: [ReturnStmt] return ...
# 23| 0: [MethodAccess] <get-name>(...)
# 23| -1: [ClassInstanceExpr] new (...)
# 23| -3: [TypeAccess] Object
# 23| -3: [TypeAccess] KProperty0<String>
# 23| 0: [TypeAccess] String
# 25| 4: [LocalTypeDeclStmt] class ...
@@ -377,6 +389,8 @@ delegatedProperties.kt:
# 33| 5: [BlockStmt] { ... }
# 33| 0: [ReturnStmt] return ...
# 33| 0: [MethodAccess] <get-readOnly>(...)
# 33| -1: [ClassInstanceExpr] new (...)
# 33| -3: [TypeAccess] Object
# 33| -3: [TypeAccess] KProperty0<Integer>
# 33| 0: [TypeAccess] Integer
# 34| 6: [BlockStmt] { ... }
@@ -405,12 +419,16 @@ delegatedProperties.kt:
# 34| 5: [BlockStmt] { ... }
# 34| 0: [ReturnStmt] return ...
# 34| 0: [MethodAccess] <get-readWrite>(...)
# 34| -1: [ClassInstanceExpr] new (...)
# 34| -3: [TypeAccess] Object
# 34| 1: [Method] set
#-----| 4: (Parameters)
# 34| 0: [Parameter] a0
# 34| 5: [BlockStmt] { ... }
# 34| 0: [ReturnStmt] return ...
# 34| 0: [MethodAccess] <set-readWrite>(...)
# 34| -1: [ClassInstanceExpr] new (...)
# 34| -3: [TypeAccess] Object
# 34| 0: [VarAccess] a0
# 34| -3: [TypeAccess] KMutableProperty0<Integer>
# 34| 0: [TypeAccess] Integer
@@ -436,12 +454,16 @@ delegatedProperties.kt:
# 34| 5: [BlockStmt] { ... }
# 34| 0: [ReturnStmt] return ...
# 34| 0: [MethodAccess] <get-readWrite>(...)
# 34| -1: [ClassInstanceExpr] new (...)
# 34| -3: [TypeAccess] Object
# 34| 1: [Method] set
#-----| 4: (Parameters)
# 34| 0: [Parameter] a0
# 34| 5: [BlockStmt] { ... }
# 34| 0: [ReturnStmt] return ...
# 34| 0: [MethodAccess] <set-readWrite>(...)
# 34| -1: [ClassInstanceExpr] new (...)
# 34| -3: [TypeAccess] Object
# 34| 0: [VarAccess] a0
# 34| -3: [TypeAccess] KMutableProperty0<Integer>
# 34| 0: [TypeAccess] Integer
@@ -471,6 +493,8 @@ delegatedProperties.kt:
# 39| 5: [BlockStmt] { ... }
# 39| 0: [ReturnStmt] return ...
# 39| 0: [MethodAccess] <get-varResource2>(...)
# 39| -1: [ClassInstanceExpr] new (...)
# 39| -3: [TypeAccess] Object
# 39| -3: [TypeAccess] KProperty0<Integer>
# 39| 0: [TypeAccess] Integer
# 39| 1: [LocalTypeDeclStmt] class ...
@@ -493,6 +517,8 @@ delegatedProperties.kt:
# 39| 5: [BlockStmt] { ... }
# 39| 0: [ReturnStmt] return ...
# 39| 0: [MethodAccess] <get-varResource2>(...)
# 39| -1: [ClassInstanceExpr] new (...)
# 39| -3: [TypeAccess] Object
# 39| -3: [TypeAccess] KProperty0<Integer>
# 39| 0: [TypeAccess] Integer
# 42| 3: [Method] getVarResource0
@@ -1440,12 +1466,16 @@ delegatedProperties.kt:
# 82| 5: [BlockStmt] { ... }
# 82| 0: [ReturnStmt] return ...
# 82| 0: [MethodAccess] <get-delegatedToMember3>(...)
# 82| -1: [ClassInstanceExpr] new (...)
# 82| -3: [TypeAccess] Object
# 82| 1: [Method] set
#-----| 4: (Parameters)
# 82| 0: [Parameter] a0
# 82| 5: [BlockStmt] { ... }
# 82| 0: [ReturnStmt] return ...
# 82| 0: [MethodAccess] <set-delegatedToMember3>(...)
# 82| -1: [ClassInstanceExpr] new (...)
# 82| -3: [TypeAccess] Object
# 82| 0: [VarAccess] a0
# 82| -3: [TypeAccess] KMutableProperty0<Integer>
# 82| 0: [TypeAccess] Integer
@@ -1473,12 +1503,16 @@ delegatedProperties.kt:
# 82| 5: [BlockStmt] { ... }
# 82| 0: [ReturnStmt] return ...
# 82| 0: [MethodAccess] <get-delegatedToMember3>(...)
# 82| -1: [ClassInstanceExpr] new (...)
# 82| -3: [TypeAccess] Object
# 82| 1: [Method] set
#-----| 4: (Parameters)
# 82| 0: [Parameter] a0
# 82| 5: [BlockStmt] { ... }
# 82| 0: [ReturnStmt] return ...
# 82| 0: [MethodAccess] <set-delegatedToMember3>(...)
# 82| -1: [ClassInstanceExpr] new (...)
# 82| -3: [TypeAccess] Object
# 82| 0: [VarAccess] a0
# 82| -3: [TypeAccess] KMutableProperty0<Integer>
# 82| 0: [TypeAccess] Integer
@@ -3617,6 +3651,8 @@ funcExprs.kt:
# 43| 5: [BlockStmt] { ... }
# 43| 0: [ReturnStmt] return ...
# 43| 0: [MethodAccess] local(...)
# 43| -1: [ClassInstanceExpr] new (...)
# 43| -3: [TypeAccess] Object
# 43| -3: [TypeAccess] Function0<Integer>
# 43| 0: [TypeAccess] Integer
# 45| 25: [ExprStmt] <Expr>;

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

@@ -31,6 +31,8 @@
| delegatedProperties.kt:6:24:9:9 | <get-prop1>(...) | delegatedProperties.kt:6:24:9:9 | get | MethodAccess |
| delegatedProperties.kt:6:24:9:9 | Integer | delegatedProperties.kt:6:24:9:9 | <get-prop1> | TypeAccess |
| delegatedProperties.kt:6:24:9:9 | KProperty0<Integer> | delegatedProperties.kt:6:24:9:9 | <get-prop1> | TypeAccess |
| delegatedProperties.kt:6:24:9:9 | Object | delegatedProperties.kt:6:24:9:9 | get | TypeAccess |
| delegatedProperties.kt:6:24:9:9 | new (...) | delegatedProperties.kt:6:24:9:9 | get | ClassInstanceExpr |
| delegatedProperties.kt:6:24:9:9 | prop1$delegate | delegatedProperties.kt:5:5:12:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:6:24:9:9 | prop1$delegate | delegatedProperties.kt:6:24:9:9 | <get-prop1> | VarAccess |
| delegatedProperties.kt:6:27:9:9 | Integer | delegatedProperties.kt:5:5:12:5 | fn | TypeAccess |
@@ -66,8 +68,16 @@
| delegatedProperties.kt:19:31:19:51 | Integer | delegatedProperties.kt:19:31:19:51 | <set-varResource1> | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | KMutableProperty0<Integer> | delegatedProperties.kt:19:31:19:51 | <get-varResource1> | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | KMutableProperty0<Integer> | delegatedProperties.kt:19:31:19:51 | <set-varResource1> | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | Object | delegatedProperties.kt:19:31:19:51 | get | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | Object | delegatedProperties.kt:19:31:19:51 | get | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | Object | delegatedProperties.kt:19:31:19:51 | set | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | Object | delegatedProperties.kt:19:31:19:51 | set | TypeAccess |
| delegatedProperties.kt:19:31:19:51 | a0 | delegatedProperties.kt:19:31:19:51 | set | VarAccess |
| delegatedProperties.kt:19:31:19:51 | a0 | delegatedProperties.kt:19:31:19:51 | set | VarAccess |
| delegatedProperties.kt:19:31:19:51 | new (...) | delegatedProperties.kt:19:31:19:51 | get | ClassInstanceExpr |
| delegatedProperties.kt:19:31:19:51 | new (...) | delegatedProperties.kt:19:31:19:51 | get | ClassInstanceExpr |
| delegatedProperties.kt:19:31:19:51 | new (...) | delegatedProperties.kt:19:31:19:51 | set | ClassInstanceExpr |
| delegatedProperties.kt:19:31:19:51 | new (...) | delegatedProperties.kt:19:31:19:51 | set | ClassInstanceExpr |
| delegatedProperties.kt:19:31:19:51 | varResource1$delegate | delegatedProperties.kt:18:5:40:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:19:31:19:51 | varResource1$delegate | delegatedProperties.kt:19:31:19:51 | <get-varResource1> | VarAccess |
| delegatedProperties.kt:19:31:19:51 | varResource1$delegate | delegatedProperties.kt:19:31:19:51 | <set-varResource1> | VarAccess |
@@ -88,9 +98,11 @@
| delegatedProperties.kt:23:26:23:31 | ...::... | delegatedProperties.kt:23:26:23:31 | <get-name> | PropertyRefExpr |
| delegatedProperties.kt:23:26:23:31 | <get-name>(...) | delegatedProperties.kt:23:26:23:31 | get | MethodAccess |
| delegatedProperties.kt:23:26:23:31 | KProperty0<String> | delegatedProperties.kt:23:26:23:31 | <get-name> | TypeAccess |
| delegatedProperties.kt:23:26:23:31 | Object | delegatedProperties.kt:23:26:23:31 | get | TypeAccess |
| delegatedProperties.kt:23:26:23:31 | String | delegatedProperties.kt:23:26:23:31 | <get-name> | TypeAccess |
| delegatedProperties.kt:23:26:23:31 | name$delegate | delegatedProperties.kt:18:5:40:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:23:26:23:31 | name$delegate | delegatedProperties.kt:23:26:23:31 | <get-name> | VarAccess |
| delegatedProperties.kt:23:26:23:31 | new (...) | delegatedProperties.kt:23:26:23:31 | get | ClassInstanceExpr |
| delegatedProperties.kt:23:29:23:31 | MapAccessorsKt | delegatedProperties.kt:23:26:23:31 | <get-name> | TypeAccess |
| delegatedProperties.kt:23:29:23:31 | Object | delegatedProperties.kt:23:26:23:31 | <get-name> | TypeAccess |
| delegatedProperties.kt:23:29:23:31 | String | delegatedProperties.kt:23:26:23:31 | <get-name> | TypeAccess |
@@ -118,6 +130,8 @@
| delegatedProperties.kt:33:27:33:47 | <get-readOnly>(...) | delegatedProperties.kt:33:27:33:47 | get | MethodAccess |
| delegatedProperties.kt:33:27:33:47 | Integer | delegatedProperties.kt:33:27:33:47 | <get-readOnly> | TypeAccess |
| delegatedProperties.kt:33:27:33:47 | KProperty0<Integer> | delegatedProperties.kt:33:27:33:47 | <get-readOnly> | TypeAccess |
| delegatedProperties.kt:33:27:33:47 | Object | delegatedProperties.kt:33:27:33:47 | get | TypeAccess |
| delegatedProperties.kt:33:27:33:47 | new (...) | delegatedProperties.kt:33:27:33:47 | get | ClassInstanceExpr |
| delegatedProperties.kt:33:27:33:47 | readOnly$delegate | delegatedProperties.kt:18:5:40:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:33:27:33:47 | readOnly$delegate | delegatedProperties.kt:33:27:33:47 | <get-readOnly> | VarAccess |
| delegatedProperties.kt:33:30:33:47 | Object | delegatedProperties.kt:18:5:40:5 | fn | TypeAccess |
@@ -134,8 +148,16 @@
| delegatedProperties.kt:34:28:34:48 | Integer | delegatedProperties.kt:34:28:34:48 | <set-readWrite> | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | KMutableProperty0<Integer> | delegatedProperties.kt:34:28:34:48 | <get-readWrite> | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | KMutableProperty0<Integer> | delegatedProperties.kt:34:28:34:48 | <set-readWrite> | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | Object | delegatedProperties.kt:34:28:34:48 | get | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | Object | delegatedProperties.kt:34:28:34:48 | get | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | Object | delegatedProperties.kt:34:28:34:48 | set | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | Object | delegatedProperties.kt:34:28:34:48 | set | TypeAccess |
| delegatedProperties.kt:34:28:34:48 | a0 | delegatedProperties.kt:34:28:34:48 | set | VarAccess |
| delegatedProperties.kt:34:28:34:48 | a0 | delegatedProperties.kt:34:28:34:48 | set | VarAccess |
| delegatedProperties.kt:34:28:34:48 | new (...) | delegatedProperties.kt:34:28:34:48 | get | ClassInstanceExpr |
| delegatedProperties.kt:34:28:34:48 | new (...) | delegatedProperties.kt:34:28:34:48 | get | ClassInstanceExpr |
| delegatedProperties.kt:34:28:34:48 | new (...) | delegatedProperties.kt:34:28:34:48 | set | ClassInstanceExpr |
| delegatedProperties.kt:34:28:34:48 | new (...) | delegatedProperties.kt:34:28:34:48 | set | ClassInstanceExpr |
| delegatedProperties.kt:34:28:34:48 | readWrite$delegate | delegatedProperties.kt:18:5:40:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:34:28:34:48 | readWrite$delegate | delegatedProperties.kt:34:28:34:48 | <get-readWrite> | VarAccess |
| delegatedProperties.kt:34:28:34:48 | readWrite$delegate | delegatedProperties.kt:34:28:34:48 | <set-readWrite> | VarAccess |
@@ -160,6 +182,10 @@
| delegatedProperties.kt:39:31:39:51 | Integer | delegatedProperties.kt:39:31:39:51 | <get-varResource2> | TypeAccess |
| delegatedProperties.kt:39:31:39:51 | KProperty0<Integer> | delegatedProperties.kt:18:5:40:5 | fn | TypeAccess |
| delegatedProperties.kt:39:31:39:51 | KProperty0<Integer> | delegatedProperties.kt:39:31:39:51 | <get-varResource2> | TypeAccess |
| delegatedProperties.kt:39:31:39:51 | Object | delegatedProperties.kt:39:31:39:51 | get | TypeAccess |
| delegatedProperties.kt:39:31:39:51 | Object | delegatedProperties.kt:39:31:39:51 | get | TypeAccess |
| delegatedProperties.kt:39:31:39:51 | new (...) | delegatedProperties.kt:39:31:39:51 | get | ClassInstanceExpr |
| delegatedProperties.kt:39:31:39:51 | new (...) | delegatedProperties.kt:39:31:39:51 | get | ClassInstanceExpr |
| delegatedProperties.kt:39:31:39:51 | provideDelegate(...) | delegatedProperties.kt:18:5:40:5 | fn | MethodAccess |
| delegatedProperties.kt:39:31:39:51 | varResource2$delegate | delegatedProperties.kt:18:5:40:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:39:31:39:51 | varResource2$delegate | delegatedProperties.kt:39:31:39:51 | <get-varResource2> | VarAccess |
@@ -574,11 +600,19 @@
| delegatedProperties.kt:82:37:82:54 | Integer | delegatedProperties.kt:82:37:82:54 | <set-delegatedToMember3> | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | KMutableProperty0<Integer> | delegatedProperties.kt:82:37:82:54 | <get-delegatedToMember3> | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | KMutableProperty0<Integer> | delegatedProperties.kt:82:37:82:54 | <set-delegatedToMember3> | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | Object | delegatedProperties.kt:82:37:82:54 | get | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | Object | delegatedProperties.kt:82:37:82:54 | get | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | Object | delegatedProperties.kt:82:37:82:54 | set | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | Object | delegatedProperties.kt:82:37:82:54 | set | TypeAccess |
| delegatedProperties.kt:82:37:82:54 | a0 | delegatedProperties.kt:82:37:82:54 | set | VarAccess |
| delegatedProperties.kt:82:37:82:54 | a0 | delegatedProperties.kt:82:37:82:54 | set | VarAccess |
| delegatedProperties.kt:82:37:82:54 | delegatedToMember3$delegate | delegatedProperties.kt:81:5:84:5 | fn | LocalVariableDeclExpr |
| delegatedProperties.kt:82:37:82:54 | delegatedToMember3$delegate | delegatedProperties.kt:82:37:82:54 | <get-delegatedToMember3> | VarAccess |
| delegatedProperties.kt:82:37:82:54 | delegatedToMember3$delegate | delegatedProperties.kt:82:37:82:54 | <set-delegatedToMember3> | VarAccess |
| delegatedProperties.kt:82:37:82:54 | new (...) | delegatedProperties.kt:82:37:82:54 | get | ClassInstanceExpr |
| delegatedProperties.kt:82:37:82:54 | new (...) | delegatedProperties.kt:82:37:82:54 | get | ClassInstanceExpr |
| delegatedProperties.kt:82:37:82:54 | new (...) | delegatedProperties.kt:82:37:82:54 | set | ClassInstanceExpr |
| delegatedProperties.kt:82:37:82:54 | new (...) | delegatedProperties.kt:82:37:82:54 | set | ClassInstanceExpr |
| delegatedProperties.kt:82:40:82:43 | this | delegatedProperties.kt:81:5:84:5 | fn | ThisAccess |
| delegatedProperties.kt:82:40:82:54 | ...::... | delegatedProperties.kt:81:5:84:5 | fn | PropertyRefExpr |
| delegatedProperties.kt:82:40:82:54 | ...=... | delegatedProperties.kt:82:40:82:54 | | AssignExpr |
@@ -2015,7 +2049,9 @@
| funcExprs.kt:43:26:43:32 | ...::... | funcExprs.kt:15:1:46:1 | call | MemberRefExpr |
| funcExprs.kt:43:26:43:32 | Function0<Integer> | funcExprs.kt:15:1:46:1 | call | TypeAccess |
| funcExprs.kt:43:26:43:32 | Integer | funcExprs.kt:15:1:46:1 | call | TypeAccess |
| funcExprs.kt:43:26:43:32 | Object | funcExprs.kt:43:26:43:32 | invoke | TypeAccess |
| funcExprs.kt:43:26:43:32 | local(...) | funcExprs.kt:43:26:43:32 | invoke | MethodAccess |
| funcExprs.kt:43:26:43:32 | new (...) | funcExprs.kt:43:26:43:32 | invoke | ClassInstanceExpr |
| funcExprs.kt:45:5:45:17 | FuncRef | funcExprs.kt:15:1:46:1 | call | TypeAccess |
| funcExprs.kt:45:5:45:17 | fn(...) | funcExprs.kt:15:1:46:1 | call | MethodAccess |
| funcExprs.kt:45:8:45:16 | ...::... | funcExprs.kt:15:1:46:1 | call | MemberRefExpr |

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

@@ -992,3 +992,37 @@ reflection.kt:
# 109| -3: [TypeAccess] KMutableProperty0<Integer>
# 109| 0: [TypeAccess] Integer
# 109| 0: [ThisAccess] this
# 113| 10: [Class] LocalFn
# 113| 1: [Constructor] LocalFn
# 113| 5: [BlockStmt] { ... }
# 113| 0: [SuperConstructorInvocationStmt] super(...)
# 114| 2: [Method] fn
# 114| 5: [BlockStmt] { ... }
# 115| 0: [LocalTypeDeclStmt] class ...
# 115| 0: [LocalClass]
# 115| 1: [Constructor]
# 115| 5: [BlockStmt] { ... }
# 115| 0: [SuperConstructorInvocationStmt] super(...)
# 115| 1: [Method] fn1
#-----| 4: (Parameters)
# 115| 0: [Parameter] i
# 115| 5: [BlockStmt] { ... }
# 116| 1: [LocalVariableDeclStmt] var ...;
# 116| 1: [LocalVariableDeclExpr] x
# 116| 0: [MemberRefExpr] ...::...
# 116| -4: [AnonymousClass] new Function1<Integer,Unit>(...) { ... }
# 116| 1: [Constructor]
# 116| 5: [BlockStmt] { ... }
# 116| 0: [SuperConstructorInvocationStmt] super(...)
# 116| 1: [Method] invoke
#-----| 4: (Parameters)
# 116| 0: [Parameter] a0
# 116| 5: [BlockStmt] { ... }
# 116| 0: [ReturnStmt] return ...
# 116| 0: [MethodAccess] fn1(...)
# 116| -1: [ClassInstanceExpr] new (...)
# 116| -3: [TypeAccess] Object
# 116| 0: [VarAccess] a0
# 116| -3: [TypeAccess] Function1<Integer,Unit>
# 116| 0: [TypeAccess] Integer
# 116| 1: [TypeAccess] Unit

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

@@ -19,6 +19,8 @@ variableInitializerType
| reflection.kt:22:9:22:48 | KMutableProperty0<Integer> y5 | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | reflection.kt:22:42:22:48 | new KMutableProperty0<Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:24:9:24:91 | KProperty2<C,Integer,Integer> prop | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Integer> | true |
| reflection.kt:24:9:24:91 | KProperty2<C,Integer,Integer> prop | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty.class:0:0:0:0 | KProperty<Integer> | true |
| reflection.kt:116:9:116:44 | KFunction<Unit> x | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | file://<external>/Function1.class:0:0:0:0 | Function1<Integer,Unit> | true |
| reflection.kt:116:9:116:44 | KFunction<Unit> x | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
invocation
| reflection.kt:8:21:8:24 | getName(...) | file://<external>/KCallable.class:0:0:0:0 | getName |
| reflection.kt:11:26:11:33 | get(...) | file://<external>/KProperty1.class:0:0:0:0 | get |
@@ -48,6 +50,7 @@ functionReferences
| reflection.kt:97:14:97:21 | ...::... | reflection.kt:97:14:97:21 | invoke | reflection.kt:83:1:92:1 | Class2<String> |
| reflection.kt:98:14:98:17 | ...::... | reflection.kt:98:14:98:17 | invoke | reflection.kt:94:1:94:24 | fn |
| reflection.kt:99:14:99:29 | ...::... | reflection.kt:99:14:99:29 | invoke | reflection.kt:86:9:86:30 | Inner<String> |
| reflection.kt:116:40:116:44 | ...::... | reflection.kt:116:40:116:44 | invoke | reflection.kt:115:9:115:27 | fn1 |
propertyGetReferences
| reflection.kt:10:38:10:42 | ...::... | reflection.kt:10:38:10:42 | get | reflection.kt:33:9:33:23 | getP0 |
| reflection.kt:15:35:15:41 | ...::... | reflection.kt:15:35:15:41 | get | reflection.kt:33:9:33:23 | getP0 |
@@ -97,6 +100,8 @@ callsInsideInvocationMethods
| reflection.kt:99:14:99:29 | ...::... | reflection.kt:99:14:99:29 | new Function1<String,Inner<String>>(...) { ... } | reflection.kt:99:14:99:29 | invoke | reflection.kt:99:14:99:29 | new Inner<String>(...) | Inner<String>.Inner<String> |
| reflection.kt:109:17:109:27 | ...::... | reflection.kt:109:17:109:27 | new KMutableProperty0<Integer>(...) { ... } | reflection.kt:109:17:109:27 | get | reflection.kt:109:17:109:27 | getProp1(...) | Base1.getProp1 |
| reflection.kt:109:17:109:27 | ...::... | reflection.kt:109:17:109:27 | new KMutableProperty0<Integer>(...) { ... } | reflection.kt:109:17:109:27 | set | reflection.kt:109:17:109:27 | setProp1(...) | Base1.setProp1 |
| reflection.kt:116:40:116:44 | ...::... | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | reflection.kt:116:40:116:44 | invoke | reflection.kt:116:40:116:44 | fn1(...) | .fn1 |
| reflection.kt:116:40:116:44 | ...::... | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | reflection.kt:116:40:116:44 | invoke | reflection.kt:116:40:116:44 | new (...) | . |
fieldAccessInsideInvocationMethods
| reflection.kt:14:38:14:44 | ...::... | reflection.kt:14:38:14:44 | new Function1<C,Integer>(...) { ... } | reflection.kt:14:38:14:44 | invoke | reflection.kt:14:38:14:44 | this.<dispatchReceiver> |
| reflection.kt:15:35:15:41 | ...::... | reflection.kt:15:35:15:41 | new KProperty0<Integer>(...) { ... } | reflection.kt:15:35:15:41 | get | reflection.kt:15:35:15:41 | this.<dispatchReceiver> |

7
java/ql/test/kotlin/library-tests/reflection/reflection.kt
View File

@@ -109,3 +109,10 @@ class Derived1(prop1: Int) : Base1(prop1) {
println(this::prop1)
}
}
class LocalFn {
fun fn() {
fun fn1(i: Int) { }
val x: KFunction1<Int, Unit> = ::fn1
}
}