azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[FIR] Update CFG dumps according to changed order of visiting class children

Browse Source
This commit is contained in:
Dmitriy Novozhilov
2021-06-21 10:07:03 +03:00
parent 1324e9223f
commit 4225813d79
41 changed files with 1641 additions and 1640 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/fir/analysis-tests/testData/resolve/cfg/annotatedLocalClass.dot
Vendored
+8 -8
View File
@@ -5,19 +5,19 @@ digraph annotatedLocalClass_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class Ann" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class Ann" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter class Ann" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Exit class Ann" style="filled" fillcolor=red];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3}; 3 -> {4} [color=green];
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/cfg/complex.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph complex_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class AutoCloseable" style="filled" fillcolor=red]; 0 [label="Enter function close" style="filled" fillcolor=red];
1 [label="Exit class AutoCloseable" style="filled" fillcolor=red]; 1 [label="Exit function close" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function close" style="filled" fillcolor=red]; 2 [label="Enter class AutoCloseable" style="filled" fillcolor=red];
3 [label="Exit function close" style="filled" fillcolor=red]; 3 [label="Exit class AutoCloseable" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/cfg/initBlock.dot
Vendored
+62 -62
View File
@@ -5,91 +5,91 @@ digraph initBlock_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class Foo" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Part of class initialization"]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit class Foo" style="filled" fillcolor=red]; 2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2} [style=dotted]; 1 -> {2};
1 -> {6} [color=green];
1 -> {6} [style=dashed];
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
3 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter init block" style="filled" fillcolor=red];
4 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_2 {
5 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
4 [label="Enter block"];
5 [label="Const: Int(1)"];
6 [label="Variable declaration: lval x: R|kotlin/Int|"];
7 [label="Exit block"];
}
8 [label="Exit init block" style="filled" fillcolor=red];
} }
3 -> {4}; 3 -> {4};
4 -> {5}; 4 -> {5};
5 -> {6};
subgraph cluster_2 {
color=red
6 [label="Enter init block" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue
7 [label="Enter block"];
8 [label="Const: Int(1)"];
9 [label="Variable declaration: lval x: R|kotlin/Int|"];
10 [label="Exit block"];
}
11 [label="Exit init block" style="filled" fillcolor=red];
}
6 -> {7}; 6 -> {7};
7 -> {8}; 7 -> {8};
8 -> {9}; 8 -> {11} [color=green];
9 -> {10};
10 -> {11}; subgraph cluster_3 {
11 -> {2} [color=green]; color=red
9 [label="Enter class Foo" style="filled" fillcolor=red];
10 [label="Part of class initialization"];
11 [label="Exit class Foo" style="filled" fillcolor=red];
}
9 -> {10} [color=green];
10 -> {11} [style=dotted];
10 -> {3} [color=green];
10 -> {3} [style=dashed];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
12 [label="Enter class Bar" style="filled" fillcolor=red]; 12 [label="Enter function <init>" style="filled" fillcolor=red];
13 [label="Part of class initialization"]; 13 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
14 [label="Exit class Bar" style="filled" fillcolor=red]; 14 [label="Exit function <init>" style="filled" fillcolor=red];
} }
12 -> {13} [color=green]; 12 -> {13};
13 -> {14} [style=dotted]; 13 -> {14};
13 -> {18} [color=green];
13 -> {18} [style=dashed];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
15 [label="Enter function <init>" style="filled" fillcolor=red]; 15 [label="Enter init block" style="filled" fillcolor=red];
16 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_6 {
17 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
16 [label="Enter block"];
17 [label="Const: Int(1)"];
18 [label="Variable declaration: lval x: R|kotlin/Int|"];
19 [label="Function call: R|java/lang/Exception.Exception|()"];
20 [label="Throw: throw R|java/lang/Exception.Exception|()"];
21 [label="Stub" style="filled" fillcolor=gray];
22 [label="Const: Int(2)" style="filled" fillcolor=gray];
23 [label="Variable declaration: lval y: R|kotlin/Int|" style="filled" fillcolor=gray];
24 [label="Exit block" style="filled" fillcolor=gray];
}
25 [label="Exit init block" style="filled" fillcolor=red];
} }
15 -> {16}; 15 -> {16};
16 -> {17}; 16 -> {17};
17 -> {18};
subgraph cluster_6 {
color=red
18 [label="Enter init block" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
19 [label="Enter block"];
20 [label="Const: Int(1)"];
21 [label="Variable declaration: lval x: R|kotlin/Int|"];
22 [label="Function call: R|java/lang/Exception.Exception|()"];
23 [label="Throw: throw R|java/lang/Exception.Exception|()"];
24 [label="Stub" style="filled" fillcolor=gray];
25 [label="Const: Int(2)" style="filled" fillcolor=gray];
26 [label="Variable declaration: lval y: R|kotlin/Int|" style="filled" fillcolor=gray];
27 [label="Exit block" style="filled" fillcolor=gray];
}
28 [label="Exit init block" style="filled" fillcolor=red];
}
18 -> {19}; 18 -> {19};
19 -> {20}; 19 -> {20};
20 -> {21}; 20 -> {25} [label=onUncaughtException];
21 -> {22}; 20 -> {21} [style=dotted];
22 -> {23}; 21 -> {22} [style=dotted];
23 -> {28} [label=onUncaughtException]; 22 -> {23} [style=dotted];
23 -> {24} [style=dotted]; 23 -> {24} [style=dotted];
24 -> {25} [style=dotted]; 24 -> {25} [style=dotted];
25 -> {26} [style=dotted]; 25 -> {28} [color=green];
26 -> {27} [style=dotted];
subgraph cluster_7 {
color=red
26 [label="Enter class Bar" style="filled" fillcolor=red];
27 [label="Part of class initialization"];
28 [label="Exit class Bar" style="filled" fillcolor=red];
}
26 -> {27} [color=green];
27 -> {28} [style=dotted]; 27 -> {28} [style=dotted];
28 -> {14} [color=green]; 27 -> {15} [color=green];
27 -> {15} [style=dashed];
} }
compiler/fir/analysis-tests/testData/resolve/cfg/initBlockAndInPlaceLambda.dot
Vendored
+59 -59
View File
@@ -19,78 +19,78 @@ digraph initBlockAndInPlaceLambda_kt {
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter class C" style="filled" fillcolor=red]; 4 [label="Enter function <init>" style="filled" fillcolor=red];
5 [label="Part of class initialization"]; 5 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
6 [label="Exit class C" style="filled" fillcolor=red]; 6 [label="Exit function <init>" style="filled" fillcolor=red];
} }
4 -> {5} [color=green]; 4 -> {5};
5 -> {6} [style=dotted]; 5 -> {6};
5 -> {10} [color=green];
5 -> {10} [style=dashed];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
7 [label="Enter function <init>" style="filled" fillcolor=red]; 7 [label="Enter init block" style="filled" fillcolor=red];
8 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_4 {
9 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
8 [label="Enter block"];
9 [label="Access variable R|<local>/a|"];
10 [label="Access variable R|/A.b|"];
11 [label="Enter safe call"];
12 [label="Postponed enter to lambda"];
subgraph cluster_5 {
color=blue
20 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_6 {
color=blue
21 [label="Enter block"];
22 [label="Access variable R|<local>/a|"];
23 [label="Access variable R|<local>/it|"];
24 [label="Function call: R|/C.C|(...)"];
25 [label="Exit block"];
}
26 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
13 [label="Call arguments union" style="filled" fillcolor=yellow];
14 [label="Postponed exit from lambda"];
15 [label="Function call: $subj$.R|kotlin/let|<R|B|, R|C|>(...)"];
16 [label="Exit safe call"];
17 [label="Variable declaration: lval c: R|C?|"];
18 [label="Exit block"];
}
19 [label="Exit init block" style="filled" fillcolor=red];
} }
7 -> {8}; 7 -> {8};
8 -> {9}; 8 -> {9};
9 -> {10};
subgraph cluster_4 { 10 -> {11 16};
color=red
10 [label="Enter init block" style="filled" fillcolor=red];
subgraph cluster_5 {
color=blue
11 [label="Enter block"];
12 [label="Access variable R|<local>/a|"];
13 [label="Access variable R|/A.b|"];
14 [label="Enter safe call"];
15 [label="Postponed enter to lambda"];
subgraph cluster_6 {
color=blue
23 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
24 [label="Enter block"];
25 [label="Access variable R|<local>/a|"];
26 [label="Access variable R|<local>/it|"];
27 [label="Function call: R|/C.C|(...)"];
28 [label="Exit block"];
}
29 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
16 [label="Call arguments union" style="filled" fillcolor=yellow];
17 [label="Postponed exit from lambda"];
18 [label="Function call: $subj$.R|kotlin/let|<R|B|, R|C|>(...)"];
19 [label="Exit safe call"];
20 [label="Variable declaration: lval c: R|C?|"];
21 [label="Exit block"];
}
22 [label="Exit init block" style="filled" fillcolor=red];
}
10 -> {11};
11 -> {12}; 11 -> {12};
12 -> {13}; 12 -> {20};
13 -> {14 19}; 12 -> {14} [color=red];
14 -> {15}; 12 -> {20} [style=dashed];
15 -> {23}; 13 -> {15} [color=red];
15 -> {17} [color=red]; 14 -> {15} [color=green];
15 -> {23} [style=dashed]; 15 -> {16};
16 -> {18} [color=red]; 16 -> {17};
17 -> {18} [color=green]; 17 -> {18};
18 -> {19}; 18 -> {19};
19 -> {20}; 19 -> {29} [color=green];
20 -> {21}; 20 -> {21};
21 -> {22}; 21 -> {22};
22 -> {6} [color=green]; 22 -> {23};
23 -> {24}; 23 -> {24};
24 -> {25}; 24 -> {25};
25 -> {26}; 25 -> {26};
26 -> {27}; 26 -> {13} [color=red];
27 -> {28}; 26 -> {14} [color=green];
28 -> {29};
29 -> {16} [color=red]; subgraph cluster_7 {
29 -> {17} [color=green]; color=red
27 [label="Enter class C" style="filled" fillcolor=red];
28 [label="Part of class initialization"];
29 [label="Exit class C" style="filled" fillcolor=red];
}
27 -> {28} [color=green];
28 -> {29} [style=dotted];
28 -> {7} [color=green];
28 -> {7} [style=dashed];
} }
compiler/fir/analysis-tests/testData/resolve/cfg/innerClassInAnonymousObject.dot
Vendored
+20 -20
View File
@@ -14,33 +14,33 @@ digraph innerClassInAnonymousObject_kt {
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
3 [label="Enter class Nested" style="filled" fillcolor=red]; 3 [label="Enter function <init>" style="filled" fillcolor=red];
4 [label="Exit class Nested" style="filled" fillcolor=red]; 4 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
5 [label="Exit function <init>" style="filled" fillcolor=red];
} }
3 -> {4} [color=green]; 3 -> {4};
4 -> {5};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
5 [label="Enter function <init>" style="filled" fillcolor=red]; 6 [label="Enter function foo" style="filled" fillcolor=red];
6 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_3 {
7 [label="Exit function <init>" style="filled" fillcolor=red];
}
5 -> {6};
6 -> {7};
subgraph cluster_3 {
color=red
8 [label="Enter function foo" style="filled" fillcolor=red];
subgraph cluster_4 {
color=blue color=blue
9 [label="Enter block"]; 7 [label="Enter block"];
10 [label="Exit block"]; 8 [label="Exit block"];
} }
11 [label="Exit function foo" style="filled" fillcolor=red]; 9 [label="Exit function foo" style="filled" fillcolor=red];
} }
6 -> {7};
7 -> {8};
8 -> {9}; 8 -> {9};
9 -> {10};
10 -> {11}; subgraph cluster_4 {
color=red
10 [label="Enter class Nested" style="filled" fillcolor=red];
11 [label="Exit class Nested" style="filled" fillcolor=red];
}
10 -> {11} [color=green];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
@@ -55,7 +55,7 @@ digraph innerClassInAnonymousObject_kt {
13 [label="Exit class <anonymous object>" style="filled" fillcolor=red]; 13 [label="Exit class <anonymous object>" style="filled" fillcolor=red];
} }
14 -> {15}; 14 -> {15};
14 -> {0 5 8} [color=red]; 14 -> {0 3 6} [color=red];
15 -> {16}; 15 -> {16};
15 -> {0 12} [color=green]; 15 -> {0 12} [color=green];
15 -> {0 12} [style=dashed]; 15 -> {0 12} [style=dashed];
compiler/fir/analysis-tests/testData/resolve/cfg/lambdaReturningObject.dot
Vendored
+8 -8
View File
@@ -33,19 +33,19 @@ digraph lambdaReturningObject_kt {
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
8 [label="Enter class IrStarProjectionImpl" style="filled" fillcolor=red]; 8 [label="Enter function <init>" style="filled" fillcolor=red];
9 [label="Exit class IrStarProjectionImpl" style="filled" fillcolor=red]; 9 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
10 [label="Exit function <init>" style="filled" fillcolor=red];
} }
8 -> {9} [color=green]; 8 -> {9};
9 -> {10};
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
10 [label="Enter function <init>" style="filled" fillcolor=red]; 11 [label="Enter class IrStarProjectionImpl" style="filled" fillcolor=red];
11 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 12 [label="Exit class IrStarProjectionImpl" style="filled" fillcolor=red];
12 [label="Exit function <init>" style="filled" fillcolor=red];
} }
10 -> {11}; 11 -> {12} [color=green];
11 -> {12};
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/cfg/postponedLambdaInConstructor.dot
Vendored
+70 -70
View File
@@ -5,111 +5,111 @@ digraph postponedLambdaInConstructor_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Exit class A" style="filled" fillcolor=red];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3}; 3 -> {4} [color=green];
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
5 [label="Enter class B" style="filled" fillcolor=red]; 5 [label="Enter function <init>" style="filled" fillcolor=red];
6 [label="Part of class initialization"]; 6 [label="Access variable R|<local>/s|"];
7 [label="Exit class B" style="filled" fillcolor=red]; 7 [label="Postponed enter to lambda"];
} subgraph cluster_3 {
5 -> {6} [color=green];
6 -> {7} [style=dotted];
6 -> {27} [color=green];
6 -> {27} [style=dashed];
subgraph cluster_3 {
color=red
8 [label="Enter function <init>" style="filled" fillcolor=red];
9 [label="Access variable R|<local>/s|"];
10 [label="Postponed enter to lambda"];
subgraph cluster_4 {
color=blue color=blue
16 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 13 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_5 { subgraph cluster_4 {
color=blue color=blue
17 [label="Enter block"]; 14 [label="Enter block"];
18 [label="Postponed enter to lambda"]; 15 [label="Postponed enter to lambda"];
subgraph cluster_6 { subgraph cluster_5 {
color=blue color=blue
22 [label="Enter function anonymousFunction" style="filled" fillcolor=red]; 19 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_7 { subgraph cluster_6 {
color=blue color=blue
23 [label="Enter block"]; 20 [label="Enter block"];
24 [label="Access variable R|<local>/it|"]; 21 [label="Access variable R|<local>/it|"];
25 [label="Exit block"]; 22 [label="Exit block"];
} }
26 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 23 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
} }
19 [label="Postponed exit from lambda"]; 16 [label="Postponed exit from lambda"];
20 [label="Exit block"]; 17 [label="Exit block"];
} }
21 [label="Exit function anonymousFunction" style="filled" fillcolor=red]; 18 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
} }
11 [label="Postponed exit from lambda"]; 8 [label="Postponed exit from lambda"];
12 [label="Function call: R|<local>/s|.R|kotlin/let|<R|kotlin/String|, R|() -> kotlin/String|>(...)"]; 9 [label="Function call: R|<local>/s|.R|kotlin/let|<R|kotlin/String|, R|() -> kotlin/String|>(...)"];
13 [label="Call arguments union" style="filled" fillcolor=yellow]; 10 [label="Call arguments union" style="filled" fillcolor=yellow];
14 [label="Delegated constructor call: super<R|A|>(...)"]; 11 [label="Delegated constructor call: super<R|A|>(...)"];
15 [label="Exit function <init>" style="filled" fillcolor=red]; 12 [label="Exit function <init>" style="filled" fillcolor=red];
} }
5 -> {6};
6 -> {7};
7 -> {13};
7 -> {8} [color=red];
7 -> {13} [style=dashed];
8 -> {9}; 8 -> {9};
9 -> {10}; 9 -> {10};
10 -> {16}; 10 -> {11};
10 -> {11} [color=red];
10 -> {16} [style=dashed];
11 -> {12}; 11 -> {12};
12 -> {13};
13 -> {14}; 13 -> {14};
14 -> {15}; 14 -> {15};
15 -> {16 19};
15 -> {19} [style=dashed];
16 -> {17}; 16 -> {17};
17 -> {18}; 17 -> {18};
18 -> {19 22}; 18 -> {10} [color=red];
18 -> {22} [style=dashed]; 18 -> {8} [color=green];
19 -> {20}; 19 -> {20};
20 -> {21}; 20 -> {21};
21 -> {13} [color=red]; 21 -> {22};
21 -> {11} [color=green];
22 -> {23}; 22 -> {23};
23 -> {24};
subgraph cluster_7 {
color=red
24 [label="Enter property" style="filled" fillcolor=red];
25 [label="Access variable R|<local>/s|"];
26 [label="Exit property" style="filled" fillcolor=red];
}
24 -> {25}; 24 -> {25};
25 -> {26}; 25 -> {26};
26 -> {34} [color=green];
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
27 [label="Enter property" style="filled" fillcolor=red]; 27 [label="Enter function foo" style="filled" fillcolor=red];
28 [label="Access variable R|<local>/s|"]; subgraph cluster_9 {
29 [label="Exit property" style="filled" fillcolor=red]; color=blue
28 [label="Enter block"];
29 [label="Function call: this@R|/B|.R|/B.foo|()"];
30 [label="Exit block"];
}
31 [label="Exit function foo" style="filled" fillcolor=red];
} }
27 -> {28}; 27 -> {28};
28 -> {29}; 28 -> {29};
29 -> {7} [color=green]; 29 -> {30};
subgraph cluster_9 {
color=red
30 [label="Enter function foo" style="filled" fillcolor=red];
subgraph cluster_10 {
color=blue
31 [label="Enter block"];
32 [label="Function call: this@R|/B|.R|/B.foo|()"];
33 [label="Exit block"];
}
34 [label="Exit function foo" style="filled" fillcolor=red];
}
30 -> {31}; 30 -> {31};
31 -> {32};
32 -> {33}; subgraph cluster_10 {
33 -> {34}; color=red
32 [label="Enter class B" style="filled" fillcolor=red];
33 [label="Part of class initialization"];
34 [label="Exit class B" style="filled" fillcolor=red];
}
32 -> {33} [color=green];
33 -> {34} [style=dotted];
33 -> {24} [color=green];
33 -> {24} [style=dashed];
} }
compiler/fir/analysis-tests/testData/resolve/cfg/returnValuesFromLambda.dot
Vendored
+16 -16
View File
@@ -12,35 +12,35 @@ digraph returnValuesFromLambda_kt {
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter class B" style="filled" fillcolor=red]; 2 [label="Enter function <init>" style="filled" fillcolor=red];
3 [label="Exit class B" style="filled" fillcolor=red]; 3 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3} [color=green]; 2 -> {3};
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter function <init>" style="filled" fillcolor=red]; 5 [label="Enter class B" style="filled" fillcolor=red];
5 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 6 [label="Exit class B" style="filled" fillcolor=red];
6 [label="Exit function <init>" style="filled" fillcolor=red];
} }
4 -> {5}; 5 -> {6} [color=green];
5 -> {6};
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
7 [label="Enter class C" style="filled" fillcolor=red]; 7 [label="Enter function <init>" style="filled" fillcolor=red];
8 [label="Exit class C" style="filled" fillcolor=red]; 8 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
9 [label="Exit function <init>" style="filled" fillcolor=red];
} }
7 -> {8} [color=green]; 7 -> {8};
8 -> {9};
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
9 [label="Enter function <init>" style="filled" fillcolor=red]; 10 [label="Enter class C" style="filled" fillcolor=red];
10 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 11 [label="Exit class C" style="filled" fillcolor=red];
11 [label="Exit function <init>" style="filled" fillcolor=red];
} }
9 -> {10}; 10 -> {11} [color=green];
10 -> {11};
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/cfg/safeCalls.dot
Vendored
+8 -8
View File
@@ -5,24 +5,24 @@ digraph safeCalls_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter function bar" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit function bar" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter function bar" style="filled" fillcolor=red]; 4 [label="Enter class A" style="filled" fillcolor=red];
5 [label="Exit function bar" style="filled" fillcolor=red]; 5 [label="Exit class A" style="filled" fillcolor=red];
} }
4 -> {5}; 4 -> {5} [color=green];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/exhaustiveness/positive/exhaustiveWhenAndDNNType.dot
Vendored
+16 -16
View File
@@ -5,35 +5,35 @@ digraph exhaustiveWhenAndDNNType_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class SomeEnum" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class SomeEnum" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Enum<SomeEnum>|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter class SomeEnum" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Enum<SomeEnum>|>()"]; 4 [label="Exit class SomeEnum" style="filled" fillcolor=red];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3}; 3 -> {4} [color=green];
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
5 [label="Enter class B" style="filled" fillcolor=red]; 5 [label="Enter function <init>" style="filled" fillcolor=red];
6 [label="Exit class B" style="filled" fillcolor=red]; 6 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
7 [label="Exit function <init>" style="filled" fillcolor=red];
} }
5 -> {6} [color=green]; 5 -> {6};
6 -> {7};
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
7 [label="Enter function <init>" style="filled" fillcolor=red]; 8 [label="Enter class B" style="filled" fillcolor=red];
8 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 9 [label="Exit class B" style="filled" fillcolor=red];
9 [label="Exit function <init>" style="filled" fillcolor=red];
} }
7 -> {8}; 8 -> {9} [color=green];
8 -> {9};
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/multifile/Annotations.fir.txt
Vendored
+1 -1
View File
@@ -90,4 +90,4 @@ FILE: main.kt
} }
} }
@R|annotations/WithInt|(Int(24)) @R|annotations/VeryComplex|(Float(3.14), Double(6.67E-11), Boolean(false), Long(123456789012345), Null(null)) @R|annotations/WithInt|(Int(24)) @R|annotations/VeryComplex|(Float(3.14), Double(6.67E-11), Boolean(false), Long(123456789012345), Null(null)) public final typealias Third = R|@R|annotations/Simple|() test/Second| @R|annotations/WithInt|(Int(24)) @R|annotations/VeryComplex|(Float(3.14), Double(6.67E-11), Boolean(false), Long(123456789012345), Null(null)) public final typealias Third = R|@R|annotations/Simple|() test/Second|
compiler/fir/analysis-tests/testData/resolve/problems/secondaryConstructorCfg.dot
Vendored
+68 -68
View File
@@ -5,99 +5,99 @@ digraph secondaryConstructorCfg_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class B" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Part of class initialization"]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Part of class initialization"]; 2 [label="Exit function <init>" style="filled" fillcolor=red];
3 [label="Part of class initialization"];
4 [label="Exit class B" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2} [style=dotted]; 1 -> {2};
1 -> {8} [color=green];
1 -> {8} [style=dashed];
2 -> {3} [style=dotted];
2 -> {11} [color=green];
2 -> {11} [style=dashed];
3 -> {4} [style=dotted];
3 -> {23} [color=green];
3 -> {23} [style=dashed];
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
5 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter property" style="filled" fillcolor=red];
6 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Access variable R|<local>/p0|"];
7 [label="Exit function <init>" style="filled" fillcolor=red]; 5 [label="Exit property" style="filled" fillcolor=red];
} }
5 -> {6}; 3 -> {4};
6 -> {7}; 4 -> {5};
5 -> {29} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
8 [label="Enter property" style="filled" fillcolor=red]; 6 [label="Enter property" style="filled" fillcolor=red];
9 [label="Access variable R|<local>/p0|"]; 7 [label="Access variable R|<local>/p0|"];
10 [label="Exit property" style="filled" fillcolor=red]; 8 [label="Access variable R|kotlin/String.length|"];
9 [label="Exit property" style="filled" fillcolor=red];
} }
6 -> {7};
7 -> {8};
8 -> {9}; 8 -> {9};
9 -> {10}; 9 -> {30} [color=green];
10 -> {2} [color=green];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
11 [label="Enter property" style="filled" fillcolor=red]; 10 [label="Enter function <init>" style="filled" fillcolor=red];
12 [label="Access variable R|<local>/p0|"]; 11 [label="Access variable R|<local>/p0|"];
13 [label="Access variable R|kotlin/String.length|"]; 12 [label="Delegated constructor call: this<R|B|>(...)"];
14 [label="Exit property" style="filled" fillcolor=red]; subgraph cluster_4 {
color=blue
13 [label="Enter block"];
14 [label="Access variable R|<local>/p1|"];
15 [label="Assignment: R|/B.p3|"];
16 [label="Exit block"];
}
17 [label="Exit function <init>" style="filled" fillcolor=red];
} }
10 -> {11};
11 -> {12}; 11 -> {12};
12 -> {13}; 12 -> {13};
13 -> {14}; 13 -> {14};
14 -> {3} [color=green]; 14 -> {15};
subgraph cluster_4 {
color=red
15 [label="Enter function <init>" style="filled" fillcolor=red];
16 [label="Access variable R|<local>/p0|"];
17 [label="Delegated constructor call: this<R|B|>(...)"];
subgraph cluster_5 {
color=blue
18 [label="Enter block"];
19 [label="Access variable R|<local>/p1|"];
20 [label="Assignment: R|/B.p3|"];
21 [label="Exit block"];
}
22 [label="Exit function <init>" style="filled" fillcolor=red];
}
15 -> {16}; 15 -> {16};
16 -> {17}; 16 -> {17};
17 -> {18};
subgraph cluster_5 {
color=red
18 [label="Enter init block" style="filled" fillcolor=red];
subgraph cluster_6 {
color=blue
19 [label="Enter block"];
20 [label="Access variable R|<local>/p0|"];
21 [label="Access variable R|kotlin/String.length|"];
22 [label="Assignment: R|/B.p1|"];
23 [label="Const: String()"];
24 [label="Assignment: R|/B.p3|"];
25 [label="Exit block"];
}
26 [label="Exit init block" style="filled" fillcolor=red];
}
18 -> {19}; 18 -> {19};
19 -> {20}; 19 -> {20};
20 -> {21}; 20 -> {21};
21 -> {22}; 21 -> {22};
22 -> {23};
subgraph cluster_6 {
color=red
23 [label="Enter init block" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue
24 [label="Enter block"];
25 [label="Access variable R|<local>/p0|"];
26 [label="Access variable R|kotlin/String.length|"];
27 [label="Assignment: R|/B.p1|"];
28 [label="Const: String()"];
29 [label="Assignment: R|/B.p3|"];
30 [label="Exit block"];
}
31 [label="Exit init block" style="filled" fillcolor=red];
}
23 -> {24}; 23 -> {24};
24 -> {25}; 24 -> {25};
25 -> {26}; 25 -> {26};
26 -> {27}; 26 -> {31} [color=green];
27 -> {28};
28 -> {29}; subgraph cluster_7 {
29 -> {30}; color=red
30 -> {31}; 27 [label="Enter class B" style="filled" fillcolor=red];
31 -> {4} [color=green]; 28 [label="Part of class initialization"];
29 [label="Part of class initialization"];
30 [label="Part of class initialization"];
31 [label="Exit class B" style="filled" fillcolor=red];
}
27 -> {28} [color=green];
28 -> {29} [style=dotted];
28 -> {3} [color=green];
28 -> {3} [style=dashed];
29 -> {30} [style=dotted];
29 -> {6} [color=green];
29 -> {6} [style=dashed];
30 -> {31} [style=dotted];
30 -> {18} [color=green];
30 -> {18} [style=dashed];
} }
compiler/fir/analysis-tests/testData/resolve/smartcasts/bangbang.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph bangbang_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/booleanOperators.dot
Vendored
+20 -20
View File
@@ -5,52 +5,52 @@ digraph booleanOperators_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter function bool" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit function bool" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter function bool" style="filled" fillcolor=red]; 4 [label="Enter class A" style="filled" fillcolor=red];
5 [label="Exit function bool" style="filled" fillcolor=red]; 5 [label="Exit class A" style="filled" fillcolor=red];
} }
4 -> {5}; 4 -> {5} [color=green];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
6 [label="Enter class B" style="filled" fillcolor=red]; 6 [label="Enter function bar" style="filled" fillcolor=red];
7 [label="Exit class B" style="filled" fillcolor=red]; 7 [label="Exit function bar" style="filled" fillcolor=red];
} }
6 -> {7} [color=green]; 6 -> {7};
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
8 [label="Enter function bar" style="filled" fillcolor=red]; 8 [label="Enter class B" style="filled" fillcolor=red];
9 [label="Exit function bar" style="filled" fillcolor=red]; 9 [label="Exit class B" style="filled" fillcolor=red];
} }
8 -> {9}; 8 -> {9} [color=green];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
10 [label="Enter class C" style="filled" fillcolor=red]; 10 [label="Enter function baz" style="filled" fillcolor=red];
11 [label="Exit class C" style="filled" fillcolor=red]; 11 [label="Exit function baz" style="filled" fillcolor=red];
} }
10 -> {11} [color=green]; 10 -> {11};
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
12 [label="Enter function baz" style="filled" fillcolor=red]; 12 [label="Enter class C" style="filled" fillcolor=red];
13 [label="Exit function baz" style="filled" fillcolor=red]; 13 [label="Exit class C" style="filled" fillcolor=red];
} }
12 -> {13}; 12 -> {13} [color=green];
subgraph cluster_7 { subgraph cluster_7 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/equalsToBoolean.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph equalsToBoolean_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/booleans/jumpFromRhsOfOperator.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph jumpFromRhsOfOperator_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcasts.dot
Vendored
+28 -28
View File
@@ -5,31 +5,31 @@ digraph boundSmartcasts_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter class B" style="filled" fillcolor=red]; 4 [label="Enter function bar" style="filled" fillcolor=red];
5 [label="Exit class B" style="filled" fillcolor=red]; 5 [label="Exit function bar" style="filled" fillcolor=red];
} }
4 -> {5} [color=green]; 4 -> {5};
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
6 [label="Enter function bar" style="filled" fillcolor=red]; 6 [label="Enter class B" style="filled" fillcolor=red];
7 [label="Exit function bar" style="filled" fillcolor=red]; 7 [label="Exit class B" style="filled" fillcolor=red];
} }
6 -> {7}; 6 -> {7} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
@@ -316,33 +316,33 @@ digraph boundSmartcasts_kt {
subgraph cluster_27 { subgraph cluster_27 {
color=red color=red
115 [label="Enter class D" style="filled" fillcolor=red]; 115 [label="Enter function <init>" style="filled" fillcolor=red];
116 [label="Part of class initialization"]; 116 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
117 [label="Exit class D" style="filled" fillcolor=red]; 117 [label="Exit function <init>" style="filled" fillcolor=red];
} }
115 -> {116} [color=green]; 115 -> {116};
116 -> {117} [style=dotted]; 116 -> {117};
116 -> {121} [color=green];
116 -> {121} [style=dashed];
subgraph cluster_28 { subgraph cluster_28 {
color=red color=red
118 [label="Enter function <init>" style="filled" fillcolor=red]; 118 [label="Enter property" style="filled" fillcolor=red];
119 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 119 [label="Access variable R|<local>/any|"];
120 [label="Exit function <init>" style="filled" fillcolor=red]; 120 [label="Exit property" style="filled" fillcolor=red];
} }
118 -> {119}; 118 -> {119};
119 -> {120}; 119 -> {120};
120 -> {123} [color=green];
subgraph cluster_29 { subgraph cluster_29 {
color=red color=red
121 [label="Enter property" style="filled" fillcolor=red]; 121 [label="Enter class D" style="filled" fillcolor=red];
122 [label="Access variable R|<local>/any|"]; 122 [label="Part of class initialization"];
123 [label="Exit property" style="filled" fillcolor=red]; 123 [label="Exit class D" style="filled" fillcolor=red];
} }
121 -> {122}; 121 -> {122} [color=green];
122 -> {123}; 122 -> {123} [style=dotted];
123 -> {117} [color=green]; 122 -> {118} [color=green];
122 -> {118} [style=dashed];
subgraph cluster_30 { subgraph cluster_30 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/boundSmartcastsInBranches.dot
Vendored
+16 -16
View File
@@ -5,33 +5,33 @@ digraph boundSmartcastsInBranches_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Part of class initialization"]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit class A" style="filled" fillcolor=red]; 2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2} [style=dotted]; 1 -> {2};
1 -> {6} [color=green];
1 -> {6} [style=dashed];
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
3 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter property" style="filled" fillcolor=red];
4 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Const: String()"];
5 [label="Exit function <init>" style="filled" fillcolor=red]; 5 [label="Exit property" style="filled" fillcolor=red];
} }
3 -> {4}; 3 -> {4};
4 -> {5}; 4 -> {5};
5 -> {8} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
6 [label="Enter property" style="filled" fillcolor=red]; 6 [label="Enter class A" style="filled" fillcolor=red];
7 [label="Const: String()"]; 7 [label="Part of class initialization"];
8 [label="Exit property" style="filled" fillcolor=red]; 8 [label="Exit class A" style="filled" fillcolor=red];
} }
6 -> {7}; 6 -> {7} [color=green];
7 -> {8}; 7 -> {8} [style=dotted];
8 -> {2} [color=green]; 7 -> {3} [color=green];
7 -> {3} [style=dashed];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/boundSmartcasts/functionCallBound.dot
Vendored
+24 -24
View File
@@ -5,49 +5,49 @@ digraph functionCallBound_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class Base" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class Base" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter class Base" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Exit class Base" style="filled" fillcolor=red];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3}; 3 -> {4} [color=green];
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
5 [label="Enter class Sub" style="filled" fillcolor=red]; 5 [label="Enter function <init>" style="filled" fillcolor=red];
6 [label="Part of class initialization"]; 6 [label="Delegated constructor call: super<R|Base|>()"];
7 [label="Exit class Sub" style="filled" fillcolor=red]; 7 [label="Exit function <init>" style="filled" fillcolor=red];
} }
5 -> {6} [color=green]; 5 -> {6};
6 -> {7} [style=dotted]; 6 -> {7};
6 -> {11} [color=green];
6 -> {11} [style=dashed];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
8 [label="Enter function <init>" style="filled" fillcolor=red]; 8 [label="Enter property" style="filled" fillcolor=red];
9 [label="Delegated constructor call: super<R|Base|>()"]; 9 [label="Access variable R|<local>/data|"];
10 [label="Exit function <init>" style="filled" fillcolor=red]; 10 [label="Exit property" style="filled" fillcolor=red];
} }
8 -> {9}; 8 -> {9};
9 -> {10}; 9 -> {10};
10 -> {13} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
11 [label="Enter property" style="filled" fillcolor=red]; 11 [label="Enter class Sub" style="filled" fillcolor=red];
12 [label="Access variable R|<local>/data|"]; 12 [label="Part of class initialization"];
13 [label="Exit property" style="filled" fillcolor=red]; 13 [label="Exit class Sub" style="filled" fillcolor=red];
} }
11 -> {12}; 11 -> {12} [color=green];
12 -> {13}; 12 -> {13} [style=dotted];
13 -> {7} [color=green]; 12 -> {8} [color=green];
12 -> {8} [style=dashed];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/elvis.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph elvis_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/returns.dot
Vendored
+18 -18
View File
@@ -148,45 +148,45 @@ digraph returns_kt {
subgraph cluster_14 { subgraph cluster_14 {
color=red color=red
50 [label="Enter class A" style="filled" fillcolor=red]; 50 [label="Enter function foo" style="filled" fillcolor=red];
51 [label="Exit class A" style="filled" fillcolor=red]; 51 [label="Exit function foo" style="filled" fillcolor=red];
} }
50 -> {51} [color=green]; 50 -> {51};
subgraph cluster_15 { subgraph cluster_15 {
color=red color=red
52 [label="Enter function foo" style="filled" fillcolor=red]; 52 [label="Enter class A" style="filled" fillcolor=red];
53 [label="Exit function foo" style="filled" fillcolor=red]; 53 [label="Exit class A" style="filled" fillcolor=red];
} }
52 -> {53}; 52 -> {53} [color=green];
subgraph cluster_16 { subgraph cluster_16 {
color=red color=red
54 [label="Enter class B" style="filled" fillcolor=red]; 54 [label="Enter function bar" style="filled" fillcolor=red];
55 [label="Exit class B" style="filled" fillcolor=red]; 55 [label="Exit function bar" style="filled" fillcolor=red];
} }
54 -> {55} [color=green]; 54 -> {55};
subgraph cluster_17 { subgraph cluster_17 {
color=red color=red
56 [label="Enter function bar" style="filled" fillcolor=red]; 56 [label="Enter class B" style="filled" fillcolor=red];
57 [label="Exit function bar" style="filled" fillcolor=red]; 57 [label="Exit class B" style="filled" fillcolor=red];
} }
56 -> {57}; 56 -> {57} [color=green];
subgraph cluster_18 { subgraph cluster_18 {
color=red color=red
58 [label="Enter class C" style="filled" fillcolor=red]; 58 [label="Enter function baz" style="filled" fillcolor=red];
59 [label="Exit class C" style="filled" fillcolor=red]; 59 [label="Exit function baz" style="filled" fillcolor=red];
} }
58 -> {59} [color=green]; 58 -> {59};
subgraph cluster_19 { subgraph cluster_19 {
color=red color=red
60 [label="Enter function baz" style="filled" fillcolor=red]; 60 [label="Enter class C" style="filled" fillcolor=red];
61 [label="Exit function baz" style="filled" fillcolor=red]; 61 [label="Exit class C" style="filled" fillcolor=red];
} }
60 -> {61}; 60 -> {61} [color=green];
subgraph cluster_20 { subgraph cluster_20 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/smartcastFromArgument.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph smartcastFromArgument_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/controlStructures/when.dot
Vendored
+12 -12
View File
@@ -5,31 +5,31 @@ digraph when_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter class B" style="filled" fillcolor=red]; 4 [label="Enter function bar" style="filled" fillcolor=red];
5 [label="Exit class B" style="filled" fillcolor=red]; 5 [label="Exit function bar" style="filled" fillcolor=red];
} }
4 -> {5} [color=green]; 4 -> {5};
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
6 [label="Enter function bar" style="filled" fillcolor=red]; 6 [label="Enter class B" style="filled" fillcolor=red];
7 [label="Exit function bar" style="filled" fillcolor=red]; 7 [label="Exit class B" style="filled" fillcolor=red];
} }
6 -> {7}; 6 -> {7} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/equalsAndIdentity.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph equalsAndIdentity_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/inPlaceLambdas.dot
Vendored
+12 -12
View File
@@ -5,31 +5,31 @@ digraph inPlaceLambdas_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter class B" style="filled" fillcolor=red]; 4 [label="Enter function bar" style="filled" fillcolor=red];
5 [label="Exit class B" style="filled" fillcolor=red]; 5 [label="Exit function bar" style="filled" fillcolor=red];
} }
4 -> {5} [color=green]; 4 -> {5};
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
6 [label="Enter function bar" style="filled" fillcolor=red]; 6 [label="Enter class B" style="filled" fillcolor=red];
7 [label="Exit function bar" style="filled" fillcolor=red]; 7 [label="Exit class B" style="filled" fillcolor=red];
} }
6 -> {7}; 6 -> {7} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/lambdas/lambdaInWhenBranch.dot
Vendored
+50 -50
View File
@@ -5,95 +5,95 @@ digraph lambdaInWhenBranch_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class Sealed" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class Sealed" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter class Sealed" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Exit class Sealed" style="filled" fillcolor=red];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3}; 3 -> {4} [color=green];
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
5 [label="Enter class SubClass1" style="filled" fillcolor=red]; 5 [label="Enter function <init>" style="filled" fillcolor=red];
6 [label="Part of class initialization"]; 6 [label="Delegated constructor call: super<R|Sealed|>()"];
7 [label="Exit class SubClass1" style="filled" fillcolor=red]; 7 [label="Exit function <init>" style="filled" fillcolor=red];
} }
5 -> {6} [color=green]; 5 -> {6};
6 -> {7} [style=dotted]; 6 -> {7};
6 -> {11} [color=green];
6 -> {11} [style=dashed];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
8 [label="Enter function <init>" style="filled" fillcolor=red]; 8 [label="Enter property" style="filled" fillcolor=red];
9 [label="Delegated constructor call: super<R|Sealed|>()"]; 9 [label="Access variable R|<local>/t|"];
10 [label="Exit function <init>" style="filled" fillcolor=red]; 10 [label="Exit property" style="filled" fillcolor=red];
} }
8 -> {9}; 8 -> {9};
9 -> {10}; 9 -> {10};
10 -> {20} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
11 [label="Enter property" style="filled" fillcolor=red]; 11 [label="Enter function component1" style="filled" fillcolor=red];
12 [label="Access variable R|<local>/t|"]; 12 [label="Exit function component1" style="filled" fillcolor=red];
13 [label="Exit property" style="filled" fillcolor=red];
} }
11 -> {12}; 11 -> {12};
12 -> {13};
13 -> {7} [color=green];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
14 [label="Enter function component1" style="filled" fillcolor=red]; 13 [label="Enter function copy" style="filled" fillcolor=red];
15 [label="Exit function component1" style="filled" fillcolor=red]; subgraph cluster_6 {
}
14 -> {15};
subgraph cluster_6 {
color=red
16 [label="Enter function copy" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue color=blue
18 [label="Enter default value of t" style="filled" fillcolor=red]; 15 [label="Enter default value of t" style="filled" fillcolor=red];
19 [label="Access variable R|/SubClass1.t|"]; 16 [label="Access variable R|/SubClass1.t|"];
20 [label="Exit default value of t" style="filled" fillcolor=red]; 17 [label="Exit default value of t" style="filled" fillcolor=red];
} }
17 [label="Exit function copy" style="filled" fillcolor=red]; 14 [label="Exit function copy" style="filled" fillcolor=red];
} }
16 -> {18 17}; 13 -> {15 14};
18 -> {19}; 15 -> {16};
18 -> {18} [style=dashed]; 15 -> {15} [style=dashed];
19 -> {20}; 16 -> {17};
subgraph cluster_7 {
color=red
18 [label="Enter class SubClass1" style="filled" fillcolor=red];
19 [label="Part of class initialization"];
20 [label="Exit class SubClass1" style="filled" fillcolor=red];
}
18 -> {19} [color=green];
19 -> {20} [style=dotted];
19 -> {8} [color=green];
19 -> {8} [style=dashed];
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
21 [label="Enter class SubClass2" style="filled" fillcolor=red]; 21 [label="Enter function <init>" style="filled" fillcolor=red];
22 [label="Exit class SubClass2" style="filled" fillcolor=red]; 22 [label="Delegated constructor call: super<R|Sealed|>()"];
23 [label="Exit function <init>" style="filled" fillcolor=red];
} }
21 -> {22} [color=green]; 21 -> {22};
22 -> {23};
subgraph cluster_9 { subgraph cluster_9 {
color=red color=red
23 [label="Enter function <init>" style="filled" fillcolor=red]; 24 [label="Enter function copy" style="filled" fillcolor=red];
24 [label="Delegated constructor call: super<R|Sealed|>()"]; 25 [label="Exit function copy" style="filled" fillcolor=red];
25 [label="Exit function <init>" style="filled" fillcolor=red];
} }
23 -> {24};
24 -> {25}; 24 -> {25};
subgraph cluster_10 { subgraph cluster_10 {
color=red color=red
26 [label="Enter function copy" style="filled" fillcolor=red]; 26 [label="Enter class SubClass2" style="filled" fillcolor=red];
27 [label="Exit function copy" style="filled" fillcolor=red]; 27 [label="Exit class SubClass2" style="filled" fillcolor=red];
} }
26 -> {27}; 26 -> {27} [color=green];
subgraph cluster_11 { subgraph cluster_11 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/loops/dataFlowInfoFromWhileCondition.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph dataFlowInfoFromWhileCondition_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/loops/endlessLoops.dot
Vendored
+6 -6
View File
@@ -5,17 +5,17 @@ digraph endlessLoops_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/multipleCasts.dot
Vendored
+12 -12
View File
@@ -5,31 +5,31 @@ digraph multipleCasts_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter class A" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit class A" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter class B" style="filled" fillcolor=red]; 4 [label="Enter function foo" style="filled" fillcolor=red];
5 [label="Exit class B" style="filled" fillcolor=red]; 5 [label="Exit function foo" style="filled" fillcolor=red];
} }
4 -> {5} [color=green]; 4 -> {5};
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
6 [label="Enter function foo" style="filled" fillcolor=red]; 6 [label="Enter class B" style="filled" fillcolor=red];
7 [label="Exit function foo" style="filled" fillcolor=red]; 7 [label="Exit class B" style="filled" fillcolor=red];
} }
6 -> {7}; 6 -> {7} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/nullability.dot
Vendored
+122 -122
View File
@@ -5,212 +5,212 @@ digraph nullability_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function foo" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Exit function foo" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function foo" style="filled" fillcolor=red]; 2 [label="Enter function getA" style="filled" fillcolor=red];
3 [label="Exit function foo" style="filled" fillcolor=red]; 3 [label="Exit function getA" style="filled" fillcolor=red];
} }
2 -> {3}; 2 -> {3};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter function getA" style="filled" fillcolor=red]; 4 [label="Enter class A" style="filled" fillcolor=red];
5 [label="Exit function getA" style="filled" fillcolor=red]; 5 [label="Exit class A" style="filled" fillcolor=red];
} }
4 -> {5}; 4 -> {5} [color=green];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
6 [label="Enter class MyData" style="filled" fillcolor=red]; 6 [label="Enter function fs" style="filled" fillcolor=red];
7 [label="Exit class MyData" style="filled" fillcolor=red]; 7 [label="Exit function fs" style="filled" fillcolor=red];
} }
6 -> {7} [color=green]; 6 -> {7};
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
8 [label="Enter function fs" style="filled" fillcolor=red]; 8 [label="Enter class MyData" style="filled" fillcolor=red];
9 [label="Exit function fs" style="filled" fillcolor=red]; 9 [label="Exit class MyData" style="filled" fillcolor=red];
} }
8 -> {9}; 8 -> {9} [color=green];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
10 [label="Enter class Q" style="filled" fillcolor=red]; 10 [label="Enter function fdata" style="filled" fillcolor=red];
11 [label="Exit class Q" style="filled" fillcolor=red]; 11 [label="Exit function fdata" style="filled" fillcolor=red];
} }
10 -> {11} [color=green]; 10 -> {11};
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
12 [label="Enter function fdata" style="filled" fillcolor=red]; 12 [label="Enter class Q" style="filled" fillcolor=red];
13 [label="Exit function fdata" style="filled" fillcolor=red]; 13 [label="Exit class Q" style="filled" fillcolor=red];
} }
12 -> {13}; 12 -> {13} [color=green];
subgraph cluster_7 { subgraph cluster_7 {
color=red color=red
14 [label="Enter class QImpl" style="filled" fillcolor=red]; 14 [label="Enter function <init>" style="filled" fillcolor=red];
15 [label="Part of class initialization"]; 15 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
16 [label="Exit class QImpl" style="filled" fillcolor=red]; 16 [label="Exit function <init>" style="filled" fillcolor=red];
} }
14 -> {15} [color=green]; 14 -> {15};
15 -> {16} [style=dotted]; 15 -> {16};
15 -> {20} [color=green];
15 -> {20} [style=dashed];
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
17 [label="Enter function <init>" style="filled" fillcolor=red]; 17 [label="Enter property" style="filled" fillcolor=red];
18 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 18 [label="Access variable R|<local>/data|"];
19 [label="Exit function <init>" style="filled" fillcolor=red]; 19 [label="Exit property" style="filled" fillcolor=red];
} }
17 -> {18}; 17 -> {18};
18 -> {19}; 18 -> {19};
19 -> {29} [color=green];
subgraph cluster_9 { subgraph cluster_9 {
color=red color=red
20 [label="Enter property" style="filled" fillcolor=red]; 20 [label="Enter function fdata" style="filled" fillcolor=red];
21 [label="Access variable R|<local>/data|"]; subgraph cluster_10 {
22 [label="Exit property" style="filled" fillcolor=red]; color=blue
21 [label="Enter block"];
22 [label="Const: Null(null)"];
23 [label="Jump: ^fdata Null(null)"];
24 [label="Stub" style="filled" fillcolor=gray];
25 [label="Exit block" style="filled" fillcolor=gray];
}
26 [label="Exit function fdata" style="filled" fillcolor=red];
} }
20 -> {21}; 20 -> {21};
21 -> {22}; 21 -> {22};
22 -> {16} [color=green]; 22 -> {23};
23 -> {26};
23 -> {24} [style=dotted];
24 -> {25} [style=dotted];
25 -> {26} [style=dotted];
subgraph cluster_10 { subgraph cluster_11 {
color=red color=red
23 [label="Enter function fdata" style="filled" fillcolor=red]; 27 [label="Enter class QImpl" style="filled" fillcolor=red];
subgraph cluster_11 { 28 [label="Part of class initialization"];
color=blue 29 [label="Exit class QImpl" style="filled" fillcolor=red];
24 [label="Enter block"];
25 [label="Const: Null(null)"];
26 [label="Jump: ^fdata Null(null)"];
27 [label="Stub" style="filled" fillcolor=gray];
28 [label="Exit block" style="filled" fillcolor=gray];
}
29 [label="Exit function fdata" style="filled" fillcolor=red];
} }
23 -> {24}; 27 -> {28} [color=green];
24 -> {25};
25 -> {26};
26 -> {29};
26 -> {27} [style=dotted];
27 -> {28} [style=dotted];
28 -> {29} [style=dotted]; 28 -> {29} [style=dotted];
28 -> {17} [color=green];
28 -> {17} [style=dashed];
subgraph cluster_12 { subgraph cluster_12 {
color=red color=red
30 [label="Enter class QImplMutable" style="filled" fillcolor=red]; 30 [label="Enter function <init>" style="filled" fillcolor=red];
31 [label="Part of class initialization"]; 31 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
32 [label="Exit class QImplMutable" style="filled" fillcolor=red]; 32 [label="Exit function <init>" style="filled" fillcolor=red];
} }
30 -> {31} [color=green]; 30 -> {31};
31 -> {32} [style=dotted]; 31 -> {32};
31 -> {36} [color=green];
31 -> {36} [style=dashed];
subgraph cluster_13 { subgraph cluster_13 {
color=red color=red
33 [label="Enter function <init>" style="filled" fillcolor=red]; 33 [label="Enter property" style="filled" fillcolor=red];
34 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 34 [label="Access variable R|<local>/data|"];
35 [label="Exit function <init>" style="filled" fillcolor=red]; 35 [label="Exit property" style="filled" fillcolor=red];
} }
33 -> {34}; 33 -> {34};
34 -> {35}; 34 -> {35};
35 -> {45} [color=green];
subgraph cluster_14 { subgraph cluster_14 {
color=red color=red
36 [label="Enter property" style="filled" fillcolor=red]; 36 [label="Enter function fdata" style="filled" fillcolor=red];
37 [label="Access variable R|<local>/data|"]; subgraph cluster_15 {
38 [label="Exit property" style="filled" fillcolor=red]; color=blue
37 [label="Enter block"];
38 [label="Const: Null(null)"];
39 [label="Jump: ^fdata Null(null)"];
40 [label="Stub" style="filled" fillcolor=gray];
41 [label="Exit block" style="filled" fillcolor=gray];
}
42 [label="Exit function fdata" style="filled" fillcolor=red];
} }
36 -> {37}; 36 -> {37};
37 -> {38}; 37 -> {38};
38 -> {32} [color=green]; 38 -> {39};
39 -> {42};
39 -> {40} [style=dotted];
40 -> {41} [style=dotted];
41 -> {42} [style=dotted];
subgraph cluster_15 { subgraph cluster_16 {
color=red color=red
39 [label="Enter function fdata" style="filled" fillcolor=red]; 43 [label="Enter class QImplMutable" style="filled" fillcolor=red];
subgraph cluster_16 { 44 [label="Part of class initialization"];
color=blue 45 [label="Exit class QImplMutable" style="filled" fillcolor=red];
40 [label="Enter block"];
41 [label="Const: Null(null)"];
42 [label="Jump: ^fdata Null(null)"];
43 [label="Stub" style="filled" fillcolor=gray];
44 [label="Exit block" style="filled" fillcolor=gray];
}
45 [label="Exit function fdata" style="filled" fillcolor=red];
} }
39 -> {40}; 43 -> {44} [color=green];
40 -> {41};
41 -> {42};
42 -> {45};
42 -> {43} [style=dotted];
43 -> {44} [style=dotted];
44 -> {45} [style=dotted]; 44 -> {45} [style=dotted];
44 -> {33} [color=green];
44 -> {33} [style=dashed];
subgraph cluster_17 { subgraph cluster_17 {
color=red color=red
46 [label="Enter class QImplWithCustomGetter" style="filled" fillcolor=red]; 46 [label="Enter function <init>" style="filled" fillcolor=red];
47 [label="Exit class QImplWithCustomGetter" style="filled" fillcolor=red]; 47 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
48 [label="Exit function <init>" style="filled" fillcolor=red];
} }
46 -> {47} [color=green]; 46 -> {47};
47 -> {48};
subgraph cluster_18 { subgraph cluster_18 {
color=red color=red
48 [label="Enter function <init>" style="filled" fillcolor=red]; 49 [label="Enter function getter" style="filled" fillcolor=red];
49 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_19 {
50 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
50 [label="Enter block"];
51 [label="Const: Null(null)"];
52 [label="Jump: ^ Null(null)"];
53 [label="Stub" style="filled" fillcolor=gray];
54 [label="Exit block" style="filled" fillcolor=gray];
}
55 [label="Exit function getter" style="filled" fillcolor=red];
} }
48 -> {49};
49 -> {50}; 49 -> {50};
50 -> {51};
subgraph cluster_19 {
color=red
51 [label="Enter function getter" style="filled" fillcolor=red];
subgraph cluster_20 {
color=blue
52 [label="Enter block"];
53 [label="Const: Null(null)"];
54 [label="Jump: ^ Null(null)"];
55 [label="Stub" style="filled" fillcolor=gray];
56 [label="Exit block" style="filled" fillcolor=gray];
}
57 [label="Exit function getter" style="filled" fillcolor=red];
}
51 -> {52}; 51 -> {52};
52 -> {53}; 52 -> {55};
53 -> {54}; 52 -> {53} [style=dotted];
54 -> {57}; 53 -> {54} [style=dotted];
54 -> {55} [style=dotted]; 54 -> {55} [style=dotted];
55 -> {56} [style=dotted];
56 -> {57} [style=dotted];
subgraph cluster_21 { subgraph cluster_20 {
color=red color=red
58 [label="Enter function fdata" style="filled" fillcolor=red]; 56 [label="Enter function fdata" style="filled" fillcolor=red];
subgraph cluster_22 { subgraph cluster_21 {
color=blue color=blue
59 [label="Enter block"]; 57 [label="Enter block"];
60 [label="Const: Null(null)"]; 58 [label="Const: Null(null)"];
61 [label="Jump: ^fdata Null(null)"]; 59 [label="Jump: ^fdata Null(null)"];
62 [label="Stub" style="filled" fillcolor=gray]; 60 [label="Stub" style="filled" fillcolor=gray];
63 [label="Exit block" style="filled" fillcolor=gray]; 61 [label="Exit block" style="filled" fillcolor=gray];
} }
64 [label="Exit function fdata" style="filled" fillcolor=red]; 62 [label="Exit function fdata" style="filled" fillcolor=red];
} }
56 -> {57};
57 -> {58};
58 -> {59}; 58 -> {59};
59 -> {60}; 59 -> {62};
60 -> {61}; 59 -> {60} [style=dotted];
61 -> {64}; 60 -> {61} [style=dotted];
61 -> {62} [style=dotted]; 61 -> {62} [style=dotted];
62 -> {63} [style=dotted];
63 -> {64} [style=dotted]; subgraph cluster_22 {
color=red
63 [label="Enter class QImplWithCustomGetter" style="filled" fillcolor=red];
64 [label="Exit class QImplWithCustomGetter" style="filled" fillcolor=red];
}
63 -> {64} [color=green];
subgraph cluster_23 { subgraph cluster_23 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/receivers/implicitReceivers.dot
Vendored
+38 -38
View File
@@ -5,63 +5,63 @@ digraph implicitReceivers_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter function foo" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_2 {
4 [label="Exit function <init>" style="filled" fillcolor=red];
}
2 -> {3};
3 -> {4};
subgraph cluster_2 {
color=red
5 [label="Enter function foo" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue color=blue
6 [label="Enter block"]; 4 [label="Enter block"];
7 [label="Exit block"]; 5 [label="Exit block"];
} }
8 [label="Exit function foo" style="filled" fillcolor=red]; 6 [label="Exit function foo" style="filled" fillcolor=red];
} }
3 -> {4};
4 -> {5};
5 -> {6}; 5 -> {6};
6 -> {7};
7 -> {8}; subgraph cluster_3 {
color=red
7 [label="Enter class A" style="filled" fillcolor=red];
8 [label="Exit class A" style="filled" fillcolor=red];
}
7 -> {8} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
9 [label="Enter class B" style="filled" fillcolor=red]; 9 [label="Enter function <init>" style="filled" fillcolor=red];
10 [label="Exit class B" style="filled" fillcolor=red]; 10 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
11 [label="Exit function <init>" style="filled" fillcolor=red];
} }
9 -> {10} [color=green]; 9 -> {10};
10 -> {11};
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
11 [label="Enter function <init>" style="filled" fillcolor=red]; 12 [label="Enter function bar" style="filled" fillcolor=red];
12 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_6 {
13 [label="Exit function <init>" style="filled" fillcolor=red];
}
11 -> {12};
12 -> {13};
subgraph cluster_6 {
color=red
14 [label="Enter function bar" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue color=blue
15 [label="Enter block"]; 13 [label="Enter block"];
16 [label="Exit block"]; 14 [label="Exit block"];
} }
17 [label="Exit function bar" style="filled" fillcolor=red]; 15 [label="Exit function bar" style="filled" fillcolor=red];
} }
12 -> {13};
13 -> {14};
14 -> {15}; 14 -> {15};
15 -> {16};
16 -> {17}; subgraph cluster_7 {
color=red
16 [label="Enter class B" style="filled" fillcolor=red];
17 [label="Exit class B" style="filled" fillcolor=red];
}
16 -> {17} [color=green];
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/assignSafeCall.dot
Vendored
+51 -51
View File
@@ -5,68 +5,68 @@ digraph assignSafeCall_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Part of class initialization"]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit class A" style="filled" fillcolor=red]; 2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2} [style=dotted]; 1 -> {2};
1 -> {13} [color=green];
1 -> {13} [style=dashed];
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
3 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter function foo" style="filled" fillcolor=red];
4 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_2 {
5 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
4 [label="Enter block"];
5 [label="Const: Int(1)"];
6 [label="Jump: ^foo Int(1)"];
7 [label="Stub" style="filled" fillcolor=gray];
8 [label="Exit block" style="filled" fillcolor=gray];
}
9 [label="Exit function foo" style="filled" fillcolor=red];
} }
3 -> {4}; 3 -> {4};
4 -> {5}; 4 -> {5};
5 -> {6};
6 -> {9};
6 -> {7} [style=dotted];
7 -> {8} [style=dotted];
8 -> {9} [style=dotted];
subgraph cluster_2 { subgraph cluster_3 {
color=red color=red
6 [label="Enter function foo" style="filled" fillcolor=red]; 10 [label="Enter property" style="filled" fillcolor=red];
subgraph cluster_3 { 11 [label="Const: Int(1)"];
color=blue 12 [label="Exit property" style="filled" fillcolor=red];
7 [label="Enter block"];
8 [label="Const: Int(1)"];
9 [label="Jump: ^foo Int(1)"];
10 [label="Stub" style="filled" fillcolor=gray];
11 [label="Exit block" style="filled" fillcolor=gray];
}
12 [label="Exit function foo" style="filled" fillcolor=red];
} }
6 -> {7}; 10 -> {11};
7 -> {8}; 11 -> {12};
8 -> {9}; 12 -> {19} [color=green];
9 -> {12};
9 -> {10} [style=dotted];
10 -> {11} [style=dotted];
11 -> {12} [style=dotted];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
13 [label="Enter property" style="filled" fillcolor=red]; 13 [label="Enter function bar" style="filled" fillcolor=red];
14 [label="Const: Int(1)"]; subgraph cluster_5 {
15 [label="Exit property" style="filled" fillcolor=red]; color=blue
14 [label="Enter block"];
15 [label="Exit block"];
}
16 [label="Exit function bar" style="filled" fillcolor=red];
} }
13 -> {14}; 13 -> {14};
14 -> {15}; 14 -> {15};
15 -> {2} [color=green]; 15 -> {16};
subgraph cluster_5 { subgraph cluster_6 {
color=red color=red
16 [label="Enter function bar" style="filled" fillcolor=red]; 17 [label="Enter class A" style="filled" fillcolor=red];
subgraph cluster_6 { 18 [label="Part of class initialization"];
color=blue 19 [label="Exit class A" style="filled" fillcolor=red];
17 [label="Enter block"];
18 [label="Exit block"];
}
19 [label="Exit function bar" style="filled" fillcolor=red];
} }
16 -> {17}; 17 -> {18} [color=green];
17 -> {18}; 18 -> {19} [style=dotted];
18 -> {19}; 18 -> {10} [color=green];
18 -> {10} [style=dashed];
subgraph cluster_7 { subgraph cluster_7 {
color=red color=red
@@ -233,24 +233,24 @@ digraph assignSafeCall_kt {
subgraph cluster_19 { subgraph cluster_19 {
color=red color=red
83 [label="Enter class B" style="filled" fillcolor=red]; 83 [label="Enter function foo" style="filled" fillcolor=red];
84 [label="Exit class B" style="filled" fillcolor=red]; 84 [label="Exit function foo" style="filled" fillcolor=red];
} }
83 -> {84} [color=green]; 83 -> {84};
subgraph cluster_20 { subgraph cluster_20 {
color=red color=red
85 [label="Enter function foo" style="filled" fillcolor=red]; 85 [label="Enter function bar" style="filled" fillcolor=red];
86 [label="Exit function foo" style="filled" fillcolor=red]; 86 [label="Exit function bar" style="filled" fillcolor=red];
} }
85 -> {86}; 85 -> {86};
subgraph cluster_21 { subgraph cluster_21 {
color=red color=red
87 [label="Enter function bar" style="filled" fillcolor=red]; 87 [label="Enter class B" style="filled" fillcolor=red];
88 [label="Exit function bar" style="filled" fillcolor=red]; 88 [label="Exit class B" style="filled" fillcolor=red];
} }
87 -> {88}; 87 -> {88} [color=green];
subgraph cluster_22 { subgraph cluster_22 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/safeCalls/safeCalls.dot
Vendored
+10 -10
View File
@@ -74,31 +74,31 @@ digraph safeCalls_kt {
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
25 [label="Enter class A" style="filled" fillcolor=red]; 25 [label="Enter function bar" style="filled" fillcolor=red];
26 [label="Exit class A" style="filled" fillcolor=red]; 26 [label="Exit function bar" style="filled" fillcolor=red];
} }
25 -> {26} [color=green]; 25 -> {26};
subgraph cluster_7 { subgraph cluster_7 {
color=red color=red
27 [label="Enter function bar" style="filled" fillcolor=red]; 27 [label="Enter function bool" style="filled" fillcolor=red];
28 [label="Exit function bar" style="filled" fillcolor=red]; 28 [label="Exit function bool" style="filled" fillcolor=red];
} }
27 -> {28}; 27 -> {28};
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
29 [label="Enter function bool" style="filled" fillcolor=red]; 29 [label="Enter function id" style="filled" fillcolor=red];
30 [label="Exit function bool" style="filled" fillcolor=red]; 30 [label="Exit function id" style="filled" fillcolor=red];
} }
29 -> {30}; 29 -> {30};
subgraph cluster_9 { subgraph cluster_9 {
color=red color=red
31 [label="Enter function id" style="filled" fillcolor=red]; 31 [label="Enter class A" style="filled" fillcolor=red];
32 [label="Exit function id" style="filled" fillcolor=red]; 32 [label="Exit class A" style="filled" fillcolor=red];
} }
31 -> {32}; 31 -> {32} [color=green];
subgraph cluster_10 { subgraph cluster_10 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/smartCastInInit.dot
Vendored
+35 -35
View File
@@ -12,17 +12,17 @@ digraph smartCastInInit_kt {
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter class S" style="filled" fillcolor=red]; 2 [label="Enter function foo" style="filled" fillcolor=red];
3 [label="Exit class S" style="filled" fillcolor=red]; 3 [label="Exit function foo" style="filled" fillcolor=red];
} }
2 -> {3} [color=green]; 2 -> {3};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
4 [label="Enter function foo" style="filled" fillcolor=red]; 4 [label="Enter class S" style="filled" fillcolor=red];
5 [label="Exit function foo" style="filled" fillcolor=red]; 5 [label="Exit class S" style="filled" fillcolor=red];
} }
4 -> {5}; 4 -> {5} [color=green];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
@@ -49,45 +49,45 @@ digraph smartCastInInit_kt {
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
14 [label="Enter class Main" style="filled" fillcolor=red]; 14 [label="Enter function <init>" style="filled" fillcolor=red];
15 [label="Part of class initialization"]; 15 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
16 [label="Exit class Main" style="filled" fillcolor=red]; 16 [label="Exit function <init>" style="filled" fillcolor=red];
} }
14 -> {15} [color=green]; 14 -> {15};
15 -> {16} [style=dotted]; 15 -> {16};
15 -> {20} [color=green];
15 -> {20} [style=dashed];
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
17 [label="Enter function <init>" style="filled" fillcolor=red]; 17 [label="Enter init block" style="filled" fillcolor=red];
18 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_7 {
19 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
18 [label="Enter block"];
19 [label="Function call: R|/s|()"];
20 [label="Assignment: R|/Main.x|"];
21 [label="Access variable R|/Main.x|"];
22 [label="Function call: this@R|/Main|.R|/Main.x|.R|/S.foo|()"];
23 [label="Exit block"];
}
24 [label="Exit init block" style="filled" fillcolor=red];
} }
17 -> {18}; 17 -> {18};
18 -> {19}; 18 -> {19};
19 -> {20};
subgraph cluster_7 {
color=red
20 [label="Enter init block" style="filled" fillcolor=red];
subgraph cluster_8 {
color=blue
21 [label="Enter block"];
22 [label="Function call: R|/s|()"];
23 [label="Assignment: R|/Main.x|"];
24 [label="Access variable R|/Main.x|"];
25 [label="Function call: this@R|/Main|.R|/Main.x|.R|/S.foo|()"];
26 [label="Exit block"];
}
27 [label="Exit init block" style="filled" fillcolor=red];
}
20 -> {21}; 20 -> {21};
21 -> {22}; 21 -> {22};
22 -> {23}; 22 -> {23};
23 -> {24}; 23 -> {24};
24 -> {25}; 24 -> {27} [color=green];
25 -> {26};
26 -> {27}; subgraph cluster_8 {
27 -> {16} [color=green]; color=red
25 [label="Enter class Main" style="filled" fillcolor=red];
26 [label="Part of class initialization"];
27 [label="Exit class Main" style="filled" fillcolor=red];
}
25 -> {26} [color=green];
26 -> {27} [style=dotted];
26 -> {17} [color=green];
26 -> {17} [style=dashed];
} }
compiler/fir/analysis-tests/testData/resolve/smartcasts/smartcastToNothing.dot
Vendored
+26 -26
View File
@@ -116,47 +116,47 @@ digraph smartcastToNothing_kt {
subgraph cluster_10 { subgraph cluster_10 {
color=red color=red
38 [label="Enter class A" style="filled" fillcolor=red]; 38 [label="Enter function <init>" style="filled" fillcolor=red];
39 [label="Part of class initialization"]; 39 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
40 [label="Part of class initialization"]; 40 [label="Exit function <init>" style="filled" fillcolor=red];
41 [label="Exit class A" style="filled" fillcolor=red];
} }
38 -> {39} [color=green]; 38 -> {39};
39 -> {40} [style=dotted]; 39 -> {40};
39 -> {45} [color=green];
39 -> {45} [style=dashed];
40 -> {41} [style=dotted];
40 -> {48} [color=green];
40 -> {48} [style=dashed];
subgraph cluster_11 { subgraph cluster_11 {
color=red color=red
42 [label="Enter function <init>" style="filled" fillcolor=red]; 41 [label="Enter property" style="filled" fillcolor=red];
43 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 42 [label="Const: Int(1)"];
44 [label="Exit function <init>" style="filled" fillcolor=red]; 43 [label="Exit property" style="filled" fillcolor=red];
} }
41 -> {42};
42 -> {43}; 42 -> {43};
43 -> {44}; 43 -> {49} [color=green];
subgraph cluster_12 { subgraph cluster_12 {
color=red color=red
45 [label="Enter property" style="filled" fillcolor=red]; 44 [label="Enter property" style="filled" fillcolor=red];
46 [label="Const: Int(1)"]; 45 [label="Const: Boolean(true)"];
47 [label="Exit property" style="filled" fillcolor=red]; 46 [label="Exit property" style="filled" fillcolor=red];
} }
44 -> {45};
45 -> {46}; 45 -> {46};
46 -> {47}; 46 -> {50} [color=green];
47 -> {40} [color=green];
subgraph cluster_13 { subgraph cluster_13 {
color=red color=red
48 [label="Enter property" style="filled" fillcolor=red]; 47 [label="Enter class A" style="filled" fillcolor=red];
49 [label="Const: Boolean(true)"]; 48 [label="Part of class initialization"];
50 [label="Exit property" style="filled" fillcolor=red]; 49 [label="Part of class initialization"];
50 [label="Exit class A" style="filled" fillcolor=red];
} }
48 -> {49}; 47 -> {48} [color=green];
49 -> {50}; 48 -> {49} [style=dotted];
50 -> {41} [color=green]; 48 -> {41} [color=green];
48 -> {41} [style=dashed];
49 -> {50} [style=dotted];
49 -> {44} [color=green];
49 -> {44} [style=dashed];
subgraph cluster_14 { subgraph cluster_14 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/stability/overridenOpenVal.dot
Vendored
+58 -58
View File
@@ -5,100 +5,100 @@ digraph overridenOpenVal_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Part of class initialization"]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit class A" style="filled" fillcolor=red]; 2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2} [style=dotted]; 1 -> {2};
1 -> {6} [color=green];
1 -> {6} [style=dashed];
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
3 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter property" style="filled" fillcolor=red];
4 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Access variable R|<local>/x|"];
5 [label="Exit function <init>" style="filled" fillcolor=red]; 5 [label="Exit property" style="filled" fillcolor=red];
} }
3 -> {4}; 3 -> {4};
4 -> {5}; 4 -> {5};
5 -> {8} [color=green];
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
6 [label="Enter property" style="filled" fillcolor=red]; 6 [label="Enter class A" style="filled" fillcolor=red];
7 [label="Access variable R|<local>/x|"]; 7 [label="Part of class initialization"];
8 [label="Exit property" style="filled" fillcolor=red]; 8 [label="Exit class A" style="filled" fillcolor=red];
} }
6 -> {7}; 6 -> {7} [color=green];
7 -> {8}; 7 -> {8} [style=dotted];
8 -> {2} [color=green]; 7 -> {3} [color=green];
7 -> {3} [style=dashed];
subgraph cluster_3 { subgraph cluster_3 {
color=red color=red
9 [label="Enter class B" style="filled" fillcolor=red]; 9 [label="Enter function <init>" style="filled" fillcolor=red];
10 [label="Exit class B" style="filled" fillcolor=red]; 10 [label="Access variable R|<local>/x|"];
11 [label="Delegated constructor call: super<R|A|>(...)"];
12 [label="Exit function <init>" style="filled" fillcolor=red];
} }
9 -> {10} [color=green]; 9 -> {10};
10 -> {11};
11 -> {12};
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
11 [label="Enter function <init>" style="filled" fillcolor=red]; 13 [label="Enter function test_1" style="filled" fillcolor=red];
12 [label="Access variable R|<local>/x|"]; subgraph cluster_5 {
13 [label="Delegated constructor call: super<R|A|>(...)"];
14 [label="Exit function <init>" style="filled" fillcolor=red];
}
11 -> {12};
12 -> {13};
13 -> {14};
subgraph cluster_5 {
color=red
15 [label="Enter function test_1" style="filled" fillcolor=red];
subgraph cluster_6 {
color=blue color=blue
16 [label="Enter block"]; 14 [label="Enter block"];
subgraph cluster_7 { subgraph cluster_6 {
color=blue color=blue
17 [label="Enter when"]; 15 [label="Enter when"];
subgraph cluster_7 {
color=blue
16 [label="Enter when branch condition "];
17 [label="Access variable R|/A.x|"];
18 [label="Type operator: (this@R|/B|.R|/A.x| is R|kotlin/String|)"];
19 [label="Exit when branch condition"];
}
20 [label="Synthetic else branch"];
21 [label="Enter when branch result"];
subgraph cluster_8 { subgraph cluster_8 {
color=blue color=blue
18 [label="Enter when branch condition "]; 22 [label="Enter block"];
19 [label="Access variable R|/A.x|"]; 23 [label="Access variable R|/A.x|"];
20 [label="Type operator: (this@R|/B|.R|/A.x| is R|kotlin/String|)"]; 24 [label="Access variable R|kotlin/String.length|"];
21 [label="Exit when branch condition"]; 25 [label="Exit block"];
} }
22 [label="Synthetic else branch"]; 26 [label="Exit when branch result"];
23 [label="Enter when branch result"]; 27 [label="Exit when"];
subgraph cluster_9 {
color=blue
24 [label="Enter block"];
25 [label="Access variable R|/A.x|"];
26 [label="Access variable R|kotlin/String.length|"];
27 [label="Exit block"];
}
28 [label="Exit when branch result"];
29 [label="Exit when"];
} }
30 [label="Exit block"]; 28 [label="Exit block"];
} }
31 [label="Exit function test_1" style="filled" fillcolor=red]; 29 [label="Exit function test_1" style="filled" fillcolor=red];
} }
13 -> {14};
14 -> {15};
15 -> {16}; 15 -> {16};
16 -> {17}; 16 -> {17};
17 -> {18}; 17 -> {18};
18 -> {19}; 18 -> {19};
19 -> {20}; 19 -> {21 20};
20 -> {21}; 20 -> {27};
21 -> {23 22}; 21 -> {22};
22 -> {29}; 22 -> {23};
23 -> {24}; 23 -> {24};
24 -> {25}; 24 -> {25};
25 -> {26}; 25 -> {26};
26 -> {27}; 26 -> {27};
27 -> {28}; 27 -> {28};
28 -> {29}; 28 -> {29};
29 -> {30};
30 -> {31}; subgraph cluster_9 {
color=red
30 [label="Enter class B" style="filled" fillcolor=red];
31 [label="Exit class B" style="filled" fillcolor=red];
}
30 -> {31} [color=green];
subgraph cluster_10 { subgraph cluster_10 {
color=red color=red
compiler/fir/analysis-tests/testData/resolve/smartcasts/variables/delayedAssignment.dot
Vendored
+19 -19
View File
@@ -5,33 +5,33 @@ digraph delayedAssignment_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class A" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class A" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter function foo" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_2 {
4 [label="Exit function <init>" style="filled" fillcolor=red];
}
2 -> {3};
3 -> {4};
subgraph cluster_2 {
color=red
5 [label="Enter function foo" style="filled" fillcolor=red];
subgraph cluster_3 {
color=blue color=blue
6 [label="Enter block"]; 4 [label="Enter block"];
7 [label="Exit block"]; 5 [label="Exit block"];
} }
8 [label="Exit function foo" style="filled" fillcolor=red]; 6 [label="Exit function foo" style="filled" fillcolor=red];
} }
3 -> {4};
4 -> {5};
5 -> {6}; 5 -> {6};
6 -> {7};
7 -> {8}; subgraph cluster_3 {
color=red
7 [label="Enter class A" style="filled" fillcolor=red];
8 [label="Exit class A" style="filled" fillcolor=red];
}
7 -> {8} [color=green];
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
compiler/fir/analysis-tests/testData/resolveWithStdlib/delegates/delegateWithAnonymousObject.dot
Vendored
+155 -155
View File
@@ -5,19 +5,19 @@ digraph delegateWithAnonymousObject_kt {
subgraph cluster_0 { subgraph cluster_0 {
color=red color=red
0 [label="Enter class DelegateProvider" style="filled" fillcolor=red]; 0 [label="Enter function <init>" style="filled" fillcolor=red];
1 [label="Exit class DelegateProvider" style="filled" fillcolor=red]; 1 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
2 [label="Exit function <init>" style="filled" fillcolor=red];
} }
0 -> {1} [color=green]; 0 -> {1};
1 -> {2};
subgraph cluster_1 { subgraph cluster_1 {
color=red color=red
2 [label="Enter function <init>" style="filled" fillcolor=red]; 3 [label="Enter class DelegateProvider" style="filled" fillcolor=red];
3 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 4 [label="Exit class DelegateProvider" style="filled" fillcolor=red];
4 [label="Exit function <init>" style="filled" fillcolor=red];
} }
2 -> {3}; 3 -> {4} [color=green];
3 -> {4};
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
@@ -44,206 +44,206 @@ digraph delegateWithAnonymousObject_kt {
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
13 [label="Enter class IssueListView" style="filled" fillcolor=red]; 13 [label="Enter function <init>" style="filled" fillcolor=red];
14 [label="Exit class IssueListView" style="filled" fillcolor=red]; 14 [label="Delegated constructor call: super<R|DelegateProvider<IssueListView>|>()"];
15 [label="Exit function <init>" style="filled" fillcolor=red];
} }
13 -> {14} [color=green]; 13 -> {14};
14 -> {15};
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
15 [label="Enter function <init>" style="filled" fillcolor=red]; 16 [label="Enter function updateFrom" style="filled" fillcolor=red];
16 [label="Delegated constructor call: super<R|DelegateProvider<IssueListView>|>()"]; subgraph cluster_6 {
17 [label="Exit function <init>" style="filled" fillcolor=red];
}
15 -> {16};
16 -> {17};
subgraph cluster_6 {
color=red
18 [label="Enter function updateFrom" style="filled" fillcolor=red];
subgraph cluster_7 {
color=blue color=blue
19 [label="Enter block"]; 17 [label="Enter block"];
20 [label="Exit block"]; 18 [label="Exit block"];
} }
21 [label="Exit function updateFrom" style="filled" fillcolor=red]; 19 [label="Exit function updateFrom" style="filled" fillcolor=red];
} }
16 -> {17};
17 -> {18};
18 -> {19}; 18 -> {19};
19 -> {20};
20 -> {21}; subgraph cluster_7 {
color=red
20 [label="Enter class IssueListView" style="filled" fillcolor=red];
21 [label="Exit class IssueListView" style="filled" fillcolor=red];
}
20 -> {21} [color=green];
subgraph cluster_8 { subgraph cluster_8 {
color=red color=red
22 [label="Enter class IssuesListUserProfile" style="filled" fillcolor=red]; 22 [label="Enter function <init>" style="filled" fillcolor=red];
23 [label="Part of class initialization"]; 23 [label="Delegated constructor call: super<R|DelegateProvider<IssuesListUserProfile>|>()"];
24 [label="Exit class IssuesListUserProfile" style="filled" fillcolor=red]; 24 [label="Exit function <init>" style="filled" fillcolor=red];
} }
22 -> {23} [color=green]; 22 -> {23};
23 -> {24} [style=dotted]; 23 -> {24};
23 -> {72} [color=green];
23 -> {72} [style=dashed];
subgraph cluster_9 { subgraph cluster_9 {
color=red color=red
25 [label="Enter function <init>" style="filled" fillcolor=red]; 33 [label="Enter function <init>" style="filled" fillcolor=red];
26 [label="Delegated constructor call: super<R|DelegateProvider<IssuesListUserProfile>|>()"]; 34 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
27 [label="Exit function <init>" style="filled" fillcolor=red]; 35 [label="Exit function <init>" style="filled" fillcolor=red];
} }
25 -> {26}; 33 -> {34};
26 -> {27}; 34 -> {35};
subgraph cluster_10 { subgraph cluster_10 {
color=red color=red
36 [label="Enter function <init>" style="filled" fillcolor=red]; 36 [label="Enter function getValue" style="filled" fillcolor=red];
37 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; subgraph cluster_11 {
38 [label="Exit function <init>" style="filled" fillcolor=red]; color=blue
37 [label="Enter block"];
38 [label="Function call: R|/IssueListView.IssueListView|()"];
39 [label="Jump: ^getValue R|/IssueListView.IssueListView|()"];
40 [label="Stub" style="filled" fillcolor=gray];
41 [label="Exit block" style="filled" fillcolor=gray];
}
42 [label="Exit function getValue" style="filled" fillcolor=red];
} }
36 -> {37}; 36 -> {37};
37 -> {38}; 37 -> {38};
38 -> {39};
39 -> {42};
39 -> {40} [style=dotted];
40 -> {41} [style=dotted];
41 -> {42} [style=dotted];
subgraph cluster_11 { subgraph cluster_12 {
color=red color=red
39 [label="Enter function getValue" style="filled" fillcolor=red]; 43 [label="Enter function setValue" style="filled" fillcolor=red];
subgraph cluster_12 { subgraph cluster_13 {
color=blue color=blue
40 [label="Enter block"]; 44 [label="Enter block"];
41 [label="Function call: R|/IssueListView.IssueListView|()"]; 45 [label="Function call: R|/IssueListView.IssueListView|()"];
42 [label="Jump: ^getValue R|/IssueListView.IssueListView|()"]; 46 [label="Access variable R|<local>/value|"];
43 [label="Stub" style="filled" fillcolor=gray]; 47 [label="Function call: R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(...)"];
44 [label="Exit block" style="filled" fillcolor=gray]; 48 [label="Jump: ^setValue R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(R|<local>/value|)"];
49 [label="Stub" style="filled" fillcolor=gray];
50 [label="Exit block" style="filled" fillcolor=gray];
} }
45 [label="Exit function getValue" style="filled" fillcolor=red]; 51 [label="Exit function setValue" style="filled" fillcolor=red];
}
39 -> {40};
40 -> {41};
41 -> {42};
42 -> {45};
42 -> {43} [style=dotted];
43 -> {44} [style=dotted];
44 -> {45} [style=dotted];
subgraph cluster_13 {
color=red
46 [label="Enter function setValue" style="filled" fillcolor=red];
subgraph cluster_14 {
color=blue
47 [label="Enter block"];
48 [label="Function call: R|/IssueListView.IssueListView|()"];
49 [label="Access variable R|<local>/value|"];
50 [label="Function call: R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(...)"];
51 [label="Jump: ^setValue R|/IssueListView.IssueListView|().R|/IssueListView.updateFrom|(R|<local>/value|)"];
52 [label="Stub" style="filled" fillcolor=gray];
53 [label="Exit block" style="filled" fillcolor=gray];
}
54 [label="Exit function setValue" style="filled" fillcolor=red];
} }
43 -> {44};
44 -> {45};
45 -> {46};
46 -> {47}; 46 -> {47};
47 -> {48}; 47 -> {48};
48 -> {49}; 48 -> {51};
49 -> {50}; 48 -> {49} [style=dotted];
50 -> {51}; 49 -> {50} [style=dotted];
51 -> {54}; 50 -> {51} [style=dotted];
51 -> {52} [style=dotted];
52 -> {53} [style=dotted];
53 -> {54} [style=dotted];
subgraph cluster_15 { subgraph cluster_14 {
color=red color=red
55 [label="Enter function getter" style="filled" fillcolor=red]; 52 [label="Enter function getter" style="filled" fillcolor=red];
subgraph cluster_16 { subgraph cluster_15 {
color=blue color=blue
56 [label="Enter block"]; 53 [label="Enter block"];
57 [label="Access variable D|/IssuesListUserProfile.issueListView|"]; 54 [label="Access variable D|/IssuesListUserProfile.issueListView|"];
58 [label="Access variable this@R|/IssuesListUserProfile|"]; 55 [label="Access variable this@R|/IssuesListUserProfile|"];
59 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(...)"]; 56 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(...)"];
60 [label="Jump: ^ this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(this@R|/IssuesListUserProfile|, ::R|/IssuesListUserProfile.issueListView|)"]; 57 [label="Jump: ^ this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|IssueListView|>|(this@R|/IssuesListUserProfile|, ::R|/IssuesListUserProfile.issueListView|)"];
61 [label="Stub" style="filled" fillcolor=gray]; 58 [label="Stub" style="filled" fillcolor=gray];
62 [label="Exit block" style="filled" fillcolor=gray]; 59 [label="Exit block" style="filled" fillcolor=gray];
} }
63 [label="Exit function getter" style="filled" fillcolor=red]; 60 [label="Exit function getter" style="filled" fillcolor=red];
} }
52 -> {53};
53 -> {54};
54 -> {55};
55 -> {56}; 55 -> {56};
56 -> {57}; 56 -> {57};
57 -> {58}; 57 -> {60};
58 -> {59}; 57 -> {58} [style=dotted];
59 -> {60}; 58 -> {59} [style=dotted];
60 -> {63}; 59 -> {60} [style=dotted];
60 -> {61} [style=dotted];
61 -> {62} [style=dotted];
62 -> {63} [style=dotted];
subgraph cluster_17 { subgraph cluster_16 {
color=red color=red
64 [label="Enter function setter" style="filled" fillcolor=red]; 61 [label="Enter function setter" style="filled" fillcolor=red];
subgraph cluster_18 { subgraph cluster_17 {
color=blue color=blue
65 [label="Enter block"]; 62 [label="Enter block"];
66 [label="Access variable D|/IssuesListUserProfile.issueListView|"]; 63 [label="Access variable D|/IssuesListUserProfile.issueListView|"];
67 [label="Access variable this@R|/IssuesListUserProfile|"]; 64 [label="Access variable this@R|/IssuesListUserProfile|"];
68 [label="Access variable R|<local>/issueListView|"]; 65 [label="Access variable R|<local>/issueListView|"];
69 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(...)"]; 66 [label="Function call: this@R|/IssuesListUserProfile|.D|/IssuesListUserProfile.issueListView|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(...)"];
70 [label="Exit block"]; 67 [label="Exit block"];
} }
71 [label="Exit function setter" style="filled" fillcolor=red]; 68 [label="Exit function setter" style="filled" fillcolor=red];
} }
61 -> {62};
62 -> {63};
63 -> {64};
64 -> {65}; 64 -> {65};
65 -> {66}; 65 -> {66};
66 -> {67}; 66 -> {67};
67 -> {68}; 67 -> {68};
68 -> {69};
subgraph cluster_18 {
color=red
69 [label="Enter property" style="filled" fillcolor=red];
70 [label="Postponed enter to lambda"];
71 [label="Postponed exit from lambda"];
72 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
73 [label="Access variable this@R|/IssuesListUserProfile|"];
74 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...).<Unresolved name: provideDelegate>#(...)"];
75 [label="Postponed enter to lambda"];
subgraph cluster_19 {
color=blue
25 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_20 {
color=blue
26 [label="Enter block"];
27 [label="Exit anonymous object"];
28 [label="Exit anonymous object expression"];
29 [label="Exit block"];
}
30 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
subgraph cluster_21 {
color=blue
31 [label="Enter class <anonymous object>" style="filled" fillcolor=red];
32 [label="Exit class <anonymous object>" style="filled" fillcolor=red];
}
76 [label="Postponed exit from lambda"];
77 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
78 [label="Exit property" style="filled" fillcolor=red];
}
69 -> {70}; 69 -> {70};
70 -> {71}; 70 -> {71};
70 -> {} [style=dashed];
subgraph cluster_19 { 71 -> {72};
color=red
72 [label="Enter property" style="filled" fillcolor=red];
73 [label="Postponed enter to lambda"];
74 [label="Postponed exit from lambda"];
75 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
76 [label="Access variable this@R|/IssuesListUserProfile|"];
77 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...).<Unresolved name: provideDelegate>#(...)"];
78 [label="Postponed enter to lambda"];
subgraph cluster_20 {
color=blue
28 [label="Enter function anonymousFunction" style="filled" fillcolor=red];
subgraph cluster_21 {
color=blue
29 [label="Enter block"];
30 [label="Exit anonymous object"];
31 [label="Exit anonymous object expression"];
32 [label="Exit block"];
}
33 [label="Exit function anonymousFunction" style="filled" fillcolor=red];
}
subgraph cluster_22 {
color=blue
34 [label="Enter class <anonymous object>" style="filled" fillcolor=red];
35 [label="Exit class <anonymous object>" style="filled" fillcolor=red];
}
79 [label="Postponed exit from lambda"];
80 [label="Function call: this@R|/IssuesListUserProfile|.R|/delegate|<R|IssuesListUserProfile|, R|IssuesListUserProfile|, R|IssueListView|>(...)"];
81 [label="Exit property" style="filled" fillcolor=red];
}
72 -> {73}; 72 -> {73};
73 -> {74}; 73 -> {74};
73 -> {} [style=dashed];
74 -> {75}; 74 -> {75};
75 -> {76}; 75 -> {76 25};
75 -> {25} [style=dashed];
76 -> {77}; 76 -> {77};
77 -> {78}; 77 -> {78};
78 -> {79 28}; 78 -> {81} [color=green];
78 -> {28} [style=dashed]; 25 -> {26};
79 -> {80}; 26 -> {27};
80 -> {81}; 26 -> {33 36 43} [color=red];
81 -> {24} [color=green]; 27 -> {28};
27 -> {33 36 43 31} [color=green];
27 -> {33 36 43 31} [style=dashed];
28 -> {29}; 28 -> {29};
29 -> {30}; 29 -> {30};
29 -> {36 39 46} [color=red]; 31 -> {32} [color=green];
30 -> {31};
30 -> {36 39 46 34} [color=green]; subgraph cluster_22 {
30 -> {36 39 46 34} [style=dashed]; color=red
31 -> {32}; 79 [label="Enter class IssuesListUserProfile" style="filled" fillcolor=red];
32 -> {33}; 80 [label="Part of class initialization"];
34 -> {35} [color=green]; 81 [label="Exit class IssuesListUserProfile" style="filled" fillcolor=red];
}
79 -> {80} [color=green];
80 -> {81} [style=dotted];
80 -> {69} [color=green];
80 -> {69} [style=dashed];
} }
compiler/fir/analysis-tests/testData/resolveWithStdlib/inference/plusAssignWithLambdaInRhs.dot
Vendored
+16 -16
View File
@@ -52,33 +52,33 @@ digraph plusAssignWithLambdaInRhs_kt {
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
16 [label="Enter class A" style="filled" fillcolor=red]; 16 [label="Enter function <init>" style="filled" fillcolor=red];
17 [label="Part of class initialization"]; 17 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
18 [label="Exit class A" style="filled" fillcolor=red]; 18 [label="Exit function <init>" style="filled" fillcolor=red];
} }
16 -> {17} [color=green]; 16 -> {17};
17 -> {18} [style=dotted]; 17 -> {18};
17 -> {22} [color=green];
17 -> {22} [style=dashed];
subgraph cluster_5 { subgraph cluster_5 {
color=red color=red
19 [label="Enter function <init>" style="filled" fillcolor=red]; 19 [label="Enter property" style="filled" fillcolor=red];
20 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; 20 [label="Access variable R|<local>/executor|"];
21 [label="Exit function <init>" style="filled" fillcolor=red]; 21 [label="Exit property" style="filled" fillcolor=red];
} }
19 -> {20}; 19 -> {20};
20 -> {21}; 20 -> {21};
21 -> {24} [color=green];
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
22 [label="Enter property" style="filled" fillcolor=red]; 22 [label="Enter class A" style="filled" fillcolor=red];
23 [label="Access variable R|<local>/executor|"]; 23 [label="Part of class initialization"];
24 [label="Exit property" style="filled" fillcolor=red]; 24 [label="Exit class A" style="filled" fillcolor=red];
} }
22 -> {23}; 22 -> {23} [color=green];
23 -> {24}; 23 -> {24} [style=dotted];
24 -> {18} [color=green]; 23 -> {19} [color=green];
23 -> {19} [style=dashed];
subgraph cluster_7 { subgraph cluster_7 {
color=red color=red
compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirExposedVisibilityDeclarationChecker.kt
+1
View File
@@ -24,6 +24,7 @@ import org.jetbrains.kotlin.utils.addToStdlib.safeAs
object FirExposedVisibilityDeclarationChecker : FirBasicDeclarationChecker() { object FirExposedVisibilityDeclarationChecker : FirBasicDeclarationChecker() {
override fun check(declaration: FirDeclaration<*>, context: CheckerContext, reporter: DiagnosticReporter) { override fun check(declaration: FirDeclaration<*>, context: CheckerContext, reporter: DiagnosticReporter) {
when (declaration) { when (declaration) {
is FirAnonymousFunction -> return
is FirTypeAlias -> checkTypeAlias(declaration, reporter, context) is FirTypeAlias -> checkTypeAlias(declaration, reporter, context)
is FirProperty -> checkProperty(declaration, reporter, context) is FirProperty -> checkProperty(declaration, reporter, context)
is FirFunction<*> -> checkFunction(declaration, reporter, context) is FirFunction<*> -> checkFunction(declaration, reporter, context)
compiler/testData/codegen/box/smartCasts/kt44814.dot
Vendored
+528 -528
View File
File diff suppressed because it is too large Load Diff