Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit d181b4b

Browse files
igfooigfoo
committed
Kotlin: Enhance the exprs test
1 parent dfa9bef commit d181b4b

2 files changed

Lines changed: 101 additions & 80 deletions

File tree

‎java/ql/test/kotlin/library-tests/exprs/exprs.expected‎

Lines changed: 92 additions & 80 deletions
Original file line numberDiff line numberDiff line change
@@ -1,91 +1,103 @@
1-
| exprs.kt:3:5:3:14 | i1 | LocalVariableDeclExpr |
2-
| exprs.kt:3:14:3:14 | 1 | IntegerLiteral |
3-
| exprs.kt:4:5:4:18 | i2 | LocalVariableDeclExpr |
4-
| exprs.kt:4:14:4:14 | x | VarAccess |
5-
| exprs.kt:4:14:4:18 | ... + ... | AddExpr |
6-
| exprs.kt:4:18:4:18 | y | VarAccess |
7-
| exprs.kt:5:5:5:18 | i3 | LocalVariableDeclExpr |
8-
| exprs.kt:5:14:5:14 | x | VarAccess |
9-
| exprs.kt:5:14:5:18 | ... - ... | SubExpr |
10-
| exprs.kt:5:18:5:18 | y | VarAccess |
11-
| exprs.kt:6:5:6:18 | i4 | LocalVariableDeclExpr |
1+
| exprs.kt:5:5:5:14 | i1 | LocalVariableDeclExpr |
2+
| exprs.kt:5:14:5:14 | 1 | IntegerLiteral |
3+
| exprs.kt:6:5:6:18 | i2 | LocalVariableDeclExpr |
124
| exprs.kt:6:14:6:14 | x | VarAccess |
13-
| exprs.kt:6:14:6:18 | ... / ... | DivExpr |
5+
| exprs.kt:6:14:6:18 | ... + ... | AddExpr |
146
| exprs.kt:6:18:6:18 | y | VarAccess |
15-
| exprs.kt:7:5:7:18 | i5 | LocalVariableDeclExpr |
7+
| exprs.kt:7:5:7:18 | i3 | LocalVariableDeclExpr |
168
| exprs.kt:7:14:7:14 | x | VarAccess |
17-
| exprs.kt:7:14:7:18 | ... % ... | RemExpr |
9+
| exprs.kt:7:14:7:18 | ... - ... | SubExpr |
1810
| exprs.kt:7:18:7:18 | y | VarAccess |
19-
| exprs.kt:18:5:18:20 | i13 | LocalVariableDeclExpr |
20-
| exprs.kt:18:15:18:15 | x | VarAccess |
21-
| exprs.kt:18:15:18:20 | ... == ... | EQExpr |
22-
| exprs.kt:18:20:18:20 | y | VarAccess |
23-
| exprs.kt:19:5:19:20 | i14 | LocalVariableDeclExpr |
24-
| exprs.kt:19:15:19:15 | x | VarAccess |
25-
| exprs.kt:19:15:19:20 | ... != ... | NEExpr |
26-
| exprs.kt:19:15:19:20 | ... != ... | NEExpr |
27-
| exprs.kt:19:20:19:20 | y | VarAccess |
28-
| exprs.kt:20:5:20:19 | i15 | LocalVariableDeclExpr |
11+
| exprs.kt:8:5:8:18 | i4 | LocalVariableDeclExpr |
12+
| exprs.kt:8:14:8:14 | x | VarAccess |
13+
| exprs.kt:8:14:8:18 | ... / ... | DivExpr |
14+
| exprs.kt:8:18:8:18 | y | VarAccess |
15+
| exprs.kt:9:5:9:18 | i5 | LocalVariableDeclExpr |
16+
| exprs.kt:9:14:9:14 | x | VarAccess |
17+
| exprs.kt:9:14:9:18 | ... % ... | RemExpr |
18+
| exprs.kt:9:18:9:18 | y | VarAccess |
19+
| exprs.kt:20:5:20:20 | i13 | LocalVariableDeclExpr |
2920
| exprs.kt:20:15:20:15 | x | VarAccess |
30-
| exprs.kt:20:15:20:19 | ... < ... | LTExpr |
31-
| exprs.kt:20:19:20:19 | y | VarAccess |
32-
| exprs.kt:21:5:21:20 | i16 | LocalVariableDeclExpr |
21+
| exprs.kt:20:15:20:20 | ... == ... | EQExpr |
22+
| exprs.kt:20:20:20:20 | y | VarAccess |
23+
| exprs.kt:21:5:21:20 | i14 | LocalVariableDeclExpr |
3324
| exprs.kt:21:15:21:15 | x | VarAccess |
34-
| exprs.kt:21:15:21:20 | ... <= ... | LEExpr |
25+
| exprs.kt:21:15:21:20 | ... != ... | NEExpr |
26+
| exprs.kt:21:15:21:20 | ... != ... | NEExpr |
3527
| exprs.kt:21:20:21:20 | y | VarAccess |
36-
| exprs.kt:22:5:22:19 | i17 | LocalVariableDeclExpr |
28+
| exprs.kt:22:5:22:19 | i15 | LocalVariableDeclExpr |
3729
| exprs.kt:22:15:22:15 | x | VarAccess |
38-
| exprs.kt:22:15:22:19 | ... > ... | GTExpr |
30+
| exprs.kt:22:15:22:19 | ... < ... | LTExpr |
3931
| exprs.kt:22:19:22:19 | y | VarAccess |
40-
| exprs.kt:23:5:23:20 | i18 | LocalVariableDeclExpr |
32+
| exprs.kt:23:5:23:20 | i16 | LocalVariableDeclExpr |
4133
| exprs.kt:23:15:23:15 | x | VarAccess |
42-
| exprs.kt:23:15:23:20 | ... >= ... | GEExpr |
34+
| exprs.kt:23:15:23:20 | ... <= ... | LEExpr |
4335
| exprs.kt:23:20:23:20 | y | VarAccess |
44-
| exprs.kt:29:5:29:17 | b1 | LocalVariableDeclExpr |
45-
| exprs.kt:29:14:29:17 | true | BooleanLiteral |
46-
| exprs.kt:30:5:30:18 | b2 | LocalVariableDeclExpr |
47-
| exprs.kt:30:14:30:18 | false | BooleanLiteral |
48-
| exprs.kt:37:5:37:15 | c | LocalVariableDeclExpr |
49-
| exprs.kt:37:13:37:15 | x | CharacterLiteral |
50-
| exprs.kt:38:5:38:26 | str | LocalVariableDeclExpr |
51-
| exprs.kt:38:16:38:25 | string lit | StringLiteral |
52-
| exprs.kt:39:5:39:38 | strWithQuote | LocalVariableDeclExpr |
53-
| exprs.kt:39:25:39:37 | string " lit | StringLiteral |
54-
| exprs.kt:40:5:40:22 | b6 | LocalVariableDeclExpr |
55-
| exprs.kt:40:14:40:15 | i1 | VarAccess |
56-
| exprs.kt:40:14:40:22 | ...instanceof... | InstanceOfExpr |
57-
| exprs.kt:40:14:40:22 | int | TypeAccess |
58-
| exprs.kt:41:5:41:23 | b7 | LocalVariableDeclExpr |
59-
| exprs.kt:41:14:41:15 | i1 | VarAccess |
60-
| exprs.kt:41:14:41:23 | ... !is ... | NotInstanceOfExpr |
61-
| exprs.kt:41:14:41:23 | int | TypeAccess |
62-
| exprs.kt:42:5:42:26 | b8 | LocalVariableDeclExpr |
63-
| exprs.kt:42:14:42:15 | b7 | VarAccess |
64-
| exprs.kt:42:14:42:26 | (...)... | CastExpr |
65-
| exprs.kt:42:14:42:26 | boolean | TypeAccess |
66-
| exprs.kt:43:5:43:35 | str1 | LocalVariableDeclExpr |
67-
| exprs.kt:43:25:43:34 | string lit | StringLiteral |
68-
| exprs.kt:44:5:44:36 | str2 | LocalVariableDeclExpr |
69-
| exprs.kt:44:26:44:35 | string lit | StringLiteral |
70-
| exprs.kt:45:5:45:28 | str3 | LocalVariableDeclExpr |
71-
| exprs.kt:45:25:45:28 | null | NullLiteral |
72-
| exprs.kt:46:12:46:14 | 123 | IntegerLiteral |
73-
| exprs.kt:46:12:46:20 | ... + ... | AddExpr |
74-
| exprs.kt:46:18:46:20 | 456 | IntegerLiteral |
75-
| exprs.kt:50:5:50:23 | d | LocalVariableDeclExpr |
76-
| exprs.kt:50:13:50:16 | true | BooleanLiteral |
77-
| exprs.kt:50:13:50:23 | ::class | ClassExpr |
78-
| exprs.kt:53:1:55:1 | <obinit>(...) | MethodAccess |
79-
| exprs.kt:53:9:53:18 | ...=... | AssignExpr |
80-
| exprs.kt:53:9:53:18 | n | VarAccess |
81-
| exprs.kt:53:9:53:18 | n | VarAccess |
82-
| exprs.kt:54:27:54:31 | new C(...) | ClassInstanceExpr |
83-
| exprs.kt:54:29:54:30 | 42 | IntegerLiteral |
84-
| exprs.kt:57:1:57:18 | <obinit>(...) | MethodAccess |
85-
| exprs.kt:58:1:58:26 | <obinit>(...) | MethodAccess |
86-
| exprs.kt:59:1:59:26 | <obinit>(...) | MethodAccess |
87-
| exprs.kt:62:5:64:5 | when ... | WhenExpr |
88-
| exprs.kt:62:8:62:8 | x | VarAccess |
89-
| exprs.kt:62:8:62:21 | ...instanceof... | InstanceOfExpr |
90-
| exprs.kt:62:8:62:21 | Subclass1 | TypeAccess |
91-
| exprs.kt:63:9:63:28 | y | LocalVariableDeclExpr |
36+
| exprs.kt:24:5:24:19 | i17 | LocalVariableDeclExpr |
37+
| exprs.kt:24:15:24:15 | x | VarAccess |
38+
| exprs.kt:24:15:24:19 | ... > ... | GTExpr |
39+
| exprs.kt:24:19:24:19 | y | VarAccess |
40+
| exprs.kt:25:5:25:20 | i18 | LocalVariableDeclExpr |
41+
| exprs.kt:25:15:25:15 | x | VarAccess |
42+
| exprs.kt:25:15:25:20 | ... >= ... | GEExpr |
43+
| exprs.kt:25:20:25:20 | y | VarAccess |
44+
| exprs.kt:31:5:31:17 | b1 | LocalVariableDeclExpr |
45+
| exprs.kt:31:14:31:17 | true | BooleanLiteral |
46+
| exprs.kt:32:5:32:18 | b2 | LocalVariableDeclExpr |
47+
| exprs.kt:32:14:32:18 | false | BooleanLiteral |
48+
| exprs.kt:39:5:39:15 | c | LocalVariableDeclExpr |
49+
| exprs.kt:39:13:39:15 | x | CharacterLiteral |
50+
| exprs.kt:40:5:40:26 | str | LocalVariableDeclExpr |
51+
| exprs.kt:40:16:40:25 | string lit | StringLiteral |
52+
| exprs.kt:41:5:41:38 | strWithQuote | LocalVariableDeclExpr |
53+
| exprs.kt:41:25:41:37 | string " lit | StringLiteral |
54+
| exprs.kt:42:5:42:22 | b6 | LocalVariableDeclExpr |
55+
| exprs.kt:42:14:42:15 | i1 | VarAccess |
56+
| exprs.kt:42:14:42:22 | ...instanceof... | InstanceOfExpr |
57+
| exprs.kt:42:14:42:22 | int | TypeAccess |
58+
| exprs.kt:43:5:43:23 | b7 | LocalVariableDeclExpr |
59+
| exprs.kt:43:14:43:15 | i1 | VarAccess |
60+
| exprs.kt:43:14:43:23 | ... !is ... | NotInstanceOfExpr |
61+
| exprs.kt:43:14:43:23 | int | TypeAccess |
62+
| exprs.kt:44:5:44:26 | b8 | LocalVariableDeclExpr |
63+
| exprs.kt:44:14:44:15 | b7 | VarAccess |
64+
| exprs.kt:44:14:44:26 | (...)... | CastExpr |
65+
| exprs.kt:44:14:44:26 | boolean | TypeAccess |
66+
| exprs.kt:45:5:45:35 | str1 | LocalVariableDeclExpr |
67+
| exprs.kt:45:25:45:34 | string lit | StringLiteral |
68+
| exprs.kt:46:5:46:36 | str2 | LocalVariableDeclExpr |
69+
| exprs.kt:46:26:46:35 | string lit | StringLiteral |
70+
| exprs.kt:47:5:47:28 | str3 | LocalVariableDeclExpr |
71+
| exprs.kt:47:25:47:28 | null | NullLiteral |
72+
| exprs.kt:48:12:48:14 | 123 | IntegerLiteral |
73+
| exprs.kt:48:12:48:20 | ... + ... | AddExpr |
74+
| exprs.kt:48:18:48:20 | 456 | IntegerLiteral |
75+
| exprs.kt:52:5:52:23 | d | LocalVariableDeclExpr |
76+
| exprs.kt:52:13:52:16 | true | BooleanLiteral |
77+
| exprs.kt:52:13:52:23 | ::class | ClassExpr |
78+
| exprs.kt:55:1:57:1 | <obinit>(...) | MethodAccess |
79+
| exprs.kt:55:9:55:18 | ...=... | AssignExpr |
80+
| exprs.kt:55:9:55:18 | n | VarAccess |
81+
| exprs.kt:55:9:55:18 | n | VarAccess |
82+
| exprs.kt:56:27:56:31 | new C(...) | ClassInstanceExpr |
83+
| exprs.kt:56:29:56:30 | 42 | IntegerLiteral |
84+
| exprs.kt:59:1:59:18 | <obinit>(...) | MethodAccess |
85+
| exprs.kt:60:1:60:26 | <obinit>(...) | MethodAccess |
86+
| exprs.kt:61:1:61:26 | <obinit>(...) | MethodAccess |
87+
| exprs.kt:64:5:66:5 | when ... | WhenExpr |
88+
| exprs.kt:64:8:64:8 | x | VarAccess |
89+
| exprs.kt:64:8:64:21 | ...instanceof... | InstanceOfExpr |
90+
| exprs.kt:64:8:64:21 | Subclass1 | TypeAccess |
91+
| exprs.kt:65:9:65:28 | y | LocalVariableDeclExpr |
92+
| exprs.kt:65:28:65:28 | (...)... | CastExpr |
93+
| exprs.kt:65:28:65:28 | Subclass1 | TypeAccess |
94+
| exprs.kt:65:28:65:28 | x | VarAccess |
95+
| exprs.kt:70:5:70:25 | r | LocalVariableDeclExpr |
96+
| exprs.kt:70:13:70:13 | p | VarAccess |
97+
| exprs.kt:70:15:70:25 | getBounds(...) | MethodAccess |
98+
| exprs.kt:71:5:73:5 | when ... | WhenExpr |
99+
| exprs.kt:71:8:71:8 | r | VarAccess |
100+
| exprs.kt:71:8:71:16 | ... != ... | NEExpr |
101+
| exprs.kt:71:8:71:16 | ... != ... | NEExpr |
102+
| exprs.kt:71:13:71:16 | null | NullLiteral |
103+
| exprs.kt:72:9:72:29 | r2 | LocalVariableDeclExpr |

‎java/ql/test/kotlin/library-tests/exprs/exprs.kt‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,5 @@
1+
import java.awt.Polygon
2+
import java.awt.Rectangle
13

24
fun topLevelMethod(x: Int, y: Int): Int {
35
val i1 = 1
@@ -63,3 +65,10 @@ fun typeTests(x: Root) {
6365
val y: Subclass1 = x
6466
}
6567
}
68+
69+
fun foo(p: Polygon) {
70+
val r = p.getBounds()
71+
if(r != null) {
72+
val r2: Rectangle = r
73+
}
74+
}

0 commit comments

Comments
 (0)