hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Kotlin: bump default CI version to 1.7.20

Browse Source 
A bunch of test expectations change because 7f531d8426 means that we now see (a) local variable declarations with source locations covering only their identifier, not the whole statement, and (b) more SYNTHETIC_OFFSET values for the parts of a destructuring assignment
or initialiser, which show up as file.kt:0:0:0:0 in DbLocation form.
This commit is contained in:
Chris Smowton
2022-11-21 16:15:56 +00:00
parent 3c7f7511be
commit 8ec681e61c
17 changed files with 478 additions and 478 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/kotlin-extractor/gradle.properties
View File

@@ -1,5 +1,5 @@
kotlin.code.style=official
kotlinVersion=1.7.0
kotlinVersion=1.7.21
GROUP=com.github.codeql
VERSION_NAME=0.0.1

4
java/kotlin-extractor/kotlin_plugin_versions.py
View File

@@ -22,10 +22,10 @@ def version_string_to_tuple(version):
return tuple([int(m.group(i)) for i in range(1, 4)] + [m.group(4)])
# Version number used by CI. It needs to be one of the versions in many_versions.
ci_version = '1.7.0'
ci_version = '1.7.20'
# Version numbers in the list need to be in semantically increasing order
many_versions = [ '1.4.32', '1.5.0', '1.5.10', '1.5.20', '1.5.30', '1.6.0', '1.6.20', '1.7.0', '1.7.20-Beta' ]
many_versions = [ '1.4.32', '1.5.0', '1.5.10', '1.5.20', '1.5.30', '1.6.0', '1.6.20', '1.7.0', '1.7.20' ]
many_versions_tuples = [version_string_to_tuple(v) for v in many_versions]

0
java/kotlin-extractor/src/main/kotlin/utils/versions/v_1_7_20-Beta/allOverriddenIncludingSelf.kt → java/kotlin-extractor/src/main/kotlin/utils/versions/v_1_7_20/allOverriddenIncludingSelf.kt
View File

0
java/kotlin-extractor/src/main/kotlin/utils/versions/v_1_7_20-Beta/createImplicitParameterDeclarationWithWrappedDescriptor.kt → java/kotlin-extractor/src/main/kotlin/utils/versions/v_1_7_20/createImplicitParameterDeclarationWithWrappedDescriptor.kt
View File

32
java/ql/test/kotlin/library-tests/controlflow/basic/bbStmts.expected
View File

@@ -4,18 +4,18 @@
| Test.kt:3:1:80:1 | { ... } | 3 | Test.kt:3:8:80:1 | Test |
| Test.kt:4:2:79:2 | test | 0 | Test.kt:4:2:79:2 | test |
| Test.kt:4:13:79:2 | { ... } | 0 | Test.kt:4:13:79:2 | { ... } |
| Test.kt:4:13:79:2 | { ... } | 1 | Test.kt:5:3:5:16 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 1 | Test.kt:5:7:5:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 2 | Test.kt:5:16:5:16 | 0 |
| Test.kt:4:13:79:2 | { ... } | 3 | Test.kt:5:3:5:16 | x |
| Test.kt:4:13:79:2 | { ... } | 4 | Test.kt:6:3:6:18 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 3 | Test.kt:5:7:5:7 | x |
| Test.kt:4:13:79:2 | { ... } | 4 | Test.kt:6:7:6:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 5 | Test.kt:6:17:6:18 | 50 |
| Test.kt:4:13:79:2 | { ... } | 6 | Test.kt:6:3:6:18 | y |
| Test.kt:4:13:79:2 | { ... } | 7 | Test.kt:7:3:7:16 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 6 | Test.kt:6:7:6:7 | y |
| Test.kt:4:13:79:2 | { ... } | 7 | Test.kt:7:7:7:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 8 | Test.kt:7:16:7:16 | 0 |
| Test.kt:4:13:79:2 | { ... } | 9 | Test.kt:7:3:7:16 | z |
| Test.kt:4:13:79:2 | { ... } | 10 | Test.kt:8:3:8:16 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 9 | Test.kt:7:7:7:7 | z |
| Test.kt:4:13:79:2 | { ... } | 10 | Test.kt:8:7:8:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | 11 | Test.kt:8:16:8:16 | 0 |
| Test.kt:4:13:79:2 | { ... } | 12 | Test.kt:8:3:8:16 | w |
| Test.kt:4:13:79:2 | { ... } | 12 | Test.kt:8:7:8:7 | w |
| Test.kt:4:13:79:2 | { ... } | 13 | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | 14 | Test.kt:11:3:16:3 | when ... |
| Test.kt:4:13:79:2 | { ... } | 15 | Test.kt:11:3:16:3 | ... -> ... |
@@ -106,12 +106,12 @@
| Test.kt:82:21:89:1 | { ... } | 0 | Test.kt:82:21:89:1 | { ... } |
| Test.kt:82:21:89:1 | { ... } | 1 | Test.kt:83:2:88:2 | try ... |
| Test.kt:82:21:89:1 | { ... } | 2 | Test.kt:83:6:86:2 | { ... } |
| Test.kt:82:21:89:1 | { ... } | 3 | Test.kt:84:3:84:18 | var ...; |
| Test.kt:82:21:89:1 | { ... } | 3 | Test.kt:84:7:84:7 | var ...; |
| Test.kt:82:21:89:1 | { ... } | 4 | Test.kt:84:11:84:11 | o |
| Test.kt:82:21:89:1 | { ... } | 5 | Test.kt:84:11:84:18 | (...)... |
| Test.kt:84:3:84:18 | x | 0 | Test.kt:84:3:84:18 | x |
| Test.kt:84:3:84:18 | x | 1 | Test.kt:85:10:85:10 | 1 |
| Test.kt:84:3:84:18 | x | 2 | Test.kt:85:3:85:10 | return ... |
| Test.kt:84:7:84:7 | x | 0 | Test.kt:84:7:84:7 | x |
| Test.kt:84:7:84:7 | x | 1 | Test.kt:85:10:85:10 | 1 |
| Test.kt:84:7:84:7 | x | 2 | Test.kt:85:3:85:10 | return ... |
| Test.kt:86:4:88:2 | catch (...) | 0 | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:86:4:88:2 | catch (...) | 1 | Test.kt:86:11:86:31 | e |
| Test.kt:86:4:88:2 | catch (...) | 2 | Test.kt:86:34:88:2 | { ... } |
@@ -121,12 +121,12 @@
| Test.kt:91:22:98:1 | { ... } | 0 | Test.kt:91:22:98:1 | { ... } |
| Test.kt:91:22:98:1 | { ... } | 1 | Test.kt:92:2:97:2 | try ... |
| Test.kt:91:22:98:1 | { ... } | 2 | Test.kt:92:6:95:2 | { ... } |
| Test.kt:91:22:98:1 | { ... } | 3 | Test.kt:93:3:93:13 | var ...; |
| Test.kt:91:22:98:1 | { ... } | 3 | Test.kt:93:7:93:7 | var ...; |
| Test.kt:91:22:98:1 | { ... } | 4 | Test.kt:93:11:93:11 | o |
| Test.kt:91:22:98:1 | { ... } | 5 | Test.kt:93:12:93:13 | ...!! |
| Test.kt:93:3:93:13 | x | 0 | Test.kt:93:3:93:13 | x |
| Test.kt:93:3:93:13 | x | 1 | Test.kt:94:10:94:10 | 1 |
| Test.kt:93:3:93:13 | x | 2 | Test.kt:94:3:94:10 | return ... |
| Test.kt:93:7:93:7 | x | 0 | Test.kt:93:7:93:7 | x |
| Test.kt:93:7:93:7 | x | 1 | Test.kt:94:10:94:10 | 1 |
| Test.kt:93:7:93:7 | x | 2 | Test.kt:94:3:94:10 | return ... |
| Test.kt:95:4:97:2 | catch (...) | 0 | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:95:4:97:2 | catch (...) | 1 | Test.kt:95:11:95:33 | e |
| Test.kt:95:4:97:2 | catch (...) | 2 | Test.kt:95:36:97:2 | { ... } |

4
java/ql/test/kotlin/library-tests/controlflow/basic/bbStrictDominance.expected
View File

@@ -28,10 +28,10 @@
| Test.kt:38:9:38:9 | x | Test.kt:38:16:41:3 | { ... } |
| Test.kt:38:9:38:9 | x | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:82:21:89:1 | { ... } | Test.kt:82:1:89:1 | t1 |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:3:84:18 | x |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:7:84:7 | x |
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:91:22:98:1 | { ... } | Test.kt:91:1:98:1 | t2 |
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:3:93:13 | x |
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:7:93:7 | x |
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:100:25:110:1 | { ... } | Test.kt:100:1:110:1 | fn |
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:22:101:22 | y |

8
java/ql/test/kotlin/library-tests/controlflow/basic/bbSuccessor.expected
View File

@@ -13,13 +13,13 @@
| Test.kt:38:9:38:9 | x | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:38:16:41:3 | { ... } | Test.kt:38:9:38:9 | x |
| Test.kt:43:3:43:3 | <Expr>; | Test.kt:4:2:79:2 | test |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:3:84:18 | x |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:7:84:7 | x |
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:84:3:84:18 | x | Test.kt:82:1:89:1 | t1 |
| Test.kt:84:7:84:7 | x | Test.kt:82:1:89:1 | t1 |
| Test.kt:86:4:88:2 | catch (...) | Test.kt:82:1:89:1 | t1 |
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:3:93:13 | x |
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:7:93:7 | x |
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:93:3:93:13 | x | Test.kt:91:1:98:1 | t2 |
| Test.kt:93:7:93:7 | x | Test.kt:91:1:98:1 | t2 |
| Test.kt:95:4:97:2 | catch (...) | Test.kt:91:1:98:1 | t2 |
| Test.kt:100:25:110:1 | { ... } | Test.kt:101:22:101:22 | y |
| Test.kt:100:25:110:1 | { ... } | Test.kt:105:5:109:5 | <Expr>; |

54
java/ql/test/kotlin/library-tests/controlflow/basic/getASuccessor.expected
View File

@@ -8,23 +8,23 @@ missingSuccessor
| Test.kt:3:8:80:1 | { ... } | BlockStmt | Test.kt:3:8:80:1 | Test | Constructor |
| Test.kt:4:2:79:2 | Unit | TypeAccess | file://:0:0:0:0 | <none> | <none> |
| Test.kt:4:2:79:2 | test | Method | file://:0:0:0:0 | <none> | <none> |
| Test.kt:4:13:79:2 | { ... } | BlockStmt | Test.kt:5:3:5:16 | var ...; | LocalVariableDeclStmt |
| Test.kt:5:3:5:16 | int x | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:5:3:5:16 | var ...; | LocalVariableDeclStmt | Test.kt:5:16:5:16 | 0 | IntegerLiteral |
| Test.kt:5:3:5:16 | x | LocalVariableDeclExpr | Test.kt:6:3:6:18 | var ...; | LocalVariableDeclStmt |
| Test.kt:5:16:5:16 | 0 | IntegerLiteral | Test.kt:5:3:5:16 | x | LocalVariableDeclExpr |
| Test.kt:6:3:6:18 | long y | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:6:3:6:18 | var ...; | LocalVariableDeclStmt | Test.kt:6:17:6:18 | 50 | LongLiteral |
| Test.kt:6:3:6:18 | y | LocalVariableDeclExpr | Test.kt:7:3:7:16 | var ...; | LocalVariableDeclStmt |
| Test.kt:6:17:6:18 | 50 | LongLiteral | Test.kt:6:3:6:18 | y | LocalVariableDeclExpr |
| Test.kt:7:3:7:16 | int z | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:7:3:7:16 | var ...; | LocalVariableDeclStmt | Test.kt:7:16:7:16 | 0 | IntegerLiteral |
| Test.kt:7:3:7:16 | z | LocalVariableDeclExpr | Test.kt:8:3:8:16 | var ...; | LocalVariableDeclStmt |
| Test.kt:7:16:7:16 | 0 | IntegerLiteral | Test.kt:7:3:7:16 | z | LocalVariableDeclExpr |
| Test.kt:8:3:8:16 | int w | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:8:3:8:16 | var ...; | LocalVariableDeclStmt | Test.kt:8:16:8:16 | 0 | IntegerLiteral |
| Test.kt:8:3:8:16 | w | LocalVariableDeclExpr | Test.kt:11:3:16:3 | <Expr>; | ExprStmt |
| Test.kt:8:16:8:16 | 0 | IntegerLiteral | Test.kt:8:3:8:16 | w | LocalVariableDeclExpr |
| Test.kt:4:13:79:2 | { ... } | BlockStmt | Test.kt:5:7:5:7 | var ...; | LocalVariableDeclStmt |
| Test.kt:5:7:5:7 | int x | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:5:7:5:7 | var ...; | LocalVariableDeclStmt | Test.kt:5:16:5:16 | 0 | IntegerLiteral |
| Test.kt:5:7:5:7 | x | LocalVariableDeclExpr | Test.kt:6:7:6:7 | var ...; | LocalVariableDeclStmt |
| Test.kt:5:16:5:16 | 0 | IntegerLiteral | Test.kt:5:7:5:7 | x | LocalVariableDeclExpr |
| Test.kt:6:7:6:7 | long y | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:6:7:6:7 | var ...; | LocalVariableDeclStmt | Test.kt:6:17:6:18 | 50 | LongLiteral |
| Test.kt:6:7:6:7 | y | LocalVariableDeclExpr | Test.kt:7:7:7:7 | var ...; | LocalVariableDeclStmt |
| Test.kt:6:17:6:18 | 50 | LongLiteral | Test.kt:6:7:6:7 | y | LocalVariableDeclExpr |
| Test.kt:7:7:7:7 | int z | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:7:7:7:7 | var ...; | LocalVariableDeclStmt | Test.kt:7:16:7:16 | 0 | IntegerLiteral |
| Test.kt:7:7:7:7 | z | LocalVariableDeclExpr | Test.kt:8:7:8:7 | var ...; | LocalVariableDeclStmt |
| Test.kt:7:16:7:16 | 0 | IntegerLiteral | Test.kt:7:7:7:7 | z | LocalVariableDeclExpr |
| Test.kt:8:7:8:7 | int w | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:8:7:8:7 | var ...; | LocalVariableDeclStmt | Test.kt:8:16:8:16 | 0 | IntegerLiteral |
| Test.kt:8:7:8:7 | w | LocalVariableDeclExpr | Test.kt:11:3:16:3 | <Expr>; | ExprStmt |
| Test.kt:8:16:8:16 | 0 | IntegerLiteral | Test.kt:8:7:8:7 | w | LocalVariableDeclExpr |
| Test.kt:11:3:16:3 | ... -> ... | WhenBranch | Test.kt:11:3:16:3 | true | BooleanLiteral |
| Test.kt:11:3:16:3 | ... -> ... | WhenBranch | Test.kt:11:7:11:7 | x | VarAccess |
| Test.kt:11:3:16:3 | <Expr>; | ExprStmt | Test.kt:11:3:16:3 | when ... | WhenExpr |
@@ -137,12 +137,12 @@ missingSuccessor
| Test.kt:82:8:82:13 | o | Parameter | file://:0:0:0:0 | <none> | <none> |
| Test.kt:82:21:89:1 | { ... } | BlockStmt | Test.kt:83:2:88:2 | try ... | TryStmt |
| Test.kt:83:2:88:2 | try ... | TryStmt | Test.kt:83:6:86:2 | { ... } | BlockStmt |
| Test.kt:83:6:86:2 | { ... } | BlockStmt | Test.kt:84:3:84:18 | var ...; | LocalVariableDeclStmt |
| Test.kt:84:3:84:18 | int x | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:84:3:84:18 | var ...; | LocalVariableDeclStmt | Test.kt:84:11:84:11 | o | VarAccess |
| Test.kt:84:3:84:18 | x | LocalVariableDeclExpr | Test.kt:85:10:85:10 | 1 | IntegerLiteral |
| Test.kt:83:6:86:2 | { ... } | BlockStmt | Test.kt:84:7:84:7 | var ...; | LocalVariableDeclStmt |
| Test.kt:84:7:84:7 | int x | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:84:7:84:7 | var ...; | LocalVariableDeclStmt | Test.kt:84:11:84:11 | o | VarAccess |
| Test.kt:84:7:84:7 | x | LocalVariableDeclExpr | Test.kt:85:10:85:10 | 1 | IntegerLiteral |
| Test.kt:84:11:84:11 | o | VarAccess | Test.kt:84:11:84:18 | (...)... | CastExpr |
| Test.kt:84:11:84:18 | (...)... | CastExpr | Test.kt:84:3:84:18 | x | LocalVariableDeclExpr |
| Test.kt:84:11:84:18 | (...)... | CastExpr | Test.kt:84:7:84:7 | x | LocalVariableDeclExpr |
| Test.kt:84:11:84:18 | (...)... | CastExpr | Test.kt:86:4:88:2 | catch (...) | CatchClause |
| Test.kt:84:11:84:18 | int | TypeAccess | file://:0:0:0:0 | <none> | <none> |
| Test.kt:85:3:85:10 | return ... | ReturnStmt | Test.kt:82:1:89:1 | t1 | Method |
@@ -160,12 +160,12 @@ missingSuccessor
| Test.kt:91:8:91:14 | o | Parameter | file://:0:0:0:0 | <none> | <none> |
| Test.kt:91:22:98:1 | { ... } | BlockStmt | Test.kt:92:2:97:2 | try ... | TryStmt |
| Test.kt:92:2:97:2 | try ... | TryStmt | Test.kt:92:6:95:2 | { ... } | BlockStmt |
| Test.kt:92:6:95:2 | { ... } | BlockStmt | Test.kt:93:3:93:13 | var ...; | LocalVariableDeclStmt |
| Test.kt:93:3:93:13 | Object x | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:93:3:93:13 | var ...; | LocalVariableDeclStmt | Test.kt:93:11:93:11 | o | VarAccess |
| Test.kt:93:3:93:13 | x | LocalVariableDeclExpr | Test.kt:94:10:94:10 | 1 | IntegerLiteral |
| Test.kt:92:6:95:2 | { ... } | BlockStmt | Test.kt:93:7:93:7 | var ...; | LocalVariableDeclStmt |
| Test.kt:93:7:93:7 | Object x | LocalVariableDecl | file://:0:0:0:0 | <none> | <none> |
| Test.kt:93:7:93:7 | var ...; | LocalVariableDeclStmt | Test.kt:93:11:93:11 | o | VarAccess |
| Test.kt:93:7:93:7 | x | LocalVariableDeclExpr | Test.kt:94:10:94:10 | 1 | IntegerLiteral |
| Test.kt:93:11:93:11 | o | VarAccess | Test.kt:93:12:93:13 | ...!! | NotNullExpr |
| Test.kt:93:12:93:13 | ...!! | NotNullExpr | Test.kt:93:3:93:13 | x | LocalVariableDeclExpr |
| Test.kt:93:12:93:13 | ...!! | NotNullExpr | Test.kt:93:7:93:7 | x | LocalVariableDeclExpr |
| Test.kt:93:12:93:13 | ...!! | NotNullExpr | Test.kt:95:4:97:2 | catch (...) | CatchClause |
| Test.kt:94:3:94:10 | return ... | ReturnStmt | Test.kt:91:1:98:1 | t2 | Method |
| Test.kt:94:10:94:10 | 1 | IntegerLiteral | Test.kt:94:3:94:10 | return ... | ReturnStmt |

312
java/ql/test/kotlin/library-tests/controlflow/basic/strictDominance.expected
View File

@@ -1,10 +1,10 @@
| Test.kt:3:1:80:1 | super(...) | Test.kt:3:8:80:1 | { ... } |
| Test.kt:3:1:80:1 | { ... } | Test.kt:3:1:80:1 | super(...) |
| Test.kt:3:1:80:1 | { ... } | Test.kt:3:8:80:1 | { ... } |
| Test.kt:4:13:79:2 | { ... } | Test.kt:5:3:5:16 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:6:3:6:18 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:7:3:7:16 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:8:3:8:16 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:5:7:5:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:6:7:6:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:7:7:7:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:8:7:8:7 | var ...; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:4:13:79:2 | { ... } | Test.kt:11:3:16:3 | <Expr>; |
@@ -38,144 +38,144 @@
| Test.kt:4:13:79:2 | { ... } | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:4:13:79:2 | { ... } | Test.kt:78:3:78:8 | return ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:5:3:5:16 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:5:3:5:16 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:5:3:5:16 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:6:3:6:18 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:6:3:6:18 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:6:3:6:18 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:7:3:7:16 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:7:3:7:16 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:8:3:8:16 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:8:3:8:16 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:6:7:6:7 | var ...; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:7:7:7:7 | var ...; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:8:7:8:7 | var ...; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:5:7:5:7 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:5:7:5:7 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:5:7:5:7 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:5:7:5:7 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:5:7:5:7 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:5:7:5:7 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:5:7:5:7 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:7:7:7:7 | var ...; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:8:7:8:7 | var ...; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:6:7:6:7 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:6:7:6:7 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:6:7:6:7 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:8:7:8:7 | var ...; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:7:7:7:7 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:7:7:7:7 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:7:7:7:7 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:7:7:7:7 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:7:7:7:7 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:7:7:7:7 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:7:7:7:7 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:8:7:8:7 | var ...; | Test.kt:12:4:12:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:13:4:13:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:8:7:8:7 | var ...; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:21:3:24:9 | ... -> ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:22:4:22:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:24:4:24:9 | return ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:27:3:27:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:30:3:33:3 | ... -> ... |
| Test.kt:8:7:8:7 | var ...; | Test.kt:30:3:33:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:30:15:33:3 | { ... } |
| Test.kt:8:7:8:7 | var ...; | Test.kt:31:4:31:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:32:4:32:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:35:3:35:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:38:3:41:3 | while (...) |
| Test.kt:8:7:8:7 | var ...; | Test.kt:38:16:41:3 | { ... } |
| Test.kt:8:7:8:7 | var ...; | Test.kt:39:4:39:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:40:4:40:4 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:40:4:40:6 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:40:4:40:6 | var ...; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:40:4:40:6 | { ... } |
| Test.kt:8:7:8:7 | var ...; | Test.kt:43:3:43:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:73:3:73:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:77:3:77:3 | <Expr>; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:78:3:78:8 | return ... |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:11:14:14:3 | { ... } |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:12:4:12:4 | <Expr>; |
@@ -440,51 +440,51 @@
| Test.kt:77:3:77:3 | <Expr>; | Test.kt:78:3:78:8 | return ... |
| Test.kt:82:21:89:1 | { ... } | Test.kt:83:2:88:2 | try ... |
| Test.kt:82:21:89:1 | { ... } | Test.kt:83:6:86:2 | { ... } |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:3:84:18 | var ...; |
| Test.kt:82:21:89:1 | { ... } | Test.kt:84:7:84:7 | var ...; |
| Test.kt:82:21:89:1 | { ... } | Test.kt:85:3:85:10 | return ... |
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:82:21:89:1 | { ... } | Test.kt:86:34:88:2 | { ... } |
| Test.kt:82:21:89:1 | { ... } | Test.kt:87:3:87:10 | return ... |
| Test.kt:83:2:88:2 | try ... | Test.kt:83:6:86:2 | { ... } |
| Test.kt:83:2:88:2 | try ... | Test.kt:84:3:84:18 | var ...; |
| Test.kt:83:2:88:2 | try ... | Test.kt:84:7:84:7 | var ...; |
| Test.kt:83:2:88:2 | try ... | Test.kt:85:3:85:10 | return ... |
| Test.kt:83:2:88:2 | try ... | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:83:2:88:2 | try ... | Test.kt:86:34:88:2 | { ... } |
| Test.kt:83:2:88:2 | try ... | Test.kt:87:3:87:10 | return ... |
| Test.kt:83:6:86:2 | { ... } | Test.kt:84:3:84:18 | var ...; |
| Test.kt:83:6:86:2 | { ... } | Test.kt:84:7:84:7 | var ...; |
| Test.kt:83:6:86:2 | { ... } | Test.kt:85:3:85:10 | return ... |
| Test.kt:83:6:86:2 | { ... } | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:83:6:86:2 | { ... } | Test.kt:86:34:88:2 | { ... } |
| Test.kt:83:6:86:2 | { ... } | Test.kt:87:3:87:10 | return ... |
| Test.kt:84:3:84:18 | var ...; | Test.kt:85:3:85:10 | return ... |
| Test.kt:84:3:84:18 | var ...; | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:84:3:84:18 | var ...; | Test.kt:86:34:88:2 | { ... } |
| Test.kt:84:3:84:18 | var ...; | Test.kt:87:3:87:10 | return ... |
| Test.kt:84:7:84:7 | var ...; | Test.kt:85:3:85:10 | return ... |
| Test.kt:84:7:84:7 | var ...; | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:84:7:84:7 | var ...; | Test.kt:86:34:88:2 | { ... } |
| Test.kt:84:7:84:7 | var ...; | Test.kt:87:3:87:10 | return ... |
| Test.kt:86:4:88:2 | catch (...) | Test.kt:86:34:88:2 | { ... } |
| Test.kt:86:4:88:2 | catch (...) | Test.kt:87:3:87:10 | return ... |
| Test.kt:86:34:88:2 | { ... } | Test.kt:87:3:87:10 | return ... |
| Test.kt:91:22:98:1 | { ... } | Test.kt:92:2:97:2 | try ... |
| Test.kt:91:22:98:1 | { ... } | Test.kt:92:6:95:2 | { ... } |
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:3:93:13 | var ...; |
| Test.kt:91:22:98:1 | { ... } | Test.kt:93:7:93:7 | var ...; |
| Test.kt:91:22:98:1 | { ... } | Test.kt:94:3:94:10 | return ... |
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:91:22:98:1 | { ... } | Test.kt:95:36:97:2 | { ... } |
| Test.kt:91:22:98:1 | { ... } | Test.kt:96:3:96:10 | return ... |
| Test.kt:92:2:97:2 | try ... | Test.kt:92:6:95:2 | { ... } |
| Test.kt:92:2:97:2 | try ... | Test.kt:93:3:93:13 | var ...; |
| Test.kt:92:2:97:2 | try ... | Test.kt:93:7:93:7 | var ...; |
| Test.kt:92:2:97:2 | try ... | Test.kt:94:3:94:10 | return ... |
| Test.kt:92:2:97:2 | try ... | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:92:2:97:2 | try ... | Test.kt:95:36:97:2 | { ... } |
| Test.kt:92:2:97:2 | try ... | Test.kt:96:3:96:10 | return ... |
| Test.kt:92:6:95:2 | { ... } | Test.kt:93:3:93:13 | var ...; |
| Test.kt:92:6:95:2 | { ... } | Test.kt:93:7:93:7 | var ...; |
| Test.kt:92:6:95:2 | { ... } | Test.kt:94:3:94:10 | return ... |
| Test.kt:92:6:95:2 | { ... } | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:92:6:95:2 | { ... } | Test.kt:95:36:97:2 | { ... } |
| Test.kt:92:6:95:2 | { ... } | Test.kt:96:3:96:10 | return ... |
| Test.kt:93:3:93:13 | var ...; | Test.kt:94:3:94:10 | return ... |
| Test.kt:93:3:93:13 | var ...; | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:93:3:93:13 | var ...; | Test.kt:95:36:97:2 | { ... } |
| Test.kt:93:3:93:13 | var ...; | Test.kt:96:3:96:10 | return ... |
| Test.kt:93:7:93:7 | var ...; | Test.kt:94:3:94:10 | return ... |
| Test.kt:93:7:93:7 | var ...; | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:93:7:93:7 | var ...; | Test.kt:95:36:97:2 | { ... } |
| Test.kt:93:7:93:7 | var ...; | Test.kt:96:3:96:10 | return ... |
| Test.kt:95:4:97:2 | catch (...) | Test.kt:95:36:97:2 | { ... } |
| Test.kt:95:4:97:2 | catch (...) | Test.kt:96:3:96:10 | return ... |
| Test.kt:95:36:97:2 | { ... } | Test.kt:96:3:96:10 | return ... |

72
java/ql/test/kotlin/library-tests/controlflow/basic/strictPostDominance.expected
View File

@@ -1,27 +1,27 @@
| Test.kt:3:1:80:1 | super(...) | Test.kt:3:1:80:1 | { ... } |
| Test.kt:3:8:80:1 | { ... } | Test.kt:3:1:80:1 | super(...) |
| Test.kt:3:8:80:1 | { ... } | Test.kt:3:1:80:1 | { ... } |
| Test.kt:5:3:5:16 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:6:3:6:18 | var ...; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:7:3:7:16 | var ...; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:7:3:7:16 | var ...; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:8:3:8:16 | var ...; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:8:3:8:16 | var ...; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:5:7:5:7 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:6:7:6:7 | var ...; | Test.kt:5:7:5:7 | var ...; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:7:7:7:7 | var ...; | Test.kt:5:7:5:7 | var ...; |
| Test.kt:7:7:7:7 | var ...; | Test.kt:6:7:6:7 | var ...; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:8:7:8:7 | var ...; | Test.kt:5:7:5:7 | var ...; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:6:7:6:7 | var ...; |
| Test.kt:8:7:8:7 | var ...; | Test.kt:7:7:7:7 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:4:13:79:2 | { ... } |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:5:3:5:16 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:6:3:6:18 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:7:3:7:16 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:8:3:8:16 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:5:7:5:7 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:6:7:6:7 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:7:7:7:7 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:8:7:8:7 | var ...; |
| Test.kt:11:3:16:3 | ... -> ... | Test.kt:11:3:16:3 | <Expr>; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:5:7:5:7 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:6:7:6:7 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:7:7:7:7 | var ...; |
| Test.kt:11:3:16:3 | <Expr>; | Test.kt:8:7:8:7 | var ...; |
| Test.kt:12:4:12:4 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:11:14:14:3 | { ... } |
| Test.kt:13:4:13:4 | <Expr>; | Test.kt:12:4:12:4 | <Expr>; |
@@ -29,10 +29,10 @@
| Test.kt:15:4:15:4 | <Expr>; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:15:4:15:4 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:5:7:5:7 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:6:7:6:7 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:7:7:7:7 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:8:7:8:7 | var ...; |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
@@ -42,10 +42,10 @@
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:14:10:16:3 | { ... } |
| Test.kt:18:3:18:3 | <Expr>; | Test.kt:15:4:15:4 | <Expr>; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:4:13:79:2 | { ... } |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:5:3:5:16 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:6:3:6:18 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:7:3:7:16 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:8:3:8:16 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:5:7:5:7 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:6:7:6:7 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:7:7:7:7 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:8:7:8:7 | var ...; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:11:3:16:3 | <Expr>; |
@@ -57,10 +57,10 @@
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:18:3:18:3 | <Expr>; |
| Test.kt:21:3:24:9 | ... -> ... | Test.kt:21:3:24:9 | <Expr>; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:4:13:79:2 | { ... } |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:5:3:5:16 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:6:3:6:18 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:7:3:7:16 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:8:3:8:16 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:5:7:5:7 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:6:7:6:7 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:7:7:7:7 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:8:7:8:7 | var ...; |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:11:3:16:3 | ... -> ... |
| Test.kt:21:3:24:9 | <Expr>; | Test.kt:11:3:16:3 | <Expr>; |
@@ -189,18 +189,18 @@
| Test.kt:83:2:88:2 | try ... | Test.kt:82:21:89:1 | { ... } |
| Test.kt:83:6:86:2 | { ... } | Test.kt:82:21:89:1 | { ... } |
| Test.kt:83:6:86:2 | { ... } | Test.kt:83:2:88:2 | try ... |
| Test.kt:84:3:84:18 | var ...; | Test.kt:82:21:89:1 | { ... } |
| Test.kt:84:3:84:18 | var ...; | Test.kt:83:2:88:2 | try ... |
| Test.kt:84:3:84:18 | var ...; | Test.kt:83:6:86:2 | { ... } |
| Test.kt:84:7:84:7 | var ...; | Test.kt:82:21:89:1 | { ... } |
| Test.kt:84:7:84:7 | var ...; | Test.kt:83:2:88:2 | try ... |
| Test.kt:84:7:84:7 | var ...; | Test.kt:83:6:86:2 | { ... } |
| Test.kt:86:34:88:2 | { ... } | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:87:3:87:10 | return ... | Test.kt:86:4:88:2 | catch (...) |
| Test.kt:87:3:87:10 | return ... | Test.kt:86:34:88:2 | { ... } |
| Test.kt:92:2:97:2 | try ... | Test.kt:91:22:98:1 | { ... } |
| Test.kt:92:6:95:2 | { ... } | Test.kt:91:22:98:1 | { ... } |
| Test.kt:92:6:95:2 | { ... } | Test.kt:92:2:97:2 | try ... |
| Test.kt:93:3:93:13 | var ...; | Test.kt:91:22:98:1 | { ... } |
| Test.kt:93:3:93:13 | var ...; | Test.kt:92:2:97:2 | try ... |
| Test.kt:93:3:93:13 | var ...; | Test.kt:92:6:95:2 | { ... } |
| Test.kt:93:7:93:7 | var ...; | Test.kt:91:22:98:1 | { ... } |
| Test.kt:93:7:93:7 | var ...; | Test.kt:92:2:97:2 | try ... |
| Test.kt:93:7:93:7 | var ...; | Test.kt:92:6:95:2 | { ... } |
| Test.kt:95:36:97:2 | { ... } | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:96:3:96:10 | return ... | Test.kt:95:4:97:2 | catch (...) |
| Test.kt:96:3:96:10 | return ... | Test.kt:95:36:97:2 | { ... } |

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

File diff suppressed because it is too large Load Diff

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

@@ -302,7 +302,7 @@
| methods4.kt:7:5:7:34 | Unit | TypeAccess |
| methods4.kt:7:11:7:29 | InsideNestedTest | TypeAccess |
| methods5.kt:3:1:11:1 | Unit | TypeAccess |
| methods5.kt:4:3:4:11 | x | LocalVariableDeclExpr |
| methods5.kt:4:7:4:7 | x | LocalVariableDeclExpr |
| methods5.kt:4:11:4:11 | 5 | IntegerLiteral |
| methods5.kt:5:3:5:27 | int | TypeAccess |
| methods5.kt:5:13:5:18 | int | TypeAccess |

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

@@ -67,4 +67,4 @@
| modifiers.kt:36:22:36:40 | getTest0$private | Method | private |
| modifiers.kt:36:22:36:40 | setTest0$private | Method | private |
| modifiers.kt:38:5:40:5 | fn | Method | public |
| modifiers.kt:39:9:39:36 | LateInit test1 | LocalVariableDecl | lateinit |
| modifiers.kt:39:22:39:26 | LateInit test1 | LocalVariableDecl | lateinit |

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

@@ -1,26 +1,26 @@
variableInitializerType
| reflection.kt:7:9:7:54 | KFunction<Double> ref | file://<external>/KFunction.class:0:0:0:0 | KFunction<Double> | reflection.kt:7:49:7:54 | new Function2<Ccc,Integer,Double>(...) { ... } | file://<external>/Function2.class:0:0:0:0 | Function2<Ccc,Integer,Double> | true |
| reflection.kt:7:9:7:54 | KFunction<Double> ref | file://<external>/KFunction.class:0:0:0:0 | KFunction<Double> | reflection.kt:7:49:7:54 | new Function2<Ccc,Integer,Double>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:10:9:10:42 | KProperty1<C,Integer> x0 | file://<external>/KProperty1.class:0:0:0:0 | KProperty1<C,Integer> | reflection.kt:10:38:10:42 | new KProperty1<C,Integer>(...) { ... } | file://<external>/KProperty1.class:0:0:0:0 | KProperty1<C,Integer> | true |
| reflection.kt:10:9:10:42 | KProperty1<C,Integer> x0 | file://<external>/KProperty1.class:0:0:0:0 | KProperty1<C,Integer> | reflection.kt:10:38:10:42 | new KProperty1<C,Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:13:9:13:53 | Getter<C,Integer> x3 | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/Function1.class:0:0:0:0 | Function1<C,Integer> | true |
| reflection.kt:13:9:13:53 | Getter<C,Integer> x3 | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/KProperty$Getter.class:0:0:0:0 | Getter<Integer> | true |
| reflection.kt:14:9:14:44 | KFunction<Integer> x4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Integer> | reflection.kt:14:38:14:44 | new Function1<C,Integer>(...) { ... } | file://<external>/Function1.class:0:0:0:0 | Function1<C,Integer> | true |
| reflection.kt:14:9:14:44 | KFunction<Integer> x4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Integer> | reflection.kt:14:38:14:44 | new Function1<C,Integer>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:15:9:15:41 | KProperty0<Integer> x5 | file://<external>/KProperty0.class:0:0:0:0 | KProperty0<Integer> | reflection.kt:15:35:15:41 | new KProperty0<Integer>(...) { ... } | file://<external>/KProperty0.class:0:0:0:0 | KProperty0<Integer> | true |
| reflection.kt:15:9:15:41 | KProperty0<Integer> x5 | file://<external>/KProperty0.class:0:0:0:0 | KProperty0<Integer> | reflection.kt:15:35:15:41 | new KProperty0<Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:17:9:17:49 | KMutableProperty1<C,Integer> y0 | file://<external>/KMutableProperty1.class:0:0:0:0 | KMutableProperty1<C,Integer> | reflection.kt:17:45:17:49 | new KMutableProperty1<C,Integer>(...) { ... } | file://<external>/KMutableProperty1.class:0:0:0:0 | KMutableProperty1<C,Integer> | true |
| reflection.kt:17:9:17:49 | KMutableProperty1<C,Integer> y0 | file://<external>/KMutableProperty1.class:0:0:0:0 | KMutableProperty1<C,Integer> | reflection.kt:17:45:17:49 | new KMutableProperty1<C,Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:20:9:20:60 | Setter<C,Integer> y3 | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Unit> | true |
| reflection.kt:20:9:20:60 | Setter<C,Integer> y3 | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/KMutableProperty$Setter.class:0:0:0:0 | Setter<Integer> | true |
| reflection.kt:21:9:21:50 | KFunction<Unit> y4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:21:44:21:50 | new Function2<C,Integer,Unit>(...) { ... } | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Unit> | true |
| reflection.kt:21:9:21:50 | KFunction<Unit> y4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:21:44:21:50 | new Function2<C,Integer,Unit>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:22:9:22:48 | KMutableProperty0<Integer> y5 | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | reflection.kt:22:42:22:48 | new KMutableProperty0<Integer>(...) { ... } | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | true |
| reflection.kt:22:9:22:48 | KMutableProperty0<Integer> y5 | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | reflection.kt:22:42:22:48 | new KMutableProperty0<Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:24:9:24:91 | KProperty2<C,Integer,Integer> prop | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Integer> | true |
| reflection.kt:24:9:24:91 | KProperty2<C,Integer,Integer> prop | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty.class:0:0:0:0 | KProperty<Integer> | true |
| reflection.kt:116:9:116:44 | KFunction<Unit> x | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | file://<external>/Function1.class:0:0:0:0 | Function1<Integer,Unit> | true |
| reflection.kt:116:9:116:44 | KFunction<Unit> x | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:7:13:7:15 | KFunction<Double> ref | file://<external>/KFunction.class:0:0:0:0 | KFunction<Double> | reflection.kt:7:49:7:54 | new Function2<Ccc,Integer,Double>(...) { ... } | file://<external>/Function2.class:0:0:0:0 | Function2<Ccc,Integer,Double> | true |
| reflection.kt:7:13:7:15 | KFunction<Double> ref | file://<external>/KFunction.class:0:0:0:0 | KFunction<Double> | reflection.kt:7:49:7:54 | new Function2<Ccc,Integer,Double>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:10:13:10:14 | KProperty1<C,Integer> x0 | file://<external>/KProperty1.class:0:0:0:0 | KProperty1<C,Integer> | reflection.kt:10:38:10:42 | new KProperty1<C,Integer>(...) { ... } | file://<external>/KProperty1.class:0:0:0:0 | KProperty1<C,Integer> | true |
| reflection.kt:10:13:10:14 | KProperty1<C,Integer> x0 | file://<external>/KProperty1.class:0:0:0:0 | KProperty1<C,Integer> | reflection.kt:10:38:10:42 | new KProperty1<C,Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:13:13:13:14 | Getter<C,Integer> x3 | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/Function1.class:0:0:0:0 | Function1<C,Integer> | true |
| reflection.kt:13:13:13:14 | Getter<C,Integer> x3 | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/KProperty1$Getter.class:0:0:0:0 | Getter<C,Integer> | file://<external>/KProperty$Getter.class:0:0:0:0 | Getter<Integer> | true |
| reflection.kt:14:13:14:14 | KFunction<Integer> x4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Integer> | reflection.kt:14:38:14:44 | new Function1<C,Integer>(...) { ... } | file://<external>/Function1.class:0:0:0:0 | Function1<C,Integer> | true |
| reflection.kt:14:13:14:14 | KFunction<Integer> x4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Integer> | reflection.kt:14:38:14:44 | new Function1<C,Integer>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:15:13:15:14 | KProperty0<Integer> x5 | file://<external>/KProperty0.class:0:0:0:0 | KProperty0<Integer> | reflection.kt:15:35:15:41 | new KProperty0<Integer>(...) { ... } | file://<external>/KProperty0.class:0:0:0:0 | KProperty0<Integer> | true |
| reflection.kt:15:13:15:14 | KProperty0<Integer> x5 | file://<external>/KProperty0.class:0:0:0:0 | KProperty0<Integer> | reflection.kt:15:35:15:41 | new KProperty0<Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:17:13:17:14 | KMutableProperty1<C,Integer> y0 | file://<external>/KMutableProperty1.class:0:0:0:0 | KMutableProperty1<C,Integer> | reflection.kt:17:45:17:49 | new KMutableProperty1<C,Integer>(...) { ... } | file://<external>/KMutableProperty1.class:0:0:0:0 | KMutableProperty1<C,Integer> | true |
| reflection.kt:17:13:17:14 | KMutableProperty1<C,Integer> y0 | file://<external>/KMutableProperty1.class:0:0:0:0 | KMutableProperty1<C,Integer> | reflection.kt:17:45:17:49 | new KMutableProperty1<C,Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:20:13:20:14 | Setter<C,Integer> y3 | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Unit> | true |
| reflection.kt:20:13:20:14 | Setter<C,Integer> y3 | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/KMutableProperty1$Setter.class:0:0:0:0 | Setter<C,Integer> | file://<external>/KMutableProperty$Setter.class:0:0:0:0 | Setter<Integer> | true |
| reflection.kt:21:13:21:14 | KFunction<Unit> y4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:21:44:21:50 | new Function2<C,Integer,Unit>(...) { ... } | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Unit> | true |
| reflection.kt:21:13:21:14 | KFunction<Unit> y4 | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:21:44:21:50 | new Function2<C,Integer,Unit>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
| reflection.kt:22:13:22:14 | KMutableProperty0<Integer> y5 | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | reflection.kt:22:42:22:48 | new KMutableProperty0<Integer>(...) { ... } | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | true |
| reflection.kt:22:13:22:14 | KMutableProperty0<Integer> y5 | file://<external>/KMutableProperty0.class:0:0:0:0 | KMutableProperty0<Integer> | reflection.kt:22:42:22:48 | new KMutableProperty0<Integer>(...) { ... } | file://<external>/PropertyReference.class:0:0:0:0 | PropertyReference | true |
| reflection.kt:24:13:24:16 | KProperty2<C,Integer,Integer> prop | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/Function2.class:0:0:0:0 | Function2<C,Integer,Integer> | true |
| reflection.kt:24:13:24:16 | KProperty2<C,Integer,Integer> prop | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty2.class:0:0:0:0 | KProperty2<C,Integer,Integer> | file://<external>/KProperty.class:0:0:0:0 | KProperty<Integer> | true |
| reflection.kt:116:13:116:13 | KFunction<Unit> x | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | file://<external>/Function1.class:0:0:0:0 | Function1<Integer,Unit> | true |
| reflection.kt:116:13:116:13 | KFunction<Unit> x | file://<external>/KFunction.class:0:0:0:0 | KFunction<Unit> | reflection.kt:116:40:116:44 | new Function1<Integer,Unit>(...) { ... } | file://<external>/FunctionReference.class:0:0:0:0 | FunctionReference | true |
invocation
| reflection.kt:8:17:8:24 | getName(...) | file://<external>/KCallable.class:0:0:0:0 | getName |
| reflection.kt:11:23:11:33 | get(...) | file://<external>/KProperty1.class:0:0:0:0 | get |

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

@@ -163,12 +163,12 @@ stmts.kt:
# 41| 2: [BlockStmt] { ... }
# 41| 0: [LocalVariableDeclStmt] var ...;
# 41| 1: [LocalVariableDeclExpr] v
# 41| 0: [MethodAccess] component1(...)
# 0| 0: [MethodAccess] component1(...)
# 41| -1: [VarAccess] tmp3_loop_parameter
# 41| 1: [LocalVariableDeclStmt] var ...;
# 41| 1: [LocalVariableDeclExpr] i
# 41| 0: [MethodAccess] component2(...)
# 41| -1: [VarAccess] tmp3_loop_parameter
# 0| 0: [MethodAccess] component2(...)
# 0| -1: [VarAccess] tmp3_loop_parameter
# 41| 2: [BlockStmt] { ... }
# 42| 0: [ExprStmt] <Expr>;
# 42| 0: [WhenExpr] when ...

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

@@ -1,3 +1,6 @@
| stmts.kt:0:0:0:0 | component1(...) | MethodAccess |
| stmts.kt:0:0:0:0 | component2(...) | MethodAccess |
| stmts.kt:0:0:0:0 | tmp3_loop_parameter | VarAccess |
| stmts.kt:2:1:20:1 | int | TypeAccess |
| stmts.kt:2:20:2:25 | int | TypeAccess |
| stmts.kt:2:28:2:33 | int | TypeAccess |
@@ -21,9 +24,9 @@
| stmts.kt:14:13:14:13 | x | VarAccess |
| stmts.kt:14:13:14:17 | ... < ... | LTExpr |
| stmts.kt:14:17:14:17 | y | VarAccess |
| stmts.kt:15:5:15:13 | z | LocalVariableDeclExpr |
| stmts.kt:15:9:15:9 | z | LocalVariableDeclExpr |
| stmts.kt:15:13:15:13 | 3 | IntegerLiteral |
| stmts.kt:17:5:17:58 | q2 | LocalVariableDeclExpr |
| stmts.kt:17:9:17:10 | q2 | LocalVariableDeclExpr |
| stmts.kt:17:26:17:58 | true | BooleanLiteral |
| stmts.kt:17:26:17:58 | when ... | WhenExpr |
| stmts.kt:17:29:17:32 | true | BooleanLiteral |
@@ -33,7 +36,7 @@
| stmts.kt:17:52:17:52 | z | VarAccess |
| stmts.kt:17:52:17:56 | ...=... | AssignExpr |
| stmts.kt:17:56:17:56 | 5 | IntegerLiteral |
| stmts.kt:18:5:18:56 | q3 | LocalVariableDeclExpr |
| stmts.kt:18:9:18:10 | q3 | LocalVariableDeclExpr |
| stmts.kt:18:26:18:56 | true | BooleanLiteral |
| stmts.kt:18:26:18:56 | when ... | WhenExpr |
| stmts.kt:18:29:18:32 | true | BooleanLiteral |
@@ -81,13 +84,10 @@
| stmts.kt:38:18:38:18 | y | VarAccess |
| stmts.kt:38:18:38:24 | ... > ... | GTExpr |
| stmts.kt:38:22:38:24 | 100 | IntegerLiteral |
| stmts.kt:41:11:41:11 | component1(...) | MethodAccess |
| stmts.kt:41:11:41:11 | v | LocalVariableDeclExpr |
| stmts.kt:41:13:41:13 | component2(...) | MethodAccess |
| stmts.kt:41:13:41:13 | i | LocalVariableDeclExpr |
| stmts.kt:41:19:41:36 | tmp3_loop_parameter | LocalVariableDeclExpr |
| stmts.kt:41:19:41:36 | tmp3_loop_parameter | VarAccess |
| stmts.kt:41:19:41:36 | tmp3_loop_parameter | VarAccess |
| stmts.kt:41:20:41:20 | x | VarAccess |
| stmts.kt:41:20:41:23 | rangeTo(...) | MethodAccess |
| stmts.kt:41:20:41:36 | CollectionsKt | TypeAccess |

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

@@ -15,17 +15,17 @@ enclosing
| stmts.kt:12:5:14:18 | { ... } | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:12:8:14:5 | { ... } | stmts.kt:12:5:14:18 | do ... while (...) |
| stmts.kt:13:9:13:16 | return ... | stmts.kt:12:8:14:5 | { ... } |
| stmts.kt:15:5:15:13 | var ...; | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:17:5:17:58 | var ...; | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:17:26:17:58 | ... -> ... | stmts.kt:17:5:17:58 | var ...; |
| stmts.kt:17:26:17:58 | ... -> ... | stmts.kt:17:5:17:58 | var ...; |
| stmts.kt:15:9:15:9 | var ...; | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:17:9:17:10 | var ...; | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:17:26:17:58 | ... -> ... | stmts.kt:17:9:17:10 | var ...; |
| stmts.kt:17:26:17:58 | ... -> ... | stmts.kt:17:9:17:10 | var ...; |
| stmts.kt:17:35:17:43 | { ... } | stmts.kt:17:26:17:58 | ... -> ... |
| stmts.kt:17:37:17:37 | <Expr>; | stmts.kt:17:35:17:43 | { ... } |
| stmts.kt:17:50:17:58 | { ... } | stmts.kt:17:26:17:58 | ... -> ... |
| stmts.kt:17:52:17:52 | <Expr>; | stmts.kt:17:50:17:58 | { ... } |
| stmts.kt:18:5:18:56 | var ...; | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:18:26:18:56 | ... -> ... | stmts.kt:18:5:18:56 | var ...; |
| stmts.kt:18:26:18:56 | ... -> ... | stmts.kt:18:5:18:56 | var ...; |
| stmts.kt:18:9:18:10 | var ...; | stmts.kt:2:41:20:1 | { ... } |
| stmts.kt:18:26:18:56 | ... -> ... | stmts.kt:18:9:18:10 | var ...; |
| stmts.kt:18:26:18:56 | ... -> ... | stmts.kt:18:9:18:10 | var ...; |
| stmts.kt:18:37:18:37 | <Expr>; | stmts.kt:18:26:18:56 | ... -> ... |
| stmts.kt:18:52:18:52 | <Expr>; | stmts.kt:18:26:18:56 | ... -> ... |
| stmts.kt:19:5:19:16 | return ... | stmts.kt:2:41:20:1 | { ... } |
@@ -88,15 +88,15 @@ enclosing
| stmts.kt:12:5:14:18 | { ... } | BlockStmt |
| stmts.kt:12:8:14:5 | { ... } | BlockStmt |
| stmts.kt:13:9:13:16 | return ... | ReturnStmt |
| stmts.kt:15:5:15:13 | var ...; | LocalVariableDeclStmt |
| stmts.kt:17:5:17:58 | var ...; | LocalVariableDeclStmt |
| stmts.kt:15:9:15:9 | var ...; | LocalVariableDeclStmt |
| stmts.kt:17:9:17:10 | var ...; | LocalVariableDeclStmt |
| stmts.kt:17:26:17:58 | ... -> ... | WhenBranch |
| stmts.kt:17:26:17:58 | ... -> ... | WhenBranch |
| stmts.kt:17:35:17:43 | { ... } | BlockStmt |
| stmts.kt:17:37:17:37 | <Expr>; | ExprStmt |
| stmts.kt:17:50:17:58 | { ... } | BlockStmt |
| stmts.kt:17:52:17:52 | <Expr>; | ExprStmt |
| stmts.kt:18:5:18:56 | var ...; | LocalVariableDeclStmt |
| stmts.kt:18:9:18:10 | var ...; | LocalVariableDeclStmt |
| stmts.kt:18:26:18:56 | ... -> ... | WhenBranch |
| stmts.kt:18:26:18:56 | ... -> ... | WhenBranch |
| stmts.kt:18:37:18:37 | <Expr>; | ExprStmt |