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

Kotlin: Enhance the exprs test

Browse Source
This commit is contained in:
Ian Lynagh
2021-10-28 17:00:02 +01:00
parent dfa9bef5bd
commit d181b4b9cc
2 changed files with 101 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1,91 +1,103 @@
| exprs.kt:3:5:3:14 | i1 | LocalVariableDeclExpr |
| exprs.kt:3:14:3:14 | 1 | IntegerLiteral |
| exprs.kt:4:5:4:18 | i2 | LocalVariableDeclExpr |
| exprs.kt:4:14:4:14 | x | VarAccess |
| exprs.kt:4:14:4:18 | ... + ... | AddExpr |
| exprs.kt:4:18:4:18 | y | VarAccess |
| exprs.kt:5:5:5:18 | i3 | LocalVariableDeclExpr |
| exprs.kt:5:14:5:14 | x | VarAccess |
| exprs.kt:5:14:5:18 | ... - ... | SubExpr |
| exprs.kt:5:18:5:18 | y | VarAccess |
| exprs.kt:6:5:6:18 | i4 | LocalVariableDeclExpr |
| exprs.kt:5:5:5:14 | i1 | LocalVariableDeclExpr |
| exprs.kt:5:14:5:14 | 1 | IntegerLiteral |
| exprs.kt:6:5:6:18 | i2 | LocalVariableDeclExpr |
| exprs.kt:6:14:6:14 | x | VarAccess |
| exprs.kt:6:14:6:18 | ... / ... | DivExpr |
| exprs.kt:6:14:6:18 | ... + ... | AddExpr |
| exprs.kt:6:18:6:18 | y | VarAccess |
| exprs.kt:7:5:7:18 | i5 | LocalVariableDeclExpr |
| exprs.kt:7:5:7:18 | i3 | LocalVariableDeclExpr |
| exprs.kt:7:14:7:14 | x | VarAccess |
| exprs.kt:7:14:7:18 | ... % ... | RemExpr |
| exprs.kt:7:14:7:18 | ... - ... | SubExpr |
| exprs.kt:7:18:7:18 | y | VarAccess |
| exprs.kt:18:5:18:20 | i13 | LocalVariableDeclExpr |
| exprs.kt:18:15:18:15 | x | VarAccess |
| exprs.kt:18:15:18:20 | ... == ... | EQExpr |
| exprs.kt:18:20:18:20 | y | VarAccess |
| exprs.kt:19:5:19:20 | i14 | LocalVariableDeclExpr |
| exprs.kt:19:15:19:15 | x | VarAccess |
| exprs.kt:19:15:19:20 | ... != ... | NEExpr |
| exprs.kt:19:15:19:20 | ... != ... | NEExpr |
| exprs.kt:19:20:19:20 | y | VarAccess |
| exprs.kt:20:5:20:19 | i15 | LocalVariableDeclExpr |
| exprs.kt:8:5:8:18 | i4 | LocalVariableDeclExpr |
| exprs.kt:8:14:8:14 | x | VarAccess |
| exprs.kt:8:14:8:18 | ... / ... | DivExpr |
| exprs.kt:8:18:8:18 | y | VarAccess |
| exprs.kt:9:5:9:18 | i5 | LocalVariableDeclExpr |
| exprs.kt:9:14:9:14 | x | VarAccess |
| exprs.kt:9:14:9:18 | ... % ... | RemExpr |
| exprs.kt:9:18:9:18 | y | VarAccess |
| exprs.kt:20:5:20:20 | i13 | LocalVariableDeclExpr |
| exprs.kt:20:15:20:15 | x | VarAccess |
| exprs.kt:20:15:20:19 | ... < ... | LTExpr |
| exprs.kt:20:19:20:19 | y | VarAccess |
| exprs.kt:21:5:21:20 | i16 | LocalVariableDeclExpr |
| exprs.kt:20:15:20:20 | ... == ... | EQExpr |
| exprs.kt:20:20:20:20 | y | VarAccess |
| exprs.kt:21:5:21:20 | i14 | LocalVariableDeclExpr |
| exprs.kt:21:15:21:15 | x | VarAccess |
| exprs.kt:21:15:21:20 | ... <= ... | LEExpr |
| exprs.kt:21:15:21:20 | ... != ... | NEExpr |
| exprs.kt:21:15:21:20 | ... != ... | NEExpr |
| exprs.kt:21:20:21:20 | y | VarAccess |
| exprs.kt:22:5:22:19 | i17 | LocalVariableDeclExpr |
| exprs.kt:22:5:22:19 | i15 | LocalVariableDeclExpr |
| exprs.kt:22:15:22:15 | x | VarAccess |
| exprs.kt:22:15:22:19 | ... > ... | GTExpr |
| exprs.kt:22:15:22:19 | ... < ... | LTExpr |
| exprs.kt:22:19:22:19 | y | VarAccess |
| exprs.kt:23:5:23:20 | i18 | LocalVariableDeclExpr |
| exprs.kt:23:5:23:20 | i16 | LocalVariableDeclExpr |
| exprs.kt:23:15:23:15 | x | VarAccess |
| exprs.kt:23:15:23:20 | ... >= ... | GEExpr |
| exprs.kt:23:15:23:20 | ... <= ... | LEExpr |
| exprs.kt:23:20:23:20 | y | VarAccess |
| exprs.kt:29:5:29:17 | b1 | LocalVariableDeclExpr |
| exprs.kt:29:14:29:17 | true | BooleanLiteral |
| exprs.kt:30:5:30:18 | b2 | LocalVariableDeclExpr |
| exprs.kt:30:14:30:18 | false | BooleanLiteral |
| exprs.kt:37:5:37:15 | c | LocalVariableDeclExpr |
| exprs.kt:37:13:37:15 | x | CharacterLiteral |
| exprs.kt:38:5:38:26 | str | LocalVariableDeclExpr |
| exprs.kt:38:16:38:25 | string lit | StringLiteral |
| exprs.kt:39:5:39:38 | strWithQuote | LocalVariableDeclExpr |
| exprs.kt:39:25:39:37 | string " lit | StringLiteral |
| exprs.kt:40:5:40:22 | b6 | LocalVariableDeclExpr |
| exprs.kt:40:14:40:15 | i1 | VarAccess |
| exprs.kt:40:14:40:22 | ...instanceof... | InstanceOfExpr |
| exprs.kt:40:14:40:22 | int | TypeAccess |
| exprs.kt:41:5:41:23 | b7 | LocalVariableDeclExpr |
| exprs.kt:41:14:41:15 | i1 | VarAccess |
| exprs.kt:41:14:41:23 | ... !is ... | NotInstanceOfExpr |
| exprs.kt:41:14:41:23 | int | TypeAccess |
| exprs.kt:42:5:42:26 | b8 | LocalVariableDeclExpr |
| exprs.kt:42:14:42:15 | b7 | VarAccess |
| exprs.kt:42:14:42:26 | (...)... | CastExpr |
| exprs.kt:42:14:42:26 | boolean | TypeAccess |
| exprs.kt:43:5:43:35 | str1 | LocalVariableDeclExpr |
| exprs.kt:43:25:43:34 | string lit | StringLiteral |
| exprs.kt:44:5:44:36 | str2 | LocalVariableDeclExpr |
| exprs.kt:44:26:44:35 | string lit | StringLiteral |
| exprs.kt:45:5:45:28 | str3 | LocalVariableDeclExpr |
| exprs.kt:45:25:45:28 | null | NullLiteral |
| exprs.kt:46:12:46:14 | 123 | IntegerLiteral |
| exprs.kt:46:12:46:20 | ... + ... | AddExpr |
| exprs.kt:46:18:46:20 | 456 | IntegerLiteral |
| exprs.kt:50:5:50:23 | d | LocalVariableDeclExpr |
| exprs.kt:50:13:50:16 | true | BooleanLiteral |
| exprs.kt:50:13:50:23 | ::class | ClassExpr |
| exprs.kt:53:1:55:1 | <obinit>(...) | MethodAccess |
| exprs.kt:53:9:53:18 | ...=... | AssignExpr |
| exprs.kt:53:9:53:18 | n | VarAccess |
| exprs.kt:53:9:53:18 | n | VarAccess |
| exprs.kt:54:27:54:31 | new C(...) | ClassInstanceExpr |
| exprs.kt:54:29:54:30 | 42 | IntegerLiteral |
| exprs.kt:57:1:57:18 | <obinit>(...) | MethodAccess |
| exprs.kt:58:1:58:26 | <obinit>(...) | MethodAccess |
| exprs.kt:59:1:59:26 | <obinit>(...) | MethodAccess |
| exprs.kt:62:5:64:5 | when ... | WhenExpr |
| exprs.kt:62:8:62:8 | x | VarAccess |
| exprs.kt:62:8:62:21 | ...instanceof... | InstanceOfExpr |
| exprs.kt:62:8:62:21 | Subclass1 | TypeAccess |
| exprs.kt:63:9:63:28 | y | LocalVariableDeclExpr |
| exprs.kt:24:5:24:19 | i17 | LocalVariableDeclExpr |
| exprs.kt:24:15:24:15 | x | VarAccess |
| exprs.kt:24:15:24:19 | ... > ... | GTExpr |
| exprs.kt:24:19:24:19 | y | VarAccess |
| exprs.kt:25:5:25:20 | i18 | LocalVariableDeclExpr |
| exprs.kt:25:15:25:15 | x | VarAccess |
| exprs.kt:25:15:25:20 | ... >= ... | GEExpr |
| exprs.kt:25:20:25:20 | y | VarAccess |
| exprs.kt:31:5:31:17 | b1 | LocalVariableDeclExpr |
| exprs.kt:31:14:31:17 | true | BooleanLiteral |
| exprs.kt:32:5:32:18 | b2 | LocalVariableDeclExpr |
| exprs.kt:32:14:32:18 | false | BooleanLiteral |
| exprs.kt:39:5:39:15 | c | LocalVariableDeclExpr |
| exprs.kt:39:13:39:15 | x | CharacterLiteral |
| exprs.kt:40:5:40:26 | str | LocalVariableDeclExpr |
| exprs.kt:40:16:40:25 | string lit | StringLiteral |
| exprs.kt:41:5:41:38 | strWithQuote | LocalVariableDeclExpr |
| exprs.kt:41:25:41:37 | string " lit | StringLiteral |
| exprs.kt:42:5:42:22 | b6 | LocalVariableDeclExpr |
| exprs.kt:42:14:42:15 | i1 | VarAccess |
| exprs.kt:42:14:42:22 | ...instanceof... | InstanceOfExpr |
| exprs.kt:42:14:42:22 | int | TypeAccess |
| exprs.kt:43:5:43:23 | b7 | LocalVariableDeclExpr |
| exprs.kt:43:14:43:15 | i1 | VarAccess |
| exprs.kt:43:14:43:23 | ... !is ... | NotInstanceOfExpr |
| exprs.kt:43:14:43:23 | int | TypeAccess |
| exprs.kt:44:5:44:26 | b8 | LocalVariableDeclExpr |
| exprs.kt:44:14:44:15 | b7 | VarAccess |
| exprs.kt:44:14:44:26 | (...)... | CastExpr |
| exprs.kt:44:14:44:26 | boolean | TypeAccess |
| exprs.kt:45:5:45:35 | str1 | LocalVariableDeclExpr |
| exprs.kt:45:25:45:34 | string lit | StringLiteral |
| exprs.kt:46:5:46:36 | str2 | LocalVariableDeclExpr |
| exprs.kt:46:26:46:35 | string lit | StringLiteral |
| exprs.kt:47:5:47:28 | str3 | LocalVariableDeclExpr |
| exprs.kt:47:25:47:28 | null | NullLiteral |
| exprs.kt:48:12:48:14 | 123 | IntegerLiteral |
| exprs.kt:48:12:48:20 | ... + ... | AddExpr |
| exprs.kt:48:18:48:20 | 456 | IntegerLiteral |
| exprs.kt:52:5:52:23 | d | LocalVariableDeclExpr |
| exprs.kt:52:13:52:16 | true | BooleanLiteral |
| exprs.kt:52:13:52:23 | ::class | ClassExpr |
| exprs.kt:55:1:57:1 | <obinit>(...) | MethodAccess |
| exprs.kt:55:9:55:18 | ...=... | AssignExpr |
| exprs.kt:55:9:55:18 | n | VarAccess |
| exprs.kt:55:9:55:18 | n | VarAccess |
| exprs.kt:56:27:56:31 | new C(...) | ClassInstanceExpr |
| exprs.kt:56:29:56:30 | 42 | IntegerLiteral |
| exprs.kt:59:1:59:18 | <obinit>(...) | MethodAccess |
| exprs.kt:60:1:60:26 | <obinit>(...) | MethodAccess |
| exprs.kt:61:1:61:26 | <obinit>(...) | MethodAccess |
| exprs.kt:64:5:66:5 | when ... | WhenExpr |
| exprs.kt:64:8:64:8 | x | VarAccess |
| exprs.kt:64:8:64:21 | ...instanceof... | InstanceOfExpr |
| exprs.kt:64:8:64:21 | Subclass1 | TypeAccess |
| exprs.kt:65:9:65:28 | y | LocalVariableDeclExpr |
| exprs.kt:65:28:65:28 | (...)... | CastExpr |
| exprs.kt:65:28:65:28 | Subclass1 | TypeAccess |
| exprs.kt:65:28:65:28 | x | VarAccess |
| exprs.kt:70:5:70:25 | r | LocalVariableDeclExpr |
| exprs.kt:70:13:70:13 | p | VarAccess |
| exprs.kt:70:15:70:25 | getBounds(...) | MethodAccess |
| exprs.kt:71:5:73:5 | when ... | WhenExpr |
| exprs.kt:71:8:71:8 | r | VarAccess |
| exprs.kt:71:8:71:16 | ... != ... | NEExpr |
| exprs.kt:71:8:71:16 | ... != ... | NEExpr |
| exprs.kt:71:13:71:16 | null | NullLiteral |
| exprs.kt:72:9:72:29 | r2 | LocalVariableDeclExpr |

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

@@ -1,3 +1,5 @@
import java.awt.Polygon
import java.awt.Rectangle
fun topLevelMethod(x: Int, y: Int): Int {
val i1 = 1
@@ -63,3 +65,10 @@ fun typeTests(x: Root) {
val y: Subclass1 = x
}
}
fun foo(p: Polygon) {
val r = p.getBounds()
if(r != null) {
val r2: Rectangle = r
}
}