[FIR IDE] Add lazy resolve phases tests

This commit is contained in:
Igor Yakovlev
2021-06-07 17:21:09 +02:00
parent df1b41f05c
commit 21b1e4b072
35 changed files with 5771 additions and 299 deletions
@@ -21,122 +21,102 @@ digraph exhaustiveWhenAndDNNType_kt {
subgraph cluster_2 { subgraph cluster_2 {
color=red color=red
5 [label="Enter function values" style="filled" fillcolor=red]; 5 [label="Enter class B" style="filled" fillcolor=red];
subgraph cluster_3 { 6 [label="Exit class B" style="filled" fillcolor=red];
color=blue }
6 [label="Enter block"]; 5 -> {6} [color=green];
7 [label="Exit block"];
} subgraph cluster_3 {
8 [label="Exit function values" style="filled" fillcolor=red]; color=red
7 [label="Enter function <init>" style="filled" fillcolor=red];
8 [label="Delegated constructor call: super<R|kotlin/Any|>()"];
9 [label="Exit function <init>" style="filled" fillcolor=red];
} }
5 -> {6};
6 -> {7};
7 -> {8}; 7 -> {8};
8 -> {9};
subgraph cluster_4 { subgraph cluster_4 {
color=red color=red
9 [label="Enter function valueOf" style="filled" fillcolor=red]; 10 [label="Enter function takeB" style="filled" fillcolor=red];
subgraph cluster_5 { subgraph cluster_5 {
color=blue color=blue
10 [label="Enter block"]; 11 [label="Enter block"];
11 [label="Exit block"]; 12 [label="Exit block"];
} }
12 [label="Exit function valueOf" style="filled" fillcolor=red]; 13 [label="Exit function takeB" style="filled" fillcolor=red];
} }
9 -> {10};
10 -> {11}; 10 -> {11};
11 -> {12}; 11 -> {12};
12 -> {13};
subgraph cluster_6 { subgraph cluster_6 {
color=red color=red
13 [label="Enter class B" style="filled" fillcolor=red]; 14 [label="Enter function test_1" style="filled" fillcolor=red];
14 [label="Exit class B" style="filled" fillcolor=red]; subgraph cluster_7 {
} color=blue
13 -> {14} [color=green]; 15 [label="Enter block"];
16 [label="Access qualifier /SomeEnum"];
subgraph cluster_7 { 17 [label="Access variable R|/SomeEnum.A1|"];
color=red 18 [label="Variable declaration: lval flag: R|SomeEnum|"];
15 [label="Enter function <init>" style="filled" fillcolor=red]; subgraph cluster_8 {
16 [label="Delegated constructor call: super<R|kotlin/Any|>()"]; color=blue
17 [label="Exit function <init>" style="filled" fillcolor=red]; 19 [label="Enter when"];
20 [label="Access variable R|<local>/flag|"];
21 [label="Check not null: R|<local>/flag|!!"];
subgraph cluster_9 {
color=blue
22 [label="Enter when branch condition "];
23 [label="Access qualifier /SomeEnum"];
24 [label="Access variable R|/SomeEnum.A1|"];
25 [label="Equality operator =="];
26 [label="Exit when branch condition"];
}
subgraph cluster_10 {
color=blue
27 [label="Enter when branch condition "];
28 [label="Access qualifier /SomeEnum"];
29 [label="Access variable R|/SomeEnum.A2|"];
30 [label="Equality operator =="];
31 [label="Exit when branch condition"];
}
32 [label="Enter when branch result"];
subgraph cluster_11 {
color=blue
33 [label="Enter block"];
34 [label="Function call: R|/B.B|()"];
35 [label="Exit block"];
}
36 [label="Exit when branch result"];
37 [label="Enter when branch result"];
subgraph cluster_12 {
color=blue
38 [label="Enter block"];
39 [label="Function call: R|/B.B|()"];
40 [label="Exit block"];
}
41 [label="Exit when branch result"];
42 [label="Exit when"];
}
43 [label="Variable declaration: lval b: R|B|"];
44 [label="Access variable R|<local>/b|"];
45 [label="Function call: R|/takeB|(...)"];
46 [label="Exit block"];
}
47 [label="Exit function test_1" style="filled" fillcolor=red];
} }
14 -> {15};
15 -> {16}; 15 -> {16};
16 -> {17}; 16 -> {17};
17 -> {18};
subgraph cluster_8 {
color=red
18 [label="Enter function takeB" style="filled" fillcolor=red];
subgraph cluster_9 {
color=blue
19 [label="Enter block"];
20 [label="Exit block"];
}
21 [label="Exit function takeB" style="filled" fillcolor=red];
}
18 -> {19}; 18 -> {19};
19 -> {20}; 19 -> {20};
20 -> {21}; 20 -> {21};
21 -> {22};
subgraph cluster_10 {
color=red
22 [label="Enter function test_1" style="filled" fillcolor=red];
subgraph cluster_11 {
color=blue
23 [label="Enter block"];
24 [label="Access qualifier /SomeEnum"];
25 [label="Access variable R|/SomeEnum.A1|"];
26 [label="Variable declaration: lval flag: R|SomeEnum|"];
subgraph cluster_12 {
color=blue
27 [label="Enter when"];
28 [label="Access variable R|<local>/flag|"];
29 [label="Check not null: R|<local>/flag|!!"];
subgraph cluster_13 {
color=blue
30 [label="Enter when branch condition "];
31 [label="Access qualifier /SomeEnum"];
32 [label="Access variable R|/SomeEnum.A1|"];
33 [label="Equality operator =="];
34 [label="Exit when branch condition"];
}
subgraph cluster_14 {
color=blue
35 [label="Enter when branch condition "];
36 [label="Access qualifier /SomeEnum"];
37 [label="Access variable R|/SomeEnum.A2|"];
38 [label="Equality operator =="];
39 [label="Exit when branch condition"];
}
40 [label="Enter when branch result"];
subgraph cluster_15 {
color=blue
41 [label="Enter block"];
42 [label="Function call: R|/B.B|()"];
43 [label="Exit block"];
}
44 [label="Exit when branch result"];
45 [label="Enter when branch result"];
subgraph cluster_16 {
color=blue
46 [label="Enter block"];
47 [label="Function call: R|/B.B|()"];
48 [label="Exit block"];
}
49 [label="Exit when branch result"];
50 [label="Exit when"];
}
51 [label="Variable declaration: lval b: R|B|"];
52 [label="Access variable R|<local>/b|"];
53 [label="Function call: R|/takeB|(...)"];
54 [label="Exit block"];
}
55 [label="Exit function test_1" style="filled" fillcolor=red];
}
22 -> {23}; 22 -> {23};
23 -> {24}; 23 -> {24};
24 -> {25}; 24 -> {25};
25 -> {26}; 25 -> {26};
26 -> {27}; 26 -> {37 27};
27 -> {28}; 27 -> {28};
28 -> {29}; 28 -> {29};
29 -> {30}; 29 -> {30};
@@ -144,9 +124,9 @@ digraph exhaustiveWhenAndDNNType_kt {
31 -> {32}; 31 -> {32};
32 -> {33}; 32 -> {33};
33 -> {34}; 33 -> {34};
34 -> {45 35}; 34 -> {35};
35 -> {36}; 35 -> {36};
36 -> {37}; 36 -> {42};
37 -> {38}; 37 -> {38};
38 -> {39}; 38 -> {39};
39 -> {40}; 39 -> {40};
@@ -154,10 +134,65 @@ digraph exhaustiveWhenAndDNNType_kt {
41 -> {42}; 41 -> {42};
42 -> {43}; 42 -> {43};
43 -> {44}; 43 -> {44};
44 -> {50}; 44 -> {45};
45 -> {46}; 45 -> {46};
46 -> {47}; 46 -> {47};
47 -> {48};
subgraph cluster_13 {
color=red
48 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_14 {
color=blue
49 [label="Enter block"];
50 [label="Access qualifier /SomeEnum"];
51 [label="Access variable R|/SomeEnum.A1|"];
52 [label="Variable declaration: lval flag: R|SomeEnum|"];
subgraph cluster_15 {
color=blue
53 [label="Enter when"];
54 [label="Access variable R|<local>/flag|"];
55 [label="Check not null: R|<local>/flag|!!"];
subgraph cluster_16 {
color=blue
56 [label="Enter when branch condition "];
57 [label="Access qualifier /SomeEnum"];
58 [label="Access variable R|/SomeEnum.A1|"];
59 [label="Equality operator =="];
60 [label="Exit when branch condition"];
}
subgraph cluster_17 {
color=blue
61 [label="Enter when branch condition "];
62 [label="Access qualifier /SomeEnum"];
63 [label="Access variable R|/SomeEnum.A2|"];
64 [label="Equality operator =="];
65 [label="Exit when branch condition"];
}
66 [label="Enter when branch result"];
subgraph cluster_18 {
color=blue
67 [label="Enter block"];
68 [label="Function call: R|/B.B|()"];
69 [label="Exit block"];
}
70 [label="Exit when branch result"];
71 [label="Enter when branch result"];
subgraph cluster_19 {
color=blue
72 [label="Enter block"];
73 [label="Function call: R|/B.B|()"];
74 [label="Exit block"];
}
75 [label="Exit when branch result"];
76 [label="Exit when"];
}
77 [label="Variable declaration: lval b: R|B|"];
78 [label="Access variable R|<local>/b|"];
79 [label="Function call: R|/takeB|(...)"];
80 [label="Exit block"];
}
81 [label="Exit function test_2" style="filled" fillcolor=red];
}
48 -> {49}; 48 -> {49};
49 -> {50}; 49 -> {50};
50 -> {51}; 50 -> {51};
@@ -165,67 +200,12 @@ digraph exhaustiveWhenAndDNNType_kt {
52 -> {53}; 52 -> {53};
53 -> {54}; 53 -> {54};
54 -> {55}; 54 -> {55};
55 -> {56};
subgraph cluster_17 {
color=red
56 [label="Enter function test_2" style="filled" fillcolor=red];
subgraph cluster_18 {
color=blue
57 [label="Enter block"];
58 [label="Access qualifier /SomeEnum"];
59 [label="Access variable R|/SomeEnum.A1|"];
60 [label="Variable declaration: lval flag: R|SomeEnum|"];
subgraph cluster_19 {
color=blue
61 [label="Enter when"];
62 [label="Access variable R|<local>/flag|"];
63 [label="Check not null: R|<local>/flag|!!"];
subgraph cluster_20 {
color=blue
64 [label="Enter when branch condition "];
65 [label="Access qualifier /SomeEnum"];
66 [label="Access variable R|/SomeEnum.A1|"];
67 [label="Equality operator =="];
68 [label="Exit when branch condition"];
}
subgraph cluster_21 {
color=blue
69 [label="Enter when branch condition "];
70 [label="Access qualifier /SomeEnum"];
71 [label="Access variable R|/SomeEnum.A2|"];
72 [label="Equality operator =="];
73 [label="Exit when branch condition"];
}
74 [label="Enter when branch result"];
subgraph cluster_22 {
color=blue
75 [label="Enter block"];
76 [label="Function call: R|/B.B|()"];
77 [label="Exit block"];
}
78 [label="Exit when branch result"];
79 [label="Enter when branch result"];
subgraph cluster_23 {
color=blue
80 [label="Enter block"];
81 [label="Function call: R|/B.B|()"];
82 [label="Exit block"];
}
83 [label="Exit when branch result"];
84 [label="Exit when"];
}
85 [label="Variable declaration: lval b: R|B|"];
86 [label="Access variable R|<local>/b|"];
87 [label="Function call: R|/takeB|(...)"];
88 [label="Exit block"];
}
89 [label="Exit function test_2" style="filled" fillcolor=red];
}
56 -> {57}; 56 -> {57};
57 -> {58}; 57 -> {58};
58 -> {59}; 58 -> {59};
59 -> {60}; 59 -> {60};
60 -> {61}; 60 -> {71 61};
61 -> {62}; 61 -> {62};
62 -> {63}; 62 -> {63};
63 -> {64}; 63 -> {64};
@@ -233,9 +213,9 @@ digraph exhaustiveWhenAndDNNType_kt {
65 -> {66}; 65 -> {66};
66 -> {67}; 66 -> {67};
67 -> {68}; 67 -> {68};
68 -> {79 69}; 68 -> {69};
69 -> {70}; 69 -> {70};
70 -> {71}; 70 -> {76};
71 -> {72}; 71 -> {72};
72 -> {73}; 72 -> {73};
73 -> {74}; 73 -> {74};
@@ -243,10 +223,64 @@ digraph exhaustiveWhenAndDNNType_kt {
75 -> {76}; 75 -> {76};
76 -> {77}; 76 -> {77};
77 -> {78}; 77 -> {78};
78 -> {84}; 78 -> {79};
79 -> {80}; 79 -> {80};
80 -> {81}; 80 -> {81};
81 -> {82};
subgraph cluster_20 {
color=red
82 [label="Enter function test_3" style="filled" fillcolor=red];
subgraph cluster_21 {
color=blue
83 [label="Enter block"];
84 [label="Access qualifier /SomeEnum"];
85 [label="Access variable R|/SomeEnum.A1|"];
86 [label="Variable declaration: lval flag: R|SomeEnum|"];
subgraph cluster_22 {
color=blue
87 [label="Enter when"];
88 [label="Access variable R|<local>/flag|"];
subgraph cluster_23 {
color=blue
89 [label="Enter when branch condition "];
90 [label="Access qualifier /SomeEnum"];
91 [label="Access variable R|/SomeEnum.A1|"];
92 [label="Equality operator =="];
93 [label="Exit when branch condition"];
}
subgraph cluster_24 {
color=blue
94 [label="Enter when branch condition "];
95 [label="Access qualifier /SomeEnum"];
96 [label="Access variable R|/SomeEnum.A2|"];
97 [label="Equality operator =="];
98 [label="Exit when branch condition"];
}
99 [label="Enter when branch result"];
subgraph cluster_25 {
color=blue
100 [label="Enter block"];
101 [label="Function call: R|/B.B|()"];
102 [label="Exit block"];
}
103 [label="Exit when branch result"];
104 [label="Enter when branch result"];
subgraph cluster_26 {
color=blue
105 [label="Enter block"];
106 [label="Function call: R|/B.B|()"];
107 [label="Exit block"];
}
108 [label="Exit when branch result"];
109 [label="Exit when"];
}
110 [label="Variable declaration: lval b: R|B|"];
111 [label="Access variable R|<local>/b|"];
112 [label="Function call: R|/takeB|(...)"];
113 [label="Exit block"];
}
114 [label="Exit function test_3" style="filled" fillcolor=red];
}
82 -> {83}; 82 -> {83};
83 -> {84}; 83 -> {84};
84 -> {85}; 84 -> {85};
@@ -254,65 +288,11 @@ digraph exhaustiveWhenAndDNNType_kt {
86 -> {87}; 86 -> {87};
87 -> {88}; 87 -> {88};
88 -> {89}; 88 -> {89};
89 -> {90};
subgraph cluster_24 {
color=red
90 [label="Enter function test_3" style="filled" fillcolor=red];
subgraph cluster_25 {
color=blue
91 [label="Enter block"];
92 [label="Access qualifier /SomeEnum"];
93 [label="Access variable R|/SomeEnum.A1|"];
94 [label="Variable declaration: lval flag: R|SomeEnum|"];
subgraph cluster_26 {
color=blue
95 [label="Enter when"];
96 [label="Access variable R|<local>/flag|"];
subgraph cluster_27 {
color=blue
97 [label="Enter when branch condition "];
98 [label="Access qualifier /SomeEnum"];
99 [label="Access variable R|/SomeEnum.A1|"];
100 [label="Equality operator =="];
101 [label="Exit when branch condition"];
}
subgraph cluster_28 {
color=blue
102 [label="Enter when branch condition "];
103 [label="Access qualifier /SomeEnum"];
104 [label="Access variable R|/SomeEnum.A2|"];
105 [label="Equality operator =="];
106 [label="Exit when branch condition"];
}
107 [label="Enter when branch result"];
subgraph cluster_29 {
color=blue
108 [label="Enter block"];
109 [label="Function call: R|/B.B|()"];
110 [label="Exit block"];
}
111 [label="Exit when branch result"];
112 [label="Enter when branch result"];
subgraph cluster_30 {
color=blue
113 [label="Enter block"];
114 [label="Function call: R|/B.B|()"];
115 [label="Exit block"];
}
116 [label="Exit when branch result"];
117 [label="Exit when"];
}
118 [label="Variable declaration: lval b: R|B|"];
119 [label="Access variable R|<local>/b|"];
120 [label="Function call: R|/takeB|(...)"];
121 [label="Exit block"];
}
122 [label="Exit function test_3" style="filled" fillcolor=red];
}
90 -> {91}; 90 -> {91};
91 -> {92}; 91 -> {92};
92 -> {93}; 92 -> {93};
93 -> {94}; 93 -> {104 94};
94 -> {95}; 94 -> {95};
95 -> {96}; 95 -> {96};
96 -> {97}; 96 -> {97};
@@ -320,9 +300,9 @@ digraph exhaustiveWhenAndDNNType_kt {
98 -> {99}; 98 -> {99};
99 -> {100}; 99 -> {100};
100 -> {101}; 100 -> {101};
101 -> {112 102}; 101 -> {102};
102 -> {103}; 102 -> {103};
103 -> {104}; 103 -> {109};
104 -> {105}; 104 -> {105};
105 -> {106}; 105 -> {106};
106 -> {107}; 106 -> {107};
@@ -330,16 +310,8 @@ digraph exhaustiveWhenAndDNNType_kt {
108 -> {109}; 108 -> {109};
109 -> {110}; 109 -> {110};
110 -> {111}; 110 -> {111};
111 -> {117}; 111 -> {112};
112 -> {113}; 112 -> {113};
113 -> {114}; 113 -> {114};
114 -> {115};
115 -> {116};
116 -> {117};
117 -> {118};
118 -> {119};
119 -> {120};
120 -> {121};
121 -> {122};
} }
@@ -8,6 +8,7 @@ package org.jetbrains.kotlin.idea.fir.low.level.api.api
import org.jetbrains.kotlin.fir.FirElement import org.jetbrains.kotlin.fir.FirElement
import org.jetbrains.kotlin.fir.analysis.diagnostics.FirPsiDiagnostic import org.jetbrains.kotlin.fir.analysis.diagnostics.FirPsiDiagnostic
import org.jetbrains.kotlin.fir.declarations.* import org.jetbrains.kotlin.fir.declarations.*
import org.jetbrains.kotlin.fir.renderWithType
import org.jetbrains.kotlin.idea.caches.project.IdeaModuleInfo import org.jetbrains.kotlin.idea.caches.project.IdeaModuleInfo
import org.jetbrains.kotlin.idea.caches.project.getModuleInfo import org.jetbrains.kotlin.idea.caches.project.getModuleInfo
import org.jetbrains.kotlin.idea.fir.low.level.api.FirIdeResolveStateService import org.jetbrains.kotlin.idea.fir.low.level.api.FirIdeResolveStateService
@@ -60,6 +61,24 @@ inline fun <R> KtDeclaration.withFirDeclaration(
return action(resolvedDeclaration) return action(resolvedDeclaration)
} }
/**
* Creates [FirDeclaration] by [KtDeclaration] and executes an [action] on it
* [FirDeclaration] passed to [action] will be resolved at least to [resolveType] when executing [action] on it
*
* [FirDeclaration] passed to [action] should not be leaked outside [action] lambda
* Otherwise, some threading problems may arise,
*/
@OptIn(InternalForInline::class)
inline fun <R> KtDeclaration.withFirDeclaration(
resolveState: FirModuleResolveState,
resolveType: ResolveType = ResolveType.NoResolve,
action: (FirDeclaration) -> R
): R {
val firDeclaration = resolveState.findSourceFirDeclaration(this)
firDeclaration.resolvedFirToType(resolveType, resolveState)
return action(firDeclaration)
}
/** /**
* Creates [FirDeclaration] by [KtDeclaration] and executes an [action] on it * Creates [FirDeclaration] by [KtDeclaration] and executes an [action] on it
* [FirDeclaration] passed to [action] will be resolved at least to [phase] when executing [action] on it * [FirDeclaration] passed to [action] will be resolved at least to [phase] when executing [action] on it
@@ -37,7 +37,7 @@ internal fun FirLazyDeclarationResolver.lazyResolveDeclaration(
ResolveType.NoResolve -> return ResolveType.NoResolve -> return
ResolveType.CallableReturnType -> { ResolveType.CallableReturnType -> {
require(firDeclaration is FirCallableDeclaration<*>) { require(firDeclaration is FirCallableDeclaration<*>) {
"CallableReturn type cannot be applied to ${firDeclaration::class.qualifiedName}" "CallableReturnType type cannot be applied to ${firDeclaration::class.qualifiedName}"
} }
val stopAheadOfPhase = { declaration: FirDeclaration -> val stopAheadOfPhase = { declaration: FirDeclaration ->
declaration is FirCallableDeclaration<*> && declaration.returnTypeRef is FirResolvedTypeRef declaration is FirCallableDeclaration<*> && declaration.returnTypeRef is FirResolvedTypeRef
@@ -53,7 +53,7 @@ internal fun FirLazyDeclarationResolver.lazyResolveDeclaration(
} }
ResolveType.BodyResolveWithChildren, ResolveType.CallableBodyResolve -> { ResolveType.BodyResolveWithChildren, ResolveType.CallableBodyResolve -> {
require(firDeclaration is FirCallableDeclaration<*> || toResolveType != ResolveType.CallableBodyResolve) { require(firDeclaration is FirCallableDeclaration<*> || toResolveType != ResolveType.CallableBodyResolve) {
"CallableReturn type cannot be applied to ${firDeclaration::class.qualifiedName}" "BodyResolveWithChildren and CallableBodyResolve types cannot be applied to ${firDeclaration::class.qualifiedName}"
} }
lazyResolveDeclaration( lazyResolveDeclaration(
firDeclarationToResolve = firDeclaration, firDeclarationToResolve = firDeclaration,
@@ -85,7 +85,7 @@ internal fun FirLazyDeclarationResolver.lazyResolveDeclaration(
} }
ResolveType.ClassSuperTypes -> { ResolveType.ClassSuperTypes -> {
require(firDeclaration is FirClassLikeDeclaration<*>) { require(firDeclaration is FirClassLikeDeclaration<*>) {
"CallableReturn type cannot be applied to ${firDeclaration::class.qualifiedName}" "ClassSuperTypes type cannot be applied to ${firDeclaration::class.qualifiedName}"
} }
lazyResolveDeclaration( lazyResolveDeclaration(
firDeclarationToResolve = firDeclaration, firDeclarationToResolve = firDeclaration,
@@ -97,7 +97,7 @@ internal fun FirLazyDeclarationResolver.lazyResolveDeclaration(
} }
ResolveType.CallableContracts -> { ResolveType.CallableContracts -> {
require(firDeclaration is FirCallableDeclaration<*>) { require(firDeclaration is FirCallableDeclaration<*>) {
"CallableReturn type cannot be applied to ${firDeclaration::class.qualifiedName}" "CallableContracts type cannot be applied to ${firDeclaration::class.qualifiedName}"
} }
lazyResolveDeclaration( lazyResolveDeclaration(
firDeclarationToResolve = firDeclaration, firDeclarationToResolve = firDeclaration,
@@ -109,7 +109,7 @@ internal fun FirLazyDeclarationResolver.lazyResolveDeclaration(
} }
ResolveType.DeclarationStatus -> { ResolveType.DeclarationStatus -> {
require(firDeclaration !is FirFile) { require(firDeclaration !is FirFile) {
"CallableReturn type cannot be applied to ${firDeclaration::class.qualifiedName}" "DeclarationStatus type cannot be applied to ${firDeclaration::class.qualifiedName}"
} }
lazyResolveDeclaration( lazyResolveDeclaration(
firDeclarationToResolve = firDeclaration, firDeclarationToResolve = firDeclaration,
@@ -121,7 +121,7 @@ internal fun FirLazyDeclarationResolver.lazyResolveDeclaration(
} }
ResolveType.ValueParametersTypes, ResolveType.TypeParametersTypes -> { ResolveType.ValueParametersTypes, ResolveType.TypeParametersTypes -> {
require(firDeclaration !is FirFile) { require(firDeclaration !is FirFile) {
"CallableReturn type cannot be applied to ${firDeclaration::class.qualifiedName}" "ValueParametersTypes and TypeParametersTypes types cannot be applied to ${firDeclaration::class.qualifiedName}"
} }
lazyResolveDeclaration( lazyResolveDeclaration(
firDeclarationToResolve = firDeclaration, firDeclarationToResolve = firDeclaration,
@@ -0,0 +1,6 @@
@file:Suppress("1")
@Suppress("2")
fun resolveMe() {
}
@@ -0,0 +1,113 @@
RAW_FIR:
FILE: annotations.kt
@FILE:Suppress(String(1))
@Suppress(String(2)) public? final? fun resolveMe(): R|kotlin/Unit| {
}
IMPORTS:
FILE: annotations.kt
@FILE:Suppress(String(1))
@Suppress(String(2)) public? final? fun resolveMe(): R|kotlin/Unit| {
}
SUPER_TYPES:
FILE: annotations.kt
@FILE:Suppress(String(1))
@Suppress(String(2)) public? final? fun resolveMe(): R|kotlin/Unit| {
}
TYPES:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
}
STATUS:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
}
CONTRACTS:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
}
BODY_RESOLVE:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(vararg(String(2))) public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
}
NoResolve:
FILE: annotations.kt
@FILE:Suppress(String(1))
@Suppress(String(2)) public? final? fun resolveMe(): R|kotlin/Unit| {
}
BodyResolveWithChildren:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(vararg(String(2))) public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
}
CallableBodyResolve:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(vararg(String(2))) public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
}
CallableReturnType:
FILE: annotations.kt
@FILE:Suppress(String(1))
@Suppress(String(2)) public? final? fun resolveMe(): R|kotlin/Unit| {
}
AnnotationType:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
}
AnnotationsArguments:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(vararg(String(2))) public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
}
CallableContracts:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
}
DeclarationStatus:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
}
ValueParametersTypes:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
}
TypeParametersTypes:
FILE: annotations.kt
@FILE:Suppress(String(1))
@R|kotlin/Suppress|(String(2)) public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
}
FILE RAW TO BODY:
FILE: annotations.kt
@FILE:R|kotlin/Suppress|(vararg(String(1)))
@R|kotlin/Suppress|(vararg(String(2))) public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
}
@@ -1,18 +1,474 @@
RAW_FIR:
FILE: classMembers.kt FILE: classMembers.kt
public final [STATUS] class A : R|kotlin/Any| { public? final? class A : R|kotlin/Any| {
public [STATUS] constructor(): R|A| { public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>() super<R|kotlin/Any|>()
} }
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
IMPORTS:
FILE: classMembers.kt
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
SUPER_TYPES:
FILE: classMembers.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
TYPES:
FILE: classMembers.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
STATUS:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
CONTRACTS:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
BODY_RESOLVE:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|()) this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|())
} }
public final [STATUS] val x: R|kotlin/Int| = LAZY_EXPRESSION public? final? val x: Int = IntegerLiteral(10)
[STATUS] public get(): R|kotlin/Int| { LAZY_BLOCK } [ContainingClassKey=A] public? get(): Int {
^ field#
}
public final [STATUS] fun receive([STATUS] value: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [STATUS] fun functionWithLazyBody(): R|kotlin/String| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
}
NoResolve:
FILE: classMembers.kt
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
BodyResolveWithChildren:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
}
CallableBodyResolve:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
}
CallableReturnType:
FILE: classMembers.kt
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
AnnotationType:
FILE: classMembers.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
AnnotationsArguments:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
}
CallableContracts:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
DeclarationStatus:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
ValueParametersTypes:
FILE: classMembers.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
TypeParametersTypes:
FILE: classMembers.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? val x: Int = IntegerLiteral(10)
[ContainingClassKey=A] public? get(): Int {
^ field#
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
}
FILE RAW TO BODY:
FILE: classMembers.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final fun resolveMe(): R|kotlin/Unit| {
this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|())
}
public final [IsReferredViaField=true] val x: R|kotlin/Int| = Int(10)
[ContainingClassKey=A] public get(): R|kotlin/Int| {
^ this@R|/A|.F|/A.x|
}
public final fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
} }
@@ -1,45 +1,911 @@
RAW_FIR:
FILE: delegates.kt FILE: delegates.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
IMPORTS:
FILE: delegates.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
SUPER_TYPES:
FILE: delegates.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
TYPES:
FILE: delegates.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
STATUS:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
CONTRACTS:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
BODY_RESOLVE:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/valueWithExplicitType|) R|/receive|(R|/valueWithExplicitType|)
R|/receive|(R|/valueWithImplicitType|) R|/receive|(R|/valueWithImplicitType|)
R|/variableWithExplicitType| = Int(10) R|/variableWithExplicitType| = Int(10)
R|/variableWithImplicitType| = Int(10) R|/variableWithImplicitType| = Int(10)
} }
public final [STATUS] fun receive([STATUS] value: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
public final [BODY_RESOLVE] val delegate: R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| = object : R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| { }
private [BODY_RESOLVE] constructor(): R|<anonymous>| { public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val delegate: R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| = object : R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>() super<R|kotlin/Any|>()
} }
public final override operator [BODY_RESOLVE] fun getValue([BODY_RESOLVE] thisRef: R|kotlin/Any?|, [BODY_RESOLVE] property: R|kotlin/reflect/KProperty<*>|): R|kotlin/Int| { public final override operator fun getValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|): R|kotlin/Int| {
^getValue Int(1) ^getValue Int(1)
} }
public final override operator [BODY_RESOLVE] fun setValue([BODY_RESOLVE] thisRef: R|kotlin/Any?|, [BODY_RESOLVE] property: R|kotlin/reflect/KProperty<*>|, [BODY_RESOLVE] value: R|kotlin/Int|): R|kotlin/Unit| { public final override operator fun setValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|, value: R|kotlin/Int|): R|kotlin/Unit| {
} }
} }
[BODY_RESOLVE] public get(): R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| public get(): R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>|
public final [STATUS] val valueWithExplicitType: R|kotlin/Int|by LAZY_EXPRESSION public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithExplicitType: R|kotlin/Int|by delegate#
[STATUS] public get(): <implicit> { public get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|) ^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
} }
public final [BODY_RESOLVE] val valueWithImplicitType: R|kotlin/Int|by R|/delegate| public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithImplicitType: R|kotlin/Int|by R|/delegate|
[BODY_RESOLVE] public get(): R|kotlin/Int| { public get(): R|kotlin/Int| {
^ D|/valueWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithImplicitType|) ^ D|/valueWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithImplicitType|)
} }
public final [STATUS] var variableWithExplicitType: R|kotlin/Int|by LAZY_EXPRESSION public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithExplicitType: R|kotlin/Int|by delegate#
[STATUS] public get(): <implicit> { public get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|) ^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
} }
[STATUS] public set([RAW_FIR] <set-?>: <implicit>): R|kotlin/Unit| { public set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|) D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
} }
public final [BODY_RESOLVE] var variableWithImplicitType: R|kotlin/Int|by R|/delegate| public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithImplicitType: R|kotlin/Int|by R|/delegate|
[BODY_RESOLVE] public get(): R|kotlin/Int| { public get(): R|kotlin/Int| {
^ D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithImplicitType|) ^ D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithImplicitType|)
} }
[BODY_RESOLVE] public set([BODY_RESOLVE] <set-?>: R|kotlin/Int|): R|kotlin/Unit| { public set(<set-?>: R|kotlin/Int|): R|kotlin/Unit| {
D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
NoResolve:
FILE: delegates.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
BodyResolveWithChildren:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/valueWithExplicitType|)
R|/receive|(R|/valueWithImplicitType|)
R|/variableWithExplicitType| = Int(10)
R|/variableWithImplicitType| = Int(10)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val delegate: R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| = object : R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
public final override operator fun getValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|): R|kotlin/Int| {
^getValue Int(1)
}
public final override operator fun setValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|, value: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public get(): R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>|
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithExplicitType: R|kotlin/Int|by delegate#
public get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/valueWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithImplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithExplicitType: R|kotlin/Int|by delegate#
public get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithImplicitType|)
}
public set(<set-?>: R|kotlin/Int|): R|kotlin/Unit| {
D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
CallableBodyResolve:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/valueWithExplicitType|)
R|/receive|(R|/valueWithImplicitType|)
R|/variableWithExplicitType| = Int(10)
R|/variableWithImplicitType| = Int(10)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val delegate: R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| = object : R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
public final override operator fun getValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|): R|kotlin/Int| {
^getValue Int(1)
}
public final override operator fun setValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|, value: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public get(): R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>|
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithExplicitType: R|kotlin/Int|by delegate#
public get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/valueWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithImplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithExplicitType: R|kotlin/Int|by delegate#
public get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithImplicitType|)
}
public set(<set-?>: R|kotlin/Int|): R|kotlin/Unit| {
D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
CallableReturnType:
FILE: delegates.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
AnnotationType:
FILE: delegates.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
AnnotationsArguments:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/valueWithExplicitType|)
R|/receive|(R|/valueWithImplicitType|)
R|/variableWithExplicitType| = Int(10)
R|/variableWithImplicitType| = Int(10)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val delegate: R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| = object : R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
public final override operator fun getValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|): R|kotlin/Int| {
^getValue Int(1)
}
public final override operator fun setValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|, value: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public get(): R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>|
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithExplicitType: R|kotlin/Int|by delegate#
public get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val valueWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/valueWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithImplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithExplicitType: R|kotlin/Int|by delegate#
public get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var variableWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithImplicitType|)
}
public set(<set-?>: R|kotlin/Int|): R|kotlin/Unit| {
D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
CallableContracts:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
DeclarationStatus:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
ValueParametersTypes:
FILE: delegates.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
TypeParametersTypes:
FILE: delegates.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(valueWithExplicitType#)
receive#(valueWithImplicitType#)
variableWithExplicitType# = IntegerLiteral(10)
variableWithImplicitType# = IntegerLiteral(10)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val delegate: <implicit> = object : ReadWriteProperty<Any?, Int> {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<<implicit>>()
}
public? open? override fun getValue(thisRef: Any?, property: KProperty<*>): Int {
^getValue IntegerLiteral(1)
}
public? open? override fun setValue(thisRef: Any?, property: KProperty<*>, value: Int): R|kotlin/Unit| {
}
}
public? get(): <implicit>
public? final? val valueWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/valueWithExplicitType|.getValue#(Null(null), ::R|/valueWithExplicitType|)
}
public? final? val valueWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/valueWithImplicitType|.getValue#(Null(null), ::R|/valueWithImplicitType|)
}
public? final? var variableWithExplicitType: Intby delegate#
public? get(): <implicit> {
^ D|/variableWithExplicitType|.getValue#(Null(null), ::R|/variableWithExplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithExplicitType|.setValue#(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public? final? var variableWithImplicitType: <implicit>by delegate#
public? get(): <implicit> {
^ D|/variableWithImplicitType|.getValue#(Null(null), ::R|/variableWithImplicitType|)
}
public? set(<set-?>: <implicit>): R|kotlin/Unit| {
D|/variableWithImplicitType|.setValue#(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
}
FILE RAW TO BODY:
FILE: delegates.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/valueWithExplicitType|)
R|/receive|(R|/valueWithImplicitType|)
R|/variableWithExplicitType| = Int(10)
R|/variableWithImplicitType| = Int(10)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] val delegate: R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| = object : R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>| {
private [ContainingClassKey=<anonymous>] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
public final override operator fun getValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|): R|kotlin/Int| {
^getValue Int(1)
}
public final override operator fun setValue(thisRef: R|kotlin/Any?|, property: R|kotlin/reflect/KProperty<*>|, value: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public get(): R|kotlin/properties/ReadWriteProperty<kotlin/Any?, kotlin/Int>|
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] val valueWithExplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/valueWithExplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] val valueWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/valueWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/valueWithImplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var variableWithExplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/variableWithExplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithExplicitType|)
}
public set(<set-?>: R|kotlin/Int|): R|kotlin/Unit| {
D|/variableWithExplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithExplicitType|, R|<local>/variableWithExplicitType|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var variableWithImplicitType: R|kotlin/Int|by R|/delegate|
public get(): R|kotlin/Int| {
^ D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.getValue: R|kotlin/Int|>|(Null(null), ::R|/variableWithImplicitType|)
}
public set(<set-?>: R|kotlin/Int|): R|kotlin/Unit| {
D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|) D|/variableWithImplicitType|.R|SubstitutionOverride<kotlin/properties/ReadWriteProperty.setValue: R|kotlin/Unit|>|(Null(null), ::R|/variableWithImplicitType|, R|<local>/variableWithImplicitType|)
} }
@@ -0,0 +1,7 @@
class A {
fun x() {
class resolveMe() {
val e = 2
}
}
}
@@ -0,0 +1,373 @@
RAW_FIR:
FILE: localDeclaration.kt
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? fun x(): R|kotlin/Unit| {
local final? [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public? [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public? final? val e: <implicit> = IntegerLiteral(2)
[ContainingClassKey=resolveMe] public? get(): <implicit>
}
}
}
IMPORTS:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
SUPER_TYPES:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
TYPES:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
STATUS:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
CONTRACTS:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
BODY_RESOLVE:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
NoResolve:
FILE: localDeclaration.kt
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public? final? fun x(): R|kotlin/Unit| {
local final? [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public? [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public? final? val e: <implicit> = IntegerLiteral(2)
[ContainingClassKey=resolveMe] public? get(): <implicit>
}
}
}
BodyResolveWithChildren:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
AnnotationType:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
AnnotationsArguments:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
ClassSuperTypes:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
DeclarationStatus:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
ValueParametersTypes:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
TypeParametersTypes:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
FILE RAW TO BODY:
FILE: localDeclaration.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
public final fun x(): R|kotlin/Unit| {
local final [ContainingClassKey=A] class resolveMe : R|kotlin/Any| {
public [ContainingClassKey=resolveMe] constructor(): R|A.resolveMe| {
super<R|kotlin/Any|>()
}
public final val e: R|kotlin/Int| = Int(2)
[ContainingClassKey=resolveMe] public get(): R|kotlin/Int|
}
}
}
@@ -0,0 +1,6 @@
fun ddd() {
class XX {
var x: Int = 2
set(resolveMe) = Unit
}
}
@@ -0,0 +1,341 @@
RAW_FIR:
FILE: parameterOfLocalSetter.kt
public? final? fun ddd(): R|kotlin/Unit| {
local final? class XX : R|kotlin/Any| {
public? [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public? final? var x: Int = IntegerLiteral(2)
[ContainingClassKey=XX] public? get(): Int
[ContainingClassKey=XX] public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
}
}
IMPORTS:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
SUPER_TYPES:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
TYPES:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
STATUS:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
CONTRACTS:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
BODY_RESOLVE:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
NoResolve:
FILE: parameterOfLocalSetter.kt
public? final? fun ddd(): R|kotlin/Unit| {
local final? class XX : R|kotlin/Any| {
public? [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public? final? var x: Int = IntegerLiteral(2)
[ContainingClassKey=XX] public? get(): Int
[ContainingClassKey=XX] public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
}
}
BodyResolveWithChildren:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
CallableBodyResolve:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
CallableReturnType:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
AnnotationType:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
AnnotationsArguments:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
CallableContracts:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
DeclarationStatus:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
ValueParametersTypes:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
TypeParametersTypes:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
FILE RAW TO BODY:
FILE: parameterOfLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final class XX : R|kotlin/Any| {
public [ContainingClassKey=XX] constructor(): R|XX| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=XX] public get(): R|kotlin/Int|
[ContainingClassKey=XX] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
}
@@ -0,0 +1,4 @@
class X {
var x: Int = 2
set(resolveMe) = Unit
}
@@ -0,0 +1,284 @@
RAW_FIR:
FILE: parameterOfNonLocalSetter.kt
public? final? class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? var x: Int = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): Int
[ContainingClassKey=X] public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
}
IMPORTS:
FILE: parameterOfNonLocalSetter.kt
public? final? class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? var x: Int = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): Int
[ContainingClassKey=X] public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
}
SUPER_TYPES:
FILE: parameterOfNonLocalSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? var x: Int = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): Int
[ContainingClassKey=X] public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
}
TYPES:
FILE: parameterOfNonLocalSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): R|kotlin/Int|
[ContainingClassKey=X] public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
STATUS:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
CONTRACTS:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
BODY_RESOLVE:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
NoResolve:
FILE: parameterOfNonLocalSetter.kt
public? final? class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? var x: Int = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): Int
[ContainingClassKey=X] public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
}
BodyResolveWithChildren:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
CallableBodyResolve:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
CallableReturnType:
FILE: parameterOfNonLocalSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): R|kotlin/Int|
[ContainingClassKey=X] public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
AnnotationType:
FILE: parameterOfNonLocalSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): R|kotlin/Int|
[ContainingClassKey=X] public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
AnnotationsArguments:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
CallableContracts:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
DeclarationStatus:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
ValueParametersTypes:
FILE: parameterOfNonLocalSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): R|kotlin/Int|
[ContainingClassKey=X] public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
TypeParametersTypes:
FILE: parameterOfNonLocalSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
[ContainingClassKey=X] public? get(): R|kotlin/Int|
[ContainingClassKey=X] public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
}
FILE RAW TO BODY:
FILE: parameterOfNonLocalSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class X : R|kotlin/Any| {
public [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final var x: R|kotlin/Int| = Int(2)
[ContainingClassKey=X] public get(): R|kotlin/Int|
[ContainingClassKey=X] public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
}
@@ -1,7 +1,227 @@
RAW_FIR:
FILE: propertyWithGetter.kt FILE: propertyWithGetter.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
IMPORTS:
FILE: propertyWithGetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
SUPER_TYPES:
FILE: propertyWithGetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
TYPES:
FILE: propertyWithGetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
STATUS:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
CONTRACTS:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
BODY_RESOLVE:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetter|) R|/receive|(R|/withGetter|)
} }
public final [STATUS] fun receive([STATUS] value: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
public final [STATUS] val withGetter: R|kotlin/Int| }
[STATUS] public get(): R|kotlin/Int| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
public get(): R|kotlin/Int| {
^ IntegerLiteral(42)
}
NoResolve:
FILE: propertyWithGetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
BodyResolveWithChildren:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetter|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
public get(): R|kotlin/Int| {
^ IntegerLiteral(42)
}
CallableBodyResolve:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetter|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
public get(): R|kotlin/Int| {
^ IntegerLiteral(42)
}
CallableReturnType:
FILE: propertyWithGetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
AnnotationType:
FILE: propertyWithGetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
AnnotationsArguments:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetter|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val withGetter: R|kotlin/Int|
public get(): R|kotlin/Int| {
^ IntegerLiteral(42)
}
CallableContracts:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
DeclarationStatus:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
ValueParametersTypes:
FILE: propertyWithGetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
TypeParametersTypes:
FILE: propertyWithGetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetter#)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? val withGetter: Int
public? get(): Int {
^ IntegerLiteral(42)
}
FILE RAW TO BODY:
FILE: propertyWithGetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetter|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] val withGetter: R|kotlin/Int|
public get(): R|kotlin/Int| {
^ Int(42)
}
@@ -1,9 +1,303 @@
RAW_FIR:
FILE: propertyWithGetterAndSetter.kt FILE: propertyWithGetterAndSetter.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
IMPORTS:
FILE: propertyWithGetterAndSetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
SUPER_TYPES:
FILE: propertyWithGetterAndSetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
TYPES:
FILE: propertyWithGetterAndSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
STATUS:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
CONTRACTS:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
BODY_RESOLVE:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetterAndSetter|) R|/receive|(R|/withGetterAndSetter|)
R|/withGetterAndSetter| = Int(123) R|/withGetterAndSetter| = Int(123)
} }
public final [STATUS] fun receive([STATUS] value: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
public final [STATUS] var withGetterAndSetter: R|kotlin/Int| = LAZY_EXPRESSION }
[STATUS] public get(): R|kotlin/Int| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var withGetterAndSetter: R|kotlin/Int| = IntegerLiteral(42)
[STATUS] public set([RAW_FIR] value: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK } public get(): R|kotlin/Int| {
^ field#
}
public set(value: R|kotlin/Int|): R|kotlin/Unit| {
field# = value#
}
NoResolve:
FILE: propertyWithGetterAndSetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
BodyResolveWithChildren:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetterAndSetter|)
R|/withGetterAndSetter| = Int(123)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var withGetterAndSetter: R|kotlin/Int| = IntegerLiteral(42)
public get(): R|kotlin/Int| {
^ field#
}
public set(value: R|kotlin/Int|): R|kotlin/Unit| {
field# = value#
}
CallableBodyResolve:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetterAndSetter|)
R|/withGetterAndSetter| = Int(123)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var withGetterAndSetter: R|kotlin/Int| = IntegerLiteral(42)
public get(): R|kotlin/Int| {
^ field#
}
public set(value: R|kotlin/Int|): R|kotlin/Unit| {
field# = value#
}
CallableReturnType:
FILE: propertyWithGetterAndSetter.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
AnnotationType:
FILE: propertyWithGetterAndSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
AnnotationsArguments:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetterAndSetter|)
R|/withGetterAndSetter| = Int(123)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var withGetterAndSetter: R|kotlin/Int| = IntegerLiteral(42)
public get(): R|kotlin/Int| {
^ field#
}
public set(value: R|kotlin/Int|): R|kotlin/Unit| {
field# = value#
}
CallableContracts:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
DeclarationStatus:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
ValueParametersTypes:
FILE: propertyWithGetterAndSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
TypeParametersTypes:
FILE: propertyWithGetterAndSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(withGetterAndSetter#)
withGetterAndSetter# = IntegerLiteral(123)
}
public? final? fun receive(value: Int): R|kotlin/Unit| {
}
public? final? var withGetterAndSetter: Int = IntegerLiteral(42)
public? get(): Int {
^ field#
}
public? set(value: Int): R|kotlin/Unit| {
field# = value#
}
FILE RAW TO BODY:
FILE: propertyWithGetterAndSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/withGetterAndSetter|)
R|/withGetterAndSetter| = Int(123)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [IsReferredViaField=true, ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var withGetterAndSetter: R|kotlin/Int| = Int(42)
public get(): R|kotlin/Int| {
^ F|/withGetterAndSetter|
}
public set(value: R|kotlin/Int|): R|kotlin/Unit| {
F|/withGetterAndSetter| = R|<local>/value|
}
@@ -1,6 +1,151 @@
RAW_FIR:
FILE: propertyWithInitializer.kt FILE: propertyWithInitializer.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
IMPORTS:
FILE: propertyWithInitializer.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
SUPER_TYPES:
FILE: propertyWithInitializer.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
TYPES:
FILE: propertyWithInitializer.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
STATUS:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
CONTRACTS:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
BODY_RESOLVE:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
<Unresolved name: receive>#(R|/property|) <Unresolved name: receive>#(R|/property|)
} }
public final [STATUS] val property: R|kotlin/Int| = LAZY_EXPRESSION public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val property: R|kotlin/Int| = IntegerLiteral(10)
[BODY_RESOLVE] public get(): R|kotlin/Int| public get(): R|kotlin/Int|
NoResolve:
FILE: propertyWithInitializer.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
BodyResolveWithChildren:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
<Unresolved name: receive>#(R|/property|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val property: R|kotlin/Int| = IntegerLiteral(10)
public get(): R|kotlin/Int|
CallableBodyResolve:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
<Unresolved name: receive>#(R|/property|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val property: R|kotlin/Int| = IntegerLiteral(10)
public get(): R|kotlin/Int|
CallableReturnType:
FILE: propertyWithInitializer.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
AnnotationType:
FILE: propertyWithInitializer.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
AnnotationsArguments:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
<Unresolved name: receive>#(R|/property|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] val property: R|kotlin/Int| = IntegerLiteral(10)
public get(): R|kotlin/Int|
CallableContracts:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
DeclarationStatus:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
ValueParametersTypes:
FILE: propertyWithInitializer.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
TypeParametersTypes:
FILE: propertyWithInitializer.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(property#)
}
public? final? val property: Int = IntegerLiteral(10)
public? get(): Int
FILE RAW TO BODY:
FILE: propertyWithInitializer.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
<Unresolved name: receive>#(R|/property|)
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] val property: R|kotlin/Int| = Int(10)
public get(): R|kotlin/Int|
@@ -1,12 +1,284 @@
RAW_FIR:
FILE: secondaryConstructor.kt FILE: secondaryConstructor.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/A.A|(Int(42))) receive#(A#(IntegerLiteral(42)))
} }
public final [STATUS] fun receive([STATUS] value: R|A|): R|kotlin/Unit| { LAZY_BLOCK } public? final? fun receive(value: A): R|kotlin/Unit| {
public final [STATUS] class A : R|kotlin/Any| { }
public [STATUS] constructor([STATUS] x: R|kotlin/Int|): R|A| { public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>() super<R|kotlin/Any|>()
[RAW_FIR] lval a: <implicit> = x# lval a: <implicit> = x#
}
}
IMPORTS:
FILE: secondaryConstructor.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
SUPER_TYPES:
FILE: secondaryConstructor.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
TYPES:
FILE: secondaryConstructor.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
STATUS:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
CONTRACTS:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
BODY_RESOLVE:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/A.A|(Int(42)))
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|A|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A, ResolvePhaseWithForAllDeclarationsKey=STATUS] constructor(x: R|kotlin/Int|): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
NoResolve:
FILE: secondaryConstructor.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
BodyResolveWithChildren:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/A.A|(Int(42)))
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|A|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A, ResolvePhaseWithForAllDeclarationsKey=STATUS] constructor(x: R|kotlin/Int|): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
CallableBodyResolve:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/A.A|(Int(42)))
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|A|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A, ResolvePhaseWithForAllDeclarationsKey=STATUS] constructor(x: R|kotlin/Int|): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
CallableReturnType:
FILE: secondaryConstructor.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
AnnotationType:
FILE: secondaryConstructor.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
AnnotationsArguments:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/A.A|(Int(42)))
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|A|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A, ResolvePhaseWithForAllDeclarationsKey=STATUS] constructor(x: R|kotlin/Int|): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
CallableContracts:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
DeclarationStatus:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
ValueParametersTypes:
FILE: secondaryConstructor.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
TypeParametersTypes:
FILE: secondaryConstructor.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(A#(IntegerLiteral(42)))
}
public? final? fun receive(value: A): R|kotlin/Unit| {
}
public? final? class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(x: Int): R|A| {
super<R|kotlin/Any|>()
lval a: <implicit> = x#
}
}
FILE RAW TO BODY:
FILE: secondaryConstructor.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/A.A|(Int(42)))
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|A|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(x: R|kotlin/Int|): R|A| {
super<R|kotlin/Any|>()
lval a: R|kotlin/Int| = R|<local>/x|
} }
} }
@@ -0,0 +1,5 @@
open class A
open class B : A()
open class resolveMe : A()
@@ -0,0 +1,356 @@
RAW_FIR:
FILE: superTypes.kt
public? open class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open class resolveMe : A {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<A>()
}
}
IMPORTS:
FILE: superTypes.kt
public? open class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open class resolveMe : A {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<A>()
}
}
SUPER_TYPES:
FILE: superTypes.kt
public? open class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class resolveMe : R|A| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<A>()
}
}
TYPES:
FILE: superTypes.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|A| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
STATUS:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=STATUS] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
CONTRACTS:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
BODY_RESOLVE:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
NoResolve:
FILE: superTypes.kt
public? open class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open class resolveMe : A {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<A>()
}
}
BodyResolveWithChildren:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
AnnotationType:
FILE: superTypes.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|A| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
AnnotationsArguments:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
ClassSuperTypes:
FILE: superTypes.kt
public? open class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class resolveMe : R|A| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<A>()
}
}
DeclarationStatus:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=STATUS] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
ValueParametersTypes:
FILE: superTypes.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|A| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
TypeParametersTypes:
FILE: superTypes.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class A : R|kotlin/Any| {
public? [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public? open class B : A {
public? [ContainingClassKey=B] constructor(): R|B| {
super<A>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|A| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
FILE RAW TO BODY:
FILE: superTypes.kt
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class A : R|kotlin/Any| {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|kotlin/Any|>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class B : R|A| {
public [ContainingClassKey=B] constructor(): R|B| {
super<R|A|>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|A| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|A|>()
}
}
@@ -0,0 +1,7 @@
open class resolveMe : C()
open class A : B()
open class B : C()
open class C : A()
@@ -0,0 +1,458 @@
RAW_FIR:
FILE: superTypesLoop.kt
public? open class resolveMe : C {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<C>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open class C : A {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
IMPORTS:
FILE: superTypesLoop.kt
public? open class resolveMe : C {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<C>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open class C : A {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
SUPER_TYPES:
FILE: superTypesLoop.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class resolveMe : R|C| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<C>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open class C : A {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
TYPES:
FILE: superTypesLoop.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|C| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
STATUS:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=STATUS] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
CONTRACTS:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
BODY_RESOLVE:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
NoResolve:
FILE: superTypesLoop.kt
public? open class resolveMe : C {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<C>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open class C : A {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
BodyResolveWithChildren:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
AnnotationType:
FILE: superTypesLoop.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|C| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
AnnotationsArguments:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
ClassSuperTypes:
FILE: superTypesLoop.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class resolveMe : R|C| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<C>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open class C : A {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
DeclarationStatus:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=STATUS] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
ValueParametersTypes:
FILE: superTypesLoop.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|C| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
TypeParametersTypes:
FILE: superTypesLoop.kt
public? open [ResolvePhaseWithForAllDeclarationsKey=TYPES] class resolveMe : R|C| {
public? [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public? open class A : B {
public? [ContainingClassKey=A] constructor(): R|A| {
super<B>()
}
}
public? open class B : C {
public? [ContainingClassKey=B] constructor(): R|B| {
super<C>()
}
}
public? open [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class C : <ERROR TYPE REF: Loop in supertype: /C -> /A> {
public? [ContainingClassKey=C] constructor(): R|C| {
super<A>()
}
}
FILE RAW TO BODY:
FILE: superTypesLoop.kt
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class resolveMe : R|C| {
public [ContainingClassKey=resolveMe] constructor(): R|resolveMe| {
super<R|C|>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class A : <ERROR TYPE REF: Loop in supertype: /A -> /B> {
public [ContainingClassKey=A] constructor(): R|A| {
super<R|B|>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class B : R|C| {
public [ContainingClassKey=B] constructor(): R|B| {
super<R|C|>()
}
}
public open [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class C : R|A| {
public [ContainingClassKey=C] constructor(): R|C| {
super<R|A|>()
}
}
@@ -1,6 +1,208 @@
RAW_FIR:
FILE: topLevelFunctions.kt FILE: topLevelFunctions.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
IMPORTS:
FILE: topLevelFunctions.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
SUPER_TYPES:
FILE: topLevelFunctions.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
TYPES:
FILE: topLevelFunctions.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
STATUS:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
CONTRACTS:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
BODY_RESOLVE:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|()) R|/receive|(R|/functionWithLazyBody|())
} }
public final [STATUS] fun receive([STATUS] value: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
public final [STATUS] fun functionWithLazyBody(): R|kotlin/String| { LAZY_BLOCK } }
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
NoResolve:
FILE: topLevelFunctions.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
BodyResolveWithChildren:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableBodyResolve:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableReturnType:
FILE: topLevelFunctions.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
AnnotationType:
FILE: topLevelFunctions.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
AnnotationsArguments:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableContracts:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
DeclarationStatus:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
ValueParametersTypes:
FILE: topLevelFunctions.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
TypeParametersTypes:
FILE: topLevelFunctions.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
FILE RAW TO BODY:
FILE: topLevelFunctions.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
@@ -1,6 +1,208 @@
RAW_FIR:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
IMPORTS:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
SUPER_TYPES:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
TYPES:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
STATUS:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
CONTRACTS:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
BODY_RESOLVE:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|()) R|/receive|(R|/functionWithLazyBody|())
} }
public final [STATUS] fun receive([STATUS] value: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
public final [STATUS] fun functionWithLazyBody(): R|kotlin/String| { LAZY_BLOCK } }
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
NoResolve:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
BodyResolveWithChildren:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableBodyResolve:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableReturnType:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
AnnotationType:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
AnnotationsArguments:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableContracts:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
DeclarationStatus:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
ValueParametersTypes:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
TypeParametersTypes:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): String {
^functionWithLazyBody String(42)
}
FILE RAW TO BODY:
FILE: topLevelFunctionsWithExpressionBodyAndExplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
@@ -1,8 +1,208 @@
RAW_FIR:
FILE: topLevelFunctionsWithImplicitType.kt FILE: topLevelFunctionsWithImplicitType.kt
public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| { public? final? fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|()) receive#(functionWithLazyBody#())
} }
public final [STATUS] fun receive([STATUS] value: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK } public? final? fun receive(value: String): R|kotlin/Unit| {
public final [BODY_RESOLVE] fun functionWithLazyBody(): R|kotlin/String| { }
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
IMPORTS:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
SUPER_TYPES:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
TYPES:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
STATUS:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
CONTRACTS:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
BODY_RESOLVE:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
NoResolve:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
BodyResolveWithChildren:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableBodyResolve:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableReturnType:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
AnnotationType:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
AnnotationsArguments:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42)
}
CallableContracts:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
DeclarationStatus:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
ValueParametersTypes:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
TypeParametersTypes:
FILE: topLevelFunctionsWithImplicitType.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun resolveMe(): R|kotlin/Unit| {
receive#(functionWithLazyBody#())
}
public? final? fun receive(value: String): R|kotlin/Unit| {
}
public? final? fun functionWithLazyBody(): <implicit> {
^functionWithLazyBody String(42)
}
FILE RAW TO BODY:
FILE: topLevelFunctionsWithImplicitType.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
R|/receive|(R|/functionWithLazyBody|())
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun receive(value: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun functionWithLazyBody(): R|kotlin/String| {
^functionWithLazyBody String(42) ^functionWithLazyBody String(42)
} }
@@ -0,0 +1,3 @@
fun ddd() {
fun kkk<resolveMe>() {}
}
@@ -0,0 +1,127 @@
RAW_FIR:
FILE: typeParameterOfLocalFunction.kt
public? final? fun ddd(): R|kotlin/Unit| {
local final? fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
IMPORTS:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
SUPER_TYPES:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
TYPES:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
STATUS:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
CONTRACTS:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
BODY_RESOLVE:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
NoResolve:
FILE: typeParameterOfLocalFunction.kt
public? final? fun ddd(): R|kotlin/Unit| {
local final? fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
BodyResolveWithChildren:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
AnnotationType:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
AnnotationsArguments:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
DeclarationStatus:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
ValueParametersTypes:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
TypeParametersTypes:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
FILE RAW TO BODY:
FILE: typeParameterOfLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun ddd(): R|kotlin/Unit| {
local final fun <resolveMe> kkk(): R|kotlin/Unit| {
}
}
@@ -0,0 +1,3 @@
class X {
fun ddd<resolveMe>() {}
}
@@ -0,0 +1,191 @@
RAW_FIR:
FILE: typeParameterOfNonLocalFunction.kt
public? final? class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
IMPORTS:
FILE: typeParameterOfNonLocalFunction.kt
public? final? class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
SUPER_TYPES:
FILE: typeParameterOfNonLocalFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
TYPES:
FILE: typeParameterOfNonLocalFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
STATUS:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
CONTRACTS:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
BODY_RESOLVE:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
NoResolve:
FILE: typeParameterOfNonLocalFunction.kt
public? final? class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
BodyResolveWithChildren:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
AnnotationType:
FILE: typeParameterOfNonLocalFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
AnnotationsArguments:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
DeclarationStatus:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
ValueParametersTypes:
FILE: typeParameterOfNonLocalFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
TypeParametersTypes:
FILE: typeParameterOfNonLocalFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=SUPER_TYPES] class X : R|kotlin/Any| {
public? [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
FILE RAW TO BODY:
FILE: typeParameterOfNonLocalFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] class X : R|kotlin/Any| {
public [ContainingClassKey=X] constructor(): R|X| {
super<R|kotlin/Any|>()
}
public final fun <resolveMe> ddd(): R|kotlin/Unit| {
}
}
@@ -0,0 +1 @@
fun ddd<resolveMe>() {}
@@ -0,0 +1,79 @@
RAW_FIR:
FILE: typeParameterOfTopFunction.kt
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
IMPORTS:
FILE: typeParameterOfTopFunction.kt
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
SUPER_TYPES:
FILE: typeParameterOfTopFunction.kt
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
TYPES:
FILE: typeParameterOfTopFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
STATUS:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
CONTRACTS:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
BODY_RESOLVE:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
NoResolve:
FILE: typeParameterOfTopFunction.kt
public? final? fun <resolveMe> ddd(): R|kotlin/Unit| {
}
BodyResolveWithChildren:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
AnnotationType:
FILE: typeParameterOfTopFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
AnnotationsArguments:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
DeclarationStatus:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
ValueParametersTypes:
FILE: typeParameterOfTopFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
TypeParametersTypes:
FILE: typeParameterOfTopFunction.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
FILE RAW TO BODY:
FILE: typeParameterOfTopFunction.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] fun <resolveMe> ddd(): R|kotlin/Unit| {
}
@@ -0,0 +1,2 @@
var x: Int = 2
set(resolveMe) = Unit
@@ -0,0 +1,151 @@
RAW_FIR:
FILE: typeParameterOfTopSetter.kt
public? final? var x: Int = IntegerLiteral(2)
public? get(): Int
public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
IMPORTS:
FILE: typeParameterOfTopSetter.kt
public? final? var x: Int = IntegerLiteral(2)
public? get(): Int
public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
SUPER_TYPES:
FILE: typeParameterOfTopSetter.kt
public? final? var x: Int = IntegerLiteral(2)
public? get(): Int
public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
TYPES:
FILE: typeParameterOfTopSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
public? get(): R|kotlin/Int|
public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
STATUS:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var x: R|kotlin/Int| = IntegerLiteral(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
CONTRACTS:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] var x: R|kotlin/Int| = IntegerLiteral(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
IMPLICIT_TYPES_BODY_RESOLVE:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=IMPLICIT_TYPES_BODY_RESOLVE] var x: R|kotlin/Int| = IntegerLiteral(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
BODY_RESOLVE:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
NoResolve:
FILE: typeParameterOfTopSetter.kt
public? final? var x: Int = IntegerLiteral(2)
public? get(): Int
public? set(resolveMe: Int): R|kotlin/Unit| {
^ Unit#
}
BodyResolveWithChildren:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
CallableBodyResolve:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
CallableReturnType:
FILE: typeParameterOfTopSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
public? get(): R|kotlin/Int|
public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
AnnotationType:
FILE: typeParameterOfTopSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
public? get(): R|kotlin/Int|
public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
AnnotationsArguments:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
CallableContracts:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=CONTRACTS] var x: R|kotlin/Int| = IntegerLiteral(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
DeclarationStatus:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=STATUS] var x: R|kotlin/Int| = IntegerLiteral(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
ValueParametersTypes:
FILE: typeParameterOfTopSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
public? get(): R|kotlin/Int|
public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
TypeParametersTypes:
FILE: typeParameterOfTopSetter.kt
public? final? [ResolvePhaseWithForAllDeclarationsKey=TYPES] var x: R|kotlin/Int| = IntegerLiteral(2)
public? get(): R|kotlin/Int|
public? set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Unit#
}
FILE RAW TO BODY:
FILE: typeParameterOfTopSetter.kt
public final [ResolvePhaseWithForAllDeclarationsKey=BODY_RESOLVE] var x: R|kotlin/Int| = Int(2)
public get(): R|kotlin/Int|
public set(resolveMe: R|kotlin/Int|): R|kotlin/Unit| {
^ Q|kotlin/Unit|
}
@@ -7,16 +7,19 @@ package org.jetbrains.kotlin.idea.fir.low.level.api
import com.intellij.openapi.util.io.FileUtil import com.intellij.openapi.util.io.FileUtil
import com.intellij.testFramework.LightProjectDescriptor import com.intellij.testFramework.LightProjectDescriptor
import org.jetbrains.kotlin.fir.FirRenderer import org.jetbrains.kotlin.fir.*
import org.jetbrains.kotlin.fir.declarations.FirResolvePhase import org.jetbrains.kotlin.fir.declarations.*
import org.jetbrains.kotlin.fir.render import org.jetbrains.kotlin.fir.visitors.FirVisitorVoid
import org.jetbrains.kotlin.idea.caches.project.ModuleSourceInfo import org.jetbrains.kotlin.idea.caches.project.ModuleSourceInfo
import org.jetbrains.kotlin.idea.caches.project.getModuleInfo import org.jetbrains.kotlin.idea.caches.project.getModuleInfo
import org.jetbrains.kotlin.idea.fir.low.level.api.api.withFirDeclaration import org.jetbrains.kotlin.idea.fir.low.level.api.api.withFirDeclaration
import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.FirLazyDeclarationResolver import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.FirLazyDeclarationResolver
import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.ResolveType
import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.declarationCanBeLazilyResolved import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.declarationCanBeLazilyResolved
import org.jetbrains.kotlin.idea.test.KotlinLightCodeInsightFixtureTestCase import org.jetbrains.kotlin.idea.test.KotlinLightCodeInsightFixtureTestCase
import org.jetbrains.kotlin.idea.test.KotlinWithJdkAndRuntimeLightProjectDescriptor import org.jetbrains.kotlin.idea.test.KotlinWithJdkAndRuntimeLightProjectDescriptor
import org.jetbrains.kotlin.psi.KtCallableDeclaration
import org.jetbrains.kotlin.psi.KtClassOrObject
import org.jetbrains.kotlin.psi.KtDeclaration import org.jetbrains.kotlin.psi.KtDeclaration
import org.jetbrains.kotlin.psi.KtFile import org.jetbrains.kotlin.psi.KtFile
import org.jetbrains.kotlin.psi.psiUtil.collectDescendantsOfType import org.jetbrains.kotlin.psi.psiUtil.collectDescendantsOfType
@@ -29,27 +32,80 @@ import java.io.File
abstract class AbstractFirLazyDeclarationResolveTest : KotlinLightCodeInsightFixtureTestCase() { abstract class AbstractFirLazyDeclarationResolveTest : KotlinLightCodeInsightFixtureTestCase() {
override fun isFirPlugin(): Boolean = true override fun isFirPlugin(): Boolean = true
private fun FirFile.findResolveMe(): FirDeclaration {
val visitor = object : FirVisitorVoid() {
var result: FirDeclaration? = null
override fun visitElement(element: FirElement) {
if (result != null) return
val declaration = element.realPsi as? KtDeclaration
if (element is FirDeclaration && declaration != null && declaration.name == "resolveMe") {
result = element
return
}
element.acceptChildren(this)
}
}
accept(visitor)
return visitor.result ?: error("declaration with name `resolveMe` was not found")
}
fun doTest(path: String) { fun doTest(path: String) {
val testDataFile = File(path) val testDataFile = File(path)
val ktFile = myFixture.configureByText(testDataFile.name, FileUtil.loadFile(testDataFile)) as KtFile val ktFile = myFixture.configureByText(testDataFile.name, FileUtil.loadFile(testDataFile)) as KtFile
val lazyDeclarations = ktFile.collectDescendantsOfType<KtDeclaration> { ktDeclaration ->
declarationCanBeLazilyResolved(ktDeclaration)
}
val declarationToResolve = lazyDeclarations.firstOrNull { it.name?.lowercase() == "resolveme" } val resultBuilder = StringBuilder()
?: error("declaration with name `resolveMe` was not found")
resolveWithClearCaches(ktFile) { firModuleResolveState -> resolveWithClearCaches(ktFile) { firModuleResolveState ->
check(firModuleResolveState is FirModuleResolveStateImpl) check(firModuleResolveState is FirModuleResolveStateImpl)
val rendered = declarationToResolve.withFirDeclaration( val declarationToResolve = firModuleResolveState
firModuleResolveState, .getOrBuildFirFile(ktFile)
FirResolvePhase.BODY_RESOLVE .findResolveMe()
) @Suppress("UNUSED_ANONYMOUS_PARAMETER") { firDeclaration -> for (currentPhase in FirResolvePhase.values()) {
val firFile = firModuleResolveState.getOrBuildFirFile(ktFile) if (currentPhase.pluginPhase || currentPhase == FirResolvePhase.SEALED_CLASS_INHERITORS) continue
firFile.render(FirRenderer.RenderMode.WithResolvePhases) declarationToResolve.withFirDeclaration(firModuleResolveState, currentPhase) {
val firFile = firModuleResolveState.getOrBuildFirFile(ktFile)
resultBuilder.append("\n${currentPhase.name}:\n")
resultBuilder.append(firFile.render(FirRenderer.RenderMode.WithDeclarationAttributes))
}
} }
val expectedFileName = testDataFile.name.replace(".kt", ".txt")
KotlinTestUtils.assertEqualsToFile(testDataFile.parentFile.resolve(expectedFileName), rendered)
} }
for (resolveType in ResolveType.values()) {
resolveWithClearCaches(ktFile) { firModuleResolveState ->
check(firModuleResolveState is FirModuleResolveStateImpl)
val declarationToResolve = firModuleResolveState
.getOrBuildFirFile(ktFile)
.findResolveMe()
when (resolveType) {
ResolveType.CallableReturnType,
ResolveType.CallableBodyResolve,
ResolveType.CallableContracts -> if (declarationToResolve !is FirCallableDeclaration<*>) return@resolveWithClearCaches
ResolveType.ClassSuperTypes -> if (declarationToResolve !is FirClassLikeDeclaration<*>) return@resolveWithClearCaches
else -> {
}
}
declarationToResolve.withFirDeclaration(resolveType, firModuleResolveState) {
val firFile = firModuleResolveState.getOrBuildFirFile(ktFile)
resultBuilder.append("\n${resolveType.name}:\n")
resultBuilder.append(firFile.render(FirRenderer.RenderMode.WithDeclarationAttributes))
}
}
}
resolveWithClearCaches(ktFile) { firModuleResolveState ->
check(firModuleResolveState is FirModuleResolveStateImpl)
val firFile = firModuleResolveState.getOrBuildFirFile(ktFile)
firFile.withFirDeclaration(firModuleResolveState, FirResolvePhase.BODY_RESOLVE) {
resultBuilder.append("\nFILE RAW TO BODY:\n")
resultBuilder.append(firFile.render(FirRenderer.RenderMode.WithDeclarationAttributes))
}
}
val expectedFileName = testDataFile.name.replace(".kt", ".txt")
KotlinTestUtils.assertEqualsToFile(testDataFile.parentFile.resolve(expectedFileName), resultBuilder.toString())
} }
override fun getProjectDescriptor(): LightProjectDescriptor = KotlinWithJdkAndRuntimeLightProjectDescriptor.INSTANCE override fun getProjectDescriptor(): LightProjectDescriptor = KotlinWithJdkAndRuntimeLightProjectDescriptor.INSTANCE
@@ -17,6 +17,7 @@ import org.jetbrains.kotlin.fir.scopes.FirScopeProvider
import org.jetbrains.kotlin.fir.scopes.FirTypeScope import org.jetbrains.kotlin.fir.scopes.FirTypeScope
import org.jetbrains.kotlin.fir.session.FirSessionFactory import org.jetbrains.kotlin.fir.session.FirSessionFactory
import org.jetbrains.kotlin.fir.visitors.FirVisitorVoid import org.jetbrains.kotlin.fir.visitors.FirVisitorVoid
import org.jetbrains.kotlin.idea.fir.low.level.api.api.FirDeclarationDesignation
import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.RawFirNonLocalDeclarationBuilder import org.jetbrains.kotlin.idea.fir.low.level.api.lazy.resolve.RawFirNonLocalDeclarationBuilder
import org.jetbrains.kotlin.parsing.KotlinParserDefinition import org.jetbrains.kotlin.parsing.KotlinParserDefinition
import org.jetbrains.kotlin.psi.* import org.jetbrains.kotlin.psi.*
@@ -68,7 +69,7 @@ abstract class AbstractPartialRawFirBuilderTestCase : KtParsingTestCase(
is FirSimpleFunction, is FirProperty -> { is FirSimpleFunction, is FirProperty -> {
if (element.psi == elementToBuild) { if (element.psi == elementToBuild) {
val originalDeclaration = element as FirDeclaration val originalDeclaration = element as FirDeclaration
resultDesignation = FirDeclarationDesignation(path, originalDeclaration, false) resultDesignation = FirDeclarationDesignation(path, originalDeclaration)
} else { } else {
element.acceptChildren(this) element.acceptChildren(this)
} }
@@ -29,6 +29,11 @@ public class FirLazyDeclarationResolveTestGenerated extends AbstractFirLazyDecla
KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve"), Pattern.compile("^(.+)\\.kt$"), null, true); KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve"), Pattern.compile("^(.+)\\.kt$"), null, true);
} }
@TestMetadata("annotations.kt")
public void testAnnotations() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/annotations.kt");
}
@TestMetadata("classMembers.kt") @TestMetadata("classMembers.kt")
public void testClassMembers() throws Exception { public void testClassMembers() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/classMembers.kt"); runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/classMembers.kt");
@@ -39,6 +44,21 @@ public class FirLazyDeclarationResolveTestGenerated extends AbstractFirLazyDecla
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/delegates.kt"); runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/delegates.kt");
} }
@TestMetadata("localDeclaration.kt")
public void testLocalDeclaration() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/localDeclaration.kt");
}
@TestMetadata("parameterOfLocalSetter.kt")
public void testParameterOfLocalSetter() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/parameterOfLocalSetter.kt");
}
@TestMetadata("parameterOfNonLocalSetter.kt")
public void testParameterOfNonLocalSetter() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/parameterOfNonLocalSetter.kt");
}
@TestMetadata("propertyWithGetter.kt") @TestMetadata("propertyWithGetter.kt")
public void testPropertyWithGetter() throws Exception { public void testPropertyWithGetter() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/propertyWithGetter.kt"); runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/propertyWithGetter.kt");
@@ -59,6 +79,16 @@ public class FirLazyDeclarationResolveTestGenerated extends AbstractFirLazyDecla
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/secondaryConstructor.kt"); runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/secondaryConstructor.kt");
} }
@TestMetadata("superTypes.kt")
public void testSuperTypes() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/superTypes.kt");
}
@TestMetadata("superTypesLoop.kt")
public void testSuperTypesLoop() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/superTypesLoop.kt");
}
@TestMetadata("topLevelFunctions.kt") @TestMetadata("topLevelFunctions.kt")
public void testTopLevelFunctions() throws Exception { public void testTopLevelFunctions() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/topLevelFunctions.kt"); runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/topLevelFunctions.kt");
@@ -73,4 +103,24 @@ public class FirLazyDeclarationResolveTestGenerated extends AbstractFirLazyDecla
public void testTopLevelFunctionsWithImplicitType() throws Exception { public void testTopLevelFunctionsWithImplicitType() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/topLevelFunctionsWithImplicitType.kt"); runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/topLevelFunctionsWithImplicitType.kt");
} }
@TestMetadata("typeParameterOfLocalFunction.kt")
public void testTypeParameterOfLocalFunction() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/typeParameterOfLocalFunction.kt");
}
@TestMetadata("typeParameterOfNonLocalFunction.kt")
public void testTypeParameterOfNonLocalFunction() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/typeParameterOfNonLocalFunction.kt");
}
@TestMetadata("typeParameterOfTopFunction.kt")
public void testTypeParameterOfTopFunction() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/typeParameterOfTopFunction.kt");
}
@TestMetadata("typeParameterOfTopSetter.kt")
public void testTypeParameterOfTopSetter() throws Exception {
runTest("idea/idea-frontend-fir/idea-fir-low-level-api/testdata/lazyResolve/typeParameterOfTopSetter.kt");
}
} }