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

Add SAM conversion tests

Browse Source
This commit is contained in:
Tamas Vajk
2022-03-03 09:25:38 +01:00
committed by Ian Lynagh
parent eebfe56c95
commit 92e59a3ae1
5 changed files with 268 additions and 193 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -3079,6 +3079,49 @@ samConversion.kt:
# 43| 1: [IntegerLiteral] 22
# 43| -3: [TypeAccess] FunctionN<Boolean>
# 43| 0: [TypeAccess] Boolean
# 46| 3: [LocalVariableDeclStmt] var ...;
# 46| 1: [LocalVariableDeclExpr] d
# 46| 0: [CastExpr] (...)...
# 46| 0: [TypeAccess] SomePredicate<Integer>
# 46| 0: [TypeAccess] Integer
# 46| 1: [ClassInstanceExpr] new (...)
# 46| -4: [AnonymousClass] new SomePredicate<Integer>(...) { ... }
# 46| 1: [Constructor]
#-----| 4: (Parameters)
# 46| 0: [Parameter] <fn>
# 46| 5: [BlockStmt] { ... }
# 46| 0: [SuperConstructorInvocationStmt] super(...)
# 46| 1: [ExprStmt] <Expr>;
# 46| 0: [AssignExpr] ...=...
# 46| 0: [VarAccess] this.<fn>
# 46| -1: [ThisAccess] this
# 46| 1: [VarAccess] <fn>
# 46| 1: [FieldDeclaration] Function1<Integer,Boolean> <fn>;
# 46| -1: [TypeAccess] Function1<Integer,Boolean>
# 50| 3: [Method] fn
#-----| 4: (Parameters)
# 50| 0: [Parameter] i
# 46| 5: [BlockStmt] { ... }
# 46| 0: [ReturnStmt] return ...
# 46| 0: [MethodAccess] invoke(...)
# 46| -1: [VarAccess] <fn>
# 46| 0: [VarAccess] i
# 46| -3: [TypeAccess] SomePredicate<Integer>
# 46| 0: [TypeAccess] Integer
# 46| 0: [LambdaExpr] ...->...
# 46| -4: [AnonymousClass] new Function1<Integer,Boolean>(...) { ... }
# 46| 1: [Constructor]
# 46| 5: [BlockStmt] { ... }
# 46| 0: [SuperConstructorInvocationStmt] super(...)
# 46| 1: [Method] invoke
#-----| 4: (Parameters)
# 46| 0: [Parameter] a
# 46| 5: [BlockStmt] { ... }
# 46| 0: [ReturnStmt] return ...
# 46| 0: [BooleanLiteral] true
# 46| -3: [TypeAccess] Function1<Integer,Boolean>
# 46| 0: [TypeAccess] Integer
# 46| 1: [TypeAccess] Boolean
# 16| 2: [Interface] IntPredicate
# 17| 1: [Method] accept
#-----| 4: (Parameters)
@@ -3119,6 +3162,12 @@ samConversion.kt:
# 33| 20: [Parameter] i20
# 33| 21: [Parameter] i21
# 33| 22: [Parameter] i22
# 49| 6: [GenericType,Interface,ParameterizedType] SomePredicate
#-----| -2: (Generic Parameters)
# 49| 0: [TypeVariable] T
# 50| 1: [Method] fn
#-----| 4: (Parameters)
# 50| 0: [Parameter] i
whenExpr.kt:
# 0| [CompilationUnit] whenExpr
# 0| 1: [Class] WhenExprKt

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

@@ -109,10 +109,10 @@
| samConversion.kt:2:33:2:38 | ... % ... | samConversion.kt:2:33:2:34 | it | samConversion.kt:2:38:2:38 | 2 |
| samConversion.kt:2:33:2:43 | ... (value equals) ... | samConversion.kt:2:33:2:38 | ... % ... | samConversion.kt:2:43:2:43 | 0 |
| samConversion.kt:7:36:7:45 | ... (value equals) ... | samConversion.kt:7:36:7:39 | this | samConversion.kt:7:44:7:45 | |
| samConversion.kt:10:14:10:18 | ... % ... | samConversion.kt:10:14:10:14 | j | samConversion.kt:10:18:10:18 | 2 |
| samConversion.kt:10:14:10:23 | ... (value equals) ... | samConversion.kt:10:14:10:18 | ... % ... | samConversion.kt:10:23:10:23 | 0 |
| samConversion.kt:12:14:12:18 | ... % ... | samConversion.kt:12:14:12:14 | j | samConversion.kt:12:18:12:18 | 2 |
| samConversion.kt:12:14:12:23 | ... (value equals) ... | samConversion.kt:12:14:12:18 | ... % ... | samConversion.kt:12:23:12:23 | 1 |
| samConversion.kt:10:18:10:22 | ... % ... | samConversion.kt:10:18:10:18 | j | samConversion.kt:10:22:10:22 | 2 |
| samConversion.kt:10:18:10:27 | ... (value equals) ... | samConversion.kt:10:18:10:22 | ... % ... | samConversion.kt:10:27:10:27 | 0 |
| samConversion.kt:12:18:12:22 | ... % ... | samConversion.kt:12:18:12:18 | j | samConversion.kt:12:22:12:22 | 2 |
| samConversion.kt:12:18:12:27 | ... (value equals) ... | samConversion.kt:12:18:12:22 | ... % ... | samConversion.kt:12:27:12:27 | 1 |
| whenExpr.kt:3:5:3:5 | ... (value equals) ... | whenExpr.kt:3:5:3:5 | tmp0_subject | whenExpr.kt:3:5:3:5 | 0 |
| whenExpr.kt:4:5:4:5 | ... (value equals) ... | whenExpr.kt:4:5:4:5 | tmp0_subject | whenExpr.kt:4:5:4:5 | 1 |
| whenExpr.kt:5:5:5:5 | ... (value equals) ... | whenExpr.kt:5:5:5:5 | tmp0_subject | whenExpr.kt:5:5:5:5 | 2 |

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

@@ -1530,22 +1530,22 @@
| samConversion.kt:9:33:11:5 | Boolean | samConversion.kt:1:1:14:1 | main | TypeAccess |
| samConversion.kt:9:33:11:5 | Function1<Integer,Boolean> | samConversion.kt:1:1:14:1 | main | TypeAccess |
| samConversion.kt:9:33:11:5 | Integer | samConversion.kt:1:1:14:1 | main | TypeAccess |
| samConversion.kt:10:14:10:14 | j | samConversion.kt:9:33:11:5 | invoke | VarAccess |
| samConversion.kt:10:14:10:18 | ... % ... | samConversion.kt:9:33:11:5 | invoke | RemExpr |
| samConversion.kt:10:14:10:23 | ... (value equals) ... | samConversion.kt:9:33:11:5 | invoke | ValueEQExpr |
| samConversion.kt:10:18:10:18 | 2 | samConversion.kt:9:33:11:5 | invoke | IntegerLiteral |
| samConversion.kt:10:23:10:23 | 0 | samConversion.kt:9:33:11:5 | invoke | IntegerLiteral |
| samConversion.kt:10:18:10:18 | j | samConversion.kt:9:33:11:5 | invoke | VarAccess |
| samConversion.kt:10:18:10:22 | ... % ... | samConversion.kt:9:33:11:5 | invoke | RemExpr |
| samConversion.kt:10:18:10:27 | ... (value equals) ... | samConversion.kt:9:33:11:5 | invoke | ValueEQExpr |
| samConversion.kt:10:22:10:22 | 2 | samConversion.kt:9:33:11:5 | invoke | IntegerLiteral |
| samConversion.kt:10:27:10:27 | 0 | samConversion.kt:9:33:11:5 | invoke | IntegerLiteral |
| samConversion.kt:11:12:13:5 | ...->... | samConversion.kt:1:1:14:1 | main | LambdaExpr |
| samConversion.kt:11:12:13:5 | Boolean | samConversion.kt:1:1:14:1 | main | TypeAccess |
| samConversion.kt:11:12:13:5 | Function1<Integer,Boolean> | samConversion.kt:1:1:14:1 | main | TypeAccess |
| samConversion.kt:11:12:13:5 | Integer | samConversion.kt:1:1:14:1 | main | TypeAccess |
| samConversion.kt:12:14:12:14 | j | samConversion.kt:11:12:13:5 | invoke | VarAccess |
| samConversion.kt:12:14:12:18 | ... % ... | samConversion.kt:11:12:13:5 | invoke | RemExpr |
| samConversion.kt:12:14:12:23 | ... (value equals) ... | samConversion.kt:11:12:13:5 | invoke | ValueEQExpr |
| samConversion.kt:12:18:12:18 | 2 | samConversion.kt:11:12:13:5 | invoke | IntegerLiteral |
| samConversion.kt:12:23:12:23 | 1 | samConversion.kt:11:12:13:5 | invoke | IntegerLiteral |
| samConversion.kt:38:48:38:51 | true | samConversion.kt:36:1:38:51 | ff | BooleanLiteral |
| samConversion.kt:41:5:41:16 | a | samConversion.kt:40:1:46:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:12:18:12:18 | j | samConversion.kt:11:12:13:5 | invoke | VarAccess |
| samConversion.kt:12:18:12:22 | ... % ... | samConversion.kt:11:12:13:5 | invoke | RemExpr |
| samConversion.kt:12:18:12:27 | ... (value equals) ... | samConversion.kt:11:12:13:5 | invoke | ValueEQExpr |
| samConversion.kt:12:22:12:22 | 2 | samConversion.kt:11:12:13:5 | invoke | IntegerLiteral |
| samConversion.kt:12:27:12:27 | 1 | samConversion.kt:11:12:13:5 | invoke | IntegerLiteral |
| samConversion.kt:38:49:38:52 | true | samConversion.kt:36:1:38:52 | ff | BooleanLiteral |
| samConversion.kt:41:5:41:16 | a | samConversion.kt:40:1:47:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:41:13:41:16 | 0 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 1 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 2 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
@@ -1592,7 +1592,7 @@
| samConversion.kt:41:13:41:16 | (...)... | samConversion.kt:41:13:41:16 | invoke | CastExpr |
| samConversion.kt:41:13:41:16 | (...)... | samConversion.kt:41:13:41:16 | invoke | CastExpr |
| samConversion.kt:41:13:41:16 | (...)... | samConversion.kt:41:13:41:16 | invoke | CastExpr |
| samConversion.kt:41:13:41:16 | ...::... | samConversion.kt:40:1:46:1 | fn | MemberRefExpr |
| samConversion.kt:41:13:41:16 | ...::... | samConversion.kt:40:1:47:1 | fn | MemberRefExpr |
| samConversion.kt:41:13:41:16 | ...[...] | samConversion.kt:41:13:41:16 | invoke | ArrayAccess |
| samConversion.kt:41:13:41:16 | ...[...] | samConversion.kt:41:13:41:16 | invoke | ArrayAccess |
| samConversion.kt:41:13:41:16 | ...[...] | samConversion.kt:41:13:41:16 | invoke | ArrayAccess |
@@ -1616,8 +1616,8 @@
| samConversion.kt:41:13:41:16 | ...[...] | samConversion.kt:41:13:41:16 | invoke | ArrayAccess |
| samConversion.kt:41:13:41:16 | ...[...] | samConversion.kt:41:13:41:16 | invoke | ArrayAccess |
| samConversion.kt:41:13:41:16 | ...[...] | samConversion.kt:41:13:41:16 | invoke | ArrayAccess |
| samConversion.kt:41:13:41:16 | Boolean | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:41:13:41:16 | FunctionN<Boolean> | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:41:13:41:16 | Boolean | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:41:13:41:16 | FunctionN<Boolean> | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:41:13:41:16 | a0 | samConversion.kt:41:13:41:16 | invoke | VarAccess |
| samConversion.kt:41:13:41:16 | a0 | samConversion.kt:41:13:41:16 | invoke | VarAccess |
| samConversion.kt:41:13:41:16 | a0 | samConversion.kt:41:13:41:16 | invoke | VarAccess |
@@ -1665,14 +1665,14 @@
| samConversion.kt:41:13:41:16 | int | samConversion.kt:41:13:41:16 | invoke | TypeAccess |
| samConversion.kt:41:13:41:16 | int | samConversion.kt:41:13:41:16 | invoke | TypeAccess |
| samConversion.kt:41:13:41:16 | int | samConversion.kt:41:13:41:16 | invoke | TypeAccess |
| samConversion.kt:42:5:42:32 | b | samConversion.kt:40:1:46:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:42:5:42:32 | b | samConversion.kt:40:1:47:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:42:13:42:32 | 23 | samConversion.kt:31:5:33:53 | accept | IntegerLiteral |
| samConversion.kt:42:13:42:32 | (...)... | samConversion.kt:40:1:46:1 | fn | CastExpr |
| samConversion.kt:42:13:42:32 | (...)... | samConversion.kt:40:1:47:1 | fn | CastExpr |
| samConversion.kt:42:13:42:32 | ...=... | samConversion.kt:42:13:42:32 | | AssignExpr |
| samConversion.kt:42:13:42:32 | <fn> | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | <fn> | samConversion.kt:42:13:42:32 | | VarAccess |
| samConversion.kt:42:13:42:32 | BigArityPredicate | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:42:13:42:32 | BigArityPredicate | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:42:13:42:32 | BigArityPredicate | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:42:13:42:32 | BigArityPredicate | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:42:13:42:32 | FunctionN<Boolean> | file://:0:0:0:0 | <none> | TypeAccess |
| samConversion.kt:42:13:42:32 | Object | samConversion.kt:31:5:33:53 | accept | TypeAccess |
| samConversion.kt:42:13:42:32 | i0 | samConversion.kt:31:5:33:53 | accept | VarAccess |
@@ -1699,172 +1699,192 @@
| samConversion.kt:42:13:42:32 | i21 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i22 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | invoke(...) | samConversion.kt:31:5:33:53 | accept | MethodAccess |
| samConversion.kt:42:13:42:32 | new (...) | samConversion.kt:40:1:46:1 | fn | ClassInstanceExpr |
| samConversion.kt:42:13:42:32 | new (...) | samConversion.kt:40:1:47:1 | fn | ClassInstanceExpr |
| samConversion.kt:42:13:42:32 | new Object[] | samConversion.kt:31:5:33:53 | accept | ArrayCreationExpr |
| samConversion.kt:42:13:42:32 | this | samConversion.kt:42:13:42:32 | | ThisAccess |
| samConversion.kt:42:13:42:32 | this.<fn> | samConversion.kt:42:13:42:32 | | VarAccess |
| samConversion.kt:42:13:42:32 | {...} | samConversion.kt:31:5:33:53 | accept | ArrayInit |
| samConversion.kt:42:31:42:31 | a | samConversion.kt:40:1:46:1 | fn | VarAccess |
| samConversion.kt:43:5:45:43 | c | samConversion.kt:40:1:46:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:43:13:45:43 | 23 | samConversion.kt:31:5:33:53 | accept | IntegerLiteral |
| samConversion.kt:43:13:45:43 | (...)... | samConversion.kt:40:1:46:1 | fn | CastExpr |
| samConversion.kt:43:13:45:43 | ...=... | samConversion.kt:43:13:45:43 | | AssignExpr |
| samConversion.kt:43:13:45:43 | <fn> | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | <fn> | samConversion.kt:43:13:45:43 | | VarAccess |
| samConversion.kt:43:13:45:43 | BigArityPredicate | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:43:13:45:43 | BigArityPredicate | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:43:13:45:43 | FunctionN<Boolean> | file://:0:0:0:0 | <none> | TypeAccess |
| samConversion.kt:43:13:45:43 | Object | samConversion.kt:31:5:33:53 | accept | TypeAccess |
| samConversion.kt:43:13:45:43 | i0 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i1 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i2 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i3 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i4 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i5 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i6 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i7 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i8 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i9 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i10 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i11 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i12 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i13 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i14 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i15 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i16 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i17 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i18 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i19 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i20 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i21 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | i22 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:43 | invoke(...) | samConversion.kt:31:5:33:53 | accept | MethodAccess |
| samConversion.kt:43:13:45:43 | new (...) | samConversion.kt:40:1:46:1 | fn | ClassInstanceExpr |
| samConversion.kt:43:13:45:43 | new Object[] | samConversion.kt:31:5:33:53 | accept | ArrayCreationExpr |
| samConversion.kt:43:13:45:43 | this | samConversion.kt:43:13:45:43 | | ThisAccess |
| samConversion.kt:43:13:45:43 | this.<fn> | samConversion.kt:43:13:45:43 | | VarAccess |
| samConversion.kt:43:13:45:43 | {...} | samConversion.kt:31:5:33:53 | accept | ArrayInit |
| samConversion.kt:43:31:45:43 | 0 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 1 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 2 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 3 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 4 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 5 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 6 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 7 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 8 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 9 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 10 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 11 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 12 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 13 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 14 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 15 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 16 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 17 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 18 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 19 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 20 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 21 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | 22 | samConversion.kt:43:31:45:43 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | (...)... | samConversion.kt:43:31:45:43 | invoke | CastExpr |
| samConversion.kt:43:31:45:43 | ...->... | samConversion.kt:40:1:46:1 | fn | LambdaExpr |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | ...[...] | samConversion.kt:43:31:45:43 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:43 | Boolean | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:43:31:45:43 | FunctionN<Boolean> | samConversion.kt:40:1:46:1 | fn | TypeAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | a0 | samConversion.kt:43:31:45:43 | invoke | VarAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | int | samConversion.kt:43:31:45:43 | invoke | TypeAccess |
| samConversion.kt:43:31:45:43 | invoke(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | this | samConversion.kt:43:31:45:43 | invoke | ThisAccess |
| samConversion.kt:45:39:45:42 | true | samConversion.kt:43:31:45:43 | invoke | BooleanLiteral |
| samConversion.kt:42:31:42:31 | a | samConversion.kt:40:1:47:1 | fn | VarAccess |
| samConversion.kt:43:5:45:68 | c | samConversion.kt:40:1:47:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:43:13:45:68 | 23 | samConversion.kt:31:5:33:53 | accept | IntegerLiteral |
| samConversion.kt:43:13:45:68 | (...)... | samConversion.kt:40:1:47:1 | fn | CastExpr |
| samConversion.kt:43:13:45:68 | ...=... | samConversion.kt:43:13:45:68 | | AssignExpr |
| samConversion.kt:43:13:45:68 | <fn> | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | <fn> | samConversion.kt:43:13:45:68 | | VarAccess |
| samConversion.kt:43:13:45:68 | BigArityPredicate | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:43:13:45:68 | BigArityPredicate | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:43:13:45:68 | FunctionN<Boolean> | file://:0:0:0:0 | <none> | TypeAccess |
| samConversion.kt:43:13:45:68 | Object | samConversion.kt:31:5:33:53 | accept | TypeAccess |
| samConversion.kt:43:13:45:68 | i0 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i1 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i2 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i3 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i4 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i5 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i6 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i7 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i8 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i9 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i10 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i11 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i12 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i13 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i14 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i15 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i16 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i17 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i18 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i19 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i20 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i21 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | i22 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:43:13:45:68 | invoke(...) | samConversion.kt:31:5:33:53 | accept | MethodAccess |
| samConversion.kt:43:13:45:68 | new (...) | samConversion.kt:40:1:47:1 | fn | ClassInstanceExpr |
| samConversion.kt:43:13:45:68 | new Object[] | samConversion.kt:31:5:33:53 | accept | ArrayCreationExpr |
| samConversion.kt:43:13:45:68 | this | samConversion.kt:43:13:45:68 | | ThisAccess |
| samConversion.kt:43:13:45:68 | this.<fn> | samConversion.kt:43:13:45:68 | | VarAccess |
| samConversion.kt:43:13:45:68 | {...} | samConversion.kt:31:5:33:53 | accept | ArrayInit |
| samConversion.kt:43:31:45:68 | 0 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 1 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 2 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 3 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 4 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 5 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 6 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 7 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 8 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 9 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 10 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 11 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 12 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 13 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 14 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 15 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 16 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 17 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 18 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 19 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 20 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 21 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | 22 | samConversion.kt:43:31:45:68 | invoke | IntegerLiteral |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | (...)... | samConversion.kt:43:31:45:68 | invoke | CastExpr |
| samConversion.kt:43:31:45:68 | ...->... | samConversion.kt:40:1:47:1 | fn | LambdaExpr |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | ...[...] | samConversion.kt:43:31:45:68 | invoke | ArrayAccess |
| samConversion.kt:43:31:45:68 | Boolean | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:43:31:45:68 | FunctionN<Boolean> | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | a0 | samConversion.kt:43:31:45:68 | invoke | VarAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | int | samConversion.kt:43:31:45:68 | invoke | TypeAccess |
| samConversion.kt:43:31:45:68 | invoke(...) | samConversion.kt:43:31:45:68 | invoke | MethodAccess |
| samConversion.kt:43:31:45:68 | this | samConversion.kt:43:31:45:68 | invoke | ThisAccess |
| samConversion.kt:45:64:45:67 | true | samConversion.kt:43:31:45:68 | invoke | BooleanLiteral |
| samConversion.kt:46:5:46:44 | d | samConversion.kt:40:1:47:1 | fn | LocalVariableDeclExpr |
| samConversion.kt:46:13:46:44 | (...)... | samConversion.kt:40:1:47:1 | fn | CastExpr |
| samConversion.kt:46:13:46:44 | ...=... | samConversion.kt:46:13:46:44 | | AssignExpr |
| samConversion.kt:46:13:46:44 | <fn> | samConversion.kt:46:13:46:44 | | VarAccess |
| samConversion.kt:46:13:46:44 | <fn> | samConversion.kt:50:5:50:25 | fn | VarAccess |
| samConversion.kt:46:13:46:44 | Function1<Integer,Boolean> | file://:0:0:0:0 | <none> | TypeAccess |
| samConversion.kt:46:13:46:44 | Integer | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:13:46:44 | Integer | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:13:46:44 | SomePredicate<Integer> | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:13:46:44 | SomePredicate<Integer> | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:13:46:44 | i | samConversion.kt:50:5:50:25 | fn | VarAccess |
| samConversion.kt:46:13:46:44 | invoke(...) | samConversion.kt:50:5:50:25 | fn | MethodAccess |
| samConversion.kt:46:13:46:44 | new (...) | samConversion.kt:40:1:47:1 | fn | ClassInstanceExpr |
| samConversion.kt:46:13:46:44 | this | samConversion.kt:46:13:46:44 | | ThisAccess |
| samConversion.kt:46:13:46:44 | this.<fn> | samConversion.kt:46:13:46:44 | | VarAccess |
| samConversion.kt:46:32:46:44 | ...->... | samConversion.kt:40:1:47:1 | fn | LambdaExpr |
| samConversion.kt:46:32:46:44 | Boolean | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:32:46:44 | Function1<Integer,Boolean> | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:32:46:44 | Integer | samConversion.kt:40:1:47:1 | fn | TypeAccess |
| samConversion.kt:46:39:46:42 | true | samConversion.kt:46:32:46:44 | invoke | BooleanLiteral |
| whenExpr.kt:2:10:8:3 | <Stmt> | whenExpr.kt:1:1:9:1 | testWhen | StmtExpr |
| whenExpr.kt:2:10:8:3 | when ... | whenExpr.kt:1:1:9:1 | testWhen | WhenExpr |
| whenExpr.kt:2:15:2:15 | i | whenExpr.kt:1:1:9:1 | testWhen | VarAccess |

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

@@ -19,7 +19,8 @@ lambdaExpr
| samConversion.kt:7:29:7:46 | ...->... | stmt body | samConversion.kt:7:29:7:46 | invoke | invoke(java.lang.String,int) | samConversion.kt:7:29:7:46 | new Function2<String,Integer,Boolean>(...) { ... } |
| samConversion.kt:9:33:11:5 | ...->... | stmt body | samConversion.kt:9:33:11:5 | invoke | invoke(int) | samConversion.kt:9:33:11:5 | new Function1<Integer,Boolean>(...) { ... } |
| samConversion.kt:11:12:13:5 | ...->... | stmt body | samConversion.kt:11:12:13:5 | invoke | invoke(int) | samConversion.kt:11:12:13:5 | new Function1<Integer,Boolean>(...) { ... } |
| samConversion.kt:43:31:45:43 | ...->... | stmt body | samConversion.kt:43:31:45:43 | invoke | invoke(java.lang.Object[]) | samConversion.kt:43:31:45:43 | new FunctionN<Boolean>(...) { ... } |
| samConversion.kt:43:31:45:68 | ...->... | stmt body | samConversion.kt:43:31:45:68 | invoke | invoke(java.lang.Object[]) | samConversion.kt:43:31:45:68 | new FunctionN<Boolean>(...) { ... } |
| samConversion.kt:46:32:46:44 | ...->... | stmt body | samConversion.kt:46:32:46:44 | invoke | invoke(int) | samConversion.kt:46:32:46:44 | new Function1<Integer,Boolean>(...) { ... } |
memberRefExprs
| funcExprs.kt:32:26:32:38 | ...::... | funcExprs.kt:32:26:32:38 | invoke | invoke() | funcExprs.kt:32:26:32:38 | new Function0<Integer>(...) { ... } |
| funcExprs.kt:33:26:33:36 | ...::... | funcExprs.kt:33:26:33:36 | invoke | invoke() | funcExprs.kt:33:26:33:36 | new Function0<Integer>(...) { ... } |

19
java/ql/test/kotlin/library-tests/exprs/samConversion.kt
View File

@@ -7,9 +7,9 @@ fun main(b: Boolean) {
val i = InterfaceFnExt1 { i -> this == ""}
val x = IntPredicate(if (b) {
j -> j % 2 == 0
j -> j % 2 == 0
} else {
j -> j % 2 == 1
j -> j % 2 == 1
})
}
@@ -34,13 +34,18 @@ fun interface BigArityPredicate {
}
fun ff(i0: Int, i1: Int, i2: Int, i3: Int, i4: Int, i5: Int, i6: Int, i7: Int, i8: Int, i9: Int,
i10: Int, i11: Int, i12: Int, i13: Int, i14: Int, i15: Int, i16: Int, i17: Int, i18: Int, i19: Int,
i20: Int, i21: Int, i22: Int): Boolean = true
i10: Int, i11: Int, i12: Int, i13: Int, i14: Int, i15: Int, i16: Int, i17: Int, i18: Int, i19: Int,
i20: Int, i21: Int, i22: Int): Boolean = true
fun fn(boo: Boolean) {
val a = ::ff
val b = BigArityPredicate(a)
val c = BigArityPredicate {i0: Int, i1: Int, i2: Int, i3: Int, i4: Int, i5: Int, i6: Int, i7: Int, i8: Int, i9: Int,
i10: Int, i11: Int, i12: Int, i13: Int, i14: Int, i15: Int, i16: Int, i17: Int, i18: Int, i19: Int,
i20: Int, i21: Int, i22: Int -> true}
}
i10: Int, i11: Int, i12: Int, i13: Int, i14: Int, i15: Int, i16: Int, i17: Int, i18: Int, i19: Int,
i20: Int, i21: Int, i22: Int -> true}
val d = SomePredicate<Int> { a -> true }
}
fun interface SomePredicate<T> {
fun fn(i: T): Boolean
}