[FIR] Tests. Change extension for testdata with cgf from .cfg.dot to .dot
Also remove cfg dumps in made with old renderer
This commit is contained in:
Dmitriy Novozhilov
@@ -1,97 +0,0 @@
|
|||||||
0: Enter function "test_1" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Enter || -> 5, 8 | <- 3
|
|
||||||
5: Access variable R|<local>/b1| -> 6, 8 | <- 4
|
|
||||||
6: Exit left part of || -> 7 | <- 5
|
|
||||||
7: Access variable R|<local>/b2| -> 8 | <- 6
|
|
||||||
8: Exit || -> 9 | <- 4, 5, 7
|
|
||||||
9: Exit when branch condition -> 10, 14 | <- 8
|
|
||||||
10: Enter block -> 11 | <- 9
|
|
||||||
11: Const: Int(1) -> 12 | <- 10
|
|
||||||
12: Exit block -> 13 | <- 11
|
|
||||||
13: Exit when branch result -> 19 | <- 12
|
|
||||||
14: Enter when branch condition "else" -> 15 | <- 9
|
|
||||||
15: Exit when branch condition -> 16 | <- 14
|
|
||||||
16: Enter block -> 17 | <- 15
|
|
||||||
17: Exit block -> 18 | <- 16
|
|
||||||
18: Exit when branch result -> 19 | <- 17
|
|
||||||
19: Exit when -> 20 | <- 13, 18
|
|
||||||
20: Exit block -> 21 | <- 19
|
|
||||||
21: Exit function "test_1" -> | <- 20
|
|
||||||
|
|
||||||
0: Enter function "test_2" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Enter && -> 5 | <- 3
|
|
||||||
5: Access variable R|<local>/b1| -> 6, 7 | <- 4
|
|
||||||
6: Access variable R|<local>/b2| -> 7 | <- 5
|
|
||||||
7: Exit && -> 8 | <- 5, 6
|
|
||||||
8: Exit when branch condition -> 9, 13 | <- 7
|
|
||||||
9: Enter block -> 10 | <- 8
|
|
||||||
10: Const: Int(1) -> 11 | <- 9
|
|
||||||
11: Exit block -> 12 | <- 10
|
|
||||||
12: Exit when branch result -> 18 | <- 11
|
|
||||||
13: Enter when branch condition "else" -> 14 | <- 8
|
|
||||||
14: Exit when branch condition -> 15 | <- 13
|
|
||||||
15: Enter block -> 16 | <- 14
|
|
||||||
16: Exit block -> 17 | <- 15
|
|
||||||
17: Exit when branch result -> 18 | <- 16
|
|
||||||
18: Exit when -> 19 | <- 12, 17
|
|
||||||
19: Exit block -> 20 | <- 18
|
|
||||||
20: Exit function "test_2" -> | <- 19
|
|
||||||
|
|
||||||
0: Enter function "test_3" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Enter || -> 5, 11 | <- 3
|
|
||||||
5: Enter && -> 6 | <- 4
|
|
||||||
6: Access variable R|<local>/b1| -> 7, 8 | <- 5
|
|
||||||
7: Access variable R|<local>/b2| -> 8 | <- 6
|
|
||||||
8: Exit && -> 9, 11 | <- 6, 7
|
|
||||||
9: Exit left part of || -> 10 | <- 8
|
|
||||||
10: Access variable R|<local>/b3| -> 11 | <- 9
|
|
||||||
11: Exit || -> 12 | <- 4, 8, 10
|
|
||||||
12: Exit when branch condition -> 13, 17 | <- 11
|
|
||||||
13: Enter block -> 14 | <- 12
|
|
||||||
14: Const: Int(1) -> 15 | <- 13
|
|
||||||
15: Exit block -> 16 | <- 14
|
|
||||||
16: Exit when branch result -> 22 | <- 15
|
|
||||||
17: Enter when branch condition "else" -> 18 | <- 12
|
|
||||||
18: Exit when branch condition -> 19 | <- 17
|
|
||||||
19: Enter block -> 20 | <- 18
|
|
||||||
20: Exit block -> 21 | <- 19
|
|
||||||
21: Exit when branch result -> 22 | <- 20
|
|
||||||
22: Exit when -> 23 | <- 16, 21
|
|
||||||
23: Exit block -> 24 | <- 22
|
|
||||||
24: Exit function "test_3" -> | <- 23
|
|
||||||
|
|
||||||
0: Enter function "test_4" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Enter || -> 5, 11 | <- 3
|
|
||||||
5: Access variable R|<local>/b1| -> 6, 11 | <- 4
|
|
||||||
6: Exit left part of || -> 7 | <- 5
|
|
||||||
7: Enter && -> 8 | <- 6
|
|
||||||
8: Access variable R|<local>/b2| -> 9, 10 | <- 7
|
|
||||||
9: Access variable R|<local>/b3| -> 10 | <- 8
|
|
||||||
10: Exit && -> 11 | <- 8, 9
|
|
||||||
11: Exit || -> 12 | <- 4, 5, 10
|
|
||||||
12: Exit when branch condition -> 13, 17 | <- 11
|
|
||||||
13: Enter block -> 14 | <- 12
|
|
||||||
14: Const: Int(1) -> 15 | <- 13
|
|
||||||
15: Exit block -> 16 | <- 14
|
|
||||||
16: Exit when branch result -> 22 | <- 15
|
|
||||||
17: Enter when branch condition "else" -> 18 | <- 12
|
|
||||||
18: Exit when branch condition -> 19 | <- 17
|
|
||||||
19: Enter block -> 20 | <- 18
|
|
||||||
20: Exit block -> 21 | <- 19
|
|
||||||
21: Exit when branch result -> 22 | <- 20
|
|
||||||
22: Exit when -> 23 | <- 16, 21
|
|
||||||
23: Exit block -> 24 | <- 22
|
|
||||||
24: Exit function "test_4" -> | <- 23
|
|
||||||
|
|
||||||
@@ -1,46 +0,0 @@
|
|||||||
0: Enter function "fetchPluginReleaseDate" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Const: String(https://plugins.jetbrains.com/api/plugins/) -> 3 | <- 1
|
|
||||||
3: Access variable R|<local>/pluginId| -> 4 | <- 2
|
|
||||||
4: Access variable <Unresolved name: idString># -> 5 | <- 3
|
|
||||||
5: Const: String(/updates?version=) -> 6 | <- 4
|
|
||||||
6: Access variable R|<local>/version| -> 7 | <- 5
|
|
||||||
7: Variable declaration: lval url: R|kotlin/String| -> 8 | <- 6
|
|
||||||
8: Try expression enter -> 9 | <- 7
|
|
||||||
9: Try main block enter -> 10, 17, 26, 41 | <- 8
|
|
||||||
10: Enter block -> 11 | <- 9
|
|
||||||
11: Access variable <Unresolved name: HttpRequests># -> 12 | <- 10
|
|
||||||
12: Access variable R|<local>/url| -> 13 | <- 11
|
|
||||||
13: Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|) -> 14 | <- 12
|
|
||||||
14: Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|).<Unresolved name: connect>#(<L> = connect@fun <implicit>.<anonymous>(): <implicit> {
|
|
||||||
GsonBuilder#().create#().fromJson#(it#.inputStream#.reader#(), <getClass>(Array#<R|class error: Symbol not found, for `PluginDTO`|>()).java#)
|
|
||||||
}
|
|
||||||
) -> 15 | <- 13
|
|
||||||
15: Exit block -> 16 | <- 14
|
|
||||||
16: Try main block exit -> 34 | <- 15
|
|
||||||
17: Catch enter -> 18, 41 | <- 9
|
|
||||||
18: Enter block -> 19 | <- 17
|
|
||||||
19: Const: String(Can't parse json response) -> 20 | <- 18
|
|
||||||
20: Access variable R|<local>/syntaxException| -> 21 | <- 19
|
|
||||||
21: Function call: <Unresolved name: ResponseParseException>#(String(Can't parse json response), R|<local>/syntaxException|) -> 22 | <- 20
|
|
||||||
22: Throw: throw <Unresolved name: ResponseParseException>#(String(Can't parse json response), R|<local>/syntaxException|) -> 23[DEAD], 41 | <- 21
|
|
||||||
23: Stub[DEAD] -> 24 | <- 22
|
|
||||||
24: Exit block[DEAD] -> 25 | <- 23
|
|
||||||
25: Catch exit[DEAD] -> 34 | <- 24
|
|
||||||
26: Catch enter -> 27, 41 | <- 9
|
|
||||||
27: Enter block -> 28 | <- 26
|
|
||||||
28: Access variable R|<local>/ioException| -> 29 | <- 27
|
|
||||||
29: Function call: <Unresolved name: IOException>#(R|<local>/ioException|) -> 30 | <- 28
|
|
||||||
30: Throw: throw <Unresolved name: IOException>#(R|<local>/ioException|) -> 31[DEAD], 41 | <- 29
|
|
||||||
31: Stub[DEAD] -> 32 | <- 30
|
|
||||||
32: Exit block[DEAD] -> 33 | <- 31
|
|
||||||
33: Catch exit[DEAD] -> 34 | <- 32
|
|
||||||
34: Try expression exit -> 35 | <- 16, 25[DEAD], 33[DEAD]
|
|
||||||
35: Variable declaration: lval pluginDTOs: R|kotlin/Array<class error: Symbol not found, for `PluginDTO`>| -> 36 | <- 34
|
|
||||||
36: Exit block -> 37 | <- 35
|
|
||||||
37: Enter annotation -> 38 | <- 36
|
|
||||||
38: Access variable <Unresolved name: IOException># -> 39 | <- 37
|
|
||||||
39: Access variable <Unresolved name: ResponseParseException># -> 40 | <- 38
|
|
||||||
40: Exit annotation -> 41 | <- 39
|
|
||||||
41: Exit function "fetchPluginReleaseDate" -> | <- 9, 17, 22, 26, 30, 40
|
|
||||||
|
|
||||||
+1
-1
@@ -14,7 +14,7 @@ subgraph fetchPluginReleaseDate {
|
|||||||
11 [shape=box label="Access variable <Unresolved name: HttpRequests>#"];
|
11 [shape=box label="Access variable <Unresolved name: HttpRequests>#"];
|
||||||
12 [shape=box label="Access variable R|<local>/url|"];
|
12 [shape=box label="Access variable R|<local>/url|"];
|
||||||
13 [shape=box label="Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|)"];
|
13 [shape=box label="Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|)"];
|
||||||
14 [shape=box label="Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|).<Unresolved name: connect>#(<L> = connect@fun <implicit>.<anonymous>(): <implicit> {
|
14 [shape=box label="Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|).<Unresolved name: connect>#(<L> = connect@fun <implicit>.<anonymous>(): <implicit> <kind=EXACTLY_ONCE> {
|
||||||
GsonBuilder#().create#().fromJson#(it#.inputStream#.reader#(), <getClass>(Array#<R|class error: Symbol not found, for `PluginDTO`|>()).java#)
|
GsonBuilder#().create#().fromJson#(it#.inputStream#.reader#(), <getClass>(Array#<R|class error: Symbol not found, for `PluginDTO`|>()).java#)
|
||||||
}
|
}
|
||||||
)"];
|
)"];
|
||||||
@@ -1,2 +0,0 @@
|
|||||||
digraph initBlock_kt {
|
|
||||||
}
|
|
||||||
@@ -0,0 +1,16 @@
|
|||||||
|
digraph initBlock_kt {
|
||||||
|
subgraph <init> {
|
||||||
|
0 [shape=box label="Enter function <init>"];
|
||||||
|
1 [shape=box label="Exit function <init>"];
|
||||||
|
|
||||||
|
0 -> {1};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph <init> {
|
||||||
|
2 [shape=box label="Enter function <init>"];
|
||||||
|
3 [shape=box label="Exit function <init>"];
|
||||||
|
|
||||||
|
2 -> {3};
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
@@ -1,92 +0,0 @@
|
|||||||
0: Enter function "test_1" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Access variable R|<local>/x| -> 5 | <- 3
|
|
||||||
5: Const: Null(null) -> 6 | <- 4
|
|
||||||
6: Operator == -> 7 | <- 5
|
|
||||||
7: Exit when branch condition -> 8, 14 | <- 6
|
|
||||||
8: Enter block -> 9 | <- 7
|
|
||||||
9: Function call: R|kotlin/KotlinNullPointerException.KotlinNullPointerException|() -> 10 | <- 8
|
|
||||||
10: Throw: throw R|kotlin/KotlinNullPointerException.KotlinNullPointerException|() -> 11[DEAD], 25 | <- 9
|
|
||||||
11: Stub[DEAD] -> 12 | <- 10
|
|
||||||
12: Exit block[DEAD] -> 13 | <- 11
|
|
||||||
13: Exit when branch result[DEAD] -> 20 | <- 12
|
|
||||||
14: Enter when branch condition "else" -> 15 | <- 7
|
|
||||||
15: Exit when branch condition -> 16 | <- 14
|
|
||||||
16: Enter block -> 17 | <- 15
|
|
||||||
17: Access variable R|<local>/x| -> 18 | <- 16
|
|
||||||
18: Exit block -> 19 | <- 17
|
|
||||||
19: Exit when branch result -> 20 | <- 18
|
|
||||||
20: Exit when -> 21 | <- 13[DEAD], 19
|
|
||||||
21: Variable declaration: lval y: R|kotlin/Int| -> 22 | <- 20
|
|
||||||
22: Access variable R|<local>/y| -> 23 | <- 21
|
|
||||||
23: Function call: R|<local>/y|.R|kotlin/Int.inc|() -> 24 | <- 22
|
|
||||||
24: Exit block -> 25 | <- 23
|
|
||||||
25: Exit function "test_1" -> | <- 10, 24
|
|
||||||
|
|
||||||
0: Enter function "test_2" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Access variable R|<local>/x| -> 5 | <- 3
|
|
||||||
5: Const: Null(null) -> 6 | <- 4
|
|
||||||
6: Operator == -> 7 | <- 5
|
|
||||||
7: Exit when branch condition -> 8, 12 | <- 6
|
|
||||||
8: Enter block -> 9 | <- 7
|
|
||||||
9: Access variable R|<local>/x| -> 10 | <- 8
|
|
||||||
10: Exit block -> 11 | <- 9
|
|
||||||
11: Exit when branch result -> 18 | <- 10
|
|
||||||
12: Enter when branch condition "else" -> 13 | <- 7
|
|
||||||
13: Exit when branch condition -> 14 | <- 12
|
|
||||||
14: Enter block -> 15 | <- 13
|
|
||||||
15: Access variable R|<local>/x| -> 16 | <- 14
|
|
||||||
16: Exit block -> 17 | <- 15
|
|
||||||
17: Exit when branch result -> 18 | <- 16
|
|
||||||
18: Exit when -> 19 | <- 11, 17
|
|
||||||
19: Variable declaration: lval y: R|kotlin/Int?| -> 20 | <- 18
|
|
||||||
20: Access variable R|<local>/y| -> 21 | <- 19
|
|
||||||
21: Function call: R|<local>/y|.<Ambiguity: inc, [kotlin/inc, kotlin/inc]>#() -> 22 | <- 20
|
|
||||||
22: Exit block -> 23 | <- 21
|
|
||||||
23: Exit function "test_2" -> | <- 22
|
|
||||||
|
|
||||||
0: Enter function "test_3" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter while loop -> 3 | <- 1
|
|
||||||
3: Enter loop condition -> 4 | <- 2, 13[DEAD]
|
|
||||||
4: Const: Boolean(true) -> 5 | <- 3
|
|
||||||
5: Exit loop condition -> 6, 14 | <- 4
|
|
||||||
6: Enter loop block -> 7 | <- 5
|
|
||||||
7: Enter block -> 8 | <- 6
|
|
||||||
8: Access variable R|<local>/x| -> 9 | <- 7
|
|
||||||
9: Type operator: "x as Int" -> 10 | <- 8
|
|
||||||
10: Jump: break@@@[Boolean(true)] -> 11[DEAD], 14 | <- 9
|
|
||||||
11: Stub[DEAD] -> 12 | <- 10
|
|
||||||
12: Exit block[DEAD] -> 13 | <- 11
|
|
||||||
13: Exit loop block[DEAD] -> 3 | <- 12
|
|
||||||
14: Exit whileloop -> 15 | <- 5, 10
|
|
||||||
15: Access variable R|<local>/x| -> 16 | <- 14
|
|
||||||
16: Function call: R|<local>/x|.<Ambiguity: inc, [kotlin/inc, kotlin/inc]>#() -> 17 | <- 15
|
|
||||||
17: Exit block -> 18 | <- 16
|
|
||||||
18: Exit function "test_3" -> | <- 17
|
|
||||||
|
|
||||||
0: Enter function "test_4" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter do-while loop -> 3 | <- 1
|
|
||||||
3: Enter loop block -> 4 | <- 2, 13[DEAD]
|
|
||||||
4: Enter block -> 5 | <- 3
|
|
||||||
5: Access variable R|<local>/x| -> 6 | <- 4
|
|
||||||
6: Type operator: "x as int" -> 7 | <- 5
|
|
||||||
7: Jump: break@@@[Boolean(true)] -> 8[DEAD], 14[DEAD] | <- 6
|
|
||||||
8: Stub[DEAD] -> 9 | <- 7
|
|
||||||
9: Exit block[DEAD] -> 10 | <- 8
|
|
||||||
10: Exit loop block[DEAD] -> 11 | <- 9
|
|
||||||
11: Enter loop condition[DEAD] -> 12 | <- 10
|
|
||||||
12: Const: Boolean(true)[DEAD] -> 13 | <- 11
|
|
||||||
13: Exit loop condition[DEAD] -> 3, 14 | <- 12
|
|
||||||
14: Exit do-whileloop[DEAD] -> 15 | <- 7, 13
|
|
||||||
15: Access variable R|<local>/x|[DEAD] -> 16 | <- 14
|
|
||||||
16: Function call: R|<local>/x|.<Ambiguity: inc, [kotlin/inc, kotlin/inc]>#()[DEAD] -> 17 | <- 15
|
|
||||||
17: Exit block[DEAD] -> 18 | <- 16
|
|
||||||
18: Exit function "test_4"[DEAD] -> | <- 17
|
|
||||||
|
|
||||||
@@ -1,216 +0,0 @@
|
|||||||
digraph propertiesAndInitBlocks_kt {
|
|
||||||
subgraph run {
|
|
||||||
0 [shape=box label="Enter function run"];
|
|
||||||
1 [shape=box label="Enter block"];
|
|
||||||
2 [shape=box label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
|
|
||||||
3 [shape=box label="Exit block"];
|
|
||||||
4 [shape=box label="Exit function run"];
|
|
||||||
|
|
||||||
0 -> {1};
|
|
||||||
1 -> {2};
|
|
||||||
2 -> {3};
|
|
||||||
3 -> {4};
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph val_x1 {
|
|
||||||
5 [shape=box label="Enter property"];
|
|
||||||
6 [shape=box label="Const: Int(1)"];
|
|
||||||
7 [shape=box label="Exit property"];
|
|
||||||
|
|
||||||
5 -> {6};
|
|
||||||
6 -> {7};
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph <getter> {
|
|
||||||
8 [shape=box label="Enter function getter"];
|
|
||||||
9 [shape=box label="Enter block"];
|
|
||||||
10 [shape=box label="Const: Int(1)"];
|
|
||||||
11 [shape=box label="Jump: ^ Int(1)"];
|
|
||||||
12 [shape=box label="Stub[DEAD]"];
|
|
||||||
13 [shape=box label="Exit block[DEAD]"];
|
|
||||||
14 [shape=box label="Exit function getter[DEAD]"];
|
|
||||||
|
|
||||||
8 -> {9};
|
|
||||||
9 -> {10};
|
|
||||||
10 -> {11};
|
|
||||||
11 -> {14 12} [style=dotted];
|
|
||||||
12 -> {13} [style=dotted];
|
|
||||||
13 -> {14} [style=dotted];
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph <setter> {
|
|
||||||
15 [shape=box label="Enter function setter"];
|
|
||||||
16 [shape=box label="Enter block"];
|
|
||||||
17 [shape=box label="Const: Int(1)"];
|
|
||||||
18 [shape=box label="Assignmenet: F|/x2|"];
|
|
||||||
19 [shape=box label="Exit block"];
|
|
||||||
20 [shape=box label="Exit function setter"];
|
|
||||||
|
|
||||||
15 -> {16};
|
|
||||||
16 -> {17};
|
|
||||||
17 -> {18};
|
|
||||||
18 -> {19};
|
|
||||||
19 -> {20};
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph val_x2 {
|
|
||||||
21 [shape=box label="Enter property"];
|
|
||||||
22 [shape=box label="Const: Int(1)"];
|
|
||||||
23 [shape=box label="Exit property"];
|
|
||||||
|
|
||||||
21 -> {22};
|
|
||||||
22 -> {23};
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph <anonymous> {
|
|
||||||
24 [shape=box label="Enter init block"];
|
|
||||||
25 [shape=box label="Enter block"];
|
|
||||||
26 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
27 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
28 [shape=box label="Stub[DEAD]"];
|
|
||||||
29 [shape=box label="Const: Int(1)[DEAD]"];
|
|
||||||
30 [shape=box label="Exit block[DEAD]"];
|
|
||||||
31 [shape=box label="Exit init block[DEAD]"];
|
|
||||||
32 [shape=box label="Enter function anonymousFunction"];
|
|
||||||
33 [shape=box label="Enter block"];
|
|
||||||
34 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
35 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
36 [shape=box label="Stub[DEAD]"];
|
|
||||||
37 [shape=box label="Exit block[DEAD]"];
|
|
||||||
38 [shape=box label="Exit function anonymousFunction[DEAD]"];
|
|
||||||
|
|
||||||
24 -> {25};
|
|
||||||
25 -> {26};
|
|
||||||
26 -> {27};
|
|
||||||
27 -> {31 28} [style=dotted];
|
|
||||||
28 -> {29} [style=dotted];
|
|
||||||
29 -> {30} [style=dotted];
|
|
||||||
30 -> {31} [style=dotted];
|
|
||||||
32 -> {33};
|
|
||||||
33 -> {34};
|
|
||||||
34 -> {35};
|
|
||||||
35 -> {38 36} [style=dotted];
|
|
||||||
36 -> {37} [style=dotted];
|
|
||||||
37 -> {38} [style=dotted];
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph foo {
|
|
||||||
39 [shape=box label="Enter function foo"];
|
|
||||||
40 [shape=box label="Enter block"];
|
|
||||||
41 [shape=box label="Const: Int(1)"];
|
|
||||||
42 [shape=box label="Const: Int(1)"];
|
|
||||||
43 [shape=box label="Function call: Int(1).R|kotlin/Int.plus|(Int(1))"];
|
|
||||||
44 [shape=box label="Variable declaration: lval c: R|kotlin/Int|"];
|
|
||||||
45 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
46 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
47 [shape=box label="Stub[DEAD]"];
|
|
||||||
48 [shape=box label="Exit block[DEAD]"];
|
|
||||||
49 [shape=box label="Exit function foo[DEAD]"];
|
|
||||||
|
|
||||||
39 -> {40};
|
|
||||||
40 -> {41};
|
|
||||||
41 -> {42};
|
|
||||||
42 -> {43};
|
|
||||||
43 -> {44};
|
|
||||||
44 -> {45};
|
|
||||||
45 -> {46};
|
|
||||||
46 -> {49 47} [style=dotted];
|
|
||||||
47 -> {48} [style=dotted];
|
|
||||||
48 -> {49} [style=dotted];
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph <getter> {
|
|
||||||
50 [shape=box label="Enter init block"];
|
|
||||||
51 [shape=box label="Enter block"];
|
|
||||||
52 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
53 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
|
||||||
54 [shape=box label="Stub[DEAD]"];
|
|
||||||
55 [shape=box label="Exit block[DEAD]"];
|
|
||||||
56 [shape=box label="Exit init block[DEAD]"];
|
|
||||||
57 [shape=box label="Enter function getter"];
|
|
||||||
58 [shape=box label="Enter block"];
|
|
||||||
59 [shape=box label="Exit block"];
|
|
||||||
60 [shape=box label="Exit function getter"];
|
|
||||||
|
|
||||||
50 -> {51};
|
|
||||||
51 -> {52};
|
|
||||||
52 -> {53};
|
|
||||||
53 -> {56 54} [style=dotted];
|
|
||||||
54 -> {55} [style=dotted];
|
|
||||||
55 -> {56} [style=dotted];
|
|
||||||
57 -> {58};
|
|
||||||
58 -> {59};
|
|
||||||
59 -> {60};
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph val_x3 {
|
|
||||||
61 [shape=box label="Enter property"];
|
|
||||||
62 [shape=box label="Function call: R|/run|(<L> = run@fun <anonymous>(): R|kotlin/Unit| {
|
|
||||||
local final fun foo(): R|kotlin/Unit| {
|
|
||||||
lval c: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
|
|
||||||
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
|
||||||
}
|
|
||||||
|
|
||||||
local final class LocalClass : R|kotlin/Any| {
|
|
||||||
public constructor(): R|LocalClass| {
|
|
||||||
super<R|kotlin/Any|>()
|
|
||||||
}
|
|
||||||
|
|
||||||
init {
|
|
||||||
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
|
||||||
Int(1)
|
|
||||||
}
|
|
||||||
|
|
||||||
}
|
|
||||||
|
|
||||||
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
|
||||||
}
|
|
||||||
)"];
|
|
||||||
63 [shape=box label="Exit property"];
|
|
||||||
|
|
||||||
61 -> {62};
|
|
||||||
62 -> {63};
|
|
||||||
}
|
|
||||||
|
|
||||||
subgraph val_x4 {
|
|
||||||
64 [shape=box label="Enter property"];
|
|
||||||
65 [shape=box label="Try expression enter"];
|
|
||||||
66 [shape=box label="Try main block enter"];
|
|
||||||
67 [shape=box label="Enter block"];
|
|
||||||
68 [shape=box label="Const: Int(1)"];
|
|
||||||
69 [shape=box label="Exit block"];
|
|
||||||
70 [shape=box label="Try main block exit"];
|
|
||||||
71 [shape=box label="Enter finally"];
|
|
||||||
72 [shape=box label="Enter block"];
|
|
||||||
73 [shape=box label="Const: Int(0)"];
|
|
||||||
74 [shape=box label="Exit block"];
|
|
||||||
75 [shape=box label="Exit finally"];
|
|
||||||
76 [shape=box label="Catch enter"];
|
|
||||||
77 [shape=box label="Enter block"];
|
|
||||||
78 [shape=box label="Const: Int(2)"];
|
|
||||||
79 [shape=box label="Exit block"];
|
|
||||||
80 [shape=box label="Catch exit"];
|
|
||||||
81 [shape=box label="Try expression exit"];
|
|
||||||
82 [shape=box label="Exit property"];
|
|
||||||
|
|
||||||
64 -> {65};
|
|
||||||
65 -> {66};
|
|
||||||
66 -> {82 76 71 67};
|
|
||||||
67 -> {68};
|
|
||||||
68 -> {69};
|
|
||||||
69 -> {70};
|
|
||||||
70 -> {81};
|
|
||||||
71 -> {72};
|
|
||||||
72 -> {73};
|
|
||||||
73 -> {74};
|
|
||||||
74 -> {75};
|
|
||||||
75 -> {81};
|
|
||||||
76 -> {82 77};
|
|
||||||
77 -> {78};
|
|
||||||
78 -> {79};
|
|
||||||
79 -> {80};
|
|
||||||
80 -> {81};
|
|
||||||
81 -> {82};
|
|
||||||
}
|
|
||||||
|
|
||||||
}
|
|
||||||
@@ -1,113 +0,0 @@
|
|||||||
0: Enter function "run" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|() -> 3 | <- 1
|
|
||||||
3: Exit block -> 4 | <- 2
|
|
||||||
4: Exit function "run" -> | <- 3
|
|
||||||
|
|
||||||
0: Enter property -> 1
|
|
||||||
1: Const: Int(1) -> 2 | <- 0
|
|
||||||
2: Exit property -> | <- 1
|
|
||||||
|
|
||||||
0: Enter function "getter" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Const: Int(1) -> 3 | <- 1
|
|
||||||
3: Jump: ^ Int(1) -> 4[DEAD], 6[DEAD] | <- 2
|
|
||||||
4: Stub[DEAD] -> 5 | <- 3
|
|
||||||
5: Exit block[DEAD] -> 6 | <- 4
|
|
||||||
6: Exit function "getter"[DEAD] -> | <- 3, 5
|
|
||||||
|
|
||||||
0: Enter function "setter" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Const: Int(1) -> 3 | <- 1
|
|
||||||
3: Assignmenet: F|/x2| -> 4 | <- 2
|
|
||||||
4: Exit block -> 5 | <- 3
|
|
||||||
5: Exit function "setter" -> | <- 4
|
|
||||||
|
|
||||||
0: Enter property -> 1
|
|
||||||
1: Const: Int(1) -> 2 | <- 0
|
|
||||||
2: Exit property -> | <- 1
|
|
||||||
|
|
||||||
0: Enter init block -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 3 | <- 1
|
|
||||||
3: Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 4[DEAD], 7[DEAD] | <- 2
|
|
||||||
4: Stub[DEAD] -> 5 | <- 3
|
|
||||||
5: Const: Int(1)[DEAD] -> 6 | <- 4
|
|
||||||
6: Exit block[DEAD] -> 7 | <- 5
|
|
||||||
7: Exit init block[DEAD] -> | <- 3, 6
|
|
||||||
8: Enter function "anonymousFunction" -> 9
|
|
||||||
9: Enter block -> 10 | <- 8
|
|
||||||
10: Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 11 | <- 9
|
|
||||||
11: Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 12[DEAD], 14[DEAD] | <- 10
|
|
||||||
12: Stub[DEAD] -> 13 | <- 11
|
|
||||||
13: Exit block[DEAD] -> 14 | <- 12
|
|
||||||
14: Exit function "anonymousFunction"[DEAD] -> | <- 11, 13
|
|
||||||
|
|
||||||
0: Enter function "foo" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Const: Int(1) -> 3 | <- 1
|
|
||||||
3: Const: Int(1) -> 4 | <- 2
|
|
||||||
4: Function call: Int(1).R|kotlin/Int.plus|(Int(1)) -> 5 | <- 3
|
|
||||||
5: Variable declaration: lval c: R|kotlin/Int| -> 6 | <- 4
|
|
||||||
6: Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 7 | <- 5
|
|
||||||
7: Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 8[DEAD], 10[DEAD] | <- 6
|
|
||||||
8: Stub[DEAD] -> 9 | <- 7
|
|
||||||
9: Exit block[DEAD] -> 10 | <- 8
|
|
||||||
10: Exit function "foo"[DEAD] -> | <- 7, 9
|
|
||||||
|
|
||||||
0: Enter init block -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 3 | <- 1
|
|
||||||
3: Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#() -> 4[DEAD], 6[DEAD] | <- 2
|
|
||||||
4: Stub[DEAD] -> 5 | <- 3
|
|
||||||
5: Exit block[DEAD] -> 6 | <- 4
|
|
||||||
6: Exit init block[DEAD] -> | <- 3, 5
|
|
||||||
7: Enter function "getter" -> 8
|
|
||||||
8: Enter block -> 9 | <- 7
|
|
||||||
9: Exit block -> 10 | <- 8
|
|
||||||
10: Exit function "getter" -> | <- 9
|
|
||||||
|
|
||||||
0: Enter property -> 1
|
|
||||||
1: Function call: R|/run|(<L> = run@fun <anonymous>(): R|kotlin/Unit| {
|
|
||||||
local final fun foo(): R|kotlin/Unit| {
|
|
||||||
lval c: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
|
|
||||||
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
|
||||||
}
|
|
||||||
|
|
||||||
local final class LocalClass : R|kotlin/Any| {
|
|
||||||
public constructor(): R|LocalClass| {
|
|
||||||
super<R|kotlin/Any|>()
|
|
||||||
}
|
|
||||||
|
|
||||||
init {
|
|
||||||
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
|
||||||
Int(1)
|
|
||||||
}
|
|
||||||
|
|
||||||
}
|
|
||||||
|
|
||||||
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
|
||||||
}
|
|
||||||
) -> 2 | <- 0
|
|
||||||
2: Exit property -> | <- 1
|
|
||||||
|
|
||||||
0: Enter property -> 1
|
|
||||||
1: Try expression enter -> 2 | <- 0
|
|
||||||
2: Try main block enter -> 3, 7, 12, 18 | <- 1
|
|
||||||
3: Enter block -> 4 | <- 2
|
|
||||||
4: Const: Int(1) -> 5 | <- 3
|
|
||||||
5: Exit block -> 6 | <- 4
|
|
||||||
6: Try main block exit -> 17 | <- 5
|
|
||||||
7: Enter finally -> 8 | <- 2
|
|
||||||
8: Enter block -> 9 | <- 7
|
|
||||||
9: Const: Int(0) -> 10 | <- 8
|
|
||||||
10: Exit block -> 11 | <- 9
|
|
||||||
11: Exit finally -> 17 | <- 10
|
|
||||||
12: Catch enter -> 13, 18 | <- 2
|
|
||||||
13: Enter block -> 14 | <- 12
|
|
||||||
14: Const: Int(2) -> 15 | <- 13
|
|
||||||
15: Exit block -> 16 | <- 14
|
|
||||||
16: Catch exit -> 17 | <- 15
|
|
||||||
17: Try expression exit -> 18 | <- 6, 11, 16
|
|
||||||
18: Exit property -> | <- 2, 12, 17
|
|
||||||
|
|
||||||
@@ -0,0 +1,227 @@
|
|||||||
|
digraph propertiesAndInitBlocks_kt {
|
||||||
|
subgraph run {
|
||||||
|
0 [shape=box label="Enter function run"];
|
||||||
|
1 [shape=box label="Enter block"];
|
||||||
|
2 [shape=box label="Function call: R|<local>/block|.R|FakeOverride<kotlin/Function0.invoke: R|kotlin/Unit|>|()"];
|
||||||
|
3 [shape=box label="Exit block"];
|
||||||
|
4 [shape=box label="Exit function run"];
|
||||||
|
|
||||||
|
0 -> {1};
|
||||||
|
1 -> {2};
|
||||||
|
2 -> {3};
|
||||||
|
3 -> {4};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph val_x1 {
|
||||||
|
5 [shape=box label="Enter property"];
|
||||||
|
6 [shape=box label="Const: Int(1)"];
|
||||||
|
7 [shape=box label="Exit property"];
|
||||||
|
|
||||||
|
5 -> {6};
|
||||||
|
6 -> {7};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph <getter> {
|
||||||
|
8 [shape=box label="Enter function getter"];
|
||||||
|
9 [shape=box label="Enter block"];
|
||||||
|
10 [shape=box label="Const: Int(1)"];
|
||||||
|
11 [shape=box label="Jump: ^ Int(1)"];
|
||||||
|
12 [shape=box label="Stub[DEAD]"];
|
||||||
|
13 [shape=box label="Exit block[DEAD]"];
|
||||||
|
14 [shape=box label="Exit function getter[DEAD]"];
|
||||||
|
|
||||||
|
8 -> {9};
|
||||||
|
9 -> {10};
|
||||||
|
10 -> {11};
|
||||||
|
11 -> {14 12} [style=dotted];
|
||||||
|
12 -> {13} [style=dotted];
|
||||||
|
13 -> {14} [style=dotted];
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph <setter> {
|
||||||
|
15 [shape=box label="Enter function setter"];
|
||||||
|
16 [shape=box label="Enter block"];
|
||||||
|
17 [shape=box label="Const: Int(1)"];
|
||||||
|
18 [shape=box label="Assignmenet: F|/x2|"];
|
||||||
|
19 [shape=box label="Exit block"];
|
||||||
|
20 [shape=box label="Exit function setter"];
|
||||||
|
|
||||||
|
15 -> {16};
|
||||||
|
16 -> {17};
|
||||||
|
17 -> {18};
|
||||||
|
18 -> {19};
|
||||||
|
19 -> {20};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph val_x2 {
|
||||||
|
21 [shape=box label="Enter property"];
|
||||||
|
22 [shape=box label="Const: Int(1)"];
|
||||||
|
23 [shape=box label="Exit property"];
|
||||||
|
|
||||||
|
21 -> {22};
|
||||||
|
22 -> {23};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph foo {
|
||||||
|
24 [shape=box label="Enter function foo"];
|
||||||
|
25 [shape=box label="Enter block"];
|
||||||
|
26 [shape=box label="Const: Int(1)"];
|
||||||
|
27 [shape=box label="Const: Int(1)"];
|
||||||
|
28 [shape=box label="Function call: Int(1).R|kotlin/Int.plus|(Int(1))"];
|
||||||
|
29 [shape=box label="Variable declaration: lval c: R|kotlin/Int|"];
|
||||||
|
30 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
31 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
32 [shape=box label="Stub[DEAD]"];
|
||||||
|
33 [shape=box label="Exit block[DEAD]"];
|
||||||
|
34 [shape=box label="Exit function foo[DEAD]"];
|
||||||
|
|
||||||
|
24 -> {25};
|
||||||
|
25 -> {26};
|
||||||
|
26 -> {27};
|
||||||
|
27 -> {28};
|
||||||
|
28 -> {29};
|
||||||
|
29 -> {30};
|
||||||
|
30 -> {31};
|
||||||
|
31 -> {34 32} [style=dotted];
|
||||||
|
32 -> {33} [style=dotted];
|
||||||
|
33 -> {34} [style=dotted];
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph <init> {
|
||||||
|
35 [shape=box label="Enter function <init>"];
|
||||||
|
36 [shape=box label="Exit function <init>"];
|
||||||
|
|
||||||
|
35 -> {36};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph <getter> {
|
||||||
|
37 [shape=box label="Enter init block"];
|
||||||
|
38 [shape=box label="Enter block"];
|
||||||
|
39 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
40 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
41 [shape=box label="Stub[DEAD]"];
|
||||||
|
42 [shape=box label="Exit block[DEAD]"];
|
||||||
|
43 [shape=box label="Exit init block[DEAD]"];
|
||||||
|
44 [shape=box label="Enter function getter"];
|
||||||
|
45 [shape=box label="Enter block"];
|
||||||
|
46 [shape=box label="Exit block"];
|
||||||
|
47 [shape=box label="Exit function getter"];
|
||||||
|
|
||||||
|
37 -> {38};
|
||||||
|
38 -> {39};
|
||||||
|
39 -> {40};
|
||||||
|
40 -> {43 41} [style=dotted];
|
||||||
|
41 -> {42} [style=dotted];
|
||||||
|
42 -> {43} [style=dotted];
|
||||||
|
44 -> {45};
|
||||||
|
45 -> {46};
|
||||||
|
46 -> {47};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph <init> {
|
||||||
|
48 [shape=box label="Enter function <init>"];
|
||||||
|
49 [shape=box label="Exit function <init>"];
|
||||||
|
|
||||||
|
48 -> {49};
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph val_x3 {
|
||||||
|
50 [shape=box label="Enter init block"];
|
||||||
|
51 [shape=box label="Enter block"];
|
||||||
|
52 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
53 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
54 [shape=box label="Stub[DEAD]"];
|
||||||
|
55 [shape=box label="Const: Int(1)[DEAD]"];
|
||||||
|
56 [shape=box label="Exit block[DEAD]"];
|
||||||
|
57 [shape=box label="Exit init block[DEAD]"];
|
||||||
|
58 [shape=box label="Enter property"];
|
||||||
|
59 [shape=box label="Enter function anonymousFunction"];
|
||||||
|
60 [shape=box label="Enter block"];
|
||||||
|
61 [shape=box label="Function call: <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
62 [shape=box label="Throw: throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()"];
|
||||||
|
63 [shape=box label="Stub[DEAD]"];
|
||||||
|
64 [shape=box label="Exit block[DEAD]"];
|
||||||
|
65 [shape=box label="Exit function anonymousFunction[DEAD]"];
|
||||||
|
66 [shape=box label="Function call: R|/run|(<L> = run@fun <anonymous>(): R|kotlin/Unit| <kind=EXACTLY_ONCE> {
|
||||||
|
local final fun foo(): R|kotlin/Unit| {
|
||||||
|
lval c: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
|
||||||
|
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
||||||
|
}
|
||||||
|
|
||||||
|
local final class LocalClass : R|kotlin/Any| {
|
||||||
|
public constructor(): R|LocalClass| {
|
||||||
|
super<R|kotlin/Any|>()
|
||||||
|
}
|
||||||
|
|
||||||
|
init {
|
||||||
|
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
||||||
|
Int(1)
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
throw <Ambiguity: Exception, [java/lang/Exception.Exception, java/lang/Exception.Exception]>#()
|
||||||
|
}
|
||||||
|
)[DEAD]"];
|
||||||
|
67 [shape=box label="Exit property[DEAD]"];
|
||||||
|
|
||||||
|
50 -> {51};
|
||||||
|
51 -> {52};
|
||||||
|
52 -> {53};
|
||||||
|
53 -> {57 54} [style=dotted];
|
||||||
|
54 -> {55} [style=dotted];
|
||||||
|
55 -> {56} [style=dotted];
|
||||||
|
56 -> {57} [style=dotted];
|
||||||
|
58 -> {59};
|
||||||
|
59 -> {60};
|
||||||
|
60 -> {61};
|
||||||
|
61 -> {62};
|
||||||
|
62 -> {65 63} [style=dotted];
|
||||||
|
63 -> {64} [style=dotted];
|
||||||
|
64 -> {65} [style=dotted];
|
||||||
|
65 -> {66} [style=dotted];
|
||||||
|
66 -> {67} [style=dotted];
|
||||||
|
}
|
||||||
|
|
||||||
|
subgraph val_x4 {
|
||||||
|
68 [shape=box label="Enter property"];
|
||||||
|
69 [shape=box label="Try expression enter"];
|
||||||
|
70 [shape=box label="Try main block enter"];
|
||||||
|
71 [shape=box label="Enter block"];
|
||||||
|
72 [shape=box label="Const: Int(1)"];
|
||||||
|
73 [shape=box label="Exit block"];
|
||||||
|
74 [shape=box label="Try main block exit"];
|
||||||
|
75 [shape=box label="Enter finally"];
|
||||||
|
76 [shape=box label="Enter block"];
|
||||||
|
77 [shape=box label="Const: Int(0)"];
|
||||||
|
78 [shape=box label="Exit block"];
|
||||||
|
79 [shape=box label="Exit finally"];
|
||||||
|
80 [shape=box label="Catch enter"];
|
||||||
|
81 [shape=box label="Enter block"];
|
||||||
|
82 [shape=box label="Const: Int(2)"];
|
||||||
|
83 [shape=box label="Exit block"];
|
||||||
|
84 [shape=box label="Catch exit"];
|
||||||
|
85 [shape=box label="Try expression exit"];
|
||||||
|
86 [shape=box label="Exit property"];
|
||||||
|
|
||||||
|
68 -> {69};
|
||||||
|
69 -> {70};
|
||||||
|
70 -> {86 80 75 71};
|
||||||
|
71 -> {72};
|
||||||
|
72 -> {73};
|
||||||
|
73 -> {74};
|
||||||
|
74 -> {85};
|
||||||
|
75 -> {76};
|
||||||
|
76 -> {77};
|
||||||
|
77 -> {78};
|
||||||
|
78 -> {79};
|
||||||
|
79 -> {85};
|
||||||
|
80 -> {86 81};
|
||||||
|
81 -> {82};
|
||||||
|
82 -> {83};
|
||||||
|
83 -> {84};
|
||||||
|
84 -> {85};
|
||||||
|
85 -> {86};
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
@@ -1,17 +0,0 @@
|
|||||||
0: Enter function "foo" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Exit block -> 3 | <- 1
|
|
||||||
3: Exit function "foo" -> | <- 2
|
|
||||||
|
|
||||||
0: Enter function "test" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Const: Int(1) -> 3 | <- 1
|
|
||||||
3: Variable declaration: lval x: R|kotlin/Int| -> 4 | <- 2
|
|
||||||
4: Access variable R|<local>/x| -> 5 | <- 3
|
|
||||||
5: Const: Int(1) -> 6 | <- 4
|
|
||||||
6: Function call: R|<local>/x|.R|kotlin/Int.plus|(Int(1)) -> 7 | <- 5
|
|
||||||
7: Variable declaration: lval y: R|kotlin/Int| -> 8 | <- 6
|
|
||||||
8: Function call: R|/foo|() -> 9 | <- 7
|
|
||||||
9: Exit block -> 10 | <- 8
|
|
||||||
10: Exit function "test" -> | <- 9
|
|
||||||
|
|
||||||
@@ -1,112 +0,0 @@
|
|||||||
0: Enter function "test_1" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Try expression enter -> 3 | <- 1
|
|
||||||
3: Try main block enter -> 4, 9, 15, 23 | <- 2
|
|
||||||
4: Enter block -> 5 | <- 3
|
|
||||||
5: Const: Int(1) -> 6 | <- 4
|
|
||||||
6: Variable declaration: lval x: R|kotlin/Int| -> 7 | <- 5
|
|
||||||
7: Exit block -> 8 | <- 6
|
|
||||||
8: Try main block exit -> 21 | <- 7
|
|
||||||
9: Catch enter -> 10, 23 | <- 3
|
|
||||||
10: Enter block -> 11 | <- 9
|
|
||||||
11: Const: Int(3) -> 12 | <- 10
|
|
||||||
12: Variable declaration: lval z: R|kotlin/Int| -> 13 | <- 11
|
|
||||||
13: Exit block -> 14 | <- 12
|
|
||||||
14: Catch exit -> 21 | <- 13
|
|
||||||
15: Catch enter -> 16, 23 | <- 3
|
|
||||||
16: Enter block -> 17 | <- 15
|
|
||||||
17: Const: Int(2) -> 18 | <- 16
|
|
||||||
18: Variable declaration: lval y: R|kotlin/Int| -> 19 | <- 17
|
|
||||||
19: Exit block -> 20 | <- 18
|
|
||||||
20: Catch exit -> 21 | <- 19
|
|
||||||
21: Try expression exit -> 22 | <- 8, 14, 20
|
|
||||||
22: Exit block -> 23 | <- 21
|
|
||||||
23: Exit function "test_1" -> | <- 3, 9, 15, 22
|
|
||||||
|
|
||||||
0: Enter function "test_2" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Try expression enter -> 3 | <- 1
|
|
||||||
3: Try main block enter -> 4, 8, 16 | <- 2
|
|
||||||
4: Enter block -> 5 | <- 3
|
|
||||||
5: Const: Int(1) -> 6 | <- 4
|
|
||||||
6: Exit block -> 7 | <- 5
|
|
||||||
7: Try main block exit -> 13 | <- 6
|
|
||||||
8: Catch enter -> 9, 16 | <- 3
|
|
||||||
9: Enter block -> 10 | <- 8
|
|
||||||
10: Const: Int(2) -> 11 | <- 9
|
|
||||||
11: Exit block -> 12 | <- 10
|
|
||||||
12: Catch exit -> 13 | <- 11
|
|
||||||
13: Try expression exit -> 14 | <- 7, 12
|
|
||||||
14: Variable declaration: lval x: R|kotlin/Int| -> 15 | <- 13
|
|
||||||
15: Exit block -> 16 | <- 14
|
|
||||||
16: Exit function "test_2" -> | <- 3, 8, 15
|
|
||||||
|
|
||||||
0: Enter function "test_3" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter while loop -> 3 | <- 1
|
|
||||||
3: Enter loop condition -> 4 | <- 2, 54, 62
|
|
||||||
4: Const: Boolean(true) -> 5 | <- 3
|
|
||||||
5: Exit loop condition -> 6, 63 | <- 4
|
|
||||||
6: Enter loop block -> 7 | <- 5
|
|
||||||
7: Enter block -> 8 | <- 6
|
|
||||||
8: Try expression enter -> 9 | <- 7
|
|
||||||
9: Try main block enter -> 10, 46, 52, 67 | <- 8
|
|
||||||
10: Enter block -> 11 | <- 9
|
|
||||||
11: Enter when -> 12 | <- 10
|
|
||||||
12: Enter when branch condition -> 13 | <- 11
|
|
||||||
13: Access variable R|<local>/b| -> 14 | <- 12
|
|
||||||
14: Exit when branch condition -> 15, 20 | <- 13
|
|
||||||
15: Enter block -> 16 | <- 14
|
|
||||||
16: Jump: ^test_3 Unit -> 17[DEAD], 67 | <- 15
|
|
||||||
17: Stub[DEAD] -> 18 | <- 16
|
|
||||||
18: Exit block[DEAD] -> 19 | <- 17
|
|
||||||
19: Exit when branch result[DEAD] -> 25 | <- 18
|
|
||||||
20: Enter when branch condition "else" -> 21 | <- 14
|
|
||||||
21: Exit when branch condition -> 22 | <- 20
|
|
||||||
22: Enter block -> 23 | <- 21
|
|
||||||
23: Exit block -> 24 | <- 22
|
|
||||||
24: Exit when branch result -> 25 | <- 23
|
|
||||||
25: Exit when -> 26 | <- 19[DEAD], 24
|
|
||||||
26: Const: Int(1) -> 27 | <- 25
|
|
||||||
27: Variable declaration: lval x: R|kotlin/Int| -> 28 | <- 26
|
|
||||||
28: Enter when -> 29 | <- 27
|
|
||||||
29: Enter when branch condition -> 30 | <- 28
|
|
||||||
30: Access variable R|<local>/b| -> 31 | <- 29
|
|
||||||
31: Function call: R|<local>/b|.R|kotlin/Boolean.not|() -> 32 | <- 30
|
|
||||||
32: Exit when branch condition -> 33, 38 | <- 31
|
|
||||||
33: Enter block -> 34 | <- 32
|
|
||||||
34: Jump: break@@@[Boolean(true)] -> 35[DEAD], 63 | <- 33
|
|
||||||
35: Stub[DEAD] -> 36 | <- 34
|
|
||||||
36: Exit block[DEAD] -> 37 | <- 35
|
|
||||||
37: Exit when branch result[DEAD] -> 43 | <- 36
|
|
||||||
38: Enter when branch condition "else" -> 39 | <- 32
|
|
||||||
39: Exit when branch condition -> 40 | <- 38
|
|
||||||
40: Enter block -> 41 | <- 39
|
|
||||||
41: Exit block -> 42 | <- 40
|
|
||||||
42: Exit when branch result -> 43 | <- 41
|
|
||||||
43: Exit when -> 44 | <- 37[DEAD], 42
|
|
||||||
44: Exit block -> 45 | <- 43
|
|
||||||
45: Try main block exit -> 58 | <- 44
|
|
||||||
46: Catch enter -> 47, 67 | <- 9
|
|
||||||
47: Enter block -> 48 | <- 46
|
|
||||||
48: Jump: break@@@[Boolean(true)] -> 49[DEAD], 63 | <- 47
|
|
||||||
49: Stub[DEAD] -> 50 | <- 48
|
|
||||||
50: Exit block[DEAD] -> 51 | <- 49
|
|
||||||
51: Catch exit[DEAD] -> 58 | <- 50
|
|
||||||
52: Catch enter -> 53, 67 | <- 9
|
|
||||||
53: Enter block -> 54 | <- 52
|
|
||||||
54: Jump: continue@@@[Boolean(true)] -> 3, 55[DEAD] | <- 53
|
|
||||||
55: Stub[DEAD] -> 56 | <- 54
|
|
||||||
56: Exit block[DEAD] -> 57 | <- 55
|
|
||||||
57: Catch exit[DEAD] -> 58 | <- 56
|
|
||||||
58: Try expression exit -> 59 | <- 45, 51[DEAD], 57[DEAD]
|
|
||||||
59: Const: Int(2) -> 60 | <- 58
|
|
||||||
60: Variable declaration: lval y: R|kotlin/Int| -> 61 | <- 59
|
|
||||||
61: Exit block -> 62 | <- 60
|
|
||||||
62: Exit loop block -> 3 | <- 61
|
|
||||||
63: Exit whileloop -> 64 | <- 5, 34, 48
|
|
||||||
64: Const: Int(3) -> 65 | <- 63
|
|
||||||
65: Variable declaration: lval z: R|kotlin/Int| -> 66 | <- 64
|
|
||||||
66: Exit block -> 67 | <- 65
|
|
||||||
67: Exit function "test_3" -> | <- 9, 16, 46, 52, 66
|
|
||||||
|
|
||||||
@@ -1,71 +0,0 @@
|
|||||||
0: Enter function "test_1" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Access variable R|<local>/x| -> 5 | <- 3
|
|
||||||
5: Const: Int(1) -> 6 | <- 4
|
|
||||||
6: Operator == -> 7 | <- 5
|
|
||||||
7: Exit when branch condition -> 8, 12 | <- 6
|
|
||||||
8: Enter block -> 9 | <- 7
|
|
||||||
9: Const: Int(10) -> 10 | <- 8
|
|
||||||
10: Exit block -> 11 | <- 9
|
|
||||||
11: Exit when branch result -> 41 | <- 10
|
|
||||||
12: Enter when branch condition -> 13 | <- 7
|
|
||||||
13: Access variable R|<local>/x| -> 14 | <- 12
|
|
||||||
14: Const: Int(2) -> 15 | <- 13
|
|
||||||
15: Function call: R|<local>/x|.R|kotlin/Int.rem|(Int(2)) -> 16 | <- 14
|
|
||||||
16: Const: Int(0) -> 17 | <- 15
|
|
||||||
17: Operator == -> 18 | <- 16
|
|
||||||
18: Exit when branch condition -> 19, 23 | <- 17
|
|
||||||
19: Enter block -> 20 | <- 18
|
|
||||||
20: Const: Int(20) -> 21 | <- 19
|
|
||||||
21: Exit block -> 22 | <- 20
|
|
||||||
22: Exit when branch result -> 41 | <- 21
|
|
||||||
23: Enter when branch condition -> 24 | <- 18
|
|
||||||
24: Const: Int(1) -> 25 | <- 23
|
|
||||||
25: Const: Int(1) -> 26 | <- 24
|
|
||||||
26: Function call: Int(1).R|kotlin/Int.minus|(Int(1)) -> 27 | <- 25
|
|
||||||
27: Const: Int(0) -> 28 | <- 26
|
|
||||||
28: Operator == -> 29 | <- 27
|
|
||||||
29: Exit when branch condition -> 30, 35 | <- 28
|
|
||||||
30: Enter block -> 31 | <- 29
|
|
||||||
31: Jump: ^test_1 Unit -> 32[DEAD], 44 | <- 30
|
|
||||||
32: Stub[DEAD] -> 33 | <- 31
|
|
||||||
33: Exit block[DEAD] -> 34 | <- 32
|
|
||||||
34: Exit when branch result[DEAD] -> 41 | <- 33
|
|
||||||
35: Enter when branch condition "else" -> 36 | <- 29
|
|
||||||
36: Exit when branch condition -> 37 | <- 35
|
|
||||||
37: Enter block -> 38 | <- 36
|
|
||||||
38: Const: Int(5) -> 39 | <- 37
|
|
||||||
39: Exit block -> 40 | <- 38
|
|
||||||
40: Exit when branch result -> 41 | <- 39
|
|
||||||
41: Exit when -> 42 | <- 11, 22, 34[DEAD], 40
|
|
||||||
42: Variable declaration: lval y: R|kotlin/Int| -> 43 | <- 41
|
|
||||||
43: Exit block -> 44 | <- 42
|
|
||||||
44: Exit function "test_1" -> | <- 31, 43
|
|
||||||
|
|
||||||
0: Enter function "test_2" -> 1
|
|
||||||
1: Enter block -> 2 | <- 0
|
|
||||||
2: Enter when -> 3 | <- 1
|
|
||||||
3: Enter when branch condition -> 4 | <- 2
|
|
||||||
4: Enter && -> 5 | <- 3
|
|
||||||
5: Access variable R|<local>/x| -> 6 | <- 4
|
|
||||||
6: Type operator: "x is A" -> 7, 9 | <- 5
|
|
||||||
7: Access variable R|<local>/x| -> 8 | <- 6
|
|
||||||
8: Type operator: "x is B" -> 9 | <- 7
|
|
||||||
9: Exit && -> 10 | <- 6, 8
|
|
||||||
10: Exit when branch condition -> 11, 16 | <- 9
|
|
||||||
11: Enter block -> 12 | <- 10
|
|
||||||
12: Access variable R|<local>/x| -> 13 | <- 11
|
|
||||||
13: Type operator: "x is A" -> 14 | <- 12
|
|
||||||
14: Exit block -> 15 | <- 13
|
|
||||||
15: Exit when branch result -> 21 | <- 14
|
|
||||||
16: Enter when branch condition "else" -> 17 | <- 10
|
|
||||||
17: Exit when branch condition -> 18 | <- 16
|
|
||||||
18: Enter block -> 19 | <- 17
|
|
||||||
19: Exit block -> 20 | <- 18
|
|
||||||
20: Exit when branch result -> 21 | <- 19
|
|
||||||
21: Exit when -> 22 | <- 15, 20
|
|
||||||
22: Exit block -> 23 | <- 21
|
|
||||||
23: Exit function "test_2" -> | <- 22
|
|
||||||
|
|
||||||
@@ -31,7 +31,7 @@ abstract class AbstractFirCfgBuildingTest : AbstractFirResolveTestCase() {
|
|||||||
firFiles.first().accept(FirControlFlowGraphRenderVisitor(simpleBuilder, dotBuilder), null)
|
firFiles.first().accept(FirControlFlowGraphRenderVisitor(simpleBuilder, dotBuilder), null)
|
||||||
|
|
||||||
val dotCfgDump = dotBuilder.toString()
|
val dotCfgDump = dotBuilder.toString()
|
||||||
val dotExpectedPath = path.replace(".kt", ".cfg.dot")
|
val dotExpectedPath = path.replace(".kt", ".dot")
|
||||||
KotlinTestUtils.assertEqualsToFile(File(dotExpectedPath), dotCfgDump)
|
KotlinTestUtils.assertEqualsToFile(File(dotExpectedPath), dotCfgDump)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user