Brian Norman
b2041e0927
There are many complications with the current design of passing data from within in-place lambdas to surrounding code. Solving these complications will involve more time to investigation than is available within the K2 release. So we are disabling passing type statement information from lambdas for the time being until more time can be devoted to a more complete solution. ^KT-60958 Fixed ^KT-63530 Fixed
1078 lines
47 KiB
Plaintext
Vendored
1078 lines
47 KiB
Plaintext
Vendored
digraph castInTryWithJump_fir_kt {
|
|
graph [nodesep=3]
|
|
node [shape=box penwidth=2]
|
|
edge [penwidth=2]
|
|
|
|
subgraph cluster_0 {
|
|
color=red
|
|
0 [label="Enter file castInTryWithJump.fir.kt" style="filled" fillcolor=red];
|
|
1 [label="Exit file castInTryWithJump.fir.kt" style="filled" fillcolor=red];
|
|
}
|
|
0 -> {1} [color=green];
|
|
|
|
subgraph cluster_1 {
|
|
color=red
|
|
2 [label="Enter class A" style="filled" fillcolor=red];
|
|
3 [label="Exit class A" style="filled" fillcolor=red];
|
|
}
|
|
2 -> {3} [color=green];
|
|
|
|
subgraph cluster_2 {
|
|
color=red
|
|
4 [label="Enter function aaa" style="filled" fillcolor=red];
|
|
5 [label="Exit function aaa" style="filled" fillcolor=red];
|
|
}
|
|
4 -> {5};
|
|
|
|
subgraph cluster_3 {
|
|
color=red
|
|
6 [label="Enter class B" style="filled" fillcolor=red];
|
|
7 [label="Exit class B" style="filled" fillcolor=red];
|
|
}
|
|
6 -> {7} [color=green];
|
|
|
|
subgraph cluster_4 {
|
|
color=red
|
|
8 [label="Enter function bbb" style="filled" fillcolor=red];
|
|
9 [label="Exit function bbb" style="filled" fillcolor=red];
|
|
}
|
|
8 -> {9};
|
|
|
|
subgraph cluster_5 {
|
|
color=red
|
|
10 [label="Enter class C" style="filled" fillcolor=red];
|
|
11 [label="Exit class C" style="filled" fillcolor=red];
|
|
}
|
|
10 -> {11} [color=green];
|
|
|
|
subgraph cluster_6 {
|
|
color=red
|
|
12 [label="Enter function ccc" style="filled" fillcolor=red];
|
|
13 [label="Exit function ccc" style="filled" fillcolor=red];
|
|
}
|
|
12 -> {13};
|
|
|
|
subgraph cluster_7 {
|
|
color=red
|
|
14 [label="Enter function breakInTry_withNestedFinally" style="filled" fillcolor=red];
|
|
subgraph cluster_8 {
|
|
color=blue
|
|
15 [label="Enter block"];
|
|
16 [label="Const: Null(null)"];
|
|
17 [label="Variable declaration: lvar x: R|kotlin/Any?|"];
|
|
subgraph cluster_9 {
|
|
color=blue
|
|
18 [label="Enter while loop"];
|
|
subgraph cluster_10 {
|
|
color=blue
|
|
19 [label="Enter loop condition"];
|
|
20 [label="Const: Boolean(true)"];
|
|
21 [label="Exit loop condition"];
|
|
}
|
|
subgraph cluster_11 {
|
|
color=blue
|
|
22 [label="Enter loop block"];
|
|
subgraph cluster_12 {
|
|
color=blue
|
|
23 [label="Enter block"];
|
|
subgraph cluster_13 {
|
|
color=blue
|
|
24 [label="Try expression enter"];
|
|
subgraph cluster_14 {
|
|
color=blue
|
|
25 [label="Try main block enter"];
|
|
subgraph cluster_15 {
|
|
color=blue
|
|
26 [label="Enter block"];
|
|
27 [label="Access variable R|<local>/x|"];
|
|
28 [label="Type operator: (R|<local>/x| as R|A|)"];
|
|
29 [label="Jump: break@@@[Boolean(true)] "];
|
|
30 [label="Stub" style="filled" fillcolor=gray];
|
|
31 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
32 [label="Try main block exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_16 {
|
|
color=blue
|
|
33 [label="Enter finally"];
|
|
subgraph cluster_17 {
|
|
color=blue
|
|
34 [label="Enter block"];
|
|
subgraph cluster_18 {
|
|
color=blue
|
|
35 [label="Try expression enter"];
|
|
subgraph cluster_19 {
|
|
color=blue
|
|
36 [label="Try main block enter"];
|
|
subgraph cluster_20 {
|
|
color=blue
|
|
37 [label="Enter block"];
|
|
38 [label="Access variable R|<local>/x|"];
|
|
39 [label="Type operator: (R|<local>/x| as R|B|)"];
|
|
40 [label="Exit block"];
|
|
}
|
|
41 [label="Try main block exit"];
|
|
}
|
|
subgraph cluster_21 {
|
|
color=blue
|
|
42 [label="Enter finally"];
|
|
subgraph cluster_22 {
|
|
color=blue
|
|
43 [label="Enter block"];
|
|
subgraph cluster_23 {
|
|
color=blue
|
|
44 [label="Function call arguments enter"];
|
|
45 [label="Access variable R|<local>/x|"];
|
|
46 [label="Function call arguments exit"];
|
|
}
|
|
47 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_24 {
|
|
color=blue
|
|
48 [label="Function call arguments enter"];
|
|
49 [label="Access variable R|<local>/x|"];
|
|
50 [label="Function call arguments exit"];
|
|
}
|
|
51 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
52 [label="Exit block"];
|
|
}
|
|
53 [label="Exit finally"];
|
|
}
|
|
54 [label="Try expression exit"];
|
|
}
|
|
subgraph cluster_25 {
|
|
color=blue
|
|
55 [label="Function call arguments enter"];
|
|
56 [label="Access variable R|<local>/x|"];
|
|
57 [label="Smart cast: R|<local>/x|"];
|
|
58 [label="Function call arguments exit"];
|
|
}
|
|
59 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_26 {
|
|
color=blue
|
|
60 [label="Function call arguments enter"];
|
|
61 [label="Access variable R|<local>/x|"];
|
|
62 [label="Smart cast: R|<local>/x|"];
|
|
63 [label="Function call arguments exit"];
|
|
}
|
|
64 [label="Function call: R|<local>/x|.R|/B.bbb|()" style="filled" fillcolor=yellow];
|
|
65 [label="Exit block"];
|
|
}
|
|
66 [label="Exit finally"];
|
|
}
|
|
67 [label="Try expression exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_27 {
|
|
color=blue
|
|
68 [label="Function call arguments enter" style="filled" fillcolor=gray];
|
|
69 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
|
|
70 [label="Smart cast: R|<local>/x|" style="filled" fillcolor=gray];
|
|
71 [label="Function call arguments exit" style="filled" fillcolor=gray];
|
|
}
|
|
72 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=gray];
|
|
subgraph cluster_28 {
|
|
color=blue
|
|
73 [label="Function call arguments enter" style="filled" fillcolor=gray];
|
|
74 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
|
|
75 [label="Smart cast: R|<local>/x|" style="filled" fillcolor=gray];
|
|
76 [label="Function call arguments exit" style="filled" fillcolor=gray];
|
|
}
|
|
77 [label="Function call: R|<local>/x|.R|/B.bbb|()" style="filled" fillcolor=gray];
|
|
78 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
79 [label="Exit loop block" style="filled" fillcolor=gray];
|
|
}
|
|
80 [label="Exit while loop"];
|
|
}
|
|
subgraph cluster_29 {
|
|
color=blue
|
|
81 [label="Function call arguments enter"];
|
|
82 [label="Access variable R|<local>/x|"];
|
|
83 [label="Smart cast: R|<local>/x|"];
|
|
84 [label="Function call arguments exit"];
|
|
}
|
|
85 [label="Function call: R|<local>/x|.R|/A.aaa|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_30 {
|
|
color=blue
|
|
86 [label="Function call arguments enter"];
|
|
87 [label="Access variable R|<local>/x|"];
|
|
88 [label="Smart cast: R|<local>/x|"];
|
|
89 [label="Function call arguments exit"];
|
|
}
|
|
90 [label="Function call: R|<local>/x|.R|/B.bbb|()" style="filled" fillcolor=yellow];
|
|
91 [label="Exit block"];
|
|
}
|
|
92 [label="Exit function breakInTry_withNestedFinally" style="filled" fillcolor=red];
|
|
}
|
|
14 -> {15};
|
|
15 -> {16};
|
|
16 -> {17};
|
|
17 -> {18};
|
|
18 -> {19};
|
|
19 -> {20};
|
|
20 -> {21};
|
|
21 -> {22};
|
|
21 -> {80} [style=dotted];
|
|
22 -> {23};
|
|
23 -> {24};
|
|
24 -> {25};
|
|
24 -> {33} [label="onUncaughtException"];
|
|
25 -> {26};
|
|
26 -> {27};
|
|
27 -> {28};
|
|
28 -> {29};
|
|
29 -> {33} [label="break"];
|
|
29 -> {30} [style=dotted];
|
|
30 -> {31} [style=dotted];
|
|
31 -> {32} [style=dotted];
|
|
32 -> {33} [style=dotted];
|
|
33 -> {34};
|
|
34 -> {35};
|
|
35 -> {36};
|
|
35 -> {42} [label="onUncaughtException"];
|
|
36 -> {37};
|
|
37 -> {38};
|
|
38 -> {39};
|
|
39 -> {40};
|
|
40 -> {41};
|
|
41 -> {42};
|
|
42 -> {43};
|
|
43 -> {44};
|
|
44 -> {45};
|
|
45 -> {46};
|
|
46 -> {47};
|
|
47 -> {48};
|
|
48 -> {49};
|
|
49 -> {50};
|
|
50 -> {51};
|
|
51 -> {52};
|
|
52 -> {53};
|
|
53 -> {54};
|
|
54 -> {55};
|
|
55 -> {56};
|
|
56 -> {57};
|
|
57 -> {58};
|
|
58 -> {59};
|
|
59 -> {60};
|
|
60 -> {61};
|
|
61 -> {62};
|
|
62 -> {63};
|
|
63 -> {64};
|
|
64 -> {65};
|
|
65 -> {66};
|
|
66 -> {80} [label="break"];
|
|
66 -> {67} [style=dotted];
|
|
67 -> {68} [style=dotted];
|
|
68 -> {69} [style=dotted];
|
|
69 -> {70} [style=dotted];
|
|
70 -> {71} [style=dotted];
|
|
71 -> {72} [style=dotted];
|
|
72 -> {73} [style=dotted];
|
|
73 -> {74} [style=dotted];
|
|
74 -> {75} [style=dotted];
|
|
75 -> {76} [style=dotted];
|
|
76 -> {77} [style=dotted];
|
|
77 -> {78} [style=dotted];
|
|
78 -> {79} [style=dotted];
|
|
79 -> {19} [color=green style=dotted];
|
|
80 -> {81};
|
|
81 -> {82};
|
|
82 -> {83};
|
|
83 -> {84};
|
|
84 -> {85};
|
|
85 -> {86};
|
|
86 -> {87};
|
|
87 -> {88};
|
|
88 -> {89};
|
|
89 -> {90};
|
|
90 -> {91};
|
|
91 -> {92};
|
|
|
|
subgraph cluster_31 {
|
|
color=red
|
|
93 [label="Enter function returnInCatch" style="filled" fillcolor=red];
|
|
subgraph cluster_32 {
|
|
color=blue
|
|
94 [label="Enter block"];
|
|
95 [label="Const: Null(null)"];
|
|
96 [label="Variable declaration: lvar x: R|kotlin/Any?|"];
|
|
subgraph cluster_33 {
|
|
color=blue
|
|
97 [label="Try expression enter"];
|
|
subgraph cluster_34 {
|
|
color=blue
|
|
98 [label="Try main block enter"];
|
|
subgraph cluster_35 {
|
|
color=blue
|
|
99 [label="Enter block"];
|
|
100 [label="Access variable R|<local>/x|"];
|
|
101 [label="Type operator: (R|<local>/x| as R|A|)"];
|
|
102 [label="Exit block"];
|
|
}
|
|
103 [label="Try main block exit"];
|
|
}
|
|
subgraph cluster_36 {
|
|
color=blue
|
|
104 [label="Catch enter"];
|
|
105 [label="Variable declaration: e: R|kotlin/Exception|"];
|
|
subgraph cluster_37 {
|
|
color=blue
|
|
106 [label="Enter block"];
|
|
107 [label="Access variable R|<local>/x|"];
|
|
108 [label="Type operator: (R|<local>/x| as R|B|)"];
|
|
109 [label="Jump: ^returnInCatch Unit"];
|
|
110 [label="Stub" style="filled" fillcolor=gray];
|
|
111 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
112 [label="Catch exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_38 {
|
|
color=blue
|
|
113 [label="Enter finally"];
|
|
subgraph cluster_39 {
|
|
color=blue
|
|
114 [label="Enter block"];
|
|
subgraph cluster_40 {
|
|
color=blue
|
|
115 [label="Function call arguments enter"];
|
|
116 [label="Access variable R|<local>/x|"];
|
|
117 [label="Function call arguments exit"];
|
|
}
|
|
118 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_41 {
|
|
color=blue
|
|
119 [label="Function call arguments enter"];
|
|
120 [label="Access variable R|<local>/x|"];
|
|
121 [label="Function call arguments exit"];
|
|
}
|
|
122 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
123 [label="Exit block"];
|
|
}
|
|
124 [label="Exit finally"];
|
|
}
|
|
125 [label="Try expression exit"];
|
|
}
|
|
subgraph cluster_42 {
|
|
color=blue
|
|
126 [label="Function call arguments enter"];
|
|
127 [label="Access variable R|<local>/x|"];
|
|
128 [label="Smart cast: R|<local>/x|"];
|
|
129 [label="Function call arguments exit"];
|
|
}
|
|
130 [label="Function call: R|<local>/x|.R|/A.aaa|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_43 {
|
|
color=blue
|
|
131 [label="Function call arguments enter"];
|
|
132 [label="Access variable R|<local>/x|"];
|
|
133 [label="Smart cast: R|<local>/x|"];
|
|
134 [label="Function call arguments exit"];
|
|
}
|
|
135 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
136 [label="Exit block"];
|
|
}
|
|
137 [label="Exit function returnInCatch" style="filled" fillcolor=red];
|
|
}
|
|
93 -> {94};
|
|
94 -> {95};
|
|
95 -> {96};
|
|
96 -> {97};
|
|
97 -> {98 104};
|
|
97 -> {113} [label="onUncaughtException"];
|
|
98 -> {99};
|
|
99 -> {100};
|
|
100 -> {101};
|
|
101 -> {102};
|
|
102 -> {103};
|
|
103 -> {104 113};
|
|
104 -> {105};
|
|
104 -> {113} [label="onUncaughtException"];
|
|
105 -> {106};
|
|
106 -> {107};
|
|
107 -> {108};
|
|
108 -> {109};
|
|
109 -> {113} [label="return@/returnInCatch"];
|
|
109 -> {110} [style=dotted];
|
|
110 -> {111} [style=dotted];
|
|
111 -> {112} [style=dotted];
|
|
112 -> {113} [style=dotted];
|
|
113 -> {114};
|
|
114 -> {115};
|
|
115 -> {116};
|
|
116 -> {117};
|
|
117 -> {118};
|
|
118 -> {119};
|
|
119 -> {120};
|
|
120 -> {121};
|
|
121 -> {122};
|
|
122 -> {123};
|
|
123 -> {124};
|
|
124 -> {125};
|
|
124 -> {137} [label="return@/returnInCatch"];
|
|
125 -> {126};
|
|
126 -> {127};
|
|
127 -> {128};
|
|
128 -> {129};
|
|
129 -> {130};
|
|
130 -> {131};
|
|
131 -> {132};
|
|
132 -> {133};
|
|
133 -> {134};
|
|
134 -> {135};
|
|
135 -> {136};
|
|
136 -> {137};
|
|
|
|
subgraph cluster_44 {
|
|
color=red
|
|
138 [label="Enter function returnInCatch_insideFinally" style="filled" fillcolor=red];
|
|
subgraph cluster_45 {
|
|
color=blue
|
|
139 [label="Enter block"];
|
|
140 [label="Const: Null(null)"];
|
|
141 [label="Variable declaration: lvar x: R|kotlin/Any?|"];
|
|
subgraph cluster_46 {
|
|
color=blue
|
|
142 [label="Try expression enter"];
|
|
subgraph cluster_47 {
|
|
color=blue
|
|
143 [label="Try main block enter"];
|
|
subgraph cluster_48 {
|
|
color=blue
|
|
144 [label="Enter block"];
|
|
145 [label="Access variable R|<local>/x|"];
|
|
146 [label="Type operator: (R|<local>/x| as R|C|)"];
|
|
147 [label="Exit block"];
|
|
}
|
|
148 [label="Try main block exit"];
|
|
}
|
|
subgraph cluster_49 {
|
|
color=blue
|
|
149 [label="Enter finally"];
|
|
subgraph cluster_50 {
|
|
color=blue
|
|
150 [label="Enter block"];
|
|
subgraph cluster_51 {
|
|
color=blue
|
|
151 [label="Try expression enter"];
|
|
subgraph cluster_52 {
|
|
color=blue
|
|
152 [label="Try main block enter"];
|
|
subgraph cluster_53 {
|
|
color=blue
|
|
153 [label="Enter block"];
|
|
154 [label="Access variable R|<local>/x|"];
|
|
155 [label="Type operator: (R|<local>/x| as R|A|)"];
|
|
156 [label="Exit block"];
|
|
}
|
|
157 [label="Try main block exit"];
|
|
}
|
|
subgraph cluster_54 {
|
|
color=blue
|
|
158 [label="Catch enter"];
|
|
159 [label="Variable declaration: e: R|kotlin/Exception|"];
|
|
subgraph cluster_55 {
|
|
color=blue
|
|
160 [label="Enter block"];
|
|
161 [label="Access variable R|<local>/x|"];
|
|
162 [label="Type operator: (R|<local>/x| as R|B|)"];
|
|
163 [label="Jump: ^returnInCatch_insideFinally Unit"];
|
|
164 [label="Stub" style="filled" fillcolor=gray];
|
|
165 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
166 [label="Catch exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_56 {
|
|
color=blue
|
|
167 [label="Enter finally"];
|
|
subgraph cluster_57 {
|
|
color=blue
|
|
168 [label="Enter block"];
|
|
subgraph cluster_58 {
|
|
color=blue
|
|
169 [label="Function call arguments enter"];
|
|
170 [label="Access variable R|<local>/x|"];
|
|
171 [label="Function call arguments exit"];
|
|
}
|
|
172 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_59 {
|
|
color=blue
|
|
173 [label="Function call arguments enter"];
|
|
174 [label="Access variable R|<local>/x|"];
|
|
175 [label="Function call arguments exit"];
|
|
}
|
|
176 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_60 {
|
|
color=blue
|
|
177 [label="Function call arguments enter"];
|
|
178 [label="Access variable R|<local>/x|"];
|
|
179 [label="Function call arguments exit"];
|
|
}
|
|
180 [label="Function call: R|<local>/x|.<Unresolved name: ccc>#()" style="filled" fillcolor=yellow];
|
|
181 [label="Exit block"];
|
|
}
|
|
182 [label="Exit finally"];
|
|
}
|
|
183 [label="Try expression exit"];
|
|
}
|
|
subgraph cluster_61 {
|
|
color=blue
|
|
184 [label="Function call arguments enter"];
|
|
185 [label="Access variable R|<local>/x|"];
|
|
186 [label="Smart cast: R|<local>/x|"];
|
|
187 [label="Function call arguments exit"];
|
|
}
|
|
188 [label="Function call: R|<local>/x|.R|/A.aaa|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_62 {
|
|
color=blue
|
|
189 [label="Function call arguments enter"];
|
|
190 [label="Access variable R|<local>/x|"];
|
|
191 [label="Smart cast: R|<local>/x|"];
|
|
192 [label="Function call arguments exit"];
|
|
}
|
|
193 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_63 {
|
|
color=blue
|
|
194 [label="Function call arguments enter"];
|
|
195 [label="Access variable R|<local>/x|"];
|
|
196 [label="Smart cast: R|<local>/x|"];
|
|
197 [label="Function call arguments exit"];
|
|
}
|
|
198 [label="Function call: R|<local>/x|.<Unresolved name: ccc>#()" style="filled" fillcolor=yellow];
|
|
199 [label="Exit block"];
|
|
}
|
|
200 [label="Exit finally"];
|
|
}
|
|
201 [label="Try expression exit"];
|
|
}
|
|
subgraph cluster_64 {
|
|
color=blue
|
|
202 [label="Function call arguments enter"];
|
|
203 [label="Access variable R|<local>/x|"];
|
|
204 [label="Smart cast: R|<local>/x|"];
|
|
205 [label="Function call arguments exit"];
|
|
}
|
|
206 [label="Function call: R|<local>/x|.R|/A.aaa|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_65 {
|
|
color=blue
|
|
207 [label="Function call arguments enter"];
|
|
208 [label="Access variable R|<local>/x|"];
|
|
209 [label="Smart cast: R|<local>/x|"];
|
|
210 [label="Function call arguments exit"];
|
|
}
|
|
211 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_66 {
|
|
color=blue
|
|
212 [label="Function call arguments enter"];
|
|
213 [label="Access variable R|<local>/x|"];
|
|
214 [label="Smart cast: R|<local>/x|"];
|
|
215 [label="Function call arguments exit"];
|
|
}
|
|
216 [label="Function call: R|<local>/x|.R|/C.ccc|()" style="filled" fillcolor=yellow];
|
|
217 [label="Exit block"];
|
|
}
|
|
218 [label="Exit function returnInCatch_insideFinally" style="filled" fillcolor=red];
|
|
}
|
|
138 -> {139};
|
|
139 -> {140};
|
|
140 -> {141};
|
|
141 -> {142};
|
|
142 -> {143};
|
|
142 -> {149} [label="onUncaughtException"];
|
|
143 -> {144};
|
|
144 -> {145};
|
|
145 -> {146};
|
|
146 -> {147};
|
|
147 -> {148};
|
|
148 -> {149};
|
|
149 -> {150};
|
|
150 -> {151};
|
|
151 -> {152 158};
|
|
151 -> {167} [label="onUncaughtException"];
|
|
152 -> {153};
|
|
153 -> {154};
|
|
154 -> {155};
|
|
155 -> {156};
|
|
156 -> {157};
|
|
157 -> {158 167};
|
|
158 -> {159};
|
|
158 -> {167} [label="onUncaughtException"];
|
|
159 -> {160};
|
|
160 -> {161};
|
|
161 -> {162};
|
|
162 -> {163};
|
|
163 -> {167} [label="return@/returnInCatch_insideFinally"];
|
|
163 -> {164} [style=dotted];
|
|
164 -> {165} [style=dotted];
|
|
165 -> {166} [style=dotted];
|
|
166 -> {167} [style=dotted];
|
|
167 -> {168};
|
|
168 -> {169};
|
|
169 -> {170};
|
|
170 -> {171};
|
|
171 -> {172};
|
|
172 -> {173};
|
|
173 -> {174};
|
|
174 -> {175};
|
|
175 -> {176};
|
|
176 -> {177};
|
|
177 -> {178};
|
|
178 -> {179};
|
|
179 -> {180};
|
|
180 -> {181};
|
|
181 -> {182};
|
|
182 -> {183};
|
|
182 -> {218} [label="return@/returnInCatch_insideFinally"];
|
|
183 -> {184};
|
|
184 -> {185};
|
|
185 -> {186};
|
|
186 -> {187};
|
|
187 -> {188};
|
|
188 -> {189};
|
|
189 -> {190};
|
|
190 -> {191};
|
|
191 -> {192};
|
|
192 -> {193};
|
|
193 -> {194};
|
|
194 -> {195};
|
|
195 -> {196};
|
|
196 -> {197};
|
|
197 -> {198};
|
|
198 -> {199};
|
|
199 -> {200};
|
|
200 -> {201};
|
|
201 -> {202};
|
|
202 -> {203};
|
|
203 -> {204};
|
|
204 -> {205};
|
|
205 -> {206};
|
|
206 -> {207};
|
|
207 -> {208};
|
|
208 -> {209};
|
|
209 -> {210};
|
|
210 -> {211};
|
|
211 -> {212};
|
|
212 -> {213};
|
|
213 -> {214};
|
|
214 -> {215};
|
|
215 -> {216};
|
|
216 -> {217};
|
|
217 -> {218};
|
|
|
|
subgraph cluster_67 {
|
|
color=red
|
|
219 [label="Enter function breakInCatch" style="filled" fillcolor=red];
|
|
subgraph cluster_68 {
|
|
color=blue
|
|
220 [label="Enter block"];
|
|
221 [label="Const: Null(null)"];
|
|
222 [label="Variable declaration: lvar x: R|kotlin/Any?|"];
|
|
subgraph cluster_69 {
|
|
color=blue
|
|
223 [label="Enter while loop"];
|
|
subgraph cluster_70 {
|
|
color=blue
|
|
224 [label="Enter loop condition"];
|
|
225 [label="Const: Boolean(true)"];
|
|
226 [label="Exit loop condition"];
|
|
}
|
|
subgraph cluster_71 {
|
|
color=blue
|
|
227 [label="Enter loop block"];
|
|
subgraph cluster_72 {
|
|
color=blue
|
|
228 [label="Enter block"];
|
|
subgraph cluster_73 {
|
|
color=blue
|
|
229 [label="Try expression enter"];
|
|
subgraph cluster_74 {
|
|
color=blue
|
|
230 [label="Try main block enter"];
|
|
subgraph cluster_75 {
|
|
color=blue
|
|
231 [label="Enter block"];
|
|
232 [label="Access variable R|<local>/x|"];
|
|
233 [label="Type operator: (R|<local>/x| as R|A|)"];
|
|
234 [label="Exit block"];
|
|
}
|
|
235 [label="Try main block exit"];
|
|
}
|
|
subgraph cluster_76 {
|
|
color=blue
|
|
236 [label="Catch enter"];
|
|
237 [label="Variable declaration: e: R|kotlin/Exception|"];
|
|
subgraph cluster_77 {
|
|
color=blue
|
|
238 [label="Enter block"];
|
|
239 [label="Access variable R|<local>/x|"];
|
|
240 [label="Type operator: (R|<local>/x| as R|B|)"];
|
|
241 [label="Jump: break@@@[Boolean(true)] "];
|
|
242 [label="Stub" style="filled" fillcolor=gray];
|
|
243 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
244 [label="Catch exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_78 {
|
|
color=blue
|
|
245 [label="Enter finally"];
|
|
subgraph cluster_79 {
|
|
color=blue
|
|
246 [label="Enter block"];
|
|
subgraph cluster_80 {
|
|
color=blue
|
|
247 [label="Function call arguments enter"];
|
|
248 [label="Access variable R|<local>/x|"];
|
|
249 [label="Function call arguments exit"];
|
|
}
|
|
250 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_81 {
|
|
color=blue
|
|
251 [label="Function call arguments enter"];
|
|
252 [label="Access variable R|<local>/x|"];
|
|
253 [label="Function call arguments exit"];
|
|
}
|
|
254 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
255 [label="Exit block"];
|
|
}
|
|
256 [label="Exit finally"];
|
|
}
|
|
257 [label="Try expression exit"];
|
|
}
|
|
subgraph cluster_82 {
|
|
color=blue
|
|
258 [label="Function call arguments enter"];
|
|
259 [label="Access variable R|<local>/x|"];
|
|
260 [label="Smart cast: R|<local>/x|"];
|
|
261 [label="Function call arguments exit"];
|
|
}
|
|
262 [label="Function call: R|<local>/x|.R|/A.aaa|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_83 {
|
|
color=blue
|
|
263 [label="Function call arguments enter"];
|
|
264 [label="Access variable R|<local>/x|"];
|
|
265 [label="Smart cast: R|<local>/x|"];
|
|
266 [label="Function call arguments exit"];
|
|
}
|
|
267 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
268 [label="Exit block"];
|
|
}
|
|
269 [label="Exit loop block"];
|
|
}
|
|
270 [label="Exit while loop"];
|
|
}
|
|
subgraph cluster_84 {
|
|
color=blue
|
|
271 [label="Function call arguments enter"];
|
|
272 [label="Access variable R|<local>/x|"];
|
|
273 [label="Smart cast: R|<local>/x|"];
|
|
274 [label="Function call arguments exit"];
|
|
}
|
|
275 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_85 {
|
|
color=blue
|
|
276 [label="Function call arguments enter"];
|
|
277 [label="Access variable R|<local>/x|"];
|
|
278 [label="Smart cast: R|<local>/x|"];
|
|
279 [label="Function call arguments exit"];
|
|
}
|
|
280 [label="Function call: R|<local>/x|.R|/B.bbb|()" style="filled" fillcolor=yellow];
|
|
281 [label="Exit block"];
|
|
}
|
|
282 [label="Exit function breakInCatch" style="filled" fillcolor=red];
|
|
}
|
|
219 -> {220};
|
|
220 -> {221};
|
|
221 -> {222};
|
|
222 -> {223};
|
|
223 -> {224};
|
|
224 -> {225};
|
|
225 -> {226};
|
|
226 -> {227};
|
|
226 -> {270} [style=dotted];
|
|
227 -> {228};
|
|
228 -> {229};
|
|
229 -> {230 236};
|
|
229 -> {245} [label="onUncaughtException"];
|
|
230 -> {231};
|
|
231 -> {232};
|
|
232 -> {233};
|
|
233 -> {234};
|
|
234 -> {235};
|
|
235 -> {236 245};
|
|
236 -> {237};
|
|
236 -> {245} [label="onUncaughtException"];
|
|
237 -> {238};
|
|
238 -> {239};
|
|
239 -> {240};
|
|
240 -> {241};
|
|
241 -> {245} [label="break"];
|
|
241 -> {242} [style=dotted];
|
|
242 -> {243} [style=dotted];
|
|
243 -> {244} [style=dotted];
|
|
244 -> {245} [style=dotted];
|
|
245 -> {246};
|
|
246 -> {247};
|
|
247 -> {248};
|
|
248 -> {249};
|
|
249 -> {250};
|
|
250 -> {251};
|
|
251 -> {252};
|
|
252 -> {253};
|
|
253 -> {254};
|
|
254 -> {255};
|
|
255 -> {256};
|
|
256 -> {257};
|
|
256 -> {270} [label="break"];
|
|
257 -> {258};
|
|
258 -> {259};
|
|
259 -> {260};
|
|
260 -> {261};
|
|
261 -> {262};
|
|
262 -> {263};
|
|
263 -> {264};
|
|
264 -> {265};
|
|
265 -> {266};
|
|
266 -> {267};
|
|
267 -> {268};
|
|
268 -> {269};
|
|
269 -> {224} [color=green style=dashed];
|
|
270 -> {271};
|
|
271 -> {272};
|
|
272 -> {273};
|
|
273 -> {274};
|
|
274 -> {275};
|
|
275 -> {276};
|
|
276 -> {277};
|
|
277 -> {278};
|
|
278 -> {279};
|
|
279 -> {280};
|
|
280 -> {281};
|
|
281 -> {282};
|
|
|
|
subgraph cluster_86 {
|
|
color=red
|
|
283 [label="Enter function returnInFinally_insideTry_nonLocal" style="filled" fillcolor=red];
|
|
subgraph cluster_87 {
|
|
color=blue
|
|
284 [label="Enter block"];
|
|
285 [label="Const: Null(null)"];
|
|
286 [label="Variable declaration: lvar x: R|kotlin/Any?|"];
|
|
subgraph cluster_88 {
|
|
color=blue
|
|
287 [label="Function call arguments enter"];
|
|
288 [label="Postponed enter to lambda"];
|
|
subgraph cluster_89 {
|
|
color=blue
|
|
289 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_90 {
|
|
color=blue
|
|
290 [label="Enter block"];
|
|
subgraph cluster_91 {
|
|
color=blue
|
|
291 [label="Try expression enter"];
|
|
subgraph cluster_92 {
|
|
color=blue
|
|
292 [label="Try main block enter"];
|
|
subgraph cluster_93 {
|
|
color=blue
|
|
293 [label="Enter block"];
|
|
294 [label="Access variable R|<local>/x|"];
|
|
295 [label="Type operator: (R|<local>/x| as R|B|)"];
|
|
subgraph cluster_94 {
|
|
color=blue
|
|
296 [label="Try expression enter"];
|
|
subgraph cluster_95 {
|
|
color=blue
|
|
297 [label="Try main block enter"];
|
|
subgraph cluster_96 {
|
|
color=blue
|
|
298 [label="Enter block"];
|
|
299 [label="Access variable R|<local>/x|"];
|
|
300 [label="Smart cast: R|<local>/x|"];
|
|
301 [label="Type operator: (R|<local>/x| as R|A|)"];
|
|
302 [label="Exit block"];
|
|
}
|
|
303 [label="Try main block exit"];
|
|
}
|
|
subgraph cluster_97 {
|
|
color=blue
|
|
304 [label="Enter finally"];
|
|
subgraph cluster_98 {
|
|
color=blue
|
|
305 [label="Enter block"];
|
|
subgraph cluster_99 {
|
|
color=blue
|
|
306 [label="Function call arguments enter"];
|
|
307 [label="Access variable R|<local>/x|"];
|
|
308 [label="Smart cast: R|<local>/x|"];
|
|
309 [label="Function call arguments exit"];
|
|
}
|
|
310 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_100 {
|
|
color=blue
|
|
311 [label="Function call arguments enter"];
|
|
312 [label="Access variable R|<local>/x|"];
|
|
313 [label="Smart cast: R|<local>/x|"];
|
|
314 [label="Function call arguments exit"];
|
|
}
|
|
315 [label="Function call: R|<local>/x|.R|/B.bbb|()" style="filled" fillcolor=yellow];
|
|
316 [label="Jump: ^returnInFinally_insideTry_nonLocal Unit"];
|
|
317 [label="Stub" style="filled" fillcolor=gray];
|
|
318 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
319 [label="Exit finally" style="filled" fillcolor=gray];
|
|
}
|
|
320 [label="Try expression exit" style="filled" fillcolor=gray];
|
|
}
|
|
321 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
322 [label="Try main block exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_101 {
|
|
color=blue
|
|
323 [label="Enter finally"];
|
|
subgraph cluster_102 {
|
|
color=blue
|
|
324 [label="Enter block"];
|
|
subgraph cluster_103 {
|
|
color=blue
|
|
325 [label="Function call arguments enter"];
|
|
326 [label="Access variable R|<local>/x|"];
|
|
327 [label="Function call arguments exit"];
|
|
}
|
|
328 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_104 {
|
|
color=blue
|
|
329 [label="Function call arguments enter"];
|
|
330 [label="Access variable R|<local>/x|"];
|
|
331 [label="Function call arguments exit"];
|
|
}
|
|
332 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=yellow];
|
|
333 [label="Exit block"];
|
|
}
|
|
334 [label="Exit finally"];
|
|
}
|
|
335 [label="Try expression exit" style="filled" fillcolor=gray];
|
|
}
|
|
subgraph cluster_105 {
|
|
color=blue
|
|
336 [label="Function call arguments enter" style="filled" fillcolor=gray];
|
|
337 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
|
|
338 [label="Function call arguments exit" style="filled" fillcolor=gray];
|
|
}
|
|
339 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=gray];
|
|
subgraph cluster_106 {
|
|
color=blue
|
|
340 [label="Function call arguments enter" style="filled" fillcolor=gray];
|
|
341 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
|
|
342 [label="Function call arguments exit" style="filled" fillcolor=gray];
|
|
}
|
|
343 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=gray];
|
|
344 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
345 [label="Exit function <anonymous>" style="filled" fillcolor=gray];
|
|
}
|
|
346 [label="Function call arguments exit"];
|
|
}
|
|
347 [label="Postponed exit from lambda" style="filled" fillcolor=gray];
|
|
348 [label="Function call: R|kotlin/run<Inapplicable(INAPPLICABLE): kotlin/run>#|<<ERROR TYPE REF: Cannot infer argument for type parameter R>>(...)" style="filled" fillcolor=gray];
|
|
subgraph cluster_107 {
|
|
color=blue
|
|
349 [label="Function call arguments enter" style="filled" fillcolor=gray];
|
|
350 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
|
|
351 [label="Function call arguments exit" style="filled" fillcolor=gray];
|
|
}
|
|
352 [label="Function call: R|<local>/x|.<Unresolved name: aaa>#()" style="filled" fillcolor=gray];
|
|
subgraph cluster_108 {
|
|
color=blue
|
|
353 [label="Function call arguments enter" style="filled" fillcolor=gray];
|
|
354 [label="Access variable R|<local>/x|" style="filled" fillcolor=gray];
|
|
355 [label="Function call arguments exit" style="filled" fillcolor=gray];
|
|
}
|
|
356 [label="Function call: R|<local>/x|.<Unresolved name: bbb>#()" style="filled" fillcolor=gray];
|
|
357 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
358 [label="Exit function returnInFinally_insideTry_nonLocal" style="filled" fillcolor=red];
|
|
}
|
|
283 -> {284};
|
|
284 -> {285};
|
|
285 -> {286};
|
|
286 -> {287};
|
|
287 -> {288};
|
|
288 -> {289 346};
|
|
288 -> {347} [style=dotted];
|
|
288 -> {289} [style=dashed];
|
|
289 -> {290};
|
|
290 -> {291};
|
|
291 -> {292};
|
|
291 -> {323} [label="onUncaughtException"];
|
|
292 -> {293};
|
|
293 -> {294};
|
|
294 -> {295};
|
|
295 -> {296};
|
|
296 -> {297};
|
|
296 -> {304} [label="onUncaughtException"];
|
|
297 -> {298};
|
|
298 -> {299};
|
|
299 -> {300};
|
|
300 -> {301};
|
|
301 -> {302};
|
|
302 -> {303};
|
|
303 -> {304};
|
|
304 -> {305};
|
|
305 -> {306};
|
|
306 -> {307};
|
|
307 -> {308};
|
|
308 -> {309};
|
|
309 -> {310};
|
|
310 -> {311};
|
|
311 -> {312};
|
|
312 -> {313};
|
|
313 -> {314};
|
|
314 -> {315};
|
|
315 -> {316};
|
|
316 -> {323} [label="return@/returnInFinally_insideTry_nonLocal"];
|
|
316 -> {317} [style=dotted];
|
|
317 -> {318} [style=dotted];
|
|
318 -> {319} [style=dotted];
|
|
319 -> {323} [style=dotted label="onUncaughtException"];
|
|
319 -> {320} [style=dotted];
|
|
320 -> {321} [style=dotted];
|
|
321 -> {322} [style=dotted];
|
|
322 -> {323} [style=dotted];
|
|
323 -> {324};
|
|
324 -> {325};
|
|
325 -> {326};
|
|
326 -> {327};
|
|
327 -> {328};
|
|
328 -> {329};
|
|
329 -> {330};
|
|
330 -> {331};
|
|
331 -> {332};
|
|
332 -> {333};
|
|
333 -> {334};
|
|
334 -> {358} [label="return@/returnInFinally_insideTry_nonLocal"];
|
|
334 -> {335} [style=dotted];
|
|
335 -> {336} [style=dotted];
|
|
336 -> {337} [style=dotted];
|
|
337 -> {338} [style=dotted];
|
|
338 -> {339} [style=dotted];
|
|
339 -> {340} [style=dotted];
|
|
340 -> {341} [style=dotted];
|
|
341 -> {342} [style=dotted];
|
|
342 -> {343} [style=dotted];
|
|
343 -> {344} [style=dotted];
|
|
344 -> {345} [style=dotted];
|
|
345 -> {347} [style=dotted];
|
|
346 -> {348} [style=dotted];
|
|
347 -> {348} [style=dotted label="Postponed"];
|
|
348 -> {349} [style=dotted];
|
|
349 -> {350} [style=dotted];
|
|
350 -> {351} [style=dotted];
|
|
351 -> {352} [style=dotted];
|
|
352 -> {353} [style=dotted];
|
|
353 -> {354} [style=dotted];
|
|
354 -> {355} [style=dotted];
|
|
355 -> {356} [style=dotted];
|
|
356 -> {357} [style=dotted];
|
|
357 -> {358} [style=dotted];
|
|
|
|
}
|