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

[LL FIR] getOrBuildFir tests should render fir file

Browse Source 
We need it to see how many declarations were resolved

^KT-59266
This commit is contained in:
Dmitrii Gridin
2023-06-13 15:09:13 +02:00
committed by Space Team
parent 8c2f1acc7e
commit aad99fd6eb
185 changed files with 2313 additions and 130 deletions
Download Patch File Download Diff File Expand all files Collapse all files
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgument.txt
Vendored
+15
View File
@@ -4,3 +4,18 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
String(y)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationApplicationArgument.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Annotation : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] name: R|kotlin/String|): R|Annotation| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(STATUS)] val name: R|kotlin/String| = R|<local>/name|
public [ResolvedTo(STATUS)] get(): R|kotlin/String|
}
@R|Annotation|[Types](name = String(y)) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgumentList.txt
Vendored
+15
View File
@@ -4,3 +4,18 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
String(y)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationApplicationArgumentList.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Annotation : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] name: R|kotlin/String|): R|Annotation| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(STATUS)] val name: R|kotlin/String| = R|<local>/name|
public [ResolvedTo(STATUS)] get(): R|kotlin/String|
}
@R|Annotation|[Types](name = String(y)) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationCallExpression.txt
Vendored
+7 -1
View File
@@ -3,4 +3,10 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|kotlin/Suppress|[Types](names = vararg(String()))
@R|kotlin/Suppress|[Types](names = vararg(String()))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationApplicationCallExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/Suppress|[Types](names = vararg(String())) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationVarargArgument.txt
Vendored
+7 -1
View File
@@ -3,4 +3,10 @@ FIR element: FirConstExpressionImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
String(2)
String(2)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationApplicationVarargArgument.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/Suppress|[Types](names = vararg(String(1), String(2))) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArguments.txt
Vendored
+7 -1
View File
@@ -3,4 +3,10 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|kotlin/Suppress|[Types](names = vararg(String()))
@R|kotlin/Suppress|[Types](names = vararg(String()))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationApplicationWithArguments.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/Suppress|[Types](names = vararg(String())) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArgumentsOnCallSite.txt
Vendored
+8 -1
View File
@@ -3,4 +3,11 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|kotlin/Suppress|[Types](names = vararg(String()))
@R|kotlin/Suppress|[Types](names = vararg(String()))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationApplicationWithArgumentsOnCallSite.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval y: R|kotlin/String| = @R|kotlin/Suppress|[Types](names = vararg(String())) String()
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnConstructorProperty.txt
Vendored
+15 -1
View File
@@ -3,4 +3,18 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@<ERROR TYPE REF: Symbol not found for Anno>[Types]()
@<ERROR TYPE REF: Symbol not found for Anno>[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationOnConstructorProperty.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class Abc : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] @<ERROR TYPE REF: Symbol not found for Anno>[Types]() i: R|kotlin/Int|): R|Abc| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var i: R|kotlin/Int| = R|<local>/i|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.out_of_src_roots.txt
Vendored
+8 -1
View File
@@ -3,4 +3,11 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@<ERROR TYPE REF: Symbol not found for kotlin.internal.NoInfer>[Types]()
@<ERROR TYPE REF: Symbol not found for kotlin.internal.NoInfer>[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationOnReturnType.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun <reified [ResolvedTo(BODY_RESOLVE)] T : R|kotlin/Number|> R|kotlin/String|.collectOfType([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): <ERROR TYPE REF: Symbol not found for Sequence> {
^collectOfType Int(4)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.txt
Vendored
+8 -1
View File
@@ -3,4 +3,11 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@<ERROR TYPE REF: HIDDEN: kotlin/internal/NoInfer is invisible>[Unresolved]()
@<ERROR TYPE REF: HIDDEN: kotlin/internal/NoInfer is invisible>[Unresolved]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] annotationOnReturnType.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun <reified [ResolvedTo(BODY_RESOLVE)] T : R|kotlin/Number|> R|kotlin/String|.collectOfType([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): <ERROR TYPE REF: Symbol not found for Sequence> {
^collectOfType Int(4)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotation.txt
Vendored
+6 -1
View File
@@ -3,4 +3,9 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|kotlin/Suppress|[Types](names = vararg(String()))
@R|kotlin/Suppress|[Types](names = vararg(String()))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] danglingAnnotation.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/Suppress|[Types](names = vararg(String())) @R|kotlin/annotation/MustBeDocumented|[Types]() <DANGLING MODIFIER: Top level declaration expected>
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotationInClass.txt
Vendored
+12 -1
View File
@@ -3,4 +3,15 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|kotlin/Suppress|[Types](names = vararg(String()))
@R|kotlin/Suppress|[Types](names = vararg(String()))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] danglingAnnotationInClass.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] class F : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|F| {
super<R|kotlin/Any|>()
}
@R|kotlin/Suppress|[Types](names = vararg(String())) @R|kotlin/annotation/MustBeDocumented|[Types]() <DANGLING MODIFIER: Top level declaration expected>
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/fileAnnotation.txt
Vendored
+6 -1
View File
@@ -3,4 +3,9 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@FILE:R|kotlin/Suppress|[Types](names = vararg(String()))
@FILE:R|kotlin/Suppress|[Types](names = vararg(String()))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] fileAnnotation.kt
@FILE:R|kotlin/Suppress|[Types](names = vararg(String()))
[ResolvedTo(BODY_RESOLVE)] annotations container
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.out_of_src_roots.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@<ERROR TYPE REF: Symbol not found for JvmField>[Types]()
@<ERROR TYPE REF: Symbol not found for JvmField>[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] jvmFieldAnnotationOnConstructorProperty.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class MyClass : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] @<ERROR TYPE REF: Symbol not found for JvmField>[Types]() addCommaWarning: R|kotlin/Boolean| = Boolean(false)): R|MyClass| {
super<R|A|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|kotlin/Boolean| = R|<local>/addCommaWarning|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Boolean|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Boolean|): R|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|kotlin/jvm/JvmField|[Types]()
@R|kotlin/jvm/JvmField|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] jvmFieldAnnotationOnConstructorProperty.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class MyClass : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|kotlin/Boolean| = Boolean(false)): R|MyClass| {
super<R|A|>()
}
field:@R|kotlin/jvm/JvmField|[Types]() public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|kotlin/Boolean| = R|<local>/addCommaWarning|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Boolean|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Boolean|): R|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/retentionValue.txt
Vendored
+10
View File
@@ -4,3 +4,13 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|kotlin/annotation/AnnotationRetention.SOURCE|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] retentionValue.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/annotation/Retention|[Types](value = Q|kotlin/annotation/AnnotationRetention|.R|kotlin/annotation/AnnotationRetention.SOURCE|) public final [ResolvedTo(BODY_RESOLVE)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|Anno| {
super<R|kotlin/Any|>()
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation.txt
Vendored
+23 -1
View File
@@ -3,4 +3,26 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types]()
@R|Anno|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] superCallAnnotation.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] class B : R|@R|Anno|() A| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|B| {
super<R|@R|Anno|() A|>()
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation2.txt
Vendored
+19 -1
View File
@@ -3,4 +3,22 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types]()
@R|Anno|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] superCallAnnotation2.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
}
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
}
public final [ResolvedTo(BODY_RESOLVE)] class B : R|@R|Anno|() A| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|B| {
super<R|kotlin/Any|>()
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.txt
Vendored
+23 -1
View File
@@ -3,4 +3,26 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types]()
@R|Anno|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnConstructorParameter.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class ResolveMe : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|() kotlin/Boolean| = Boolean(false)): R|ResolveMe| {
super<R|A|>()
}
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorProperty.txt
Vendored
+27 -1
View File
@@ -3,4 +3,30 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types]()
@R|Anno|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnConstructorProperty.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class ResolveMe : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|() kotlin/Boolean| = Boolean(false)): R|ResolveMe| {
super<R|A|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|@R|Anno|() kotlin/Boolean| = R|<local>/addCommaWarning|
public [ResolvedTo(BODY_RESOLVE)] get(): R|@R|Anno|() kotlin/Boolean|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|() kotlin/Boolean|): R|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyAndParameter.txt
Vendored
+27 -1
View File
@@ -3,4 +3,30 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types]()
@R|Anno|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnConstructorPropertyAndParameter.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class ResolveMe : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|() kotlin/Boolean| = Boolean(false), [ResolvedTo(BODY_RESOLVE)] second: R|@R|Anno|() kotlin/Boolean| = Boolean(false)): R|ResolveMe| {
super<R|A|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|@R|Anno|() kotlin/Boolean| = R|<local>/addCommaWarning|
public [ResolvedTo(BODY_RESOLVE)] get(): R|@R|Anno|() kotlin/Boolean|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|() kotlin/Boolean|): R|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyWithArguments.txt
Vendored
+29
View File
@@ -4,3 +4,32 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types](value = String(abc))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnConstructorPropertyWithArguments.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class ResolveMe : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|(value = String(abc)) kotlin/Boolean| = Boolean(false)): R|ResolveMe| {
super<R|A|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|@R|Anno|(value = String(abc)) kotlin/Boolean| = R|<local>/addCommaWarning|
public [ResolvedTo(BODY_RESOLVE)] get(): R|@R|Anno|(value = String(abc)) kotlin/Boolean|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|@R|Anno|(value = String(abc)) kotlin/Boolean|): R|kotlin/Unit|
}
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] value: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(STATUS)] val value: R|kotlin/String| = R|<local>/value|
public [ResolvedTo(STATUS)] get(): R|kotlin/String|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameter.txt
Vendored
+19 -1
View File
@@ -3,4 +3,22 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types]()
@R|Anno|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnFunctionParameter.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun t([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|() kotlin/Boolean|): R|kotlin/Unit| {
}
public? open [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
public? [ResolvedTo(RAW_FIR)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.txt
Vendored
+21
View File
@@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
@R|Anno|[Types](value = String(abcd))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] typeOnAnnotationOnFunctionParameterWithArguments.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun t([ResolvedTo(BODY_RESOLVE)] addCommaWarning: R|@R|Anno|(value = String(abcd)) kotlin/Boolean|): R|kotlin/Unit| {
}
public? open [ResolvedTo(RAW_FIR)] class A : R|kotlin/Any| {
public? [ResolvedTo(RAW_FIR)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
@R|kotlin/annotation/Target|[Types](Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.TYPE|) public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] value: R|kotlin/String|): R|Anno| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(STATUS)] val value: R|kotlin/String| = R|<local>/value|
public [ResolvedTo(STATUS)] get(): R|kotlin/String|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/delegate.txt
Vendored
+25 -1
View File
@@ -3,4 +3,28 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@PROPERTY_DELEGATE_FIELD:R|Ann|[Types]()
@PROPERTY_DELEGATE_FIELD:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] delegate.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor(): R|X| {
LAZY_super<R|kotlin/Any|>
}
field:@PROPERTY_DELEGATE_FIELD:R|Ann|[Types]() public final [ResolvedTo(BODY_RESOLVE)] val a: <ERROR TYPE REF: Unresolved name: getValue>by <Unresolved name: lazy>#(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: getValue> {
^ this@R|/X|.D|/X.a|.<Unresolved name: getValue>#(this@R|/X|, ::R|/X.a|)
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/field.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@FIELD:R|Ann|[Types]()
@FIELD:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] field.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| {
super<R|kotlin/Any|>()
}
field:@FIELD:R|Ann|[Types]() public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|<local>/x|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/file.txt
Vendored
+12 -1
View File
@@ -3,4 +3,15 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@FILE:R|Ann|[Types]()
@FILE:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] file.kt
@FILE:R|Ann|[Types]()
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/getter.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: FromUseSiteTarget
FIR element rendered:
@PROPERTY_GETTER:R|Ann|[Types]()
@PROPERTY_GETTER:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] getter.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|<local>/x|
@PROPERTY_GETTER:R|Ann|[Types]() public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/param.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@CONSTRUCTOR_PARAMETER:R|Ann|[Types]()
@CONSTRUCTOR_PARAMETER:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] param.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] @CONSTRUCTOR_PARAMETER:R|Ann|[Types]() x: R|kotlin/Int|): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|<local>/x|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/property.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
@PROPERTY:R|Ann|[Types]()
@PROPERTY:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] property.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| {
super<R|kotlin/Any|>()
}
@PROPERTY:R|Ann|[Types]() public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|<local>/x|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setParam.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: FromUseSiteTarget
FIR element rendered:
@SETTER_PARAMETER:R|Ann|[Types]()
@SETTER_PARAMETER:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] setParam.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|<local>/x|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] @SETTER_PARAMETER:R|Ann|[Types]() value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setter.txt
Vendored
+21 -1
View File
@@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl
FIR source kind: FromUseSiteTarget
FIR element rendered:
@PROPERTY_SETTER:R|Ann|[Types]()
@PROPERTY_SETTER:R|Ann|[Types]()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] setter.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] annotation class Ann : R|kotlin/Annotation| {
public [ResolvedTo(STATUS)] constructor(): R|Ann| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|<local>/x|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
@PROPERTY_SETTER:R|Ann|[Types]() public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callArgument.txt
Vendored
+9
View File
@@ -4,3 +4,12 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] callArgument.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(CONTRACTS)] fun y([ResolvedTo(CONTRACTS)] a: R|kotlin/Int|): R|kotlin/Unit| {
}
public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
R|/y|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndExplicitConstructor.txt
Vendored
+22 -1
View File
@@ -3,4 +3,25 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|/foo|()
R|/foo|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] callInsideLambdaInsideSuperCallAndExplicitConstructor.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class B : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|() -> kotlin/Unit|): R|B| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class A : R|B| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| {
super<R|B|>(Int(1), [ResolvedTo(RAW_FIR)] fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
R|/foo|()
}
)
}
}
public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndImplicitConstructor.txt
Vendored
+22 -1
View File
@@ -3,4 +3,25 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|/foo|()
R|/foo|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] callInsideLambdaInsideSuperCallAndImplicitConstructor.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class B : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|() -> kotlin/Unit|): R|B| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] class A : R|B| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| {
super<R|B|>(Int(1), [ResolvedTo(RAW_FIR)] fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
R|/foo|()
}
)
}
}
public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSecondaryConstructor.txt
Vendored
+25
View File
@@ -4,3 +4,28 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|/foo|(R|<local>/l|)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] callInsideLambdaInsideSuperCallFromSecondaryConstructor.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class B : R|A| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|B| {
LAZY_super<<implicit>>
}
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] l: R|kotlin/Long|): R|B| {
super<R|A|>([ResolvedTo(RAW_FIR)] fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
R|/foo|(R|<local>/l|)
}
)
}
}
public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] any: R|kotlin/Any|): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSingleSecondaryConstructor.txt
Vendored
+21
View File
@@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|/foo|(R|<local>/i|)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] callInsideLambdaInsideSuperCallFromSingleSecondaryConstructor.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(STATUS)] class B : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|B| {
super<R|A|>([ResolvedTo(RAW_FIR)] fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
R|/foo|(R|<local>/i|)
}
)
}
}
public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] any: R|kotlin/Any|): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/calllTypeArguments.txt
Vendored
+9
View File
@@ -4,3 +4,12 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|kotlin/Int|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] calllTypeArguments.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(CONTRACTS)] fun <[ResolvedTo(CONTRACTS)] T> y(): R|kotlin/Unit| {
}
public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
R|/y|<R|kotlin/Int|>()
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal.txt
Vendored
+12 -1
View File
@@ -3,4 +3,15 @@ FIR element: FirFunctionCallImpl
FIR source kind: DesugaredCompoundAssignment
FIR element rendered:
R|<local>/l|.R|/A.plusAssign|(Int(1))
R|<local>/l|.R|/A.plusAssign|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVal.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun plusAssign([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] l: R|A|): R|kotlin/Unit| {
R|<local>/l|.R|/A.plusAssign|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal_lhs.txt
Vendored
+12 -1
View File
@@ -3,4 +3,15 @@ FIR element: FirPropertyAccessExpressionImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/l|
R|<local>/l|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVal_lhs.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun plusAssign([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] l: R|A|): R|kotlin/Unit| {
R|<local>/l|.R|/A.plusAssign|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar.txt
Vendored
+9 -1
View File
@@ -3,4 +3,12 @@ FIR element: FirVariableAssignmentImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/i| = R|<local>/i|.R|kotlin/Int.plus|(Int(1))
R|<local>/i| = R|<local>/i|.R|kotlin/Int.plus|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVar.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lvar i: R|kotlin/Int| = Int(1)
R|<local>/i| = R|<local>/i|.R|kotlin/Int.plus|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar_lhs.txt
Vendored
+8
View File
@@ -4,3 +4,11 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/i| = R|<local>/i|.R|kotlin/Int.plus|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignOnVar_lhs.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lvar i: R|kotlin/Int| = Int(1)
R|<local>/i| = R|<local>/i|.R|kotlin/Int.plus|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt
Vendored
+18
View File
@@ -4,3 +4,21 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|).R|kotlin/Int.plus|(Int(1)))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignWithArrayAccessConvention.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
public abstract operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] k: R|K|, [ResolvedTo(CONTRACTS)] v: R|V|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, kotlin/Int>|): R|kotlin/Unit| {
{
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|MyMap<kotlin/String, kotlin/Int>| = R|<local>/m|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/String| = String(a)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|).R|kotlin/Int.plus|(Int(1)))
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt
Vendored
+19 -1
View File
@@ -3,4 +3,22 @@ FIR element: FirFunctionCallImpl
FIR source kind: DesugaredCompoundAssignment
FIR element rendered:
R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignWithArrayAccessConvention_lhs.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
public abstract operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] k: R|K|, [ResolvedTo(CONTRACTS)] v: R|V|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, kotlin/Int>|): R|kotlin/Unit| {
{
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|MyMap<kotlin/String, kotlin/Int>| = R|<local>/m|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/String| = String(a)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|).R|kotlin/Int.plus|(Int(1)))
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_propertyAccess.txt
Vendored
+18
View File
@@ -4,3 +4,21 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/m|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignWithArrayAccessConvention_propertyAccess.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
public abstract operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] k: R|K|, [ResolvedTo(CONTRACTS)] v: R|V|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, kotlin/Int>|): R|kotlin/Unit| {
{
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|MyMap<kotlin/String, kotlin/Int>| = R|<local>/m|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/String| = String(a)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|kotlin/Int|>|(R|<local>/<index_0>|).R|kotlin/Int.plus|(Int(1)))
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention.txt
Vendored
+16 -1
View File
@@ -3,4 +3,19 @@ FIR element: FirFunctionCallImpl
FIR source kind: DesugaredCompoundAssignment
FIR element rendered:
R|<local>/m|.R|SubstitutionOverride</MyMap.get: R|A|>|(String(a)).R|/A.plusAssign|(Int(1))
R|<local>/m|.R|SubstitutionOverride</MyMap.get: R|A|>|(String(a)).R|/A.plusAssign|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignWithArrayGetConvention.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun plusAssign([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|): R|kotlin/Unit|
}
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, A>|): R|kotlin/Unit| {
R|<local>/m|.R|SubstitutionOverride</MyMap.get: R|A|>|(String(a)).R|/A.plusAssign|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention_lhs.txt
Vendored
+16 -1
View File
@@ -3,4 +3,19 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/m|.R|SubstitutionOverride</MyMap.get: R|A|>|(String(a))
R|<local>/m|.R|SubstitutionOverride</MyMap.get: R|A|>|(String(a))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] compoundAssignWithArrayGetConvention_lhs.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun plusAssign([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|): R|kotlin/Unit|
}
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, A>|): R|kotlin/Unit| {
R|<local>/m|.R|SubstitutionOverride</MyMap.get: R|A|>|(String(a)).R|/A.plusAssign|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationSuperCall.txt
Vendored
+17 -1
View File
@@ -3,4 +3,20 @@ FIR element: FirDelegatedConstructorCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
super<R|B|>(Int(1))
super<R|B|>(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] constructorDelegationSuperCall.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class B : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|B| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] class A : R|B| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| {
super<R|B|>(Int(1))
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationThisCall.txt
Vendored
+14
View File
@@ -4,3 +4,17 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
this<R|A|>(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] constructorDelegationThisCall.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|A| {
LAZY_super<R|kotlin/Any|>
}
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/String|): R|A| {
this<R|A|>(Int(1))
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/functionCallArgumentList.txt
Vendored
+9
View File
@@ -4,3 +4,12 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)String(2)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] functionCallArgumentList.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(CONTRACTS)] fun callMe([ResolvedTo(CONTRACTS)] x: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] y: R|kotlin/String|): R|kotlin/Unit| {
}
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
R|/callMe|(Int(1), String(2))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention.txt
Vendored
+21
View File
@@ -4,3 +4,24 @@ FIR source kind: DesugaredIncrementOrDecrement
FIR element rendered:
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<unary>|.R|/A.inc|())
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] incWithArrayAccessConvention.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun inc(): R|A|
}
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
public abstract operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] k: R|K|, [ResolvedTo(CONTRACTS)] v: R|V|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, A>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|MyMap<kotlin/String, A>| = R|<local>/m|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/String| = String(a)
[ResolvedTo(BODY_RESOLVE)] lval <unary>: R|A| = R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|A|>|(R|<local>/<index_0>|)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<unary>|.R|/A.inc|())
R|<local>/<unary>|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_propertyAccess.txt
Vendored
+21
View File
@@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/m|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] incWithArrayAccessConvention_propertyAccess.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun inc(): R|A|
}
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
public abstract operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] k: R|K|, [ResolvedTo(CONTRACTS)] v: R|V|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, A>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|MyMap<kotlin/String, A>| = R|<local>/m|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/String| = String(a)
[ResolvedTo(BODY_RESOLVE)] lval <unary>: R|A| = R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|A|>|(R|<local>/<index_0>|)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<unary>|.R|/A.inc|())
R|<local>/<unary>|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_set.txt
Vendored
+21
View File
@@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] incWithArrayAccessConvention_set.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun inc(): R|A|
}
public abstract [ResolvedTo(STATUS)] interface MyMap<[ResolvedTo(STATUS)] K, [ResolvedTo(STATUS)] V> : R|kotlin/Any| {
public abstract operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] k: R|K|): R|V|
public abstract operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] k: R|K|, [ResolvedTo(CONTRACTS)] v: R|V|): R|kotlin/Unit|
}
public final [ResolvedTo(BODY_RESOLVE)] fun test([ResolvedTo(BODY_RESOLVE)] m: R|MyMap<kotlin/String, A>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|MyMap<kotlin/String, A>| = R|<local>/m|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/String| = String(a)
[ResolvedTo(BODY_RESOLVE)] lval <unary>: R|A| = R|<local>/<array>|.R|SubstitutionOverride</MyMap.get: R|A|>|(R|<local>/<index_0>|)
R|<local>/<array>|.R|SubstitutionOverride</MyMap.set: R|kotlin/Unit|>|(R|<local>/<index_0>|, R|<local>/<unary>|.R|/A.inc|())
R|<local>/<unary>|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/invokeCallArgumentList.txt
Vendored
+7
View File
@@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)String(2)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] invokeCallArgumentList.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] f: R|(kotlin/Int, kotlin/String) -> kotlin/Unit|): R|kotlin/Unit| {
R|<local>/f|.R|SubstitutionOverride<kotlin/Function2.invoke: R|kotlin/Unit|>|(Int(1), String(2))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/noReceiverOnLambda.txt
Vendored
+13
View File
@@ -4,3 +4,16 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/f2|.R|SubstitutionOverride<kotlin/Function1.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function1.invoke>#|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] noReceiverOnLambda.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public? final? [ResolvedTo(RAW_FIR)] class SomeTest : R|kotlin/Any| {
public? [ResolvedTo(RAW_FIR)] constructor(): R|SomeTest| {
LAZY_super<R|kotlin/Any|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] fun dslSpeedTest([ResolvedTo(BODY_RESOLVE)] f2: R|SomeTest.() -> kotlin/Unit|): R|kotlin/Unit| {
R|<local>/f2|.R|SubstitutionOverride<kotlin/Function1.invoke: R|kotlin/Unit|><Inapplicable(INAPPLICABLE_ARGUMENTS_MAPPING_ERROR): kotlin/Function1.invoke>#|()
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsidePropertyInsideConstructor.txt
Vendored
+19
View File
@@ -4,3 +4,22 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
<Unresolved name: prop>#
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallInsidePropertyInsideConstructor.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] i: R|() -> kotlin/Unit| = [ResolvedTo(RAW_FIR)] fun <anonymous>(): R|kotlin/Unit| <inline=Unknown> {
local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| {
^foo <Unresolved name: B>#.<Unresolved name: prop>#.R|kotlin/toString|()
}
}
): R|A| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] val i: R|() -> kotlin/Unit| = R|<local>/i|
public [ResolvedTo(BODY_RESOLVE)] get(): R|() -> kotlin/Unit|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall.txt
Vendored
+32 -1
View File
@@ -3,4 +3,35 @@ FIR element: FirResolvedNamedReferenceImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|/A.prop|
R|/A.prop|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallInsideSuperCall.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] init: R|A.() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] val prop: R|kotlin/String| = String()
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/String|
}
public final [ResolvedTo(STATUS)] object B : R|A| {
private [ResolvedTo(STATUS)] constructor(): R|B| {
LAZY_super<R|A|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| {
private [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| {
super<R|A|>([ResolvedTo(RAW_FIR)] fun R|A|.<anonymous>(): R|kotlin/Unit| <inline=Unknown> {
local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| {
^foo Q|B|.R|/A.prop|.R|kotlin/String.toString|()
}
}
)
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall2.txt
Vendored
+32 -1
View File
@@ -3,4 +3,35 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
Q|B|.R|/A.prop|.R|kotlin/String.toString|()
Q|B|.R|/A.prop|.R|kotlin/String.toString|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallInsideSuperCall2.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] init: R|A.() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] val prop: R|kotlin/String| = String()
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/String|
}
public final [ResolvedTo(STATUS)] object B : R|A| {
private [ResolvedTo(STATUS)] constructor(): R|B| {
LAZY_super<R|A|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| {
private [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| {
super<R|A|>([ResolvedTo(RAW_FIR)] fun R|A|.<anonymous>(): R|kotlin/Unit| <inline=Unknown> {
local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| {
^foo Q|B|.R|/A.prop|.R|kotlin/String.toString|()
}
}
)
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall3.txt
Vendored
+26 -1
View File
@@ -8,4 +8,29 @@ public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| {
super<R|A|>()
}
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallInsideSuperCall3.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] constructor([ResolvedTo(EXPECT_ACTUAL_MATCHING)] init: R|A.() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(STATUS)] val prop: R|kotlin/String| = LAZY_EXPRESSION
public [ResolvedTo(STATUS)] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] object B : A {
private [ResolvedTo(RAW_FIR)] constructor(): R|B| {
LAZY_super<A>
}
}
public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| {
super<R|A|>()
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall4.txt
Vendored
+38 -1
View File
@@ -14,4 +14,41 @@ public final [ResolvedTo(BODY_RESOLVE)] class G : R|A| {
)
}
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallInsideSuperCall4.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] init: R|A.() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] val prop: R|kotlin/String| = String()
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] object B : A {
private [ResolvedTo(RAW_FIR)] constructor(): R|B| {
LAZY_super<A>
}
}
public final [ResolvedTo(STATUS)] object C : R|A| {
private [ResolvedTo(STATUS)] constructor(): R|C| {
LAZY_super<R|A|>
}
}
public final [ResolvedTo(BODY_RESOLVE)] class G : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|G| {
super<R|A|>([ResolvedTo(RAW_FIR)] fun R|A|.<anonymous>(): R|kotlin/Unit| <inline=Unknown> {
local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| {
^foo Q|C|.R|/A.prop|.R|kotlin/String.toString|()
}
}
)
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall5.txt
Vendored
+38 -1
View File
@@ -3,4 +3,41 @@ FIR element: FirResolvedNamedReferenceImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|/A.prop|
R|/A.prop|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallInsideSuperCall5.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] init: R|A.() -> kotlin/Unit|): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] val prop: R|kotlin/String| = String()
public [ResolvedTo(CONTRACTS)] get(): R|kotlin/String|
}
public? final? [ResolvedTo(RAW_FIR)] object B : A {
private [ResolvedTo(RAW_FIR)] constructor(): R|B| {
LAZY_super<A>
}
}
public final [ResolvedTo(STATUS)] object C : R|A| {
private [ResolvedTo(STATUS)] constructor(): R|C| {
LAZY_super<R|A|>
}
}
public final [ResolvedTo(STATUS)] class G : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|G| {
super<R|A|>([ResolvedTo(RAW_FIR)] fun R|A|.<anonymous>(): R|kotlin/Unit| <inline=Unknown> {
local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| {
^foo Q|C|.R|/A.prop|.R|kotlin/String.toString|()
}
}
)
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallSelector.txt
Vendored
+16
View File
@@ -4,3 +4,19 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Q|A|.R|/A.y|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedCallSelector.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] object A : R|kotlin/Any| {
private [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] fun y([ResolvedTo(CONTRACTS)] a: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
Q|A|.R|/A.y|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedWholeCall.txt
Vendored
+16
View File
@@ -4,3 +4,19 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Q|A|.R|/A.y|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] qualifiedWholeCall.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] object A : R|kotlin/Any| {
private [ResolvedTo(STATUS)] constructor(): R|A| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(CONTRACTS)] fun y([ResolvedTo(CONTRACTS)] a: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
Q|A|.R|/A.y|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/setOperator.txt
Vendored
+33 -1
View File
@@ -3,4 +3,36 @@ FIR element: FirResolvedNamedReferenceImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|test/B.set|
R|test/B.set|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] setOperator.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
package test
public final [ResolvedTo(STATUS)] class B : R|kotlin/Any| {
public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] n: R|kotlin/Int|): R|test/B| {
LAZY_super<R|kotlin/Any|>
}
public final [ResolvedTo(STATUS)] val n: R|kotlin/Int| = R|<local>/n|
public [ResolvedTo(STATUS)] get(): R|kotlin/Int|
public final operator [ResolvedTo(CONTRACTS)] fun set([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] a: R|test/B|): R|kotlin/Unit| {
}
public final operator [ResolvedTo(CONTRACTS)] fun get([ResolvedTo(CONTRACTS)] i: R|kotlin/Int|): R|test/B| {
}
public final operator [ResolvedTo(CONTRACTS)] fun inc(): R|test/B| {
}
}
public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lvar a: R|test/B| = R|test/B.B|(Int(1))
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|test/B| = R|<local>/a|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/Int| = Int(2)
[ResolvedTo(BODY_RESOLVE)] lval <unary>: R|test/B| = R|<local>/<array>|.R|test/B.get|(R|<local>/<index_0>|)
R|<local>/<array>|.R|test/B.set|(R|<local>/<index_0>|, R|<local>/<unary>|.R|test/B.inc|())
R|<local>/<unary>|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/calls/superType.txt
Vendored
+13 -1
View File
@@ -3,4 +3,16 @@ FIR element: FirResolvedTypeRefImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|A|
R|A|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] superType.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public abstract [ResolvedTo(STATUS)] interface A : R|kotlin/Any| {
}
public final [ResolvedTo(BODY_RESOLVE)] class C : R|A| {
public [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| {
super<R|kotlin/Any|>()
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/constructorProperty.txt
Vendored
+14 -1
View File
@@ -3,4 +3,17 @@ FIR element: FirValueParameterImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int| = Int(4)
[ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int| = Int(4)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] constructorProperty.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(STATUS)] class Abc : R|kotlin/Any| {
public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int| = Int(4)): R|Abc| {
super<R|kotlin/Any|>()
}
public final [ResolvedTo(BODY_RESOLVE)] val i: R|kotlin/Int| = R|<local>/i|
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructionWithNoRValue.txt
Vendored
+5
View File
@@ -4,3 +4,8 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
<ERROR PROPERTY: Destructuring declarations are only allowed for local variables/values>
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] destructionWithNoRValue.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
<ERROR PROPERTY: Destructuring declarations are only allowed for local variables/values>
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuring.txt
Vendored
+14 -1
View File
@@ -3,4 +3,17 @@ FIR element: FirErrorPropertyImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
<ERROR PROPERTY: Destructuring declarations are only allowed for local variables/values>
<ERROR PROPERTY: Destructuring declarations are only allowed for local variables/values>
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] destructuring.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public? final? [ResolvedTo(RAW_FIR)] var a: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] var b: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: <implicit>): R|kotlin/Unit|
public? final? [ResolvedTo(RAW_FIR)] val pair: <implicit> = LAZY_EXPRESSION
public? [ResolvedTo(RAW_FIR)] get(): <implicit>
<ERROR PROPERTY: Destructuring declarations are only allowed for local variables/values>
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.out_of_src_roots.txt
Vendored
+10 -1
View File
@@ -3,4 +3,13 @@ FIR element: FirPropertyImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] lval a: <ERROR TYPE REF: Unresolved name: component1> = R|<local>/<destruct>|.<Unresolved name: component1>#()
[ResolvedTo(BODY_RESOLVE)] lval a: <ERROR TYPE REF: Unresolved name: component1> = R|<local>/<destruct>|.<Unresolved name: component1>#()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] destructuringEntry.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun main(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval <destruct>: <ERROR TYPE REF: Unresolved name: to> = IntegerLiteral(1).<Unresolved name: to>#(Int(2))
[ResolvedTo(BODY_RESOLVE)] lval a: <ERROR TYPE REF: Unresolved name: component1> = R|<local>/<destruct>|.<Unresolved name: component1>#()
[ResolvedTo(BODY_RESOLVE)] lval b: <ERROR TYPE REF: Unresolved name: component2> = R|<local>/<destruct>|.<Unresolved name: component2>#()
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.txt
Vendored
+10 -1
View File
@@ -3,4 +3,13 @@ FIR element: FirPropertyImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|<local>/<destruct>|.R|SubstitutionOverride<kotlin/Pair.component1: R|kotlin/Int|>|()
[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|<local>/<destruct>|.R|SubstitutionOverride<kotlin/Pair.component1: R|kotlin/Int|>|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] destructuringEntry.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun main(): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|kotlin/Pair<kotlin/Int, kotlin/Int>| = Int(1).R|kotlin/to|<R|kotlin/Int|, R|kotlin/Int|>(Int(2))
[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|<local>/<destruct>|.R|SubstitutionOverride<kotlin/Pair.component1: R|kotlin/Int|>|()
[ResolvedTo(BODY_RESOLVE)] lval b: R|kotlin/Int| = R|<local>/<destruct>|.R|SubstitutionOverride<kotlin/Pair.component2: R|kotlin/Int|>|()
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteral.txt
Vendored
+14 -1
View File
@@ -8,4 +8,17 @@ object : R|kotlin/Any| {
super<R|kotlin/Any|>()
}
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] objectLiteral.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
object : R|kotlin/Any| {
private [ResolvedTo(BODY_RESOLVE)] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteralExpression.txt
Vendored
+14 -1
View File
@@ -8,4 +8,17 @@ object : R|kotlin/Any| {
super<R|kotlin/Any|>()
}
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] objectLiteralExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun test(): R|kotlin/Unit| {
object : R|kotlin/Any| {
private [ResolvedTo(BODY_RESOLVE)] constructor(): R|<anonymous>| {
super<R|kotlin/Any|>()
}
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.out_of_src_roots.txt
Vendored
+12 -1
View File
@@ -6,4 +6,15 @@ FIR element rendered:
<Unresolved name: lazy>#(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
)
)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] propertyDelegate.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: <ERROR TYPE REF: Unresolved name: getValue>by <Unresolved name: lazy>#(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: getValue> {
^ D|/x|.<Unresolved name: getValue>#(Null(null), ::R|/x|)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.txt
Vendored
+12 -1
View File
@@ -6,4 +6,15 @@ FIR element rendered:
R|kotlin/lazy|<R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=NoInline> {
^ Int(1)
}
)
)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] propertyDelegate.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int|by R|kotlin/lazy|<R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=NoInline> {
^ Int(1)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
^ D|/x|.R|kotlin/getValue|<R|kotlin/Int|>(Null(null), ::R|/x|)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.out_of_src_roots.txt
Vendored
+12 -1
View File
@@ -6,4 +6,15 @@ FIR element rendered:
<Unresolved name: lazy>#(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
)
)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] propertyDelegateExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: <ERROR TYPE REF: Unresolved name: getValue>by <Unresolved name: lazy>#(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: getValue> {
^ D|/x|.<Unresolved name: getValue>#(Null(null), ::R|/x|)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.txt
Vendored
+12 -1
View File
@@ -6,4 +6,15 @@ FIR element rendered:
R|kotlin/lazy|<R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=NoInline> {
^ Int(1)
}
)
)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] propertyDelegateExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int|by R|kotlin/lazy|<R|kotlin/Int|>(<L> = [ResolvedTo(RAW_FIR)] lazy@fun <anonymous>(): R|kotlin/Int| <inline=NoInline> {
^ Int(1)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
^ D|/x|.R|kotlin/getValue|<R|kotlin/Int|>(Null(null), ::R|/x|)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause1.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] From : R|To|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] whereClause1.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] From : R|To|, [ResolvedTo(BODY_RESOLVE)] To : R|kotlin/Any|> copyNotNull([ResolvedTo(BODY_RESOLVE)] from: R|kotlin/collections/List<From>|, [ResolvedTo(BODY_RESOLVE)] to: R|kotlin/collections/List<To>|): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause2.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] To : R|kotlin/Any|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] whereClause2.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] From : R|To|, [ResolvedTo(BODY_RESOLVE)] To : R|kotlin/Any|> copyNotNull([ResolvedTo(BODY_RESOLVE)] from: R|kotlin/collections/List<From>|, [ResolvedTo(BODY_RESOLVE)] to: R|kotlin/collections/List<To>|): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayAccessExpression.txt
Vendored
+7
View File
@@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|<local>/x|.R|SubstitutionOverride<kotlin/collections/List.get: R|kotlin/Int|>|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] arrayAccessExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/collections/List<kotlin/Int>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|<local>/x|.R|SubstitutionOverride<kotlin/collections/List.get: R|kotlin/Int|>|(Int(1))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.out_of_src_roots.txt
Vendored
+19
View File
@@ -0,0 +1,19 @@
KT element: KtConstantExpression
FIR element: FirConstExpressionImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(0)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] arrayIndexExpressionWithInc.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun main([ResolvedTo(BODY_RESOLVE)] args: R|kotlin/Array<kotlin/String>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval a: <ERROR TYPE REF: Unresolved name: ArrayList> = <Unresolved name: ArrayList>#<R|kotlin/String|>()
R|<local>/a|.<Unresolved name: add>#(String())
[ResolvedTo(BODY_RESOLVE)] lval <array>: <ERROR TYPE REF: Unresolved name: ArrayList> = R|<local>/a|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/Int| = Int(0)
[ResolvedTo(BODY_RESOLVE)] lval <unary>: <ERROR TYPE REF: Unresolved name: get> = R|<local>/<array>|.<Unresolved name: get>#(R|<local>/<index_0>|)
R|<local>/<array>|.<Unresolved name: set>#(R|<local>/<index_0>|, R|<local>/<unary>|.<Unresolved name: inc>#())
R|<local>/<unary>|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.txt
Vendored
+14 -1
View File
@@ -3,4 +3,17 @@ FIR element: FirConstExpressionImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(0)
Int(0)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] arrayIndexExpressionWithInc.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun main([ResolvedTo(BODY_RESOLVE)] args: R|kotlin/Array<kotlin/String>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lval a: R|java/util/ArrayList<kotlin/String>| = R|java/util/ArrayList.ArrayList|<R|kotlin/String|>()
R|<local>/a|.R|SubstitutionOverride<java/util/ArrayList.add: R|kotlin/Boolean|>|(String())
[ResolvedTo(BODY_RESOLVE)] lval <array>: R|java/util/ArrayList<kotlin/String>| = R|<local>/a|
[ResolvedTo(BODY_RESOLVE)] lval <index_0>: R|kotlin/Int| = Int(0)
[ResolvedTo(BODY_RESOLVE)] lval <unary>: R|kotlin/String| = R|<local>/<array>|.R|SubstitutionOverride<java/util/ArrayList.get: R|@EnhancedNullability kotlin/String|>|(R|<local>/<index_0>|)
R|<local>/<array>|.R|SubstitutionOverride<java/util/ArrayList.set: R|@EnhancedNullability kotlin/String|>|(R|<local>/<index_0>|, R|<local>/<unary>|.<Unresolved name: inc>#())
R|<local>/<unary>|
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/asExpression.txt
Vendored
+7
View File
@@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
(R|<local>/x| as R|kotlin/String|)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] asExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Any|): R|kotlin/String| {
^foo (R|<local>/x| as R|kotlin/String|)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpression.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1).R|kotlin/Int.plus|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] binaryExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpressionOperator.txt
Vendored
+7 -1
View File
@@ -3,4 +3,10 @@ FIR element: FirResolvedNamedReferenceImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|kotlin/Int.plus|
R|kotlin/Int.plus|
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] binaryExpressionOperator.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(1))
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/blockExpression.txt
Vendored
+6
View File
@@ -5,3 +5,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
{
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] blockExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| {
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/boolLiteral.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Boolean(true)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] boolLiteral.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Boolean| = Boolean(true)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Boolean|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/classAccessExpression.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
<getClass>(Q|kotlin/Int|)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] classAccessExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/reflect/KClass<kotlin/Int>| = <getClass>(Q|kotlin/Int|)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/reflect/KClass<kotlin/Int>|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpression.txt
Vendored
+18 -1
View File
@@ -8,4 +8,21 @@ while(R|<local>/<iterator>|.R|SubstitutionOverride<kotlin/collections/IntIterato
{
}
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] forExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
{
[ResolvedTo(BODY_RESOLVE)] lval <iterator>: R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|()
while(R|<local>/<iterator>|.R|SubstitutionOverride<kotlin/collections/IntIterator.hasNext: R|kotlin/Boolean|>|()) {
[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|<local>/<iterator>|.R|kotlin/collections/IntIterator.next|()
{
}
}
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionRange.txt
Vendored
+18 -1
View File
@@ -3,4 +3,21 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(0).R|kotlin/Int.rangeTo|(Int(1))
Int(0).R|kotlin/Int.rangeTo|(Int(1))
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] forExpressionRange.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
{
[ResolvedTo(BODY_RESOLVE)] lval <iterator>: R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|()
while(R|<local>/<iterator>|.R|SubstitutionOverride<kotlin/collections/IntIterator.hasNext: R|kotlin/Boolean|>|()) {
[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|<local>/<iterator>|.R|kotlin/collections/IntIterator.next|()
{
}
}
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionVariable.txt
Vendored
+18 -1
View File
@@ -3,4 +3,21 @@ FIR element: FirPropertyImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|<local>/<iterator>|.R|kotlin/collections/IntIterator.next|()
[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|<local>/<iterator>|.R|kotlin/collections/IntIterator.next|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] forExpressionVariable.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| {
{
[ResolvedTo(BODY_RESOLVE)] lval <iterator>: R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|()
while(R|<local>/<iterator>|.R|SubstitutionOverride<kotlin/collections/IntIterator.hasNext: R|kotlin/Boolean|>|()) {
[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|<local>/<iterator>|.R|kotlin/collections/IntIterator.next|()
{
}
}
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/ifExpression.txt
Vendored
+15
View File
@@ -11,3 +11,18 @@ when () {
String(2)
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] ifExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Any|): R|kotlin/String| {
^foo when () {
(R|<local>/x| is R|kotlin/String|) -> {
String(1)
}
else -> {
String(2)
}
}
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/incExpression.txt
Vendored
+14 -1
View File
@@ -3,4 +3,17 @@ FIR element: FirVariableAssignmentImpl
FIR source kind: DesugaredIncrementOrDecrement
FIR element rendered:
R|<local>/nextUnnamedLibraryIndex| = R|<local>/<unary>|.R|kotlin/Int.inc|()
R|<local>/nextUnnamedLibraryIndex| = R|<local>/<unary>|.R|kotlin/Int.inc|()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] incExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun main([ResolvedTo(BODY_RESOLVE)] args: R|kotlin/Array<kotlin/String>|): R|kotlin/Unit| {
[ResolvedTo(BODY_RESOLVE)] lvar nextUnnamedLibraryIndex: R|kotlin/Int| = Int(1)
[ResolvedTo(BODY_RESOLVE)] lval originalName: R|kotlin/String| = <strcat>( {
[ResolvedTo(BODY_RESOLVE)] lval <unary>: R|kotlin/Int| = R|<local>/nextUnnamedLibraryIndex|
R|<local>/nextUnnamedLibraryIndex| = R|<local>/<unary>|.R|kotlin/Int.inc|()
R|<local>/<unary>|
}
)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.out_of_src_roots.txt
Vendored
+14 -1
View File
@@ -3,4 +3,17 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
<Unresolved name: mutableListOf>#<R|kotlin/String|>()
<Unresolved name: mutableListOf>#<R|kotlin/String|>()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] insidePlusAssignTarget.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/collections/MutableMap<kotlin/Int, kotlin/collections/MutableList<kotlin/String>>|): R|kotlin/Unit| {
R|<local>/x|.<Unresolved name: getOrPut>#(Int(1), <L> = [ResolvedTo(BODY_RESOLVE)] getOrPut@fun <anonymous>(): <ERROR TYPE REF: Unresolved name: mutableListOf> <inline=Unknown> {
^ <Unresolved name: mutableListOf>#<R|kotlin/String|>()
}
) = R|<local>/x|.<Unresolved name: getOrPut>#(Int(1), <L> = [ResolvedTo(BODY_RESOLVE)] getOrPut@fun <anonymous>(): <ERROR TYPE REF: Unresolved name: mutableListOf> <inline=Unknown> {
^ <Unresolved name: mutableListOf>#<R|kotlin/String|>()
}
).R|kotlin/plus|(String(str))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.txt
Vendored
+11 -1
View File
@@ -3,4 +3,14 @@ FIR element: FirFunctionCallImpl
FIR source kind: KtRealSourceElementKind
FIR element rendered:
R|kotlin/collections/mutableListOf|<R|kotlin/String|>()
R|kotlin/collections/mutableListOf|<R|kotlin/String|>()
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] insidePlusAssignTarget.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/collections/MutableMap<kotlin/Int, kotlin/collections/MutableList<kotlin/String>>|): R|kotlin/Unit| {
R|<local>/x|.R|kotlin/collections/getOrPut|<R|kotlin/Int|, R|kotlin/collections/MutableList<kotlin/String>|>(Int(1), <L> = [ResolvedTo(BODY_RESOLVE)] getOrPut@fun <anonymous>(): R|kotlin/collections/MutableList<kotlin/String>| <inline=Inline, kind=UNKNOWN> {
^ R|kotlin/collections/mutableListOf|<R|kotlin/String|>()
}
).R|kotlin/collections/plusAssign|<R|kotlin/String|>(String(str))
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] intLiteral.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_entire.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(-1)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] intLiteral_minusOne_entire.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(-1)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_justOne.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] intLiteral_minusOne_justOne.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(-1)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_entire.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] intLiteral_plusOne_entire.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_justOne.txt
Vendored
+6
View File
@@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
Int(1)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] intLiteral_plusOne_justOne.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1)
public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/isExpression.txt
Vendored
+7
View File
@@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
(R|<local>/x| is R|kotlin/String|)
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] isExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Any|): R|kotlin/Boolean| {
^foo (R|<local>/x| is R|kotlin/String|)
}
analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.out_of_src_roots.txt
Vendored
+10 -1
View File
@@ -5,4 +5,13 @@ FIR source kind: KtRealSourceElementKind
FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] run@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
}
FIR FILE:
FILE: [ResolvedTo(IMPORTS)] lambdaExpression.kt
[ResolvedTo(BODY_RESOLVE)] annotations container
public final [ResolvedTo(BODY_RESOLVE)] val x: <ERROR TYPE REF: Unresolved name: run> = <Unresolved name: run>#(<L> = [ResolvedTo(BODY_RESOLVE)] run@fun <anonymous>(): R|kotlin/Int| <inline=Unknown> {
^ Int(1)
}
)
public [ResolvedTo(BODY_RESOLVE)] get(): <ERROR TYPE REF: Unresolved name: run>

Some files were not shown because too many files have changed in this diff Show More