kotlin-fork/compiler/fir/resolve/testData/resolve/cfg/complex.dot

digraph complex_kt {
  graph [splines=ortho nodesep=3]
  node [shape=box penwidth=2]
  edge [penwidth=2]

  subgraph cluster_0 {
    color=red
    0 [label="Enter function fetchPluginReleaseDate" style="filled" fillcolor=red];
    1 [label="Const: String(https://plugins.jetbrains.com/api/plugins/)"];
    2 [label="Access variable R|<local>/pluginId|"];
    3 [label="Access variable <Unresolved name: idString>#"];
    4 [label="Function call: R|<local>/pluginId|.<Unresolved name: idString>#.R|kotlin/toString|()"];
    5 [label="Const: String(/updates?version=)"];
    6 [label="Access variable R|<local>/version|"];
    7 [label="Function call: R|<local>/version|.R|kotlin/Any.toString|()"];
    8 [label="Variable declaration: lval url: R|kotlin/String|"];
    subgraph cluster_1 {
      color=blue
      9 [label="Try expression enter"];
      subgraph cluster_2 {
        color=blue
        10 [label="Try main block enter"];
        subgraph cluster_3 {
          color=blue
          11 [label="Enter block"];
          12 [label="Access variable <Unresolved name: HttpRequests>#"];
          13 [label="Access variable R|<local>/url|"];
          14 [label="Access variable R|<local>/url|"];
          15 [label="Access variable R|<local>/url|"];
          16 [label="Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|)"];
          17 [label="Function call: <Unresolved name: HttpRequests>#.<Unresolved name: request>#(R|<local>/url|).<Unresolved name: connect>#(<L> = connect@fun <anonymous>(): <ERROR TYPE REF: Unresolved name: fromJson> {
    <Unresolved name: GsonBuilder>#().<Unresolved name: create>#().<Unresolved name: fromJson>#(<Unresolved name: it>#.<Unresolved name: inputStream>#.<Ambiguity: reader, [kotlin/io/reader, kotlin/io/reader, kotlin/io/reader]>#(), <getClass>(<Inapplicable(PARAMETER_MAPPING_ERROR): [kotlin/Array.Array]>#<R|class error: Symbol not found, for `PluginDTO`|>()).<Inapplicable(WRONG_RECEIVER): [kotlin/jvm/java]>#)
}
)"];
          18 [label="Exit block"];
        }
        19 [label="Try main block exit"];
      }
      subgraph cluster_4 {
        color=blue
        20 [label="Catch enter"];
        subgraph cluster_5 {
          color=blue
          21 [label="Enter block"];
          22 [label="Const: String(Can't parse json response)"];
          23 [label="Access variable R|<local>/syntaxException|"];
          24 [label="Const: String(Can't parse json response)"];
          25 [label="Access variable R|<local>/syntaxException|"];
          26 [label="Const: String(Can't parse json response)"];
          27 [label="Access variable R|<local>/syntaxException|"];
          28 [label="Function call: <Unresolved name: ResponseParseException>#(String(Can't parse json response), R|<local>/syntaxException|)"];
          29 [label="Throw: throw <Unresolved name: ResponseParseException>#(String(Can't parse json response), R|<local>/syntaxException|)"];
          30 [label="Stub" style="filled" fillcolor=gray];
          31 [label="Exit block" style="filled" fillcolor=gray];
        }
        32 [label="Catch exit" style="filled" fillcolor=gray];
      }
      subgraph cluster_6 {
        color=blue
        33 [label="Catch enter"];
        subgraph cluster_7 {
          color=blue
          34 [label="Enter block"];
          35 [label="Access variable R|<local>/ioException|"];
          36 [label="Access variable R|<local>/ioException|"];
          37 [label="Access variable R|<local>/ioException|"];
          38 [label="Function call: <Unresolved name: IOException>#(R|<local>/ioException|)"];
          39 [label="Throw: throw <Unresolved name: IOException>#(R|<local>/ioException|)"];
          40 [label="Stub" style="filled" fillcolor=gray];
          41 [label="Exit block" style="filled" fillcolor=gray];
        }
        42 [label="Catch exit" style="filled" fillcolor=gray];
      }
      43 [label="Try expression exit"];
    }
    44 [label="Variable declaration: lval pluginDTOs: R|kotlin/Array<class error: Symbol not found, for `PluginDTO`>|"];
    45 [label="Exit function fetchPluginReleaseDate" style="filled" fillcolor=red];
  }
  subgraph cluster_8 {
    color=blue
    46 [label="Enter annotation"];
    47 [label="Access variable <Unresolved name: IOException>#"];
    48 [label="Access variable <Unresolved name: ResponseParseException>#"];
    49 [label="Exit annotation"];
  }

  0 -> {1};
  1 -> {2};
  2 -> {3};
  3 -> {4};
  4 -> {5};
  5 -> {6};
  6 -> {7};
  7 -> {8};
  8 -> {9};
  9 -> {10};
  10 -> {45 33 20 11};
  11 -> {12};
  12 -> {13};
  13 -> {14};
  14 -> {15};
  15 -> {16};
  16 -> {17};
  17 -> {18};
  18 -> {19};
  19 -> {43};
  20 -> {45 21};
  21 -> {22};
  22 -> {23};
  23 -> {24};
  24 -> {25};
  25 -> {26};
  26 -> {27};
  27 -> {28};
  28 -> {29};
  29 -> {45};
  29 -> {30} [style=dotted];
  30 -> {31} [style=dotted];
  31 -> {32} [style=dotted];
  32 -> {43} [style=dotted];
  33 -> {45 34};
  34 -> {35};
  35 -> {36};
  36 -> {37};
  37 -> {38};
  38 -> {39};
  39 -> {45};
  39 -> {40} [style=dotted];
  40 -> {41} [style=dotted];
  41 -> {42} [style=dotted];
  42 -> {43} [style=dotted];
  43 -> {44};
  44 -> {45};
  45 -> {46};
  46 -> {47};
  47 -> {48};
  48 -> {49};

  subgraph cluster_9 {
    color=red
    50 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
    51 [label="Function call: <Unresolved name: GsonBuilder>#()"];
    52 [label="Function call: <Unresolved name: GsonBuilder>#().<Unresolved name: create>#()"];
    53 [label="Access variable <Unresolved name: it>#"];
    54 [label="Access variable <Unresolved name: inputStream>#"];
    55 [label="Function call: <Unresolved name: it>#.<Unresolved name: inputStream>#.<Ambiguity: reader, [kotlin/io/reader, kotlin/io/reader, kotlin/io/reader]>#()"];
    56 [label="Function call: <Inapplicable(PARAMETER_MAPPING_ERROR): [kotlin/Array.Array]>#<R|class error: Symbol not found, for `PluginDTO`|>()"];
    57 [label="Access variable <Inapplicable(WRONG_RECEIVER): [kotlin/jvm/java]>#"];
    58 [label="Access variable <Inapplicable(WRONG_RECEIVER): [kotlin/jvm/java]>#"];
    59 [label="Access variable <Inapplicable(WRONG_RECEIVER): [kotlin/jvm/java]>#"];
    60 [label="Function call: <Unresolved name: GsonBuilder>#().<Unresolved name: create>#().<Unresolved name: fromJson>#(<Unresolved name: it>#.<Unresolved name: inputStream>#.<Ambiguity: reader, [kotlin/io/reader, kotlin/io/reader, kotlin/io/reader]>#(), <getClass>(<Inapplicable(PARAMETER_MAPPING_ERROR): [kotlin/Array.Array]>#<R|class error: Symbol not found, for `PluginDTO`|>()).<Inapplicable(WRONG_RECEIVER): [kotlin/jvm/java]>#)"];
    61 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
  }

  50 -> {51};
  51 -> {52};
  52 -> {53};
  53 -> {54};
  54 -> {55};
  55 -> {56};
  56 -> {57};
  57 -> {58};
  58 -> {59};
  59 -> {60};
  60 -> {61};

  subgraph cluster_10 {
    color=red
    62 [label="Enter function close" style="filled" fillcolor=red];
    63 [label="Exit function close" style="filled" fillcolor=red];
  }

  62 -> {63};

  subgraph cluster_11 {
    color=red
    64 [label="Enter function closeFinally" style="filled" fillcolor=red];
    subgraph cluster_12 {
      color=blue
      65 [label="Enter when"];
      subgraph cluster_13 {
        color=blue
        66 [label="Enter when branch condition "];
        67 [label="Access variable this@R|/closeFinally|"];
        68 [label="Const: Null(null)"];
        69 [label="Operator =="];
        70 [label="Exit when branch condition"];
      }
      subgraph cluster_14 {
        color=blue
        71 [label="Enter when branch condition "];
        72 [label="Access variable R|<local>/cause|"];
        73 [label="Const: Null(null)"];
        74 [label="Operator =="];
        75 [label="Exit when branch condition"];
      }
      subgraph cluster_15 {
        color=blue
        76 [label="Enter when branch condition else"];
        77 [label="Exit when branch condition"];
      }
      78 [label="Enter when branch result"];
      subgraph cluster_16 {
        color=blue
        79 [label="Enter block"];
        subgraph cluster_17 {
          color=blue
          80 [label="Try expression enter"];
          subgraph cluster_18 {
            color=blue
            81 [label="Try main block enter"];
            subgraph cluster_19 {
              color=blue
              82 [label="Enter block"];
              83 [label="Function call: this@R|/AutoCloseable|.R|/AutoCloseable.close|()"];
              84 [label="Exit block"];
            }
            85 [label="Try main block exit"];
          }
          subgraph cluster_20 {
            color=blue
            86 [label="Catch enter"];
            subgraph cluster_21 {
              color=blue
              87 [label="Enter block"];
              88 [label="Access variable R|<local>/cause|"];
              89 [label="Access variable R|<local>/closeException|"];
              90 [label="Function call: R|<local>/cause|.R|kotlin/addSuppressed|(R|<local>/closeException|)"];
              91 [label="Exit block"];
            }
            92 [label="Catch exit"];
          }
          93 [label="Try expression exit"];
        }
        94 [label="Exit block"];
      }
      95 [label="Exit when branch result"];
      96 [label="Enter when branch result"];
      subgraph cluster_22 {
        color=blue
        97 [label="Enter block"];
        98 [label="Function call: this@R|/AutoCloseable|.R|/AutoCloseable.close|()"];
        99 [label="Exit block"];
      }
      100 [label="Exit when branch result"];
      101 [label="Enter when branch result"];
      subgraph cluster_23 {
        color=blue
        102 [label="Enter block"];
        103 [label="Exit block"];
      }
      104 [label="Exit when branch result"];
      105 [label="Exit when"];
    }
    106 [label="Jump: ^closeFinally when () {
    ==(this@R|/closeFinally|, Null(null)) ->  {
    }
    ==(R|<local>/cause|, Null(null)) ->  {
        this@R|/AutoCloseable|.R|/AutoCloseable.close|()
    }
    else ->  {
        try {
            this@R|/AutoCloseable|.R|/AutoCloseable.close|()
        }
        catch (closeException: R|kotlin/Throwable|) {
            R|<local>/cause|.R|kotlin/addSuppressed|(R|<local>/closeException|)
        }

    }
}
"];
    107 [label="Stub" style="filled" fillcolor=gray];
    108 [label="Exit function closeFinally" style="filled" fillcolor=red];
  }

  64 -> {65};
  65 -> {66};
  66 -> {67};
  67 -> {68};
  68 -> {69};
  69 -> {70};
  70 -> {101 71};
  71 -> {72};
  72 -> {73};
  73 -> {74};
  74 -> {75};
  75 -> {96 76};
  76 -> {77};
  77 -> {78};
  78 -> {79};
  79 -> {80};
  80 -> {81};
  81 -> {108 86 82};
  82 -> {83};
  83 -> {84};
  84 -> {85};
  85 -> {93};
  86 -> {108 87};
  87 -> {88};
  88 -> {89};
  89 -> {90};
  90 -> {91};
  91 -> {92};
  92 -> {93};
  93 -> {94};
  94 -> {95};
  95 -> {105};
  96 -> {97};
  97 -> {98};
  98 -> {99};
  99 -> {100};
  100 -> {105};
  101 -> {102};
  102 -> {103};
  103 -> {104};
  104 -> {105};
  105 -> {106};
  106 -> {108};
  106 -> {107} [style=dotted];
  107 -> {108} [style=dotted];

  subgraph cluster_24 {
    color=red
    109 [label="Enter function firstIsInstanceOrNull" style="filled" fillcolor=red];
    110 [label="Access variable this@R|/firstIsInstanceOrNull|"];
    111 [label="Variable declaration: lval <range>: R|kotlin/sequences/Sequence<*>|"];
    112 [label="Access variable R|<local>/<range>|"];
    113 [label="Function call: R|<local>/<range>|.R|kotlin/sequences/Sequence.iterator|()"];
    114 [label="Variable declaration: lval <iterator>: R|kotlin/collections/Iterator<T>|"];
    subgraph cluster_25 {
      color=blue
      115 [label="Enter while loop"];
      subgraph cluster_26 {
        color=blue
        116 [label="Enter loop condition"];
        117 [label="Access variable R|<local>/<iterator>|"];
        118 [label="Function call: R|<local>/<iterator>|.R|kotlin/collections/Iterator.hasNext|()"];
        119 [label="Exit loop condition"];
      }
      subgraph cluster_27 {
        color=blue
        120 [label="Enter loop block"];
        subgraph cluster_28 {
          color=blue
          121 [label="Enter block"];
          122 [label="Access variable R|<local>/<iterator>|"];
          123 [label="Function call: R|<local>/<iterator>|.R|FakeOverride<kotlin/collections/Iterator.next: R|T|>|()"];
          124 [label="Variable declaration: lval element: R|T|"];
          subgraph cluster_29 {
            color=blue
            125 [label="Enter when"];
            subgraph cluster_30 {
              color=blue
              126 [label="Enter when branch condition "];
              127 [label="Access variable R|<local>/element|"];
              128 [label="Type operator: element is T"];
              129 [label="Exit when branch condition"];
            }
            130 [label="Synthetic else branch"];
            131 [label="Enter when branch result"];
            subgraph cluster_31 {
              color=blue
              132 [label="Enter block"];
              133 [label="Access variable R|<local>/element|"];
              134 [label="Jump: ^firstIsInstanceOrNull R|<local>/element|"];
              135 [label="Stub" style="filled" fillcolor=gray];
              136 [label="Exit block" style="filled" fillcolor=gray];
            }
            137 [label="Exit when branch result" style="filled" fillcolor=gray];
            138 [label="Exit when"];
          }
          139 [label="Exit block"];
        }
        140 [label="Exit loop block"];
      }
      141 [label="Exit whileloop"];
    }
    142 [label="Const: Null(null)"];
    143 [label="Jump: ^firstIsInstanceOrNull Null(null)"];
    144 [label="Stub" style="filled" fillcolor=gray];
    145 [label="Exit function firstIsInstanceOrNull" style="filled" fillcolor=red];
  }

  109 -> {110};
  110 -> {111};
  111 -> {112};
  112 -> {113};
  113 -> {114};
  114 -> {115};
  115 -> {116};
  116 -> {117};
  117 -> {118};
  118 -> {119};
  119 -> {141 120};
  120 -> {121};
  121 -> {122};
  122 -> {123};
  123 -> {124};
  124 -> {125};
  125 -> {126};
  126 -> {127};
  127 -> {128};
  128 -> {129};
  129 -> {131 130};
  130 -> {138};
  131 -> {132};
  132 -> {133};
  133 -> {134};
  134 -> {145};
  134 -> {135} [style=dotted];
  135 -> {136} [style=dotted];
  136 -> {137} [style=dotted];
  137 -> {138} [style=dotted];
  138 -> {139};
  139 -> {140};
  140 -> {116};
  141 -> {142};
  142 -> {143};
  143 -> {145};
  143 -> {144} [style=dotted];
  144 -> {145} [style=dotted];

}