| digraph dependentContext_kt { |
| graph [nodesep=3] |
| node [shape=box penwidth=2] |
| edge [penwidth=2] |
| |
| subgraph cluster_0 { |
| color=red |
| 0 [label="Enter file dependentContext.kt" style="filled" fillcolor=red]; |
| 1 [label="Exit file dependentContext.kt" style="filled" fillcolor=red]; |
| } |
| 0 -> {1} [color=green]; |
| |
| subgraph cluster_1 { |
| color=red |
| 2 [label="Enter class C" style="filled" fillcolor=red]; |
| subgraph cluster_2 { |
| color=blue |
| 3 [label="Enter function <init>" style="filled" fillcolor=red]; |
| 4 [label="Delegated constructor call: super<R|kotlin/Any|>()" style="filled" fillcolor=yellow]; |
| 5 [label="Exit function <init>" style="filled" fillcolor=red]; |
| } |
| subgraph cluster_3 { |
| color=blue |
| 6 [label="Enter property" style="filled" fillcolor=red]; |
| 7 [label="Access variable R|<local>/x|"]; |
| 8 [label="Exit property" style="filled" fillcolor=red]; |
| } |
| 9 [label="Exit class C" style="filled" fillcolor=red]; |
| } |
| 2 -> {3} [color=green]; |
| 2 -> {9} [style=dotted]; |
| 2 -> {3 6} [style=dashed]; |
| 3 -> {4}; |
| 4 -> {5}; |
| 5 -> {6} [color=green]; |
| 6 -> {7}; |
| 7 -> {8}; |
| 8 -> {9} [color=green]; |
| |
| subgraph cluster_4 { |
| color=red |
| 10 [label="Enter function foo" style="filled" fillcolor=red]; |
| subgraph cluster_5 { |
| color=blue |
| 11 [label="Enter block"]; |
| 12 [label="Enter variable declaration: lval c: R|C|"]; |
| subgraph cluster_6 { |
| color=blue |
| 13 [label="Function call arguments enter"]; |
| 14 [label="Const: Int(1)"]; |
| 15 [label="Function call arguments exit"]; |
| } |
| 16 [label="Function call enter: R|/C.C|(...)"]; |
| 17 [label="Function call exit: R|/C.C|(...)" style="filled" fillcolor=yellow]; |
| 18 [label="Exit variable declaration: lval c: R|C|"]; |
| 19 [label="Enter variable declaration: lvar b: R|kotlin/Any?|"]; |
| 20 [label="Exit variable declaration: lvar b: R|kotlin/Any?|"]; |
| 21 [label="Access variable R|<local>/c|"]; |
| 22 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/b|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_7 { |
| color=blue |
| 23 [label=< <TABLE BORDER="0"><TR><TD>Enter when</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_8 { |
| color=blue |
| 24 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch condition </TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 25 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/b|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 26 [label=< <TABLE BORDER="0"><TR><TD>Smart cast: "R|<local>/b|"</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_9 { |
| color=blue |
| 27 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments enter</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 28 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/c|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 29 [label=< <TABLE BORDER="0"><TR><TD>Anonymous function capture</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 30 [label=< <TABLE BORDER="0"><TR><TD>Postponed enter to lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_10 { |
| color=blue |
| 31 [label=< <TABLE BORDER="0"><TR><TD>Enter function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| subgraph cluster_11 { |
| color=blue |
| 32 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 33 [label=< <TABLE BORDER="0"><TR><TD>Const: String(XXX)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 34 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/b|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B>: kotlin/String<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 35 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B>: kotlin/String<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 36 [label=< <TABLE BORDER="0"><TR><TD>Exit function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B>: kotlin/String<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 37 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments exit</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 38 [label=< <TABLE BORDER="0"><TR><TD>Function call enter: R|<local>/c|.R|kotlin/also|<R|C|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 39 [label=< <TABLE BORDER="0"><TR><TD>Postponed exit from lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B>: kotlin/String<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 40 [label=< <TABLE BORDER="0"><TR><TD>Function call exit: R|<local>/c|.R|kotlin/also|<R|C|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>b</B> = c<BR/><BR/><B>c</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 41 [label=< <TABLE BORDER="0"><TR><TD>Equality operator ==</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 42 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch condition</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| subgraph cluster_12 { |
| color=blue |
| 43 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch condition "else"</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 44 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch condition</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 45 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_13 { |
| color=blue |
| 46 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 47 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/b|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 48 [label=< <TABLE BORDER="0"><TR><TD>Access variable <Unresolved name: x>#</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 49 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 50 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 51 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_14 { |
| color=blue |
| 52 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 53 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/b|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 54 [label=< <TABLE BORDER="0"><TR><TD>Access variable <Unresolved name: x>#</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 55 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 56 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| 57 [label=< <TABLE BORDER="0"><TR><TD>Exit when</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 58 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 59 [label=< <TABLE BORDER="0"><TR><TD>Exit function foo</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>c</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 10 -> {11}; |
| 11 -> {12}; |
| 12 -> {13}; |
| 13 -> {14}; |
| 14 -> {15}; |
| 15 -> {16}; |
| 16 -> {17}; |
| 17 -> {18}; |
| 18 -> {19}; |
| 19 -> {20}; |
| 20 -> {21}; |
| 21 -> {22}; |
| 22 -> {23}; |
| 23 -> {24}; |
| 24 -> {25}; |
| 25 -> {26}; |
| 26 -> {27}; |
| 27 -> {28}; |
| 28 -> {29}; |
| 29 -> {30}; |
| 29 -> {31} [color=green style=dotted label="CapturedByValue"]; |
| 30 -> {31 37}; |
| 30 -> {39} [style=dotted]; |
| 30 -> {31} [style=dashed]; |
| 31 -> {32}; |
| 32 -> {33}; |
| 33 -> {34}; |
| 34 -> {35}; |
| 35 -> {36}; |
| 36 -> {39}; |
| 37 -> {38}; |
| 38 -> {40}; |
| 39 -> {40} [color=green]; |
| 39 -> {41} [color=red label="Postponed"]; |
| 40 -> {41}; |
| 41 -> {42}; |
| 42 -> {43 51}; |
| 43 -> {44}; |
| 44 -> {45}; |
| 45 -> {46}; |
| 46 -> {47}; |
| 47 -> {48}; |
| 48 -> {49}; |
| 49 -> {50}; |
| 50 -> {57}; |
| 51 -> {52}; |
| 52 -> {53}; |
| 53 -> {54}; |
| 54 -> {55}; |
| 55 -> {56}; |
| 56 -> {57}; |
| 57 -> {58}; |
| 58 -> {59}; |
| |
| subgraph cluster_15 { |
| color=red |
| 60 [label="Enter function gau" style="filled" fillcolor=red]; |
| subgraph cluster_16 { |
| color=blue |
| 61 [label="Enter block"]; |
| 62 [label="Enter variable declaration: lval q: R|kotlin/Boolean|"]; |
| 63 [label="Const: Boolean(true)"]; |
| 64 [label="Exit variable declaration: lval q: R|kotlin/Boolean|"]; |
| 65 [label="Enter variable declaration: lvar r: R|kotlin/Boolean?|"]; |
| 66 [label="Exit variable declaration: lvar r: R|kotlin/Boolean?|"]; |
| 67 [label="Access variable R|<local>/q|"]; |
| 68 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/r|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_17 { |
| color=blue |
| 69 [label=< <TABLE BORDER="0"><TR><TD>Enter when</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_18 { |
| color=blue |
| 70 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch condition </TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_19 { |
| color=blue |
| 71 [label=< <TABLE BORDER="0"><TR><TD>Enter ||</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 72 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/q|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 73 [label=< <TABLE BORDER="0"><TR><TD>Exit left part of ||</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 74 [label=< <TABLE BORDER="0"><TR><TD>Enter right part of ||</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_20 { |
| color=blue |
| 75 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments enter</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 76 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/r|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 77 [label=< <TABLE BORDER="0"><TR><TD>Smart cast: "R|<local>/r|"</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 78 [label=< <TABLE BORDER="0"><TR><TD>Anonymous function capture</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 79 [label=< <TABLE BORDER="0"><TR><TD>Postponed enter to lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_21 { |
| color=blue |
| 80 [label=< <TABLE BORDER="0"><TR><TD>Enter function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| subgraph cluster_22 { |
| color=blue |
| 81 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 82 [label=< <TABLE BORDER="0"><TR><TD>Const: Null(null)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 83 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/r|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B>: kotlin/Nothing?<BR/></TD></TR></TABLE> >]; |
| 84 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B>: kotlin/Nothing?<BR/></TD></TR></TABLE> >]; |
| } |
| 85 [label=< <TABLE BORDER="0"><TR><TD>Exit function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B>: kotlin/Nothing?<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 86 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments exit</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| } |
| 87 [label=< <TABLE BORDER="0"><TR><TD>Function call enter: R|<local>/r|.R|kotlin/also|<R|kotlin/Boolean|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> >]; |
| 88 [label=< <TABLE BORDER="0"><TR><TD>Postponed exit from lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B>: kotlin/Nothing?<BR/></TD></TR></TABLE> >]; |
| 89 [label=< <TABLE BORDER="0"><TR><TD>Function call exit: R|<local>/r|.R|kotlin/also|<R|kotlin/Boolean|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/><BR/><B>r</B> = q<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 90 [label=< <TABLE BORDER="0"><TR><TD>Check not null: R|<local>/r|.R|kotlin/also|<R|kotlin/Boolean|>(...)!!</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 91 [label=< <TABLE BORDER="0"><TR><TD>Exit ||</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 92 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch condition</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| subgraph cluster_23 { |
| color=blue |
| 93 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch condition "else"</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 94 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch condition</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 95 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_24 { |
| color=blue |
| 96 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_25 { |
| color=blue |
| 97 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments enter</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 98 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/r|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 99 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments exit</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 100 [label=< <TABLE BORDER="0"><TR><TD>Function call enter: R|<local>/r|.R|/accept<Inapplicable(UNSAFE_CALL): /accept>#|()</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 101 [label=< <TABLE BORDER="0"><TR><TD>Function call exit: R|<local>/r|.R|/accept<Inapplicable(UNSAFE_CALL): /accept>#|()</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 102 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 103 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 104 [label=< <TABLE BORDER="0"><TR><TD>Enter when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_26 { |
| color=blue |
| 105 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_27 { |
| color=blue |
| 106 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments enter</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 107 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/r|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 108 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments exit</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 109 [label=< <TABLE BORDER="0"><TR><TD>Function call enter: R|<local>/r|.R|/accept<Inapplicable(UNSAFE_CALL): /accept>#|()</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 110 [label=< <TABLE BORDER="0"><TR><TD>Function call exit: R|<local>/r|.R|/accept<Inapplicable(UNSAFE_CALL): /accept>#|()</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 111 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 112 [label=< <TABLE BORDER="0"><TR><TD>Exit when branch result</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| 113 [label=< <TABLE BORDER="0"><TR><TD>Exit when</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 114 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> >]; |
| } |
| 115 [label=< <TABLE BORDER="0"><TR><TD>Exit function gau</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>q</B>: kotlin/Boolean<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 60 -> {61}; |
| 61 -> {62}; |
| 62 -> {63}; |
| 63 -> {64}; |
| 64 -> {65}; |
| 65 -> {66}; |
| 66 -> {67}; |
| 67 -> {68}; |
| 68 -> {69}; |
| 69 -> {70}; |
| 70 -> {71}; |
| 71 -> {72}; |
| 72 -> {73}; |
| 73 -> {74 91}; |
| 74 -> {75}; |
| 75 -> {76}; |
| 76 -> {77}; |
| 77 -> {78}; |
| 78 -> {79}; |
| 78 -> {80} [color=green style=dotted label="CapturedByValue"]; |
| 79 -> {80 86}; |
| 79 -> {88} [style=dotted]; |
| 79 -> {80} [style=dashed]; |
| 80 -> {81}; |
| 81 -> {82}; |
| 82 -> {83}; |
| 83 -> {84}; |
| 84 -> {85}; |
| 85 -> {88}; |
| 86 -> {87}; |
| 87 -> {89}; |
| 88 -> {89} [color=green]; |
| 88 -> {90} [color=red label="Postponed"]; |
| 89 -> {90}; |
| 90 -> {91}; |
| 91 -> {92}; |
| 92 -> {93 104}; |
| 93 -> {94}; |
| 94 -> {95}; |
| 95 -> {96}; |
| 96 -> {97}; |
| 97 -> {98}; |
| 98 -> {99}; |
| 99 -> {100}; |
| 100 -> {101}; |
| 101 -> {102}; |
| 102 -> {103}; |
| 103 -> {113}; |
| 104 -> {105}; |
| 105 -> {106}; |
| 106 -> {107}; |
| 107 -> {108}; |
| 108 -> {109}; |
| 109 -> {110}; |
| 110 -> {111}; |
| 111 -> {112}; |
| 112 -> {113}; |
| 113 -> {114}; |
| 114 -> {115}; |
| |
| subgraph cluster_28 { |
| color=red |
| 116 [label="Enter function accept" style="filled" fillcolor=red]; |
| subgraph cluster_29 { |
| color=blue |
| 117 [label="Enter block"]; |
| 118 [label="Exit block"]; |
| } |
| 119 [label="Exit function accept" style="filled" fillcolor=red]; |
| } |
| 116 -> {117}; |
| 117 -> {118}; |
| 118 -> {119}; |
| |
| subgraph cluster_30 { |
| color=red |
| 120 [label="Enter function bar" style="filled" fillcolor=red]; |
| subgraph cluster_31 { |
| color=blue |
| 121 [label="Enter block"]; |
| 122 [label="Enter variable declaration: lval e: R|C|"]; |
| subgraph cluster_32 { |
| color=blue |
| 123 [label="Function call arguments enter"]; |
| 124 [label="Const: Int(1)"]; |
| 125 [label="Function call arguments exit"]; |
| } |
| 126 [label="Function call enter: R|/C.C|(...)"]; |
| 127 [label="Function call exit: R|/C.C|(...)" style="filled" fillcolor=yellow]; |
| 128 [label="Exit variable declaration: lval e: R|C|"]; |
| 129 [label="Enter variable declaration: lvar d: R|kotlin/Any|"]; |
| 130 [label="Exit variable declaration: lvar d: R|kotlin/Any|"]; |
| 131 [label="Access variable R|<local>/e|"]; |
| 132 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/d|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_33 { |
| color=blue |
| 133 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments enter</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 134 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/d|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 135 [label=< <TABLE BORDER="0"><TR><TD>Smart cast: "R|<local>/d|"</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 136 [label=< <TABLE BORDER="0"><TR><TD>Anonymous function capture</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 137 [label=< <TABLE BORDER="0"><TR><TD>Postponed enter to lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_34 { |
| color=blue |
| 138 [label=< <TABLE BORDER="0"><TR><TD>Enter function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| subgraph cluster_35 { |
| color=blue |
| 139 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 140 [label=< <TABLE BORDER="0"><TR><TD>Const: String(XXXXXX)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 141 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/d|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B>: kotlin/String<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 142 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B>: kotlin/String<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 143 [label=< <TABLE BORDER="0"><TR><TD>Exit function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B>: kotlin/String<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 144 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments exit</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 145 [label=< <TABLE BORDER="0"><TR><TD>Function call enter: R|<local>/d|.R|kotlin/also|<R|C|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 146 [label=< <TABLE BORDER="0"><TR><TD>Postponed exit from lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B>: kotlin/String<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 147 [label=< <TABLE BORDER="0"><TR><TD>Function call exit: R|<local>/d|.R|kotlin/also|<R|C|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>d</B> = e<BR/><BR/><B>e</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 148 [label=< <TABLE BORDER="0"><TR><TD>Check not null: R|<local>/d|.R|kotlin/also|<R|C|>(...)!!</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>e</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 149 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/d|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 150 [label=< <TABLE BORDER="0"><TR><TD>Access variable <Unresolved name: x>#</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| 151 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>e</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 152 [label=< <TABLE BORDER="0"><TR><TD>Exit function bar</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>e</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 120 -> {121}; |
| 121 -> {122}; |
| 122 -> {123}; |
| 123 -> {124}; |
| 124 -> {125}; |
| 125 -> {126}; |
| 126 -> {127}; |
| 127 -> {128}; |
| 128 -> {129}; |
| 129 -> {130}; |
| 130 -> {131}; |
| 131 -> {132}; |
| 132 -> {133}; |
| 133 -> {134}; |
| 134 -> {135}; |
| 135 -> {136}; |
| 136 -> {137}; |
| 136 -> {138} [color=green style=dotted label="CapturedByValue"]; |
| 137 -> {138 144}; |
| 137 -> {146} [style=dotted]; |
| 137 -> {138} [style=dashed]; |
| 138 -> {139}; |
| 139 -> {140}; |
| 140 -> {141}; |
| 141 -> {142}; |
| 142 -> {143}; |
| 143 -> {146}; |
| 144 -> {145}; |
| 145 -> {147}; |
| 146 -> {147} [color=green]; |
| 146 -> {148} [color=red label="Postponed"]; |
| 147 -> {148}; |
| 148 -> {149}; |
| 149 -> {150}; |
| 150 -> {151}; |
| 151 -> {152}; |
| |
| subgraph cluster_36 { |
| color=red |
| 153 [label="Enter function baz" style="filled" fillcolor=red]; |
| subgraph cluster_37 { |
| color=blue |
| 154 [label="Enter block"]; |
| 155 [label="Enter variable declaration: lval g: R|C|"]; |
| subgraph cluster_38 { |
| color=blue |
| 156 [label="Function call arguments enter"]; |
| 157 [label="Const: Int(1)"]; |
| 158 [label="Function call arguments exit"]; |
| } |
| 159 [label="Function call enter: R|/C.C|(...)"]; |
| 160 [label="Function call exit: R|/C.C|(...)" style="filled" fillcolor=yellow]; |
| 161 [label="Exit variable declaration: lval g: R|C|"]; |
| 162 [label="Enter variable declaration: lvar f: R|kotlin/Any|"]; |
| 163 [label="Exit variable declaration: lvar f: R|kotlin/Any|"]; |
| 164 [label="Access variable R|<local>/g|"]; |
| 165 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/f|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 166 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/f|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 167 [label=< <TABLE BORDER="0"><TR><TD>Smart cast: "R|<local>/f|"</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_39 { |
| color=blue |
| 168 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments enter</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 169 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/g|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 170 [label=< <TABLE BORDER="0"><TR><TD>Anonymous function capture</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 171 [label=< <TABLE BORDER="0"><TR><TD>Postponed enter to lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| subgraph cluster_40 { |
| color=blue |
| 172 [label=< <TABLE BORDER="0"><TR><TD>Enter function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| subgraph cluster_41 { |
| color=blue |
| 173 [label=< <TABLE BORDER="0"><TR><TD>Enter block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 174 [label=< <TABLE BORDER="0"><TR><TD>Const: String()</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 175 [label=< <TABLE BORDER="0"><TR><TD>Assignment: R|<local>/f|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B>: kotlin/String<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 176 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B>: kotlin/String<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 177 [label=< <TABLE BORDER="0"><TR><TD>Exit function <anonymous></TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B>: kotlin/String<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 178 [label=< <TABLE BORDER="0"><TR><TD>Function call arguments exit</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 179 [label=< <TABLE BORDER="0"><TR><TD>Function call enter: R|<local>/g|.R|kotlin/also|<R|C|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 180 [label=< <TABLE BORDER="0"><TR><TD>Postponed exit from lambda</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B>: kotlin/String<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 181 [label=< <TABLE BORDER="0"><TR><TD>Function call exit: R|<local>/g|.R|kotlin/also|<R|C|>(...)</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>f</B> = g<BR/><BR/><B>g</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 182 [label=< <TABLE BORDER="0"><TR><TD>Equality operator ==</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>g</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=yellow]; |
| 183 [label=< <TABLE BORDER="0"><TR><TD>Access variable R|<local>/f|</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 184 [label=< <TABLE BORDER="0"><TR><TD>Access variable <Unresolved name: x>#</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| 185 [label=< <TABLE BORDER="0"><TR><TD>Exit block</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>g</B>: C<BR/></TD></TR></TABLE> >]; |
| } |
| 186 [label=< <TABLE BORDER="0"><TR><TD>Exit function baz</TD></TR><TR><TD ALIGN="LEFT" BALIGN="LEFT"><BR/><B>g</B>: C<BR/></TD></TR></TABLE> > style="filled" fillcolor=red]; |
| } |
| 153 -> {154}; |
| 154 -> {155}; |
| 155 -> {156}; |
| 156 -> {157}; |
| 157 -> {158}; |
| 158 -> {159}; |
| 159 -> {160}; |
| 160 -> {161}; |
| 161 -> {162}; |
| 162 -> {163}; |
| 163 -> {164}; |
| 164 -> {165}; |
| 165 -> {166}; |
| 166 -> {167}; |
| 167 -> {168}; |
| 168 -> {169}; |
| 169 -> {170}; |
| 170 -> {171}; |
| 170 -> {172} [color=green style=dotted label="CapturedByValue"]; |
| 171 -> {172 178}; |
| 171 -> {180} [style=dotted]; |
| 171 -> {172} [style=dashed]; |
| 172 -> {173}; |
| 173 -> {174}; |
| 174 -> {175}; |
| 175 -> {176}; |
| 176 -> {177}; |
| 177 -> {180}; |
| 178 -> {179}; |
| 179 -> {181}; |
| 180 -> {181} [color=green]; |
| 180 -> {182} [color=red label="Postponed"]; |
| 181 -> {182}; |
| 182 -> {183}; |
| 183 -> {184}; |
| 184 -> {185}; |
| 185 -> {186}; |
| |
| } |
