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

Add big arity SAM conversion test case

Browse Source
This commit is contained in:
Tamas Vajk
2022-02-15 17:53:37 +01:00
committed by Ian Lynagh
parent 8ab4335562
commit 46bd6b096e
5 changed files with 820 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/ql/test/kotlin/library-tests/exprs/DB-CHECK.expected Normal file
View File

@@ -0,0 +1,3 @@
[VALUE_NOT_IN_TYPE] predicate callableBinding(@caller callerid, @callable callee): Value 4373 of field callee is not in type @callable. Appears in tuple (4372,4373)
Relevant element: callee=4373
Full ID for 4373: @"callable;(4112).invoke((18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18),(18))(186)". The ID may expand to @"callable;{@"class;kotlin.jvm.functions.FunctionN;{@"class;java.lang.Boolean"}"}.invoke({@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"},{@"class;java.lang.Integer"}){@"class;java.lang.Boolean"}"

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

@@ -1,3 +1,28 @@
samConversion.kt:
# 43| [VarAccess] <fn>
# 43| [VarAccess] i0
# 43| [VarAccess] i1
# 43| [VarAccess] i2
# 43| [VarAccess] i3
# 43| [VarAccess] i4
# 43| [VarAccess] i5
# 43| [VarAccess] i6
# 43| [VarAccess] i7
# 43| [VarAccess] i8
# 43| [VarAccess] i9
# 43| [VarAccess] i10
# 43| [VarAccess] i11
# 43| [VarAccess] i12
# 43| [VarAccess] i13
# 43| [VarAccess] i14
# 43| [VarAccess] i15
# 43| [VarAccess] i16
# 43| [VarAccess] i17
# 43| [VarAccess] i18
# 43| [VarAccess] i19
# 43| [VarAccess] i20
# 43| [VarAccess] i21
# 43| [VarAccess] i22
exprs.kt:
# 0| [CompilationUnit] exprs
# 0| 1: [Class] ExprsKt
@@ -2455,6 +2480,441 @@ samConversion.kt:
# 20| 0: [Parameter] i
# 20| 1: [Parameter] j
# 20| 5: [BlockStmt] { ... }
# 36| 3: [Method] ff
#-----| 4: (Parameters)
# 36| 0: [Parameter] i0
# 36| 1: [Parameter] i1
# 36| 2: [Parameter] i2
# 36| 3: [Parameter] i3
# 36| 4: [Parameter] i4
# 36| 5: [Parameter] i5
# 36| 6: [Parameter] i6
# 36| 7: [Parameter] i7
# 36| 8: [Parameter] i8
# 36| 9: [Parameter] i9
# 37| 10: [Parameter] i10
# 37| 11: [Parameter] i11
# 37| 12: [Parameter] i12
# 37| 13: [Parameter] i13
# 37| 14: [Parameter] i14
# 37| 15: [Parameter] i15
# 37| 16: [Parameter] i16
# 37| 17: [Parameter] i17
# 37| 18: [Parameter] i18
# 37| 19: [Parameter] i19
# 38| 20: [Parameter] i20
# 38| 21: [Parameter] i21
# 38| 22: [Parameter] i22
# 38| 5: [BlockStmt] { ... }
# 38| 0: [ReturnStmt] return ...
# 38| 0: [BooleanLiteral] true
# 40| 4: [Method] fn
#-----| 4: (Parameters)
# 40| 0: [Parameter] boo
# 40| 5: [BlockStmt] { ... }
# 41| 0: [LocalVariableDeclStmt] var ...;
# 41| 1: [LocalVariableDeclExpr] a
# 41| 0: [MemberRefExpr] ...::...
# 41| -4: [AnonymousClass] new FunctionN<Boolean>(...) { ... }
# 41| 1: [Constructor]
# 41| 5: [BlockStmt] { ... }
# 41| 0: [SuperConstructorInvocationStmt] super(...)
# 41| 1: [Method] invoke
#-----| 4: (Parameters)
# 41| 0: [Parameter] a0
# 41| 5: [BlockStmt] { ... }
# 41| 0: [ReturnStmt] return ...
# 41| 0: [MethodAccess] ff(...)
# 41| 0: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 0: [IntegerLiteral] 0
# 41| 1: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 1: [IntegerLiteral] 1
# 41| 2: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 2: [IntegerLiteral] 2
# 41| 3: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 3: [IntegerLiteral] 3
# 41| 4: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 4: [IntegerLiteral] 4
# 41| 5: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 5: [IntegerLiteral] 5
# 41| 6: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 6: [IntegerLiteral] 6
# 41| 7: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 7: [IntegerLiteral] 7
# 41| 8: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 8: [IntegerLiteral] 8
# 41| 9: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 9: [IntegerLiteral] 9
# 41| 10: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 10: [IntegerLiteral] 10
# 41| 11: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 11: [IntegerLiteral] 11
# 41| 12: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 12: [IntegerLiteral] 12
# 41| 13: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 13: [IntegerLiteral] 13
# 41| 14: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 14: [IntegerLiteral] 14
# 41| 15: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 15: [IntegerLiteral] 15
# 41| 16: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 16: [IntegerLiteral] 16
# 41| 17: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 17: [IntegerLiteral] 17
# 41| 18: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 18: [IntegerLiteral] 18
# 41| 19: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 19: [IntegerLiteral] 19
# 41| 20: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 20: [IntegerLiteral] 20
# 41| 21: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 21: [IntegerLiteral] 21
# 41| 22: [CastExpr] (...)...
# 41| 0: [TypeAccess] int
# 41| 1: [MethodAccess] get(...)
# 41| -1: [VarAccess] a0
# 41| 22: [IntegerLiteral] 22
# 41| -3: [TypeAccess] FunctionN<Boolean>
# 42| 1: [LocalVariableDeclStmt] var ...;
# 42| 1: [LocalVariableDeclExpr] b
# 42| 23: [CastExpr] (...)...
# 42| 0: [TypeAccess] BigArityPredicate
# 42| 1: [ClassInstanceExpr] new (...)
# 42| -4: [AnonymousClass] new BigArityPredicate(...) { ... }
# 31| 1: [Method] accept
#-----| 4: (Parameters)
# 31| 0: [Parameter] i0
# 31| 1: [Parameter] i1
# 31| 2: [Parameter] i2
# 31| 3: [Parameter] i3
# 31| 4: [Parameter] i4
# 31| 5: [Parameter] i5
# 31| 6: [Parameter] i6
# 31| 7: [Parameter] i7
# 31| 8: [Parameter] i8
# 31| 9: [Parameter] i9
# 32| 10: [Parameter] i10
# 32| 11: [Parameter] i11
# 32| 12: [Parameter] i12
# 32| 13: [Parameter] i13
# 32| 14: [Parameter] i14
# 32| 15: [Parameter] i15
# 32| 16: [Parameter] i16
# 32| 17: [Parameter] i17
# 32| 18: [Parameter] i18
# 32| 19: [Parameter] i19
# 33| 20: [Parameter] i20
# 33| 21: [Parameter] i21
# 33| 22: [Parameter] i22
# 42| 5: [BlockStmt] { ... }
# 42| 0: [ReturnStmt] return ...
# 42| 0: [MethodAccess] invoke(...)
# 42| -1: [VarAccess] <fn>
# 42| 0: [VarAccess] i0
# 42| 1: [VarAccess] i1
# 42| 2: [VarAccess] i2
# 42| 3: [VarAccess] i3
# 42| 4: [VarAccess] i4
# 42| 5: [VarAccess] i5
# 42| 6: [VarAccess] i6
# 42| 7: [VarAccess] i7
# 42| 8: [VarAccess] i8
# 42| 9: [VarAccess] i9
# 42| 10: [VarAccess] i10
# 42| 11: [VarAccess] i11
# 42| 12: [VarAccess] i12
# 42| 13: [VarAccess] i13
# 42| 14: [VarAccess] i14
# 42| 15: [VarAccess] i15
# 42| 16: [VarAccess] i16
# 42| 17: [VarAccess] i17
# 42| 18: [VarAccess] i18
# 42| 19: [VarAccess] i19
# 42| 20: [VarAccess] i20
# 42| 21: [VarAccess] i21
# 42| 22: [VarAccess] i22
# 42| 2: [Constructor]
#-----| 4: (Parameters)
# 42| 0: [Parameter] <fn>
# 42| 5: [BlockStmt] { ... }
# 42| 0: [SuperConstructorInvocationStmt] super(...)
# 42| 1: [ExprStmt] <Expr>;
# 42| 0: [AssignExpr] ...=...
# 42| 0: [VarAccess] this.<fn>
# 42| -1: [ThisAccess] this
# 42| 1: [VarAccess] <fn>
# 42| 2: [FieldDeclaration] FunctionN<Boolean> <fn>;
# 42| -1: [TypeAccess] FunctionN<Boolean>
# 42| -3: [TypeAccess] BigArityPredicate
# 42| 0: [VarAccess] a
# 43| 2: [LocalVariableDeclStmt] var ...;
# 43| 1: [LocalVariableDeclExpr] c
# 43| 23: [CastExpr] (...)...
# 43| 0: [TypeAccess] BigArityPredicate
# 43| 1: [ClassInstanceExpr] new (...)
# 43| -4: [AnonymousClass] new BigArityPredicate(...) { ... }
# 31| 1: [Method] accept
#-----| 4: (Parameters)
# 31| 0: [Parameter] i0
# 31| 1: [Parameter] i1
# 31| 2: [Parameter] i2
# 31| 3: [Parameter] i3
# 31| 4: [Parameter] i4
# 31| 5: [Parameter] i5
# 31| 6: [Parameter] i6
# 31| 7: [Parameter] i7
# 31| 8: [Parameter] i8
# 31| 9: [Parameter] i9
# 32| 10: [Parameter] i10
# 32| 11: [Parameter] i11
# 32| 12: [Parameter] i12
# 32| 13: [Parameter] i13
# 32| 14: [Parameter] i14
# 32| 15: [Parameter] i15
# 32| 16: [Parameter] i16
# 32| 17: [Parameter] i17
# 32| 18: [Parameter] i18
# 32| 19: [Parameter] i19
# 33| 20: [Parameter] i20
# 33| 21: [Parameter] i21
# 33| 22: [Parameter] i22
# 43| 5: [BlockStmt] { ... }
# 43| 0: [ReturnStmt] return ...
# 43| 2: [Constructor]
#-----| 4: (Parameters)
# 43| 0: [Parameter] <fn>
# 43| 5: [BlockStmt] { ... }
# 43| 0: [SuperConstructorInvocationStmt] super(...)
# 43| 1: [ExprStmt] <Expr>;
# 43| 0: [AssignExpr] ...=...
# 43| 0: [VarAccess] this.<fn>
# 43| -1: [ThisAccess] this
# 43| 1: [VarAccess] <fn>
# 43| 2: [FieldDeclaration] FunctionN<Boolean> <fn>;
# 43| -1: [TypeAccess] FunctionN<Boolean>
# 43| -3: [TypeAccess] BigArityPredicate
# 43| 0: [LambdaExpr] ...->...
# 43| -4: [AnonymousClass] new FunctionN<Boolean>(...) { ... }
# 43| 1: [Constructor]
# 43| 5: [BlockStmt] { ... }
# 43| 0: [SuperConstructorInvocationStmt] super(...)
# 43| 1: [Method] invoke
#-----| 4: (Parameters)
# 43| 0: [Parameter] i0
# 43| 1: [Parameter] i1
# 43| 2: [Parameter] i2
# 43| 3: [Parameter] i3
# 43| 4: [Parameter] i4
# 43| 5: [Parameter] i5
# 43| 6: [Parameter] i6
# 43| 7: [Parameter] i7
# 43| 8: [Parameter] i8
# 43| 9: [Parameter] i9
# 44| 10: [Parameter] i10
# 44| 11: [Parameter] i11
# 44| 12: [Parameter] i12
# 44| 13: [Parameter] i13
# 44| 14: [Parameter] i14
# 44| 15: [Parameter] i15
# 44| 16: [Parameter] i16
# 44| 17: [Parameter] i17
# 44| 18: [Parameter] i18
# 44| 19: [Parameter] i19
# 45| 20: [Parameter] i20
# 45| 21: [Parameter] i21
# 45| 22: [Parameter] i22
# 45| 5: [BlockStmt] { ... }
# 45| 0: [ReturnStmt] return ...
# 45| 0: [BooleanLiteral] true
# 43| 1: [Method] invoke
#-----| 4: (Parameters)
# 43| 0: [Parameter] a0
# 43| 5: [BlockStmt] { ... }
# 43| 0: [ReturnStmt] return ...
# 43| 0: [MethodAccess] invoke(...)
# 43| -1: [ThisAccess] this
# 43| 0: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 0: [IntegerLiteral] 0
# 43| 1: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 1: [IntegerLiteral] 1
# 43| 2: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 2: [IntegerLiteral] 2
# 43| 3: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 3: [IntegerLiteral] 3
# 43| 4: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 4: [IntegerLiteral] 4
# 43| 5: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 5: [IntegerLiteral] 5
# 43| 6: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 6: [IntegerLiteral] 6
# 43| 7: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 7: [IntegerLiteral] 7
# 43| 8: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 8: [IntegerLiteral] 8
# 43| 9: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 9: [IntegerLiteral] 9
# 43| 10: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 10: [IntegerLiteral] 10
# 43| 11: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 11: [IntegerLiteral] 11
# 43| 12: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 12: [IntegerLiteral] 12
# 43| 13: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 13: [IntegerLiteral] 13
# 43| 14: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 14: [IntegerLiteral] 14
# 43| 15: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 15: [IntegerLiteral] 15
# 43| 16: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 16: [IntegerLiteral] 16
# 43| 17: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 17: [IntegerLiteral] 17
# 43| 18: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 18: [IntegerLiteral] 18
# 43| 19: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 19: [IntegerLiteral] 19
# 43| 20: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 20: [IntegerLiteral] 20
# 43| 21: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 21: [IntegerLiteral] 21
# 43| 22: [CastExpr] (...)...
# 43| 0: [TypeAccess] int
# 43| 1: [MethodAccess] get(...)
# 43| -1: [VarAccess] a0
# 43| 22: [IntegerLiteral] 22
# 43| -3: [TypeAccess] FunctionN<Boolean>
# 16| 2: [Interface] IntPredicate
# 17| 2: [Method] accept
#-----| 4: (Parameters)
@@ -2469,3 +2929,29 @@ samConversion.kt:
#-----| 4: (Parameters)
# 27| 0: [Parameter] <this>
# 27| 1: [Parameter] i
# 30| 5: [Interface] BigArityPredicate
# 31| 2: [Method] accept
#-----| 4: (Parameters)
# 31| 0: [Parameter] i0
# 31| 1: [Parameter] i1
# 31| 2: [Parameter] i2
# 31| 3: [Parameter] i3
# 31| 4: [Parameter] i4
# 31| 5: [Parameter] i5
# 31| 6: [Parameter] i6
# 31| 7: [Parameter] i7
# 31| 8: [Parameter] i8
# 31| 9: [Parameter] i9
# 32| 10: [Parameter] i10
# 32| 11: [Parameter] i11
# 32| 12: [Parameter] i12
# 32| 13: [Parameter] i13
# 32| 14: [Parameter] i14
# 32| 15: [Parameter] i15
# 32| 16: [Parameter] i16
# 32| 17: [Parameter] i17
# 32| 18: [Parameter] i18
# 32| 19: [Parameter] i19
# 33| 20: [Parameter] i20
# 33| 21: [Parameter] i21
# 33| 22: [Parameter] i22

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

@@ -1422,3 +1422,314 @@
| 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: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 |
| samConversion.kt:41:13:41:16 | 3 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 4 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 5 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 6 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 7 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 8 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 9 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 10 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 11 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 12 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 13 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 14 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 15 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 16 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 17 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 18 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 19 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 20 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 21 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| samConversion.kt:41:13:41:16 | 22 | samConversion.kt:41:13:41:16 | invoke | IntegerLiteral |
| 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: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: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: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: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: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: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: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 | FunctionN<Boolean> | samConversion.kt:40:1:46: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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 | ff(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| samConversion.kt:41:13:41:16 | get(...) | samConversion.kt:41:13:41:16 | invoke | MethodAccess |
| 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: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: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: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: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: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: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: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:13:42:32 | (...)... | samConversion.kt:40:1:46: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 | FunctionN<Boolean> | file://:0:0:0:0 | <none> | TypeAccess |
| samConversion.kt:42:13:42:32 | i0 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i1 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i2 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i3 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i4 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i5 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i6 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i7 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i8 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i9 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i10 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i11 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i12 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i13 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i14 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i15 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i16 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i17 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i18 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i19 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| samConversion.kt:42:13:42:32 | i20 | samConversion.kt:31:5:33:53 | accept | VarAccess |
| 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 | 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: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 | (...)... | samConversion.kt:40:1:46:1 | fn | CastExpr |
| samConversion.kt:43:13:45:43 | (no string representation) | samConversion.kt:31:5:33:53 | accept | MethodAccess |
| 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 | 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 | new (...) | samConversion.kt:40:1:46:1 | fn | ClassInstanceExpr |
| 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: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 | 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 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| samConversion.kt:43:31:45:43 | get(...) | samConversion.kt:43:31:45:43 | invoke | MethodAccess |
| 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 |

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

@@ -18,6 +18,7 @@ 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>(...) { ... } |
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>(...) { ... } |
@@ -31,3 +32,4 @@ memberRefExprs
| funcExprs.kt:43:26:43:32 | ...::... | funcExprs.kt:43:26:43:32 | invoke | invoke() | funcExprs.kt:43:26:43:32 | new Function0<Integer>(...) { ... } |
| funcExprs.kt:45:8:45:16 | ...::... | funcExprs.kt:45:8:45:16 | invoke | invoke() | funcExprs.kt:45:8:45:16 | new Function0<FuncRef>(...) { ... } |
| samConversion.kt:5:27:5:31 | ...::... | samConversion.kt:5:27:5:31 | invoke | invoke(int,int) | samConversion.kt:5:27:5:31 | new Function2<Integer,Integer,Unit>(...) { ... } |
| samConversion.kt:41:13:41:16 | ...::... | samConversion.kt:41:13:41:16 | invoke | invoke(java.lang.Object[]) | samConversion.kt:41:13:41:16 | new FunctionN<Boolean>(...) { ... } |

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

@@ -26,3 +26,21 @@ fun interface InterfaceFn1 {
fun interface InterfaceFnExt1 {
fun String.ext(i: Int): Boolean
}
fun interface BigArityPredicate {
fun accept(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
}
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
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}
}