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
2326 lines
100 KiB
Plaintext
Vendored
2326 lines
100 KiB
Plaintext
Vendored
digraph flowFromInplaceLambda_kt {
|
|
graph [nodesep=3]
|
|
node [shape=box penwidth=2]
|
|
edge [penwidth=2]
|
|
|
|
subgraph cluster_0 {
|
|
color=red
|
|
0 [label="Enter file flowFromInplaceLambda.kt" style="filled" fillcolor=red];
|
|
1 [label="Exit file flowFromInplaceLambda.kt" style="filled" fillcolor=red];
|
|
}
|
|
0 -> {1} [color=green];
|
|
|
|
subgraph cluster_1 {
|
|
color=red
|
|
2 [label="Enter function unknown" style="filled" fillcolor=red];
|
|
subgraph cluster_2 {
|
|
color=blue
|
|
3 [label="Enter block"];
|
|
subgraph cluster_3 {
|
|
color=blue
|
|
4 [label="Enter block"];
|
|
5 [label="Exit block"];
|
|
}
|
|
subgraph cluster_4 {
|
|
color=blue
|
|
6 [label="Function call arguments enter"];
|
|
7 [label="Function call arguments exit"];
|
|
}
|
|
8 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()" style="filled" fillcolor=yellow];
|
|
9 [label="Jump: ^unknown R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()"];
|
|
10 [label="Stub" style="filled" fillcolor=gray];
|
|
11 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
12 [label="Exit function unknown" style="filled" fillcolor=red];
|
|
}
|
|
2 -> {3};
|
|
3 -> {4};
|
|
4 -> {5};
|
|
5 -> {6};
|
|
6 -> {7};
|
|
7 -> {8};
|
|
8 -> {9};
|
|
9 -> {12};
|
|
9 -> {10} [style=dotted];
|
|
10 -> {11} [style=dotted];
|
|
11 -> {12} [style=dotted];
|
|
|
|
subgraph cluster_5 {
|
|
color=red
|
|
13 [label="Enter function atLeastOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_6 {
|
|
color=blue
|
|
14 [label="Enter block"];
|
|
subgraph cluster_7 {
|
|
color=blue
|
|
15 [label="Enter block"];
|
|
16 [label="Exit block"];
|
|
}
|
|
subgraph cluster_8 {
|
|
color=blue
|
|
17 [label="Function call arguments enter"];
|
|
18 [label="Function call arguments exit"];
|
|
}
|
|
19 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()" style="filled" fillcolor=yellow];
|
|
20 [label="Jump: ^atLeastOnce R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()"];
|
|
21 [label="Stub" style="filled" fillcolor=gray];
|
|
22 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
23 [label="Exit function atLeastOnce" style="filled" fillcolor=red];
|
|
}
|
|
13 -> {14};
|
|
14 -> {15};
|
|
15 -> {16};
|
|
16 -> {17};
|
|
17 -> {18};
|
|
18 -> {19};
|
|
19 -> {20};
|
|
20 -> {23};
|
|
20 -> {21} [style=dotted];
|
|
21 -> {22} [style=dotted];
|
|
22 -> {23} [style=dotted];
|
|
|
|
subgraph cluster_9 {
|
|
color=red
|
|
24 [label="Enter function exactlyOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_10 {
|
|
color=blue
|
|
25 [label="Enter block"];
|
|
subgraph cluster_11 {
|
|
color=blue
|
|
26 [label="Enter block"];
|
|
27 [label="Exit block"];
|
|
}
|
|
subgraph cluster_12 {
|
|
color=blue
|
|
28 [label="Function call arguments enter"];
|
|
29 [label="Function call arguments exit"];
|
|
}
|
|
30 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()" style="filled" fillcolor=yellow];
|
|
31 [label="Jump: ^exactlyOnce R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()"];
|
|
32 [label="Stub" style="filled" fillcolor=gray];
|
|
33 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
34 [label="Exit function exactlyOnce" style="filled" fillcolor=red];
|
|
}
|
|
24 -> {25};
|
|
25 -> {26};
|
|
26 -> {27};
|
|
27 -> {28};
|
|
28 -> {29};
|
|
29 -> {30};
|
|
30 -> {31};
|
|
31 -> {34};
|
|
31 -> {32} [style=dotted];
|
|
32 -> {33} [style=dotted];
|
|
33 -> {34} [style=dotted];
|
|
|
|
subgraph cluster_13 {
|
|
color=red
|
|
35 [label="Enter function atMostOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_14 {
|
|
color=blue
|
|
36 [label="Enter block"];
|
|
subgraph cluster_15 {
|
|
color=blue
|
|
37 [label="Enter block"];
|
|
38 [label="Exit block"];
|
|
}
|
|
subgraph cluster_16 {
|
|
color=blue
|
|
39 [label="Function call arguments enter"];
|
|
40 [label="Function call arguments exit"];
|
|
}
|
|
41 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()" style="filled" fillcolor=yellow];
|
|
42 [label="Jump: ^atMostOnce R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()"];
|
|
43 [label="Stub" style="filled" fillcolor=gray];
|
|
44 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
45 [label="Exit function atMostOnce" style="filled" fillcolor=red];
|
|
}
|
|
35 -> {36};
|
|
36 -> {37};
|
|
37 -> {38};
|
|
38 -> {39};
|
|
39 -> {40};
|
|
40 -> {41};
|
|
41 -> {42};
|
|
42 -> {45};
|
|
42 -> {43} [style=dotted];
|
|
43 -> {44} [style=dotted];
|
|
44 -> {45} [style=dotted];
|
|
|
|
subgraph cluster_17 {
|
|
color=red
|
|
46 [label="Enter function noContract" style="filled" fillcolor=red];
|
|
subgraph cluster_18 {
|
|
color=blue
|
|
47 [label="Enter block"];
|
|
subgraph cluster_19 {
|
|
color=blue
|
|
48 [label="Function call arguments enter"];
|
|
49 [label="Function call arguments exit"];
|
|
}
|
|
50 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()" style="filled" fillcolor=yellow];
|
|
51 [label="Jump: ^noContract R|<local>/x|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()"];
|
|
52 [label="Stub" style="filled" fillcolor=gray];
|
|
53 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
54 [label="Exit function noContract" style="filled" fillcolor=red];
|
|
}
|
|
46 -> {47};
|
|
47 -> {48};
|
|
48 -> {49};
|
|
49 -> {50};
|
|
50 -> {51};
|
|
51 -> {54};
|
|
51 -> {52} [style=dotted];
|
|
52 -> {53} [style=dotted];
|
|
53 -> {54} [style=dotted];
|
|
|
|
subgraph cluster_20 {
|
|
color=red
|
|
55 [label="Enter function select" style="filled" fillcolor=red];
|
|
subgraph cluster_21 {
|
|
color=blue
|
|
56 [label="Enter block"];
|
|
subgraph cluster_22 {
|
|
color=blue
|
|
57 [label="Function call arguments enter"];
|
|
58 [label="Access variable R|<local>/x|"];
|
|
59 [label="Const: Int(0)"];
|
|
60 [label="Function call arguments exit"];
|
|
}
|
|
61 [label="Function call: R|<local>/x|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out K)|>|(...)" style="filled" fillcolor=yellow];
|
|
62 [label="Jump: ^select R|<local>/x|.R|SubstitutionOverride<kotlin/Array.get: R|CapturedType(out K)|>|(Int(0))"];
|
|
63 [label="Stub" style="filled" fillcolor=gray];
|
|
64 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
65 [label="Exit function select" style="filled" fillcolor=red];
|
|
}
|
|
55 -> {56};
|
|
56 -> {57};
|
|
57 -> {58};
|
|
58 -> {59};
|
|
59 -> {60};
|
|
60 -> {61};
|
|
61 -> {62};
|
|
62 -> {65};
|
|
62 -> {63} [style=dotted];
|
|
63 -> {64} [style=dotted];
|
|
64 -> {65} [style=dotted];
|
|
|
|
subgraph cluster_23 {
|
|
color=red
|
|
66 [label="Enter function id" style="filled" fillcolor=red];
|
|
subgraph cluster_24 {
|
|
color=blue
|
|
67 [label="Enter block"];
|
|
68 [label="Access variable R|<local>/x|"];
|
|
69 [label="Jump: ^id R|<local>/x|"];
|
|
70 [label="Stub" style="filled" fillcolor=gray];
|
|
71 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
72 [label="Exit function id" style="filled" fillcolor=red];
|
|
}
|
|
66 -> {67};
|
|
67 -> {68};
|
|
68 -> {69};
|
|
69 -> {72};
|
|
69 -> {70} [style=dotted];
|
|
70 -> {71} [style=dotted];
|
|
71 -> {72} [style=dotted];
|
|
|
|
subgraph cluster_25 {
|
|
color=red
|
|
73 [label="Enter function materialize" style="filled" fillcolor=red];
|
|
subgraph cluster_26 {
|
|
color=blue
|
|
74 [label="Enter block"];
|
|
75 [label="Const: Null(null)"];
|
|
76 [label="Check not null: Null(null)!!" style="filled" fillcolor=yellow];
|
|
77 [label="Stub" style="filled" fillcolor=gray];
|
|
78 [label="Jump: ^materialize Null(null)!!" style="filled" fillcolor=gray];
|
|
79 [label="Stub" style="filled" fillcolor=gray];
|
|
80 [label="Exit block" style="filled" fillcolor=gray];
|
|
}
|
|
81 [label="Exit function materialize" style="filled" fillcolor=gray];
|
|
}
|
|
73 -> {74};
|
|
74 -> {75};
|
|
75 -> {76};
|
|
76 -> {77} [style=dotted];
|
|
77 -> {78} [style=dotted];
|
|
78 -> {79 81} [style=dotted];
|
|
79 -> {80} [style=dotted];
|
|
80 -> {81} [style=dotted];
|
|
|
|
subgraph cluster_27 {
|
|
color=red
|
|
82 [label="Enter function basic" style="filled" fillcolor=red];
|
|
subgraph cluster_28 {
|
|
color=blue
|
|
83 [label="Enter block"];
|
|
subgraph cluster_29 {
|
|
color=blue
|
|
84 [label="Function call arguments enter"];
|
|
85 [label="Postponed enter to lambda"];
|
|
subgraph cluster_30 {
|
|
color=blue
|
|
86 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_31 {
|
|
color=blue
|
|
87 [label="Enter block"];
|
|
88 [label="Access variable R|<local>/x|"];
|
|
89 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
90 [label="Exit block"];
|
|
}
|
|
91 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
92 [label="Function call arguments exit"];
|
|
}
|
|
93 [label="Postponed exit from lambda"];
|
|
94 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_32 {
|
|
color=blue
|
|
95 [label="Function call arguments enter"];
|
|
96 [label="Access variable R|<local>/x|"];
|
|
97 [label="Function call arguments exit"];
|
|
}
|
|
98 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
99 [label="Exit block"];
|
|
}
|
|
100 [label="Exit function basic" style="filled" fillcolor=red];
|
|
}
|
|
82 -> {83};
|
|
83 -> {84};
|
|
84 -> {85};
|
|
85 -> {86 92};
|
|
85 -> {93} [style=dotted];
|
|
85 -> {86} [style=dashed];
|
|
86 -> {87};
|
|
87 -> {88};
|
|
88 -> {89};
|
|
89 -> {90};
|
|
90 -> {91};
|
|
91 -> {93};
|
|
92 -> {94};
|
|
93 -> {94} [label="Postponed"];
|
|
94 -> {95};
|
|
95 -> {96};
|
|
96 -> {97};
|
|
97 -> {98};
|
|
98 -> {99};
|
|
99 -> {100};
|
|
|
|
subgraph cluster_33 {
|
|
color=red
|
|
101 [label="Enter function completedCallExactlyOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_34 {
|
|
color=blue
|
|
102 [label="Enter block"];
|
|
subgraph cluster_35 {
|
|
color=blue
|
|
103 [label="Function call arguments enter"];
|
|
subgraph cluster_36 {
|
|
color=blue
|
|
104 [label="Function call arguments enter"];
|
|
subgraph cluster_37 {
|
|
color=blue
|
|
105 [label="Function call arguments enter"];
|
|
subgraph cluster_38 {
|
|
color=blue
|
|
106 [label="Function call arguments enter"];
|
|
107 [label="Postponed enter to lambda"];
|
|
subgraph cluster_39 {
|
|
color=blue
|
|
108 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_40 {
|
|
color=blue
|
|
109 [label="Enter block"];
|
|
subgraph cluster_41 {
|
|
color=blue
|
|
110 [label="Function call arguments enter"];
|
|
111 [label="Access variable R|<local>/y|"];
|
|
112 [label="Function call arguments exit"];
|
|
}
|
|
113 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
114 [label="Access variable R|<local>/x|"];
|
|
115 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
116 [label="Exit block"];
|
|
}
|
|
117 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
118 [label="Function call arguments exit"];
|
|
}
|
|
119 [label="Postponed exit from lambda"];
|
|
120 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
121 [label="Function call arguments exit"];
|
|
}
|
|
122 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
123 [label="Access variable R|<local>/y|"];
|
|
124 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_42 {
|
|
color=blue
|
|
125 [label="Function call arguments enter"];
|
|
126 [label="Postponed enter to lambda"];
|
|
subgraph cluster_43 {
|
|
color=blue
|
|
127 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_44 {
|
|
color=blue
|
|
128 [label="Enter block"];
|
|
subgraph cluster_45 {
|
|
color=blue
|
|
129 [label="Function call arguments enter"];
|
|
130 [label="Access variable R|<local>/x|"];
|
|
131 [label="Function call arguments exit"];
|
|
}
|
|
132 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_46 {
|
|
color=blue
|
|
133 [label="Function call arguments enter"];
|
|
134 [label="Access variable R|<local>/y|"];
|
|
135 [label="Smart cast: R|<local>/y|"];
|
|
136 [label="Function call arguments exit"];
|
|
}
|
|
137 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
138 [label="Const: Int(1)"];
|
|
139 [label="Exit block"];
|
|
}
|
|
140 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
141 [label="Function call arguments exit"];
|
|
}
|
|
142 [label="Postponed exit from lambda"];
|
|
143 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
144 [label="Function call arguments exit"];
|
|
}
|
|
145 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
146 [label="Function call arguments exit"];
|
|
}
|
|
147 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_47 {
|
|
color=blue
|
|
148 [label="Function call arguments enter"];
|
|
149 [label="Access variable R|<local>/x|"];
|
|
150 [label="Function call arguments exit"];
|
|
}
|
|
151 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_48 {
|
|
color=blue
|
|
152 [label="Function call arguments enter"];
|
|
153 [label="Access variable R|<local>/y|"];
|
|
154 [label="Smart cast: R|<local>/y|"];
|
|
155 [label="Function call arguments exit"];
|
|
}
|
|
156 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
157 [label="Exit block"];
|
|
}
|
|
158 [label="Exit function completedCallExactlyOnce" style="filled" fillcolor=red];
|
|
}
|
|
101 -> {102};
|
|
102 -> {103};
|
|
103 -> {104};
|
|
104 -> {105};
|
|
105 -> {106};
|
|
106 -> {107};
|
|
107 -> {108 118};
|
|
107 -> {119} [style=dotted];
|
|
107 -> {108} [style=dashed];
|
|
108 -> {109};
|
|
109 -> {110};
|
|
110 -> {111};
|
|
111 -> {112};
|
|
112 -> {113};
|
|
113 -> {114};
|
|
114 -> {115};
|
|
115 -> {116};
|
|
116 -> {117};
|
|
117 -> {119};
|
|
118 -> {120};
|
|
119 -> {120} [color=green];
|
|
119 -> {145} [color=red label="Postponed"];
|
|
120 -> {121};
|
|
121 -> {122};
|
|
122 -> {123};
|
|
123 -> {124};
|
|
124 -> {125};
|
|
125 -> {126};
|
|
126 -> {127 141};
|
|
126 -> {142} [style=dotted];
|
|
126 -> {127} [style=dashed];
|
|
127 -> {128};
|
|
128 -> {129};
|
|
129 -> {130};
|
|
130 -> {131};
|
|
131 -> {132};
|
|
132 -> {133};
|
|
133 -> {134};
|
|
134 -> {135};
|
|
135 -> {136};
|
|
136 -> {137};
|
|
137 -> {138};
|
|
138 -> {139};
|
|
139 -> {140};
|
|
140 -> {142};
|
|
141 -> {143};
|
|
142 -> {143} [color=green];
|
|
142 -> {145} [color=red label="Postponed"];
|
|
143 -> {144};
|
|
144 -> {145};
|
|
145 -> {146};
|
|
146 -> {147};
|
|
147 -> {148};
|
|
148 -> {149};
|
|
149 -> {150};
|
|
150 -> {151};
|
|
151 -> {152};
|
|
152 -> {153};
|
|
153 -> {154};
|
|
154 -> {155};
|
|
155 -> {156};
|
|
156 -> {157};
|
|
157 -> {158};
|
|
|
|
subgraph cluster_49 {
|
|
color=red
|
|
159 [label="Enter function completedCallAtLeastOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_50 {
|
|
color=blue
|
|
160 [label="Enter block"];
|
|
subgraph cluster_51 {
|
|
color=blue
|
|
161 [label="Function call arguments enter"];
|
|
subgraph cluster_52 {
|
|
color=blue
|
|
162 [label="Function call arguments enter"];
|
|
subgraph cluster_53 {
|
|
color=blue
|
|
163 [label="Function call arguments enter"];
|
|
subgraph cluster_54 {
|
|
color=blue
|
|
164 [label="Function call arguments enter"];
|
|
165 [label="Postponed enter to lambda"];
|
|
subgraph cluster_55 {
|
|
color=blue
|
|
166 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_56 {
|
|
color=blue
|
|
167 [label="Enter block"];
|
|
subgraph cluster_57 {
|
|
color=blue
|
|
168 [label="Function call arguments enter"];
|
|
169 [label="Access variable R|<local>/y|"];
|
|
170 [label="Function call arguments exit"];
|
|
}
|
|
171 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
172 [label="Access variable R|<local>/x|"];
|
|
173 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
174 [label="Exit block"];
|
|
}
|
|
175 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
176 [label="Function call arguments exit"];
|
|
}
|
|
177 [label="Postponed exit from lambda"];
|
|
178 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
179 [label="Function call arguments exit"];
|
|
}
|
|
180 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
181 [label="Access variable R|<local>/y|"];
|
|
182 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_58 {
|
|
color=blue
|
|
183 [label="Function call arguments enter"];
|
|
184 [label="Postponed enter to lambda"];
|
|
subgraph cluster_59 {
|
|
color=blue
|
|
185 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_60 {
|
|
color=blue
|
|
186 [label="Enter block"];
|
|
subgraph cluster_61 {
|
|
color=blue
|
|
187 [label="Function call arguments enter"];
|
|
188 [label="Access variable R|<local>/x|"];
|
|
189 [label="Function call arguments exit"];
|
|
}
|
|
190 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_62 {
|
|
color=blue
|
|
191 [label="Function call arguments enter"];
|
|
192 [label="Access variable R|<local>/y|"];
|
|
193 [label="Smart cast: R|<local>/y|"];
|
|
194 [label="Function call arguments exit"];
|
|
}
|
|
195 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
196 [label="Const: Int(1)"];
|
|
197 [label="Exit block"];
|
|
}
|
|
198 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
199 [label="Function call arguments exit"];
|
|
}
|
|
200 [label="Postponed exit from lambda"];
|
|
201 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
202 [label="Function call arguments exit"];
|
|
}
|
|
203 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
204 [label="Function call arguments exit"];
|
|
}
|
|
205 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_63 {
|
|
color=blue
|
|
206 [label="Function call arguments enter"];
|
|
207 [label="Access variable R|<local>/x|"];
|
|
208 [label="Function call arguments exit"];
|
|
}
|
|
209 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_64 {
|
|
color=blue
|
|
210 [label="Function call arguments enter"];
|
|
211 [label="Access variable R|<local>/y|"];
|
|
212 [label="Smart cast: R|<local>/y|"];
|
|
213 [label="Function call arguments exit"];
|
|
}
|
|
214 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
215 [label="Exit block"];
|
|
}
|
|
216 [label="Exit function completedCallAtLeastOnce" style="filled" fillcolor=red];
|
|
}
|
|
159 -> {160};
|
|
160 -> {161};
|
|
161 -> {162};
|
|
162 -> {163};
|
|
163 -> {164};
|
|
164 -> {165};
|
|
165 -> {166 176};
|
|
165 -> {177} [style=dotted];
|
|
165 -> {166} [style=dashed];
|
|
166 -> {167};
|
|
167 -> {168};
|
|
168 -> {169};
|
|
169 -> {170};
|
|
170 -> {171};
|
|
171 -> {172};
|
|
172 -> {173};
|
|
173 -> {174};
|
|
174 -> {175};
|
|
175 -> {177};
|
|
176 -> {178};
|
|
177 -> {165} [color=green style=dashed];
|
|
177 -> {178} [color=green];
|
|
177 -> {203} [color=red label="Postponed"];
|
|
178 -> {179};
|
|
179 -> {180};
|
|
180 -> {181};
|
|
181 -> {182};
|
|
182 -> {183};
|
|
183 -> {184};
|
|
184 -> {185 199};
|
|
184 -> {200} [style=dotted];
|
|
184 -> {185} [style=dashed];
|
|
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 -> {200};
|
|
199 -> {201};
|
|
200 -> {184} [color=green style=dashed];
|
|
200 -> {201} [color=green];
|
|
200 -> {203} [color=red label="Postponed"];
|
|
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};
|
|
|
|
subgraph cluster_65 {
|
|
color=red
|
|
217 [label="Enter function completedCallAtMostOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_66 {
|
|
color=blue
|
|
218 [label="Enter block"];
|
|
subgraph cluster_67 {
|
|
color=blue
|
|
219 [label="Function call arguments enter"];
|
|
subgraph cluster_68 {
|
|
color=blue
|
|
220 [label="Function call arguments enter"];
|
|
subgraph cluster_69 {
|
|
color=blue
|
|
221 [label="Function call arguments enter"];
|
|
subgraph cluster_70 {
|
|
color=blue
|
|
222 [label="Function call arguments enter"];
|
|
223 [label="Postponed enter to lambda"];
|
|
subgraph cluster_71 {
|
|
color=blue
|
|
224 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_72 {
|
|
color=blue
|
|
225 [label="Enter block"];
|
|
subgraph cluster_73 {
|
|
color=blue
|
|
226 [label="Function call arguments enter"];
|
|
227 [label="Access variable R|<local>/y|"];
|
|
228 [label="Function call arguments exit"];
|
|
}
|
|
229 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
230 [label="Access variable R|<local>/x|"];
|
|
231 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
232 [label="Exit block"];
|
|
}
|
|
233 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
234 [label="Function call arguments exit"];
|
|
}
|
|
235 [label="Postponed exit from lambda"];
|
|
236 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
237 [label="Function call arguments exit"];
|
|
}
|
|
238 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
239 [label="Access variable R|<local>/y|"];
|
|
240 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_74 {
|
|
color=blue
|
|
241 [label="Function call arguments enter"];
|
|
242 [label="Postponed enter to lambda"];
|
|
subgraph cluster_75 {
|
|
color=blue
|
|
243 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_76 {
|
|
color=blue
|
|
244 [label="Enter block"];
|
|
subgraph cluster_77 {
|
|
color=blue
|
|
245 [label="Function call arguments enter"];
|
|
246 [label="Access variable R|<local>/x|"];
|
|
247 [label="Function call arguments exit"];
|
|
}
|
|
248 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_78 {
|
|
color=blue
|
|
249 [label="Function call arguments enter"];
|
|
250 [label="Access variable R|<local>/y|"];
|
|
251 [label="Smart cast: R|<local>/y|"];
|
|
252 [label="Function call arguments exit"];
|
|
}
|
|
253 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
254 [label="Const: Int(1)"];
|
|
255 [label="Exit block"];
|
|
}
|
|
256 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
257 [label="Function call arguments exit"];
|
|
}
|
|
258 [label="Postponed exit from lambda"];
|
|
259 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
260 [label="Function call arguments exit"];
|
|
}
|
|
261 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
262 [label="Function call arguments exit"];
|
|
}
|
|
263 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_79 {
|
|
color=blue
|
|
264 [label="Function call arguments enter"];
|
|
265 [label="Access variable R|<local>/x|"];
|
|
266 [label="Function call arguments exit"];
|
|
}
|
|
267 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_80 {
|
|
color=blue
|
|
268 [label="Function call arguments enter"];
|
|
269 [label="Access variable R|<local>/y|"];
|
|
270 [label="Smart cast: R|<local>/y|"];
|
|
271 [label="Function call arguments exit"];
|
|
}
|
|
272 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
273 [label="Exit block"];
|
|
}
|
|
274 [label="Exit function completedCallAtMostOnce" style="filled" fillcolor=red];
|
|
}
|
|
217 -> {218};
|
|
218 -> {219};
|
|
219 -> {220};
|
|
220 -> {221};
|
|
221 -> {222};
|
|
222 -> {223};
|
|
223 -> {224 234 235};
|
|
223 -> {224} [style=dashed];
|
|
224 -> {225};
|
|
225 -> {226};
|
|
226 -> {227};
|
|
227 -> {228};
|
|
228 -> {229};
|
|
229 -> {230};
|
|
230 -> {231};
|
|
231 -> {232};
|
|
232 -> {233};
|
|
233 -> {235};
|
|
234 -> {236};
|
|
235 -> {236} [color=green];
|
|
235 -> {261} [color=red label="Postponed"];
|
|
236 -> {237};
|
|
237 -> {238};
|
|
238 -> {239};
|
|
239 -> {240};
|
|
240 -> {241};
|
|
241 -> {242};
|
|
242 -> {243 257 258};
|
|
242 -> {243} [style=dashed];
|
|
243 -> {244};
|
|
244 -> {245};
|
|
245 -> {246};
|
|
246 -> {247};
|
|
247 -> {248};
|
|
248 -> {249};
|
|
249 -> {250};
|
|
250 -> {251};
|
|
251 -> {252};
|
|
252 -> {253};
|
|
253 -> {254};
|
|
254 -> {255};
|
|
255 -> {256};
|
|
256 -> {258};
|
|
257 -> {259};
|
|
258 -> {259} [color=green];
|
|
258 -> {261} [color=red label="Postponed"];
|
|
259 -> {260};
|
|
260 -> {261};
|
|
261 -> {262};
|
|
262 -> {263};
|
|
263 -> {264};
|
|
264 -> {265};
|
|
265 -> {266};
|
|
266 -> {267};
|
|
267 -> {268};
|
|
268 -> {269};
|
|
269 -> {270};
|
|
270 -> {271};
|
|
271 -> {272};
|
|
272 -> {273};
|
|
273 -> {274};
|
|
|
|
subgraph cluster_81 {
|
|
color=red
|
|
275 [label="Enter function completedCallUnknown" style="filled" fillcolor=red];
|
|
subgraph cluster_82 {
|
|
color=blue
|
|
276 [label="Enter block"];
|
|
subgraph cluster_83 {
|
|
color=blue
|
|
277 [label="Function call arguments enter"];
|
|
subgraph cluster_84 {
|
|
color=blue
|
|
278 [label="Function call arguments enter"];
|
|
subgraph cluster_85 {
|
|
color=blue
|
|
279 [label="Function call arguments enter"];
|
|
subgraph cluster_86 {
|
|
color=blue
|
|
280 [label="Function call arguments enter"];
|
|
281 [label="Postponed enter to lambda"];
|
|
subgraph cluster_87 {
|
|
color=blue
|
|
282 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_88 {
|
|
color=blue
|
|
283 [label="Enter block"];
|
|
subgraph cluster_89 {
|
|
color=blue
|
|
284 [label="Function call arguments enter"];
|
|
285 [label="Access variable R|<local>/y|"];
|
|
286 [label="Function call arguments exit"];
|
|
}
|
|
287 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
288 [label="Access variable R|<local>/x|"];
|
|
289 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
290 [label="Exit block"];
|
|
}
|
|
291 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
292 [label="Function call arguments exit"];
|
|
}
|
|
293 [label="Postponed exit from lambda"];
|
|
294 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
295 [label="Function call arguments exit"];
|
|
}
|
|
296 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
297 [label="Access variable R|<local>/y|"];
|
|
298 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_90 {
|
|
color=blue
|
|
299 [label="Function call arguments enter"];
|
|
300 [label="Postponed enter to lambda"];
|
|
subgraph cluster_91 {
|
|
color=blue
|
|
301 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_92 {
|
|
color=blue
|
|
302 [label="Enter block"];
|
|
subgraph cluster_93 {
|
|
color=blue
|
|
303 [label="Function call arguments enter"];
|
|
304 [label="Access variable R|<local>/x|"];
|
|
305 [label="Function call arguments exit"];
|
|
}
|
|
306 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_94 {
|
|
color=blue
|
|
307 [label="Function call arguments enter"];
|
|
308 [label="Access variable R|<local>/y|"];
|
|
309 [label="Smart cast: R|<local>/y|"];
|
|
310 [label="Function call arguments exit"];
|
|
}
|
|
311 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
312 [label="Const: Int(1)"];
|
|
313 [label="Exit block"];
|
|
}
|
|
314 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
315 [label="Function call arguments exit"];
|
|
}
|
|
316 [label="Postponed exit from lambda"];
|
|
317 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
318 [label="Function call arguments exit"];
|
|
}
|
|
319 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
320 [label="Function call arguments exit"];
|
|
}
|
|
321 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_95 {
|
|
color=blue
|
|
322 [label="Function call arguments enter"];
|
|
323 [label="Access variable R|<local>/x|"];
|
|
324 [label="Function call arguments exit"];
|
|
}
|
|
325 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_96 {
|
|
color=blue
|
|
326 [label="Function call arguments enter"];
|
|
327 [label="Access variable R|<local>/y|"];
|
|
328 [label="Smart cast: R|<local>/y|"];
|
|
329 [label="Function call arguments exit"];
|
|
}
|
|
330 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
331 [label="Exit block"];
|
|
}
|
|
332 [label="Exit function completedCallUnknown" style="filled" fillcolor=red];
|
|
}
|
|
275 -> {276};
|
|
276 -> {277};
|
|
277 -> {278};
|
|
278 -> {279};
|
|
279 -> {280};
|
|
280 -> {281};
|
|
281 -> {282 292 293};
|
|
281 -> {282} [style=dashed];
|
|
282 -> {283};
|
|
283 -> {284};
|
|
284 -> {285};
|
|
285 -> {286};
|
|
286 -> {287};
|
|
287 -> {288};
|
|
288 -> {289};
|
|
289 -> {290};
|
|
290 -> {291};
|
|
291 -> {293};
|
|
292 -> {294};
|
|
293 -> {281} [color=green style=dashed];
|
|
293 -> {294} [color=green];
|
|
293 -> {319} [color=red label="Postponed"];
|
|
294 -> {295};
|
|
295 -> {296};
|
|
296 -> {297};
|
|
297 -> {298};
|
|
298 -> {299};
|
|
299 -> {300};
|
|
300 -> {301 315 316};
|
|
300 -> {301} [style=dashed];
|
|
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 -> {316};
|
|
315 -> {317};
|
|
316 -> {300} [color=green style=dashed];
|
|
316 -> {317} [color=green];
|
|
316 -> {319} [color=red label="Postponed"];
|
|
317 -> {318};
|
|
318 -> {319};
|
|
319 -> {320};
|
|
320 -> {321};
|
|
321 -> {322};
|
|
322 -> {323};
|
|
323 -> {324};
|
|
324 -> {325};
|
|
325 -> {326};
|
|
326 -> {327};
|
|
327 -> {328};
|
|
328 -> {329};
|
|
329 -> {330};
|
|
330 -> {331};
|
|
331 -> {332};
|
|
|
|
subgraph cluster_97 {
|
|
color=red
|
|
333 [label="Enter function completedCallNoContract" style="filled" fillcolor=red];
|
|
subgraph cluster_98 {
|
|
color=blue
|
|
334 [label="Enter block"];
|
|
subgraph cluster_99 {
|
|
color=blue
|
|
335 [label="Function call arguments enter"];
|
|
subgraph cluster_100 {
|
|
color=blue
|
|
336 [label="Function call arguments enter"];
|
|
subgraph cluster_101 {
|
|
color=blue
|
|
337 [label="Function call arguments enter"];
|
|
subgraph cluster_102 {
|
|
color=blue
|
|
338 [label="Function call arguments enter"];
|
|
339 [label="Postponed enter to lambda"];
|
|
subgraph cluster_103 {
|
|
color=blue
|
|
340 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_104 {
|
|
color=blue
|
|
341 [label="Enter block"];
|
|
subgraph cluster_105 {
|
|
color=blue
|
|
342 [label="Function call arguments enter"];
|
|
343 [label="Access variable R|<local>/y|"];
|
|
344 [label="Function call arguments exit"];
|
|
}
|
|
345 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
346 [label="Access variable R|<local>/x|"];
|
|
347 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
348 [label="Exit block"];
|
|
}
|
|
349 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
350 [label="Function call arguments exit"];
|
|
}
|
|
351 [label="Postponed exit from lambda"];
|
|
352 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
353 [label="Function call arguments exit"];
|
|
}
|
|
354 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
355 [label="Access variable R|<local>/y|"];
|
|
356 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_106 {
|
|
color=blue
|
|
357 [label="Function call arguments enter"];
|
|
358 [label="Postponed enter to lambda"];
|
|
subgraph cluster_107 {
|
|
color=blue
|
|
359 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_108 {
|
|
color=blue
|
|
360 [label="Enter block"];
|
|
subgraph cluster_109 {
|
|
color=blue
|
|
361 [label="Function call arguments enter"];
|
|
362 [label="Access variable R|<local>/x|"];
|
|
363 [label="Function call arguments exit"];
|
|
}
|
|
364 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_110 {
|
|
color=blue
|
|
365 [label="Function call arguments enter"];
|
|
366 [label="Access variable R|<local>/y|"];
|
|
367 [label="Smart cast: R|<local>/y|"];
|
|
368 [label="Function call arguments exit"];
|
|
}
|
|
369 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
370 [label="Const: Int(1)"];
|
|
371 [label="Exit block"];
|
|
}
|
|
372 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
373 [label="Function call arguments exit"];
|
|
}
|
|
374 [label="Postponed exit from lambda"];
|
|
375 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
376 [label="Function call arguments exit"];
|
|
}
|
|
377 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
378 [label="Function call arguments exit"];
|
|
}
|
|
379 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_111 {
|
|
color=blue
|
|
380 [label="Function call arguments enter"];
|
|
381 [label="Access variable R|<local>/x|"];
|
|
382 [label="Function call arguments exit"];
|
|
}
|
|
383 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_112 {
|
|
color=blue
|
|
384 [label="Function call arguments enter"];
|
|
385 [label="Access variable R|<local>/y|"];
|
|
386 [label="Smart cast: R|<local>/y|"];
|
|
387 [label="Function call arguments exit"];
|
|
}
|
|
388 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
389 [label="Exit block"];
|
|
}
|
|
390 [label="Exit function completedCallNoContract" style="filled" fillcolor=red];
|
|
}
|
|
333 -> {334};
|
|
334 -> {335};
|
|
335 -> {336};
|
|
336 -> {337};
|
|
337 -> {338};
|
|
338 -> {339};
|
|
339 -> {340 350 351};
|
|
339 -> {340} [style=dashed];
|
|
340 -> {341};
|
|
341 -> {342};
|
|
342 -> {343};
|
|
343 -> {344};
|
|
344 -> {345};
|
|
345 -> {346};
|
|
346 -> {347};
|
|
347 -> {348};
|
|
348 -> {349};
|
|
350 -> {352};
|
|
351 -> {352} [color=green];
|
|
351 -> {377} [color=red label="Postponed"];
|
|
352 -> {353};
|
|
353 -> {354};
|
|
354 -> {355};
|
|
355 -> {356};
|
|
356 -> {357};
|
|
357 -> {358};
|
|
358 -> {359 373 374};
|
|
358 -> {359} [style=dashed];
|
|
359 -> {360};
|
|
360 -> {361};
|
|
361 -> {362};
|
|
362 -> {363};
|
|
363 -> {364};
|
|
364 -> {365};
|
|
365 -> {366};
|
|
366 -> {367};
|
|
367 -> {368};
|
|
368 -> {369};
|
|
369 -> {370};
|
|
370 -> {371};
|
|
371 -> {372};
|
|
373 -> {375};
|
|
374 -> {375} [color=green];
|
|
374 -> {377} [color=red label="Postponed"];
|
|
375 -> {376};
|
|
376 -> {377};
|
|
377 -> {378};
|
|
378 -> {379};
|
|
379 -> {380};
|
|
380 -> {381};
|
|
381 -> {382};
|
|
382 -> {383};
|
|
383 -> {384};
|
|
384 -> {385};
|
|
385 -> {386};
|
|
386 -> {387};
|
|
387 -> {388};
|
|
388 -> {389};
|
|
389 -> {390};
|
|
|
|
subgraph cluster_113 {
|
|
color=red
|
|
391 [label="Enter function incompleteCallExactlyOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_114 {
|
|
color=blue
|
|
392 [label="Enter block"];
|
|
subgraph cluster_115 {
|
|
color=blue
|
|
393 [label="Function call arguments enter"];
|
|
subgraph cluster_116 {
|
|
color=blue
|
|
394 [label="Function call arguments enter"];
|
|
subgraph cluster_117 {
|
|
color=blue
|
|
395 [label="Function call arguments enter"];
|
|
subgraph cluster_118 {
|
|
color=blue
|
|
396 [label="Function call arguments enter"];
|
|
397 [label="Postponed enter to lambda"];
|
|
subgraph cluster_119 {
|
|
color=blue
|
|
398 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_120 {
|
|
color=blue
|
|
399 [label="Enter block"];
|
|
400 [label="Access variable R|<local>/x|"];
|
|
401 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
subgraph cluster_121 {
|
|
color=blue
|
|
402 [label="Function call arguments enter"];
|
|
403 [label="Access variable R|<local>/y|"];
|
|
404 [label="Function call arguments exit"];
|
|
}
|
|
405 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_122 {
|
|
color=blue
|
|
406 [label="Function call arguments enter"];
|
|
407 [label="Access variable R|<local>/x|"];
|
|
408 [label="Smart cast: R|<local>/x|"];
|
|
409 [label="Function call arguments exit"];
|
|
}
|
|
410 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_123 {
|
|
color=blue
|
|
411 [label="Function call arguments enter"];
|
|
412 [label="Function call arguments exit"];
|
|
}
|
|
413 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
414 [label="Exit block"];
|
|
}
|
|
415 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
416 [label="Function call arguments exit"];
|
|
}
|
|
417 [label="Postponed exit from lambda"];
|
|
418 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
419 [label="Function call arguments exit"];
|
|
}
|
|
420 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_124 {
|
|
color=blue
|
|
421 [label="Function call arguments enter"];
|
|
422 [label="Postponed enter to lambda"];
|
|
subgraph cluster_125 {
|
|
color=blue
|
|
423 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_126 {
|
|
color=blue
|
|
424 [label="Enter block"];
|
|
425 [label="Access variable R|<local>/y|"];
|
|
426 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_127 {
|
|
color=blue
|
|
427 [label="Function call arguments enter"];
|
|
428 [label="Access variable R|<local>/x|"];
|
|
429 [label="Function call arguments exit"];
|
|
}
|
|
430 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_128 {
|
|
color=blue
|
|
431 [label="Function call arguments enter"];
|
|
432 [label="Access variable R|<local>/y|"];
|
|
433 [label="Smart cast: R|<local>/y|"];
|
|
434 [label="Function call arguments exit"];
|
|
}
|
|
435 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
436 [label="Const: Int(1)"];
|
|
437 [label="Exit block"];
|
|
}
|
|
438 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
439 [label="Function call arguments exit"];
|
|
}
|
|
440 [label="Postponed exit from lambda"];
|
|
441 [label="Function call: R|/exactlyOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
442 [label="Function call arguments exit"];
|
|
}
|
|
443 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
444 [label="Function call arguments exit"];
|
|
}
|
|
445 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_129 {
|
|
color=blue
|
|
446 [label="Function call arguments enter"];
|
|
447 [label="Access variable R|<local>/x|"];
|
|
448 [label="Function call arguments exit"];
|
|
}
|
|
449 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_130 {
|
|
color=blue
|
|
450 [label="Function call arguments enter"];
|
|
451 [label="Access variable R|<local>/y|"];
|
|
452 [label="Function call arguments exit"];
|
|
}
|
|
453 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
454 [label="Exit block"];
|
|
}
|
|
455 [label="Exit function incompleteCallExactlyOnce" style="filled" fillcolor=red];
|
|
}
|
|
391 -> {392};
|
|
392 -> {393};
|
|
393 -> {394};
|
|
394 -> {395};
|
|
395 -> {396};
|
|
396 -> {397};
|
|
397 -> {398 416};
|
|
397 -> {417} [style=dotted];
|
|
397 -> {398} [style=dashed];
|
|
398 -> {399};
|
|
399 -> {400};
|
|
400 -> {401};
|
|
401 -> {402};
|
|
402 -> {403};
|
|
403 -> {404};
|
|
404 -> {405};
|
|
405 -> {406};
|
|
406 -> {407};
|
|
407 -> {408};
|
|
408 -> {409};
|
|
409 -> {410};
|
|
410 -> {411};
|
|
411 -> {412};
|
|
412 -> {413};
|
|
413 -> {414};
|
|
414 -> {415};
|
|
415 -> {417};
|
|
416 -> {418};
|
|
417 -> {418} [color=green];
|
|
417 -> {443} [color=red label="Postponed"];
|
|
418 -> {419};
|
|
419 -> {420};
|
|
420 -> {421};
|
|
421 -> {422};
|
|
422 -> {423 439};
|
|
422 -> {440} [style=dotted];
|
|
422 -> {423} [style=dashed];
|
|
423 -> {424};
|
|
424 -> {425};
|
|
425 -> {426};
|
|
426 -> {427};
|
|
427 -> {428};
|
|
428 -> {429};
|
|
429 -> {430};
|
|
430 -> {431};
|
|
431 -> {432};
|
|
432 -> {433};
|
|
433 -> {434};
|
|
434 -> {435};
|
|
435 -> {436};
|
|
436 -> {437};
|
|
437 -> {438};
|
|
438 -> {440};
|
|
439 -> {441};
|
|
440 -> {441} [color=green];
|
|
440 -> {443} [color=red label="Postponed"];
|
|
441 -> {442};
|
|
442 -> {443};
|
|
443 -> {444};
|
|
444 -> {445};
|
|
445 -> {446};
|
|
446 -> {447};
|
|
447 -> {448};
|
|
448 -> {449};
|
|
449 -> {450};
|
|
450 -> {451};
|
|
451 -> {452};
|
|
452 -> {453};
|
|
453 -> {454};
|
|
454 -> {455};
|
|
|
|
subgraph cluster_131 {
|
|
color=red
|
|
456 [label="Enter function incompleteCallAtLeastOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_132 {
|
|
color=blue
|
|
457 [label="Enter block"];
|
|
subgraph cluster_133 {
|
|
color=blue
|
|
458 [label="Function call arguments enter"];
|
|
subgraph cluster_134 {
|
|
color=blue
|
|
459 [label="Function call arguments enter"];
|
|
subgraph cluster_135 {
|
|
color=blue
|
|
460 [label="Function call arguments enter"];
|
|
subgraph cluster_136 {
|
|
color=blue
|
|
461 [label="Function call arguments enter"];
|
|
462 [label="Postponed enter to lambda"];
|
|
subgraph cluster_137 {
|
|
color=blue
|
|
463 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_138 {
|
|
color=blue
|
|
464 [label="Enter block"];
|
|
465 [label="Access variable R|<local>/x|"];
|
|
466 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
subgraph cluster_139 {
|
|
color=blue
|
|
467 [label="Function call arguments enter"];
|
|
468 [label="Access variable R|<local>/y|"];
|
|
469 [label="Function call arguments exit"];
|
|
}
|
|
470 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_140 {
|
|
color=blue
|
|
471 [label="Function call arguments enter"];
|
|
472 [label="Access variable R|<local>/x|"];
|
|
473 [label="Smart cast: R|<local>/x|"];
|
|
474 [label="Function call arguments exit"];
|
|
}
|
|
475 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_141 {
|
|
color=blue
|
|
476 [label="Function call arguments enter"];
|
|
477 [label="Function call arguments exit"];
|
|
}
|
|
478 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
479 [label="Exit block"];
|
|
}
|
|
480 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
481 [label="Function call arguments exit"];
|
|
}
|
|
482 [label="Postponed exit from lambda"];
|
|
483 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
484 [label="Function call arguments exit"];
|
|
}
|
|
485 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_142 {
|
|
color=blue
|
|
486 [label="Function call arguments enter"];
|
|
487 [label="Postponed enter to lambda"];
|
|
subgraph cluster_143 {
|
|
color=blue
|
|
488 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_144 {
|
|
color=blue
|
|
489 [label="Enter block"];
|
|
490 [label="Access variable R|<local>/y|"];
|
|
491 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_145 {
|
|
color=blue
|
|
492 [label="Function call arguments enter"];
|
|
493 [label="Access variable R|<local>/x|"];
|
|
494 [label="Function call arguments exit"];
|
|
}
|
|
495 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_146 {
|
|
color=blue
|
|
496 [label="Function call arguments enter"];
|
|
497 [label="Access variable R|<local>/y|"];
|
|
498 [label="Smart cast: R|<local>/y|"];
|
|
499 [label="Function call arguments exit"];
|
|
}
|
|
500 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
501 [label="Const: Int(1)"];
|
|
502 [label="Exit block"];
|
|
}
|
|
503 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
504 [label="Function call arguments exit"];
|
|
}
|
|
505 [label="Postponed exit from lambda"];
|
|
506 [label="Function call: R|/atLeastOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
507 [label="Function call arguments exit"];
|
|
}
|
|
508 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
509 [label="Function call arguments exit"];
|
|
}
|
|
510 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_147 {
|
|
color=blue
|
|
511 [label="Function call arguments enter"];
|
|
512 [label="Access variable R|<local>/x|"];
|
|
513 [label="Function call arguments exit"];
|
|
}
|
|
514 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_148 {
|
|
color=blue
|
|
515 [label="Function call arguments enter"];
|
|
516 [label="Access variable R|<local>/y|"];
|
|
517 [label="Function call arguments exit"];
|
|
}
|
|
518 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
519 [label="Exit block"];
|
|
}
|
|
520 [label="Exit function incompleteCallAtLeastOnce" style="filled" fillcolor=red];
|
|
}
|
|
456 -> {457};
|
|
457 -> {458};
|
|
458 -> {459};
|
|
459 -> {460};
|
|
460 -> {461};
|
|
461 -> {462};
|
|
462 -> {463 481};
|
|
462 -> {482} [style=dotted];
|
|
462 -> {463} [style=dashed];
|
|
463 -> {464};
|
|
464 -> {465};
|
|
465 -> {466};
|
|
466 -> {467};
|
|
467 -> {468};
|
|
468 -> {469};
|
|
469 -> {470};
|
|
470 -> {471};
|
|
471 -> {472};
|
|
472 -> {473};
|
|
473 -> {474};
|
|
474 -> {475};
|
|
475 -> {476};
|
|
476 -> {477};
|
|
477 -> {478};
|
|
478 -> {479};
|
|
479 -> {480};
|
|
480 -> {482};
|
|
481 -> {483};
|
|
482 -> {462} [color=green style=dashed];
|
|
482 -> {483} [color=green];
|
|
482 -> {508} [color=red label="Postponed"];
|
|
483 -> {484};
|
|
484 -> {485};
|
|
485 -> {486};
|
|
486 -> {487};
|
|
487 -> {488 504};
|
|
487 -> {505} [style=dotted];
|
|
487 -> {488} [style=dashed];
|
|
488 -> {489};
|
|
489 -> {490};
|
|
490 -> {491};
|
|
491 -> {492};
|
|
492 -> {493};
|
|
493 -> {494};
|
|
494 -> {495};
|
|
495 -> {496};
|
|
496 -> {497};
|
|
497 -> {498};
|
|
498 -> {499};
|
|
499 -> {500};
|
|
500 -> {501};
|
|
501 -> {502};
|
|
502 -> {503};
|
|
503 -> {505};
|
|
504 -> {506};
|
|
505 -> {487} [color=green style=dashed];
|
|
505 -> {506} [color=green];
|
|
505 -> {508} [color=red label="Postponed"];
|
|
506 -> {507};
|
|
507 -> {508};
|
|
508 -> {509};
|
|
509 -> {510};
|
|
510 -> {511};
|
|
511 -> {512};
|
|
512 -> {513};
|
|
513 -> {514};
|
|
514 -> {515};
|
|
515 -> {516};
|
|
516 -> {517};
|
|
517 -> {518};
|
|
518 -> {519};
|
|
519 -> {520};
|
|
|
|
subgraph cluster_149 {
|
|
color=red
|
|
521 [label="Enter function incompleteCallAtMostOnce" style="filled" fillcolor=red];
|
|
subgraph cluster_150 {
|
|
color=blue
|
|
522 [label="Enter block"];
|
|
subgraph cluster_151 {
|
|
color=blue
|
|
523 [label="Function call arguments enter"];
|
|
subgraph cluster_152 {
|
|
color=blue
|
|
524 [label="Function call arguments enter"];
|
|
subgraph cluster_153 {
|
|
color=blue
|
|
525 [label="Function call arguments enter"];
|
|
subgraph cluster_154 {
|
|
color=blue
|
|
526 [label="Function call arguments enter"];
|
|
527 [label="Postponed enter to lambda"];
|
|
subgraph cluster_155 {
|
|
color=blue
|
|
528 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_156 {
|
|
color=blue
|
|
529 [label="Enter block"];
|
|
530 [label="Access variable R|<local>/x|"];
|
|
531 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
subgraph cluster_157 {
|
|
color=blue
|
|
532 [label="Function call arguments enter"];
|
|
533 [label="Access variable R|<local>/y|"];
|
|
534 [label="Function call arguments exit"];
|
|
}
|
|
535 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_158 {
|
|
color=blue
|
|
536 [label="Function call arguments enter"];
|
|
537 [label="Access variable R|<local>/x|"];
|
|
538 [label="Smart cast: R|<local>/x|"];
|
|
539 [label="Function call arguments exit"];
|
|
}
|
|
540 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_159 {
|
|
color=blue
|
|
541 [label="Function call arguments enter"];
|
|
542 [label="Function call arguments exit"];
|
|
}
|
|
543 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
544 [label="Exit block"];
|
|
}
|
|
545 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
546 [label="Function call arguments exit"];
|
|
}
|
|
547 [label="Postponed exit from lambda"];
|
|
548 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
549 [label="Function call arguments exit"];
|
|
}
|
|
550 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_160 {
|
|
color=blue
|
|
551 [label="Function call arguments enter"];
|
|
552 [label="Postponed enter to lambda"];
|
|
subgraph cluster_161 {
|
|
color=blue
|
|
553 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_162 {
|
|
color=blue
|
|
554 [label="Enter block"];
|
|
555 [label="Access variable R|<local>/y|"];
|
|
556 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_163 {
|
|
color=blue
|
|
557 [label="Function call arguments enter"];
|
|
558 [label="Access variable R|<local>/x|"];
|
|
559 [label="Function call arguments exit"];
|
|
}
|
|
560 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_164 {
|
|
color=blue
|
|
561 [label="Function call arguments enter"];
|
|
562 [label="Access variable R|<local>/y|"];
|
|
563 [label="Smart cast: R|<local>/y|"];
|
|
564 [label="Function call arguments exit"];
|
|
}
|
|
565 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
566 [label="Const: Int(1)"];
|
|
567 [label="Exit block"];
|
|
}
|
|
568 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
569 [label="Function call arguments exit"];
|
|
}
|
|
570 [label="Postponed exit from lambda"];
|
|
571 [label="Function call: R|/atMostOnce|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
572 [label="Function call arguments exit"];
|
|
}
|
|
573 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
574 [label="Function call arguments exit"];
|
|
}
|
|
575 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_165 {
|
|
color=blue
|
|
576 [label="Function call arguments enter"];
|
|
577 [label="Access variable R|<local>/x|"];
|
|
578 [label="Function call arguments exit"];
|
|
}
|
|
579 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_166 {
|
|
color=blue
|
|
580 [label="Function call arguments enter"];
|
|
581 [label="Access variable R|<local>/y|"];
|
|
582 [label="Function call arguments exit"];
|
|
}
|
|
583 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
584 [label="Exit block"];
|
|
}
|
|
585 [label="Exit function incompleteCallAtMostOnce" style="filled" fillcolor=red];
|
|
}
|
|
521 -> {522};
|
|
522 -> {523};
|
|
523 -> {524};
|
|
524 -> {525};
|
|
525 -> {526};
|
|
526 -> {527};
|
|
527 -> {528 546 547};
|
|
527 -> {528} [style=dashed];
|
|
528 -> {529};
|
|
529 -> {530};
|
|
530 -> {531};
|
|
531 -> {532};
|
|
532 -> {533};
|
|
533 -> {534};
|
|
534 -> {535};
|
|
535 -> {536};
|
|
536 -> {537};
|
|
537 -> {538};
|
|
538 -> {539};
|
|
539 -> {540};
|
|
540 -> {541};
|
|
541 -> {542};
|
|
542 -> {543};
|
|
543 -> {544};
|
|
544 -> {545};
|
|
545 -> {547};
|
|
546 -> {548};
|
|
547 -> {548} [color=green];
|
|
547 -> {573} [color=red label="Postponed"];
|
|
548 -> {549};
|
|
549 -> {550};
|
|
550 -> {551};
|
|
551 -> {552};
|
|
552 -> {553 569 570};
|
|
552 -> {553} [style=dashed];
|
|
553 -> {554};
|
|
554 -> {555};
|
|
555 -> {556};
|
|
556 -> {557};
|
|
557 -> {558};
|
|
558 -> {559};
|
|
559 -> {560};
|
|
560 -> {561};
|
|
561 -> {562};
|
|
562 -> {563};
|
|
563 -> {564};
|
|
564 -> {565};
|
|
565 -> {566};
|
|
566 -> {567};
|
|
567 -> {568};
|
|
568 -> {570};
|
|
569 -> {571};
|
|
570 -> {571} [color=green];
|
|
570 -> {573} [color=red label="Postponed"];
|
|
571 -> {572};
|
|
572 -> {573};
|
|
573 -> {574};
|
|
574 -> {575};
|
|
575 -> {576};
|
|
576 -> {577};
|
|
577 -> {578};
|
|
578 -> {579};
|
|
579 -> {580};
|
|
580 -> {581};
|
|
581 -> {582};
|
|
582 -> {583};
|
|
583 -> {584};
|
|
584 -> {585};
|
|
|
|
subgraph cluster_167 {
|
|
color=red
|
|
586 [label="Enter function incompleteCallUnknown" style="filled" fillcolor=red];
|
|
subgraph cluster_168 {
|
|
color=blue
|
|
587 [label="Enter block"];
|
|
subgraph cluster_169 {
|
|
color=blue
|
|
588 [label="Function call arguments enter"];
|
|
subgraph cluster_170 {
|
|
color=blue
|
|
589 [label="Function call arguments enter"];
|
|
subgraph cluster_171 {
|
|
color=blue
|
|
590 [label="Function call arguments enter"];
|
|
subgraph cluster_172 {
|
|
color=blue
|
|
591 [label="Function call arguments enter"];
|
|
592 [label="Postponed enter to lambda"];
|
|
subgraph cluster_173 {
|
|
color=blue
|
|
593 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_174 {
|
|
color=blue
|
|
594 [label="Enter block"];
|
|
595 [label="Access variable R|<local>/x|"];
|
|
596 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
subgraph cluster_175 {
|
|
color=blue
|
|
597 [label="Function call arguments enter"];
|
|
598 [label="Access variable R|<local>/y|"];
|
|
599 [label="Function call arguments exit"];
|
|
}
|
|
600 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_176 {
|
|
color=blue
|
|
601 [label="Function call arguments enter"];
|
|
602 [label="Access variable R|<local>/x|"];
|
|
603 [label="Smart cast: R|<local>/x|"];
|
|
604 [label="Function call arguments exit"];
|
|
}
|
|
605 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_177 {
|
|
color=blue
|
|
606 [label="Function call arguments enter"];
|
|
607 [label="Function call arguments exit"];
|
|
}
|
|
608 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
609 [label="Exit block"];
|
|
}
|
|
610 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
611 [label="Function call arguments exit"];
|
|
}
|
|
612 [label="Postponed exit from lambda"];
|
|
613 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
614 [label="Function call arguments exit"];
|
|
}
|
|
615 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_178 {
|
|
color=blue
|
|
616 [label="Function call arguments enter"];
|
|
617 [label="Postponed enter to lambda"];
|
|
subgraph cluster_179 {
|
|
color=blue
|
|
618 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_180 {
|
|
color=blue
|
|
619 [label="Enter block"];
|
|
620 [label="Access variable R|<local>/y|"];
|
|
621 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_181 {
|
|
color=blue
|
|
622 [label="Function call arguments enter"];
|
|
623 [label="Access variable R|<local>/x|"];
|
|
624 [label="Function call arguments exit"];
|
|
}
|
|
625 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_182 {
|
|
color=blue
|
|
626 [label="Function call arguments enter"];
|
|
627 [label="Access variable R|<local>/y|"];
|
|
628 [label="Smart cast: R|<local>/y|"];
|
|
629 [label="Function call arguments exit"];
|
|
}
|
|
630 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
631 [label="Const: Int(1)"];
|
|
632 [label="Exit block"];
|
|
}
|
|
633 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
634 [label="Function call arguments exit"];
|
|
}
|
|
635 [label="Postponed exit from lambda"];
|
|
636 [label="Function call: R|/unknown|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
637 [label="Function call arguments exit"];
|
|
}
|
|
638 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
639 [label="Function call arguments exit"];
|
|
}
|
|
640 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_183 {
|
|
color=blue
|
|
641 [label="Function call arguments enter"];
|
|
642 [label="Access variable R|<local>/x|"];
|
|
643 [label="Function call arguments exit"];
|
|
}
|
|
644 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_184 {
|
|
color=blue
|
|
645 [label="Function call arguments enter"];
|
|
646 [label="Access variable R|<local>/y|"];
|
|
647 [label="Function call arguments exit"];
|
|
}
|
|
648 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
649 [label="Exit block"];
|
|
}
|
|
650 [label="Exit function incompleteCallUnknown" style="filled" fillcolor=red];
|
|
}
|
|
586 -> {587};
|
|
587 -> {588};
|
|
588 -> {589};
|
|
589 -> {590};
|
|
590 -> {591};
|
|
591 -> {592};
|
|
592 -> {593 611 612};
|
|
592 -> {593} [style=dashed];
|
|
593 -> {594};
|
|
594 -> {595};
|
|
595 -> {596};
|
|
596 -> {597};
|
|
597 -> {598};
|
|
598 -> {599};
|
|
599 -> {600};
|
|
600 -> {601};
|
|
601 -> {602};
|
|
602 -> {603};
|
|
603 -> {604};
|
|
604 -> {605};
|
|
605 -> {606};
|
|
606 -> {607};
|
|
607 -> {608};
|
|
608 -> {609};
|
|
609 -> {610};
|
|
610 -> {612};
|
|
611 -> {613};
|
|
612 -> {592} [color=green style=dashed];
|
|
612 -> {613} [color=green];
|
|
612 -> {638} [color=red label="Postponed"];
|
|
613 -> {614};
|
|
614 -> {615};
|
|
615 -> {616};
|
|
616 -> {617};
|
|
617 -> {618 634 635};
|
|
617 -> {618} [style=dashed];
|
|
618 -> {619};
|
|
619 -> {620};
|
|
620 -> {621};
|
|
621 -> {622};
|
|
622 -> {623};
|
|
623 -> {624};
|
|
624 -> {625};
|
|
625 -> {626};
|
|
626 -> {627};
|
|
627 -> {628};
|
|
628 -> {629};
|
|
629 -> {630};
|
|
630 -> {631};
|
|
631 -> {632};
|
|
632 -> {633};
|
|
633 -> {635};
|
|
634 -> {636};
|
|
635 -> {617} [color=green style=dashed];
|
|
635 -> {636} [color=green];
|
|
635 -> {638} [color=red label="Postponed"];
|
|
636 -> {637};
|
|
637 -> {638};
|
|
638 -> {639};
|
|
639 -> {640};
|
|
640 -> {641};
|
|
641 -> {642};
|
|
642 -> {643};
|
|
643 -> {644};
|
|
644 -> {645};
|
|
645 -> {646};
|
|
646 -> {647};
|
|
647 -> {648};
|
|
648 -> {649};
|
|
649 -> {650};
|
|
|
|
subgraph cluster_185 {
|
|
color=red
|
|
651 [label="Enter function incompleteCallNoContract" style="filled" fillcolor=red];
|
|
subgraph cluster_186 {
|
|
color=blue
|
|
652 [label="Enter block"];
|
|
subgraph cluster_187 {
|
|
color=blue
|
|
653 [label="Function call arguments enter"];
|
|
subgraph cluster_188 {
|
|
color=blue
|
|
654 [label="Function call arguments enter"];
|
|
subgraph cluster_189 {
|
|
color=blue
|
|
655 [label="Function call arguments enter"];
|
|
subgraph cluster_190 {
|
|
color=blue
|
|
656 [label="Function call arguments enter"];
|
|
657 [label="Postponed enter to lambda"];
|
|
subgraph cluster_191 {
|
|
color=blue
|
|
658 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_192 {
|
|
color=blue
|
|
659 [label="Enter block"];
|
|
660 [label="Access variable R|<local>/x|"];
|
|
661 [label="Type operator: (R|<local>/x| as R|kotlin/Int|)"];
|
|
subgraph cluster_193 {
|
|
color=blue
|
|
662 [label="Function call arguments enter"];
|
|
663 [label="Access variable R|<local>/y|"];
|
|
664 [label="Function call arguments exit"];
|
|
}
|
|
665 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_194 {
|
|
color=blue
|
|
666 [label="Function call arguments enter"];
|
|
667 [label="Access variable R|<local>/x|"];
|
|
668 [label="Smart cast: R|<local>/x|"];
|
|
669 [label="Function call arguments exit"];
|
|
}
|
|
670 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_195 {
|
|
color=blue
|
|
671 [label="Function call arguments enter"];
|
|
672 [label="Function call arguments exit"];
|
|
}
|
|
673 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
674 [label="Exit block"];
|
|
}
|
|
675 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
676 [label="Function call arguments exit"];
|
|
}
|
|
677 [label="Postponed exit from lambda"];
|
|
678 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
679 [label="Function call arguments exit"];
|
|
}
|
|
680 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_196 {
|
|
color=blue
|
|
681 [label="Function call arguments enter"];
|
|
682 [label="Postponed enter to lambda"];
|
|
subgraph cluster_197 {
|
|
color=blue
|
|
683 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_198 {
|
|
color=blue
|
|
684 [label="Enter block"];
|
|
685 [label="Access variable R|<local>/y|"];
|
|
686 [label="Type operator: (R|<local>/y| as R|kotlin/Int|)"];
|
|
subgraph cluster_199 {
|
|
color=blue
|
|
687 [label="Function call arguments enter"];
|
|
688 [label="Access variable R|<local>/x|"];
|
|
689 [label="Function call arguments exit"];
|
|
}
|
|
690 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_200 {
|
|
color=blue
|
|
691 [label="Function call arguments enter"];
|
|
692 [label="Access variable R|<local>/y|"];
|
|
693 [label="Smart cast: R|<local>/y|"];
|
|
694 [label="Function call arguments exit"];
|
|
}
|
|
695 [label="Function call: R|<local>/y|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
696 [label="Const: Int(1)"];
|
|
697 [label="Exit block"];
|
|
}
|
|
698 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
699 [label="Function call arguments exit"];
|
|
}
|
|
700 [label="Postponed exit from lambda"];
|
|
701 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
702 [label="Function call arguments exit"];
|
|
}
|
|
703 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
704 [label="Function call arguments exit"];
|
|
}
|
|
705 [label="Function call: R|/select|<R|kotlin/Int|>(...).R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_201 {
|
|
color=blue
|
|
706 [label="Function call arguments enter"];
|
|
707 [label="Access variable R|<local>/x|"];
|
|
708 [label="Function call arguments exit"];
|
|
}
|
|
709 [label="Function call: R|<local>/x|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
subgraph cluster_202 {
|
|
color=blue
|
|
710 [label="Function call arguments enter"];
|
|
711 [label="Access variable R|<local>/y|"];
|
|
712 [label="Function call arguments exit"];
|
|
}
|
|
713 [label="Function call: R|<local>/y|.<Unresolved name: inc>#()" style="filled" fillcolor=yellow];
|
|
714 [label="Exit block"];
|
|
}
|
|
715 [label="Exit function incompleteCallNoContract" style="filled" fillcolor=red];
|
|
}
|
|
651 -> {652};
|
|
652 -> {653};
|
|
653 -> {654};
|
|
654 -> {655};
|
|
655 -> {656};
|
|
656 -> {657};
|
|
657 -> {658 676 677};
|
|
657 -> {658} [style=dashed];
|
|
658 -> {659};
|
|
659 -> {660};
|
|
660 -> {661};
|
|
661 -> {662};
|
|
662 -> {663};
|
|
663 -> {664};
|
|
664 -> {665};
|
|
665 -> {666};
|
|
666 -> {667};
|
|
667 -> {668};
|
|
668 -> {669};
|
|
669 -> {670};
|
|
670 -> {671};
|
|
671 -> {672};
|
|
672 -> {673};
|
|
673 -> {674};
|
|
674 -> {675};
|
|
676 -> {678};
|
|
677 -> {678} [color=green];
|
|
677 -> {703} [color=red label="Postponed"];
|
|
678 -> {679};
|
|
679 -> {680};
|
|
680 -> {681};
|
|
681 -> {682};
|
|
682 -> {683 699 700};
|
|
682 -> {683} [style=dashed];
|
|
683 -> {684};
|
|
684 -> {685};
|
|
685 -> {686};
|
|
686 -> {687};
|
|
687 -> {688};
|
|
688 -> {689};
|
|
689 -> {690};
|
|
690 -> {691};
|
|
691 -> {692};
|
|
692 -> {693};
|
|
693 -> {694};
|
|
694 -> {695};
|
|
695 -> {696};
|
|
696 -> {697};
|
|
697 -> {698};
|
|
699 -> {701};
|
|
700 -> {701} [color=green];
|
|
700 -> {703} [color=red label="Postponed"];
|
|
701 -> {702};
|
|
702 -> {703};
|
|
703 -> {704};
|
|
704 -> {705};
|
|
705 -> {706};
|
|
706 -> {707};
|
|
707 -> {708};
|
|
708 -> {709};
|
|
709 -> {710};
|
|
710 -> {711};
|
|
711 -> {712};
|
|
712 -> {713};
|
|
713 -> {714};
|
|
714 -> {715};
|
|
|
|
subgraph cluster_203 {
|
|
color=red
|
|
716 [label="Enter function expectedType" style="filled" fillcolor=red];
|
|
subgraph cluster_204 {
|
|
color=blue
|
|
717 [label="Enter block"];
|
|
subgraph cluster_205 {
|
|
color=blue
|
|
718 [label="Function call arguments enter"];
|
|
subgraph cluster_206 {
|
|
color=blue
|
|
719 [label="Function call arguments enter"];
|
|
720 [label="Postponed enter to lambda"];
|
|
subgraph cluster_207 {
|
|
color=blue
|
|
721 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_208 {
|
|
color=blue
|
|
722 [label="Enter block"];
|
|
subgraph cluster_209 {
|
|
color=blue
|
|
723 [label="Function call arguments enter"];
|
|
724 [label="Function call arguments exit"];
|
|
}
|
|
725 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
726 [label="Exit block"];
|
|
}
|
|
727 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
728 [label="Function call arguments exit"];
|
|
}
|
|
729 [label="Postponed exit from lambda"];
|
|
730 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
subgraph cluster_210 {
|
|
color=blue
|
|
731 [label="Function call arguments enter"];
|
|
732 [label="Postponed enter to lambda"];
|
|
subgraph cluster_211 {
|
|
color=blue
|
|
733 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_212 {
|
|
color=blue
|
|
734 [label="Enter block"];
|
|
subgraph cluster_213 {
|
|
color=blue
|
|
735 [label="Function call arguments enter"];
|
|
736 [label="Function call arguments exit"];
|
|
}
|
|
737 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
738 [label="Exit block"];
|
|
}
|
|
739 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
740 [label="Function call arguments exit"];
|
|
}
|
|
741 [label="Postponed exit from lambda"];
|
|
742 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
743 [label="Function call arguments exit"];
|
|
}
|
|
744 [label="Function call: R|/select|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
745 [label="Variable declaration: lval x: R|kotlin/Int|"];
|
|
subgraph cluster_214 {
|
|
color=blue
|
|
746 [label="Function call arguments enter"];
|
|
747 [label="Access variable R|<local>/x|"];
|
|
748 [label="Function call arguments exit"];
|
|
}
|
|
749 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
750 [label="Exit block"];
|
|
}
|
|
751 [label="Exit function expectedType" style="filled" fillcolor=red];
|
|
}
|
|
716 -> {717};
|
|
717 -> {718};
|
|
718 -> {719};
|
|
719 -> {720};
|
|
720 -> {721 728};
|
|
720 -> {729} [style=dotted];
|
|
720 -> {721} [style=dashed];
|
|
721 -> {722};
|
|
722 -> {723};
|
|
723 -> {724};
|
|
724 -> {725};
|
|
725 -> {726};
|
|
726 -> {727};
|
|
727 -> {729};
|
|
728 -> {730};
|
|
729 -> {730} [color=green];
|
|
729 -> {744} [color=red label="Postponed"];
|
|
730 -> {731};
|
|
731 -> {732};
|
|
732 -> {733 740};
|
|
732 -> {741} [style=dotted];
|
|
732 -> {733} [style=dashed];
|
|
733 -> {734};
|
|
734 -> {735};
|
|
735 -> {736};
|
|
736 -> {737};
|
|
737 -> {738};
|
|
738 -> {739};
|
|
739 -> {741};
|
|
740 -> {742};
|
|
741 -> {742} [color=green];
|
|
741 -> {744} [color=red label="Postponed"];
|
|
742 -> {743};
|
|
743 -> {744};
|
|
744 -> {745};
|
|
745 -> {746};
|
|
746 -> {747};
|
|
747 -> {748};
|
|
748 -> {749};
|
|
749 -> {750};
|
|
750 -> {751};
|
|
|
|
subgraph cluster_215 {
|
|
color=red
|
|
752 [label="Enter function expectedTypeNested" style="filled" fillcolor=red];
|
|
subgraph cluster_216 {
|
|
color=blue
|
|
753 [label="Enter block"];
|
|
subgraph cluster_217 {
|
|
color=blue
|
|
754 [label="Function call arguments enter"];
|
|
subgraph cluster_218 {
|
|
color=blue
|
|
755 [label="Function call arguments enter"];
|
|
756 [label="Postponed enter to lambda"];
|
|
subgraph cluster_219 {
|
|
color=blue
|
|
757 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_220 {
|
|
color=blue
|
|
758 [label="Enter block"];
|
|
subgraph cluster_221 {
|
|
color=blue
|
|
759 [label="Function call arguments enter"];
|
|
760 [label="Postponed enter to lambda"];
|
|
subgraph cluster_222 {
|
|
color=blue
|
|
761 [label="Enter function <anonymous>" style="filled" fillcolor=red];
|
|
subgraph cluster_223 {
|
|
color=blue
|
|
762 [label="Enter block"];
|
|
subgraph cluster_224 {
|
|
color=blue
|
|
763 [label="Function call arguments enter"];
|
|
764 [label="Function call arguments exit"];
|
|
}
|
|
765 [label="Function call: R|/materialize|<R|kotlin/Int|>()" style="filled" fillcolor=yellow];
|
|
766 [label="Exit block"];
|
|
}
|
|
767 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
768 [label="Function call arguments exit"];
|
|
}
|
|
769 [label="Postponed exit from lambda"];
|
|
770 [label="Function call: R|kotlin/run|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
771 [label="Exit block"];
|
|
}
|
|
772 [label="Exit function <anonymous>" style="filled" fillcolor=red];
|
|
}
|
|
773 [label="Function call arguments exit"];
|
|
}
|
|
774 [label="Postponed exit from lambda"];
|
|
775 [label="Function call: R|/noContract|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
776 [label="Function call arguments exit"];
|
|
}
|
|
777 [label="Function call: R|/id|<R|kotlin/Int|>(...)" style="filled" fillcolor=yellow];
|
|
778 [label="Variable declaration: lval x: R|kotlin/Int|"];
|
|
subgraph cluster_225 {
|
|
color=blue
|
|
779 [label="Function call arguments enter"];
|
|
780 [label="Access variable R|<local>/x|"];
|
|
781 [label="Function call arguments exit"];
|
|
}
|
|
782 [label="Function call: R|<local>/x|.R|kotlin/Int.inc|()" style="filled" fillcolor=yellow];
|
|
783 [label="Exit block"];
|
|
}
|
|
784 [label="Exit function expectedTypeNested" style="filled" fillcolor=red];
|
|
}
|
|
752 -> {753};
|
|
753 -> {754};
|
|
754 -> {755};
|
|
755 -> {756};
|
|
756 -> {757 773 774};
|
|
756 -> {757} [style=dashed];
|
|
757 -> {758};
|
|
758 -> {759};
|
|
759 -> {760};
|
|
760 -> {761 768};
|
|
760 -> {769} [style=dotted];
|
|
760 -> {761} [style=dashed];
|
|
761 -> {762};
|
|
762 -> {763};
|
|
763 -> {764};
|
|
764 -> {765};
|
|
765 -> {766};
|
|
766 -> {767};
|
|
767 -> {769};
|
|
768 -> {770};
|
|
769 -> {770} [color=green];
|
|
769 -> {777} [color=red label="Postponed"];
|
|
770 -> {771};
|
|
771 -> {772};
|
|
773 -> {775};
|
|
774 -> {775} [color=green];
|
|
774 -> {777} [color=red label="Postponed"];
|
|
775 -> {776};
|
|
776 -> {777};
|
|
777 -> {778};
|
|
778 -> {779};
|
|
779 -> {780};
|
|
780 -> {781};
|
|
781 -> {782};
|
|
782 -> {783};
|
|
783 -> {784};
|
|
|
|
}
|