diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgument.txt index e8944d4d906..5c47cead3c5 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgument.txt @@ -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 + } + + public final [ResolvedTo(STATUS)] val name: R|kotlin/String| = R|/name| + public [ResolvedTo(STATUS)] get(): R|kotlin/String| + + } + @R|Annotation|[Types](name = String(y)) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgumentList.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgumentList.txt index d434eebbf83..b5b4eeb02d6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgumentList.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationArgumentList.txt @@ -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 + } + + public final [ResolvedTo(STATUS)] val name: R|kotlin/String| = R|/name| + public [ResolvedTo(STATUS)] get(): R|kotlin/String| + + } + @R|Annotation|[Types](name = String(y)) public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationCallExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationCallExpression.txt index dafd70c8722..0b548389955 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationCallExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationCallExpression.txt @@ -3,4 +3,10 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|kotlin/Suppress|[Types](names = vararg(String())) \ No newline at end of file +@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| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationVarargArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationVarargArgument.txt index 20b097e8fa5..dd569f2dff0 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationVarargArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationVarargArgument.txt @@ -3,4 +3,10 @@ FIR element: FirConstExpressionImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -String(2) \ No newline at end of file +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| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArguments.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArguments.txt index 76c8aca3db7..12c19ac5bce 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArguments.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArguments.txt @@ -3,4 +3,10 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|kotlin/Suppress|[Types](names = vararg(String())) \ No newline at end of file +@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| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArgumentsOnCallSite.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArgumentsOnCallSite.txt index 76c8aca3db7..5e7bcc377b1 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArgumentsOnCallSite.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationApplicationWithArgumentsOnCallSite.txt @@ -3,4 +3,11 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|kotlin/Suppress|[Types](names = vararg(String())) \ No newline at end of file +@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() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnConstructorProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnConstructorProperty.txt index 843d35a61b4..a2877208357 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnConstructorProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnConstructorProperty.txt @@ -3,4 +3,18 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@[Types]() \ No newline at end of file +@[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)] @[Types]() i: R|kotlin/Int|): R|Abc| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] var i: R|kotlin/Int| = R|/i| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.out_of_src_roots.txt index 3648e7d18df..6192fc913d9 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.out_of_src_roots.txt @@ -3,4 +3,11 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@[Types]() \ No newline at end of file +@[Types]() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] annotationOnReturnType.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun R|kotlin/String|.collectOfType([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): { + ^collectOfType Int(4) + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.txt index fdd624571fd..a3fd2da32d2 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/annotationOnReturnType.txt @@ -3,4 +3,11 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@[Unresolved]() \ No newline at end of file +@[Unresolved]() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] annotationOnReturnType.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun R|kotlin/String|.collectOfType([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): { + ^collectOfType Int(4) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotation.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotation.txt index 76c8aca3db7..d9a1e544a46 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotation.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotation.txt @@ -3,4 +3,9 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|kotlin/Suppress|[Types](names = vararg(String())) \ No newline at end of file +@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]() diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotationInClass.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotationInClass.txt index 76c8aca3db7..3d3220a95b6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotationInClass.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/danglingAnnotationInClass.txt @@ -3,4 +3,15 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|kotlin/Suppress|[Types](names = vararg(String())) \ No newline at end of file +@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/Suppress|[Types](names = vararg(String())) @R|kotlin/annotation/MustBeDocumented|[Types]() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/fileAnnotation.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/fileAnnotation.txt index 5807d612d22..1b15fc24b12 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/fileAnnotation.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/fileAnnotation.txt @@ -3,4 +3,9 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@FILE:R|kotlin/Suppress|[Types](names = vararg(String())) \ No newline at end of file +@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 diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.out_of_src_roots.txt index 65f5c788fa8..3f0b64d7ebb 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.out_of_src_roots.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@[Types]() \ No newline at end of file +@[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)] @[Types]() addCommaWarning: R|kotlin/Boolean| = Boolean(false)): R|MyClass| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|kotlin/Boolean| = R|/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 + } + + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.txt index 80a02268758..6067e3ae430 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/jvmFieldAnnotationOnConstructorProperty.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|kotlin/jvm/JvmField|[Types]() \ No newline at end of file +@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() + } + + field:@R|kotlin/jvm/JvmField|[Types]() public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|kotlin/Boolean| = R|/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 + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/retentionValue.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/retentionValue.txt index c1d6c8ed535..911232b8411 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/retentionValue.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/retentionValue.txt @@ -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() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation.txt index 15bc2c7fbb1..22c9120b8a3 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation.txt @@ -3,4 +3,26 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|Anno|[Types]() \ No newline at end of file +@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 + } + + } + public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + } + public final [ResolvedTo(BODY_RESOLVE)] class B : R|@R|Anno|() A| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|B| { + super() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation2.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation2.txt index 15bc2c7fbb1..4a89fe3c10b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation2.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/superCallAnnotation2.txt @@ -3,4 +3,22 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|Anno|[Types]() \ No newline at end of file +@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 + } + + } + 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() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.txt index 15bc2c7fbb1..03f4a45046f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorParameter.txt @@ -3,4 +3,26 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|Anno|[Types]() \ No newline at end of file +@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() + } + + } + public open [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + } + @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 + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorProperty.txt index 15bc2c7fbb1..208b60c4b46 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorProperty.txt @@ -3,4 +3,30 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|Anno|[Types]() \ No newline at end of file +@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() + } + + public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|@R|Anno|() kotlin/Boolean| = R|/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/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 + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyAndParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyAndParameter.txt index 15bc2c7fbb1..cdd1ee55366 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyAndParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyAndParameter.txt @@ -3,4 +3,30 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|Anno|[Types]() \ No newline at end of file +@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() + } + + public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|@R|Anno|() kotlin/Boolean| = R|/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/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 + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyWithArguments.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyWithArguments.txt index 3a6f3df53e4..e16d2bd592d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyWithArguments.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnConstructorPropertyWithArguments.txt @@ -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() + } + + public final [ResolvedTo(BODY_RESOLVE)] var addCommaWarning: R|@R|Anno|(value = String(abc)) kotlin/Boolean| = R|/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/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 + } + + public final [ResolvedTo(STATUS)] val value: R|kotlin/String| = R|/value| + public [ResolvedTo(STATUS)] get(): R|kotlin/String| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameter.txt index 15bc2c7fbb1..3c208b38c33 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameter.txt @@ -3,4 +3,22 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@R|Anno|[Types]() \ No newline at end of file +@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/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 + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.txt index 4b549d76be7..712b025338f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/typeOnAnnotationOnFunctionParameterWithArguments.txt @@ -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/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 + } + + public final [ResolvedTo(STATUS)] val value: R|kotlin/String| = R|/value| + public [ResolvedTo(STATUS)] get(): R|kotlin/String| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/delegate.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/delegate.txt index bf4f1f4c225..c6d8c8eea07 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/delegate.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/delegate.txt @@ -3,4 +3,28 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@PROPERTY_DELEGATE_FIELD:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|X| { + LAZY_super + } + + field:@PROPERTY_DELEGATE_FIELD:R|Ann|[Types]() public final [ResolvedTo(BODY_RESOLVE)] val a: by #( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): { + ^ this@R|/X|.D|/X.a|.#(this@R|/X|, ::R|/X.a|) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/field.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/field.txt index 2f6fc3e36ba..8318a54e25b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/field.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/field.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@FIELD:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + field:@FIELD:R|Ann|[Types]() public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|/x| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/file.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/file.txt index 2ebc67b38aa..38ae40c602a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/file.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/file.txt @@ -3,4 +3,15 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@FILE:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/getter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/getter.txt index 6000ec9b7dc..9d74087c624 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/getter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/getter.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: FromUseSiteTarget FIR element rendered: -@PROPERTY_GETTER:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|/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| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/param.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/param.txt index feca17c5ff4..23e38b128c1 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/param.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/param.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@CONSTRUCTOR_PARAMETER:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + 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() + } + + public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|/x| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/property.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/property.txt index 09fe791daee..05fffd8ed4a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/property.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/property.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -@PROPERTY:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + @PROPERTY:R|Ann|[Types]() public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|/x| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setParam.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setParam.txt index 33756ef1f26..905ba93fecc 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setParam.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setParam.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: FromUseSiteTarget FIR element rendered: -@SETTER_PARAMETER:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|/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| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setter.txt index af2e425e76a..b856adfd30a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/annotations/useSite/setter.txt @@ -3,4 +3,24 @@ FIR element: FirAnnotationCallImpl FIR source kind: FromUseSiteTarget FIR element rendered: -@PROPERTY_SETTER:R|Ann|[Types]() \ No newline at end of file +@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 + } + + } + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| = R|/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| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callArgument.txt index 50b105ed5b5..91cd5d8d16a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callArgument.txt @@ -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)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndExplicitConstructor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndExplicitConstructor.txt index 15b1f0bdf5c..cd93bc3f325 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndExplicitConstructor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndExplicitConstructor.txt @@ -3,4 +3,25 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/foo|() \ No newline at end of file +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 + } + + } + public final [ResolvedTo(STATUS)] class A : R|B| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| { + super(Int(1), [ResolvedTo(RAW_FIR)] fun (): R|kotlin/Unit| { + R|/foo|() + } + ) + } + + } + public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndImplicitConstructor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndImplicitConstructor.txt index 15b1f0bdf5c..239787819c2 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndImplicitConstructor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallAndImplicitConstructor.txt @@ -3,4 +3,25 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/foo|() \ No newline at end of file +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 + } + + } + public final [ResolvedTo(BODY_RESOLVE)] class A : R|B| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| { + super(Int(1), [ResolvedTo(RAW_FIR)] fun (): R|kotlin/Unit| { + R|/foo|() + } + ) + } + + } + public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSecondaryConstructor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSecondaryConstructor.txt index 514cd613707..d0867d19849 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSecondaryConstructor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSecondaryConstructor.txt @@ -4,3 +4,28 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/foo|(R|/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 + } + + } + public final [ResolvedTo(STATUS)] class B : R|A| { + public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] i: R|kotlin/Int|): R|B| { + LAZY_super<> + } + + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] l: R|kotlin/Long|): R|B| { + super([ResolvedTo(RAW_FIR)] fun (): R|kotlin/Unit| { + R|/foo|(R|/l|) + } + ) + } + + } + public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] any: R|kotlin/Any|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSingleSecondaryConstructor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSingleSecondaryConstructor.txt index b58d7878f2f..3a81d72826f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSingleSecondaryConstructor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/callInsideLambdaInsideSuperCallFromSingleSecondaryConstructor.txt @@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/foo|(R|/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 + } + + } + public final [ResolvedTo(STATUS)] class B : R|A| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|): R|B| { + super([ResolvedTo(RAW_FIR)] fun (): R|kotlin/Unit| { + R|/foo|(R|/i|) + } + ) + } + + } + public final [ResolvedTo(CONTRACTS)] fun foo([ResolvedTo(CONTRACTS)] any: R|kotlin/Any|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/calllTypeArguments.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/calllTypeArguments.txt index 8e72aa03740..1fbc79cf318 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/calllTypeArguments.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/calllTypeArguments.txt @@ -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|() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal.txt index 59b2dac9cdc..e815cdac430 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal.txt @@ -3,4 +3,15 @@ FIR element: FirFunctionCallImpl FIR source kind: DesugaredCompoundAssignment FIR element rendered: -R|/l|.R|/A.plusAssign|(Int(1)) \ No newline at end of file +R|/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|/l|.R|/A.plusAssign|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal_lhs.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal_lhs.txt index a099458b9e2..e8116daab8d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal_lhs.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVal_lhs.txt @@ -3,4 +3,15 @@ FIR element: FirPropertyAccessExpressionImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/l| \ No newline at end of file +R|/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|/l|.R|/A.plusAssign|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar.txt index 8f34b7ce982..5452070d258 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar.txt @@ -3,4 +3,12 @@ FIR element: FirVariableAssignmentImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/i| = R|/i|.R|kotlin/Int.plus|(Int(1)) \ No newline at end of file +R|/i| = R|/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|/i| = R|/i|.R|kotlin/Int.plus|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar_lhs.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar_lhs.txt index 4bef4dbb34a..dd9962350a9 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar_lhs.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignOnVar_lhs.txt @@ -4,3 +4,11 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/i| = R|/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|/i| = R|/i|.R|kotlin/Int.plus|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt index 7f5dfd489e5..94d700a455c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention.txt @@ -4,3 +4,21 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|SubstitutionOverride|(R|/|).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|): R|kotlin/Unit| { + { + [ResolvedTo(BODY_RESOLVE)] lval : R|MyMap| = R|/m| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = String(a) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|SubstitutionOverride|(R|/|).R|kotlin/Int.plus|(Int(1))) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt index afa55097e1e..68300a1f9a5 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_lhs.txt @@ -3,4 +3,22 @@ FIR element: FirFunctionCallImpl FIR source kind: DesugaredCompoundAssignment FIR element rendered: -R|/|.R|SubstitutionOverride|(R|/|) \ No newline at end of file +R|/|.R|SubstitutionOverride|(R|/|) + +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|): R|kotlin/Unit| { + { + [ResolvedTo(BODY_RESOLVE)] lval : R|MyMap| = R|/m| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = String(a) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|SubstitutionOverride|(R|/|).R|kotlin/Int.plus|(Int(1))) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_propertyAccess.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_propertyAccess.txt index 4129bba16ca..046cc6a30ea 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_propertyAccess.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayAccessConvention_propertyAccess.txt @@ -4,3 +4,21 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/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|): R|kotlin/Unit| { + { + [ResolvedTo(BODY_RESOLVE)] lval : R|MyMap| = R|/m| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = String(a) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|SubstitutionOverride|(R|/|).R|kotlin/Int.plus|(Int(1))) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention.txt index 6b57014206b..0965526603d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention.txt @@ -3,4 +3,19 @@ FIR element: FirFunctionCallImpl FIR source kind: DesugaredCompoundAssignment FIR element rendered: -R|/m|.R|SubstitutionOverride|(String(a)).R|/A.plusAssign|(Int(1)) \ No newline at end of file +R|/m|.R|SubstitutionOverride|(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|): R|kotlin/Unit| { + R|/m|.R|SubstitutionOverride|(String(a)).R|/A.plusAssign|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention_lhs.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention_lhs.txt index dcf711bb317..a432574d68d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention_lhs.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/compoundAssignWithArrayGetConvention_lhs.txt @@ -3,4 +3,19 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/m|.R|SubstitutionOverride|(String(a)) \ No newline at end of file +R|/m|.R|SubstitutionOverride|(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|): R|kotlin/Unit| { + R|/m|.R|SubstitutionOverride|(String(a)).R|/A.plusAssign|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationSuperCall.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationSuperCall.txt index 1e1b9207fea..e601437d13f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationSuperCall.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationSuperCall.txt @@ -3,4 +3,20 @@ FIR element: FirDelegatedConstructorCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -super(Int(1)) \ No newline at end of file +super(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 + } + + } + public final [ResolvedTo(BODY_RESOLVE)] class A : R|B| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|A| { + super(Int(1)) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationThisCall.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationThisCall.txt index f9d101efe3f..f963b66955c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationThisCall.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/constructorDelegationThisCall.txt @@ -4,3 +4,17 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: this(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 + } + + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/String|): R|A| { + this(Int(1)) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/functionCallArgumentList.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/functionCallArgumentList.txt index bae977decb2..1ea38720d03 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/functionCallArgumentList.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/functionCallArgumentList.txt @@ -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)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention.txt index c4107163bb5..8c079696e74 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention.txt @@ -4,3 +4,24 @@ FIR source kind: DesugaredIncrementOrDecrement FIR element rendered: R|/|.R|SubstitutionOverride|(R|/|, R|/|.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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval : R|MyMap| = R|/m| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = String(a) + [ResolvedTo(BODY_RESOLVE)] lval : R|A| = R|/|.R|SubstitutionOverride|(R|/|) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|/A.inc|()) + R|/| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_propertyAccess.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_propertyAccess.txt index 4129bba16ca..837cf849c21 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_propertyAccess.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_propertyAccess.txt @@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval : R|MyMap| = R|/m| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = String(a) + [ResolvedTo(BODY_RESOLVE)] lval : R|A| = R|/|.R|SubstitutionOverride|(R|/|) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|/A.inc|()) + R|/| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_set.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_set.txt index a725827af71..77bfa4ab7fd 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_set.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/incWithArrayAccessConvention_set.txt @@ -4,3 +4,24 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|SubstitutionOverride| + +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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval : R|MyMap| = R|/m| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = String(a) + [ResolvedTo(BODY_RESOLVE)] lval : R|A| = R|/|.R|SubstitutionOverride|(R|/|) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.R|/A.inc|()) + R|/| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/invokeCallArgumentList.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/invokeCallArgumentList.txt index bae977decb2..cb5dcb84cf6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/invokeCallArgumentList.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/invokeCallArgumentList.txt @@ -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|/f|.R|SubstitutionOverride|(Int(1), String(2)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/noReceiverOnLambda.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/noReceiverOnLambda.txt index 76ef646a28c..863630910c1 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/noReceiverOnLambda.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/noReceiverOnLambda.txt @@ -4,3 +4,16 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/f2|.R|SubstitutionOverride#|() + +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 + } + + } + public final [ResolvedTo(BODY_RESOLVE)] fun dslSpeedTest([ResolvedTo(BODY_RESOLVE)] f2: R|SomeTest.() -> kotlin/Unit|): R|kotlin/Unit| { + R|/f2|.R|SubstitutionOverride#|() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsidePropertyInsideConstructor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsidePropertyInsideConstructor.txt index 952a61565a3..2af20386266 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsidePropertyInsideConstructor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsidePropertyInsideConstructor.txt @@ -4,3 +4,22 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: # + +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 (): R|kotlin/Unit| { + local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| { + ^foo #.#.R|kotlin/toString|() + } + + } + ): R|A| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] val i: R|() -> kotlin/Unit| = R|/i| + public [ResolvedTo(BODY_RESOLVE)] get(): R|() -> kotlin/Unit| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall.txt index e1fcfa77b38..4ec8a0248d2 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall.txt @@ -3,4 +3,35 @@ FIR element: FirResolvedNamedReferenceImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/A.prop| \ No newline at end of file +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 + } + + 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 + } + + } + public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| { + private [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| { + super([ResolvedTo(RAW_FIR)] fun R|A|.(): R|kotlin/Unit| { + local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| { + ^foo Q|B|.R|/A.prop|.R|kotlin/String.toString|() + } + + } + ) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall2.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall2.txt index 8a43690cc3f..b31c5850e44 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall2.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall2.txt @@ -3,4 +3,35 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -Q|B|.R|/A.prop|.R|kotlin/String.toString|() \ No newline at end of file +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 + } + + 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 + } + + } + public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| { + private [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| { + super([ResolvedTo(RAW_FIR)] fun R|A|.(): R|kotlin/Unit| { + local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| { + ^foo Q|B|.R|/A.prop|.R|kotlin/String.toString|() + } + + } + ) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall3.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall3.txt index 6c48670ab9c..13f848e3f89 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall3.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall3.txt @@ -8,4 +8,29 @@ public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| { super() } -} \ No newline at end of file +} + +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 + } + + 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 + } + + } + public final [ResolvedTo(BODY_RESOLVE)] object C : R|A| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|C| { + super() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall4.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall4.txt index 5cf3ff1d236..0b5b0d997c9 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall4.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall4.txt @@ -14,4 +14,41 @@ public final [ResolvedTo(BODY_RESOLVE)] class G : R|A| { ) } -} \ No newline at end of file +} + +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 + } + + 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 + } + + } + public final [ResolvedTo(STATUS)] object C : R|A| { + private [ResolvedTo(STATUS)] constructor(): R|C| { + LAZY_super + } + + } + public final [ResolvedTo(BODY_RESOLVE)] class G : R|A| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|G| { + super([ResolvedTo(RAW_FIR)] fun R|A|.(): R|kotlin/Unit| { + local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| { + ^foo Q|C|.R|/A.prop|.R|kotlin/String.toString|() + } + + } + ) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall5.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall5.txt index e1fcfa77b38..b08042d551f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall5.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallInsideSuperCall5.txt @@ -3,4 +3,41 @@ FIR element: FirResolvedNamedReferenceImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/A.prop| \ No newline at end of file +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 + } + + 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 + } + + } + public final [ResolvedTo(STATUS)] object C : R|A| { + private [ResolvedTo(STATUS)] constructor(): R|C| { + LAZY_super + } + + } + public final [ResolvedTo(STATUS)] class G : R|A| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|G| { + super([ResolvedTo(RAW_FIR)] fun R|A|.(): R|kotlin/Unit| { + local final [ResolvedTo(RAW_FIR)] fun foo(): R|kotlin/String| { + ^foo Q|C|.R|/A.prop|.R|kotlin/String.toString|() + } + + } + ) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallSelector.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallSelector.txt index d52702f7170..1dc93fda3f9 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallSelector.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedCallSelector.txt @@ -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 + } + + 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)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedWholeCall.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedWholeCall.txt index 58bf6c11382..8f9e4f91ec2 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedWholeCall.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/qualifiedWholeCall.txt @@ -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 + } + + 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)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/setOperator.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/setOperator.txt index 526af0b69dd..fa01ce2bc78 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/setOperator.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/setOperator.txt @@ -3,4 +3,36 @@ FIR element: FirResolvedNamedReferenceImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|test/B.set| \ No newline at end of file +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 + } + + public final [ResolvedTo(STATUS)] val n: R|kotlin/Int| = R|/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 : R|test/B| = R|/a| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/Int| = Int(2) + [ResolvedTo(BODY_RESOLVE)] lval : R|test/B| = R|/|.R|test/B.get|(R|/|) + R|/|.R|test/B.set|(R|/|, R|/|.R|test/B.inc|()) + R|/| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/superType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/superType.txt index c81c5b7e4b5..6a12eb46b68 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/superType.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/calls/superType.txt @@ -3,4 +3,16 @@ FIR element: FirResolvedTypeRefImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|A| \ No newline at end of file +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() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/constructorProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/constructorProperty.txt index 85e70ede471..101fe327a63 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/constructorProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/constructorProperty.txt @@ -3,4 +3,17 @@ FIR element: FirValueParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int| = Int(4) \ No newline at end of file +[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() + } + + public final [ResolvedTo(BODY_RESOLVE)] val i: R|kotlin/Int| = R|/i| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructionWithNoRValue.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructionWithNoRValue.txt index 1958ff46c18..cfb36980f59 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructionWithNoRValue.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructionWithNoRValue.txt @@ -4,3 +4,8 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] destructionWithNoRValue.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuring.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuring.txt index ab6bea94c38..955396ee67b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuring.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuring.txt @@ -3,4 +3,17 @@ FIR element: FirErrorPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: - \ No newline at end of file + + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] destructuring.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public? final? [ResolvedTo(RAW_FIR)] var a: = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: ): R|kotlin/Unit| + public? final? [ResolvedTo(RAW_FIR)] var b: = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: ): R|kotlin/Unit| + public? final? [ResolvedTo(RAW_FIR)] val pair: = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): + diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.out_of_src_roots.txt index eb7ba8bce69..58c7899e120 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.out_of_src_roots.txt @@ -3,4 +3,13 @@ FIR element: FirPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] lval a: = R|/|.#() \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] lval a: = R|/|.#() + +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 : = IntegerLiteral(1).#(Int(2)) + [ResolvedTo(BODY_RESOLVE)] lval a: = R|/|.#() + [ResolvedTo(BODY_RESOLVE)] lval b: = R|/|.#() + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.txt index 0d8c4653ea3..2dde72e240f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/destructuringEntry.txt @@ -3,4 +3,13 @@ FIR element: FirPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|/|.R|SubstitutionOverride|() \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|/|.R|SubstitutionOverride|() + +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 : R|kotlin/Pair| = Int(1).R|kotlin/to|(Int(2)) + [ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|/|.R|SubstitutionOverride|() + [ResolvedTo(BODY_RESOLVE)] lval b: R|kotlin/Int| = R|/|.R|SubstitutionOverride|() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteral.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteral.txt index 4a6a5d143f3..7931f8089c2 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteral.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteral.txt @@ -8,4 +8,17 @@ object : R|kotlin/Any| { super() } -} \ No newline at end of file +} + +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|| { + super() + } + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteralExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteralExpression.txt index 8db6a8f8fed..227aece47f1 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteralExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/objectLiteralExpression.txt @@ -8,4 +8,17 @@ object : R|kotlin/Any| { super() } -} \ No newline at end of file +} + +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|| { + super() + } + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.out_of_src_roots.txt index 48e99eb4463..d131a191c1d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.out_of_src_roots.txt @@ -6,4 +6,15 @@ FIR element rendered: #( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { ^ Int(1) } -) \ No newline at end of file +) + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] propertyDelegate.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: by #( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): { + ^ D|/x|.#(Null(null), ::R|/x|) + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.txt index 3dcb05356b7..6f07a4ca9db 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegate.txt @@ -6,4 +6,15 @@ FIR element rendered: R|kotlin/lazy|( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { ^ Int(1) } -) \ No newline at end of file +) + +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|( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| { + ^ D|/x|.R|kotlin/getValue|(Null(null), ::R|/x|) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.out_of_src_roots.txt index ef5ffe25b1e..2809ca8dcab 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.out_of_src_roots.txt @@ -6,4 +6,15 @@ FIR element rendered: #( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { ^ Int(1) } -) \ No newline at end of file +) + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] propertyDelegateExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: by #( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): { + ^ D|/x|.#(Null(null), ::R|/x|) + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.txt index c35793a4a5c..eb45c3a1d54 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/propertyDelegateExpression.txt @@ -6,4 +6,15 @@ FIR element rendered: R|kotlin/lazy|( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { ^ Int(1) } -) \ No newline at end of file +) + +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|( = [ResolvedTo(RAW_FIR)] lazy@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| { + ^ D|/x|.R|kotlin/getValue|(Null(null), ::R|/x|) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause1.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause1.txt index 6869e1d9f2d..f1156aed5e7 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause1.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause1.txt @@ -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|, [ResolvedTo(BODY_RESOLVE)] to: R|kotlin/collections/List|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause2.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause2.txt index 6073f3d4075..db7dbad19b6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause2.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/declarations/whereClause2.txt @@ -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|, [ResolvedTo(BODY_RESOLVE)] to: R|kotlin/collections/List|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayAccessExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayAccessExpression.txt index 681b27bd673..e0358609503 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayAccessExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayAccessExpression.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/x|.R|SubstitutionOverride|(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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|/x|.R|SubstitutionOverride|(Int(1)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.out_of_src_roots.txt new file mode 100644 index 00000000000..4782bc1bf19 --- /dev/null +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.out_of_src_roots.txt @@ -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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval a: = #() + R|/a|.#(String()) + [ResolvedTo(BODY_RESOLVE)] lval : = R|/a| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/Int| = Int(0) + [ResolvedTo(BODY_RESOLVE)] lval : = R|/|.#(R|/|) + R|/|.#(R|/|, R|/|.#()) + R|/| + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.txt index 213b301480e..1fdd230b873 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/arrayIndexExpressionWithInc.txt @@ -3,4 +3,17 @@ FIR element: FirConstExpressionImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -Int(0) \ No newline at end of file +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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval a: R|java/util/ArrayList| = R|java/util/ArrayList.ArrayList|() + R|/a|.R|SubstitutionOverride|(String()) + [ResolvedTo(BODY_RESOLVE)] lval : R|java/util/ArrayList| = R|/a| + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/Int| = Int(0) + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/String| = R|/|.R|SubstitutionOverride|(R|/|) + R|/|.R|SubstitutionOverride|(R|/|, R|/|.#()) + R|/| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/asExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/asExpression.txt index 65e907a0f00..376712a3ac1 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/asExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/asExpression.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: (R|/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|/x| as R|kotlin/String|) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpression.txt index 5f76f41d8a7..f4c4393c98f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpression.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpressionOperator.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpressionOperator.txt index dc91367e6e7..14a8a918684 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpressionOperator.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/binaryExpressionOperator.txt @@ -3,4 +3,10 @@ FIR element: FirResolvedNamedReferenceImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|kotlin/Int.plus| \ No newline at end of file +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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/blockExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/blockExpression.txt index 4beaa055109..a96cd0e5ea1 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/blockExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/blockExpression.txt @@ -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| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/boolLiteral.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/boolLiteral.txt index 1f951c6f79e..8880fb7b702 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/boolLiteral.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/boolLiteral.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/classAccessExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/classAccessExpression.txt index 50a6d773b2b..521c8435b7e 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/classAccessExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/classAccessExpression.txt @@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: (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| = (Q|kotlin/Int|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/reflect/KClass| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpression.txt index cffe3c817ce..417fe55ca97 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpression.txt @@ -8,4 +8,21 @@ while(R|/|.R|SubstitutionOverride: R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|() + while(R|/|.R|SubstitutionOverride|()) { + [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.R|kotlin/collections/IntIterator.next|() + { + } + + } + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionRange.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionRange.txt index 1db5591fa7c..5cc272e23c8 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionRange.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionRange.txt @@ -3,4 +3,21 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -Int(0).R|kotlin/Int.rangeTo|(Int(1)) \ No newline at end of file +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 : R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|() + while(R|/|.R|SubstitutionOverride|()) { + [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.R|kotlin/collections/IntIterator.next|() + { + } + + } + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionVariable.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionVariable.txt index 15ac51aeb77..86170a9e268 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionVariable.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/forExpressionVariable.txt @@ -3,4 +3,21 @@ FIR element: FirPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.R|kotlin/collections/IntIterator.next|() \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.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 : R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|() + while(R|/|.R|SubstitutionOverride|()) { + [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.R|kotlin/collections/IntIterator.next|() + { + } + + } + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/ifExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/ifExpression.txt index bc9ba3586ba..b619d05f3c3 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/ifExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/ifExpression.txt @@ -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|/x| is R|kotlin/String|) -> { + String(1) + } + else -> { + String(2) + } + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/incExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/incExpression.txt index f6eff5c5ba5..37325953f2d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/incExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/incExpression.txt @@ -3,4 +3,17 @@ FIR element: FirVariableAssignmentImpl FIR source kind: DesugaredIncrementOrDecrement FIR element rendered: -R|/nextUnnamedLibraryIndex| = R|/|.R|kotlin/Int.inc|() \ No newline at end of file +R|/nextUnnamedLibraryIndex| = R|/|.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|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lvar nextUnnamedLibraryIndex: R|kotlin/Int| = Int(1) + [ResolvedTo(BODY_RESOLVE)] lval originalName: R|kotlin/String| = ( { + [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/Int| = R|/nextUnnamedLibraryIndex| + R|/nextUnnamedLibraryIndex| = R|/|.R|kotlin/Int.inc|() + R|/| + } + ) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.out_of_src_roots.txt index 103c4066427..e194f476723 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.out_of_src_roots.txt @@ -3,4 +3,17 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -#() \ No newline at end of file +#() + +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>|): R|kotlin/Unit| { + R|/x|.#(Int(1), = [ResolvedTo(BODY_RESOLVE)] getOrPut@fun (): { + ^ #() + } + ) = R|/x|.#(Int(1), = [ResolvedTo(BODY_RESOLVE)] getOrPut@fun (): { + ^ #() + } + ).R|kotlin/plus|(String(str)) + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.txt index eb59acd336a..be0aaa74bf5 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/insidePlusAssignTarget.txt @@ -3,4 +3,14 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|kotlin/collections/mutableListOf|() \ No newline at end of file +R|kotlin/collections/mutableListOf|() + +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>|): R|kotlin/Unit| { + R|/x|.R|kotlin/collections/getOrPut||>(Int(1), = [ResolvedTo(BODY_RESOLVE)] getOrPut@fun (): R|kotlin/collections/MutableList| { + ^ R|kotlin/collections/mutableListOf|() + } + ).R|kotlin/collections/plusAssign|(String(str)) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral.txt index 24ef1c66848..fa3b89254ed 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_entire.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_entire.txt index 28e32620e1c..148d7787003 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_entire.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_entire.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_justOne.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_justOne.txt index 24ef1c66848..471a89924cc 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_justOne.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_minusOne_justOne.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_entire.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_entire.txt index 33f2adbe87e..408959e441e 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_entire.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_entire.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_justOne.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_justOne.txt index 24ef1c66848..43d3a411cf6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_justOne.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/intLiteral_plusOne_justOne.txt @@ -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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/isExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/isExpression.txt index 33cb202efd6..31faa12799f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/isExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/isExpression.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: (R|/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|/x| is R|kotlin/String|) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.out_of_src_roots.txt index 2d374ae7930..9ad984ac022 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.out_of_src_roots.txt @@ -5,4 +5,13 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: [ResolvedTo(BODY_RESOLVE)] run@fun (): R|kotlin/Int| { ^ Int(1) -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] lambdaExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: = #( = [ResolvedTo(BODY_RESOLVE)] run@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.txt index 52aeb0bdf0a..c9f9ccc8d23 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/lambdaExpression.txt @@ -5,4 +5,13 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: [ResolvedTo(BODY_RESOLVE)] run@fun (): R|kotlin/Int| { ^ Int(1) -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] lambdaExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = R|kotlin/run|( = [ResolvedTo(BODY_RESOLVE)] run@fun (): R|kotlin/Int| { + ^ Int(1) + } + ) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/objectLiteralExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/objectLiteralExpression.txt index 8db6a8f8fed..63cd0d48142 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/objectLiteralExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/objectLiteralExpression.txt @@ -8,4 +8,16 @@ object : R|kotlin/Any| { super() } -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] objectLiteralExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Any| = object : R|kotlin/Any| { + private [ResolvedTo(BODY_RESOLVE)] constructor(): R|| { + super() + } + + } + + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Any| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/parenthesizedExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/parenthesizedExpression.txt index db3e419f303..01f8ba4a823 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/parenthesizedExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/parenthesizedExpression.txt @@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: Int(1).R|kotlin/Int.plus|(Int(2)) + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] parenthesizedExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(2)) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/propertyReferenceExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/propertyReferenceExpression.txt index a5977f418ce..cec85bae8a9 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/propertyReferenceExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/propertyReferenceExpression.txt @@ -3,4 +3,21 @@ FIR element: FirCallableReferenceAccessImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -Q|A|::R|/A.foo| \ No newline at end of file +Q|A|::R|/A.foo| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] propertyReferenceExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| { + } + + } + public? final? [ResolvedTo(RAW_FIR)] val y: A = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): A + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/reflect/KFunction1| = Q|A|::R|/A.foo| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/reflect/KFunction1| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringLiteral.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringLiteral.txt index a7bedf12287..c64873bcf9d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringLiteral.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringLiteral.txt @@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: String(string) + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] stringLiteral.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/String| = String(string) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringTemplateExpressionEntry.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringTemplateExpressionEntry.txt index 3bd1a93e77c..f3f888f33de 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringTemplateExpressionEntry.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/stringTemplateExpressionEntry.txt @@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: Int(1).R|kotlin/Int.plus|(Int(2)) + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] stringTemplateExpressionEntry.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/String| = (String(string ), Int(1).R|kotlin/Int.plus|(Int(2)), String( template)) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.out_of_src_roots.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.out_of_src_roots.txt index 14ae906a24a..e781ac57cef 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.out_of_src_roots.txt @@ -3,4 +3,11 @@ FIR element: FirThrowExpressionImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -throw #() \ No newline at end of file +throw #() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] throwExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + throw #() + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.txt index 4c9cadda969..b9b29cc96d7 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/throwExpression.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: throw R|java/lang/IllegalStateException.IllegalStateException|() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] throwExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + throw R|java/lang/IllegalStateException.IllegalStateException|() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/tryExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/tryExpression.txt index 01aa4bb0651..500d0903e2b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/tryExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/tryExpression.txt @@ -9,4 +9,18 @@ try { catch ([ResolvedTo(BODY_RESOLVE)] e: R|kotlin/Throwable|) { } finally { -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] tryExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + try { + Int(1) + } + catch ([ResolvedTo(BODY_RESOLVE)] e: R|kotlin/Throwable|) { + } + finally { + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpression.txt index a876d292456..6a329a68656 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpression.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|/x|.R|kotlin/Boolean.not|() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] unraryExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Boolean|): R|kotlin/Boolean| { + ^foo R|/x|.R|kotlin/Boolean.not|() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpressionOperator.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpressionOperator.txt index ccb5c7fd2ef..d2c76f445e8 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpressionOperator.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/unraryExpressionOperator.txt @@ -3,4 +3,11 @@ FIR element: FirResolvedNamedReferenceImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|kotlin/Boolean.not| \ No newline at end of file +R|kotlin/Boolean.not| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] unraryExpressionOperator.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Boolean|): R|kotlin/Boolean| { + ^foo R|/x|.R|kotlin/Boolean.not|() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whenExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whenExpression.txt index 3ae67c6415f..d18dd3def9d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whenExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whenExpression.txt @@ -11,3 +11,18 @@ when (R|/x|) { String(2) } } + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] whenExpression.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|/x|) { + ($subj$ is R|kotlin/String|) -> { + String(1) + } + else -> { + String(2) + } + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whileExpression.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whileExpression.txt index d4c7dd3a328..6161c1c8554 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whileExpression.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/whileExpression.txt @@ -5,3 +5,12 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: while(Boolean(true)) { } + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] whileExpression.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| { + while(Boolean(true)) { + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/wholeStringTemplate.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/wholeStringTemplate.txt index d75441b721d..615aca71440 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/wholeStringTemplate.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/expressions/wholeStringTemplate.txt @@ -4,3 +4,9 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: (String(string ), Int(1).R|kotlin/Int.plus|(Int(2)), String( template)) + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] wholeStringTemplate.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/String| = (String(string ), Int(1).R|kotlin/Int.plus|(Int(2)), String( template)) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/firstImportNamePart.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/firstImportNamePart.txt index f8e546303ab..bf851d9ded7 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/firstImportNamePart.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/firstImportNamePart.txt @@ -3,4 +3,8 @@ FIR element: FirImportImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -import a.b.c \ No newline at end of file +import a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] firstImportNamePart.kt + [ResolvedTo(BODY_RESOLVE)] annotations container diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/importList.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/importList.txt index 3c47d016e82..1d9c095a772 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/importList.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/importList.txt @@ -3,4 +3,8 @@ FIR element: null FIR source kind: null FIR element rendered: -null \ No newline at end of file +null + +FIR FILE: +FILE: [ResolvedTo(RAW_FIR)] importList.kt + [ResolvedTo(BODY_RESOLVE)] annotations container diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/middleImportNamePart.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/middleImportNamePart.txt index f8e546303ab..50463592d74 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/middleImportNamePart.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/middleImportNamePart.txt @@ -3,4 +3,8 @@ FIR element: FirImportImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -import a.b.c \ No newline at end of file +import a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] middleImportNamePart.kt + [ResolvedTo(BODY_RESOLVE)] annotations container diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/qualifiedImportNamePart.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/qualifiedImportNamePart.txt index 7b59a186757..fb88c13b569 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/qualifiedImportNamePart.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/qualifiedImportNamePart.txt @@ -3,4 +3,8 @@ FIR element: FirImportImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -import a.b.c \ No newline at end of file +import a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] qualifiedImportNamePart.kt + [ResolvedTo(BODY_RESOLVE)] annotations container diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportDirective.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportDirective.txt index c78dfed677c..ebf44d1255c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportDirective.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportDirective.txt @@ -3,4 +3,8 @@ FIR element: FirImportImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -import a.b.c \ No newline at end of file +import a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] wholeImportDirective.kt + [ResolvedTo(BODY_RESOLVE)] annotations container diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportName.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportName.txt index 7b59a186757..e8f46987250 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportName.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inImport/wholeImportName.txt @@ -3,4 +3,8 @@ FIR element: FirImportImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -import a.b.c \ No newline at end of file +import a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] wholeImportName.kt + [ResolvedTo(BODY_RESOLVE)] annotations container diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/firstPackageNamePart.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/firstPackageNamePart.txt index 49e932c8e10..1ff14fc4dcb 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/firstPackageNamePart.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/firstPackageNamePart.txt @@ -3,4 +3,9 @@ FIR element: FirPackageDirectiveImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -package a.b.c \ No newline at end of file +package a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] firstPackageNamePart.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + package a.b.c diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/middlePackageNamePart.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/middlePackageNamePart.txt index 49e932c8e10..af02ffc0569 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/middlePackageNamePart.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/middlePackageNamePart.txt @@ -3,4 +3,9 @@ FIR element: FirPackageDirectiveImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -package a.b.c \ No newline at end of file +package a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] middlePackageNamePart.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + package a.b.c diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/qualifiedPackageNamePart.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/qualifiedPackageNamePart.txt index 7335f11a8a3..a7a2e1c2706 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/qualifiedPackageNamePart.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/qualifiedPackageNamePart.txt @@ -3,4 +3,9 @@ FIR element: FirPackageDirectiveImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -package a.b.c \ No newline at end of file +package a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] qualifiedPackageNamePart.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + package a.b.c diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageDirective.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageDirective.txt index 20792af231b..aac1d508e3f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageDirective.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageDirective.txt @@ -3,4 +3,9 @@ FIR element: FirPackageDirectiveImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -package a.b.c \ No newline at end of file +package a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] wholePackageDirective.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + package a.b.c diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageName.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageName.txt index 7335f11a8a3..26592b3d7e5 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageName.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/inPackage/wholePackageName.txt @@ -3,4 +3,9 @@ FIR element: FirPackageDirectiveImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -package a.b.c \ No newline at end of file +package a.b.c + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] wholePackageName.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + package a.b.c diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/delegatedProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/delegatedProperty.txt index 6d3db24d2cb..39dc049c72a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/delegatedProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/delegatedProperty.txt @@ -6,4 +6,12 @@ FIR element rendered: public final [ResolvedTo(BODY_RESOLVE)] val p: R|kotlin/String|by ERROR_EXPR(Should have delegate) public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| { ^ D|/p|.#(Null(null), ::R|/p|) - } \ No newline at end of file + } + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] delegatedProperty.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val p: R|kotlin/String|by ERROR_EXPR(Should have delegate) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| { + ^ D|/p|.#(Null(null), ::R|/p|) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClasses.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClasses.txt index 0b3effb65b6..48eded41976 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClasses.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClasses.txt @@ -5,3 +5,25 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| { } + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] duplicatedClasses.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class SomeClass : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|SomeClass| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] val prop: = LAZY_EXPRESSION + public [ResolvedTo(STATUS)] get(): + + } + public final [ResolvedTo(STATUS)] class SomeClass : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|SomeClass| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| { + } + + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClassesFunctionParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClassesFunctionParameter.txt index de147ce665d..ddc6ccfa5fc 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClassesFunctionParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/duplicatedClassesFunctionParameter.txt @@ -4,3 +4,25 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: [ResolvedTo(BODY_RESOLVE)] p: R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] duplicatedClassesFunctionParameter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class SomeClass : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|SomeClass| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] val prop: = LAZY_EXPRESSION + public [ResolvedTo(STATUS)] get(): + + } + public final [ResolvedTo(STATUS)] class SomeClass : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|SomeClass| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] p: R|kotlin/Int|): R|kotlin/Unit| { + } + + } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/incompletePropertyWithAnnotation.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/incompletePropertyWithAnnotation.txt index e6aa5643c0e..c709a853e7b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/incompletePropertyWithAnnotation.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/incompletePropertyWithAnnotation.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: @[Types]() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] incompletePropertyWithAnnotation.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + @[Types]() private final [ResolvedTo(BODY_RESOLVE)] var : + private [ResolvedTo(BODY_RESOLVE)] get(): + private [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: ): R|kotlin/Unit| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/javaClassLiteral.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/javaClassLiteral.txt index 1fb6aa2f828..a886692c897 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/javaClassLiteral.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/javaClassLiteral.txt @@ -3,4 +3,14 @@ FIR element: FirPropertyAccessExpressionImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|/anyClass| \ No newline at end of file +R|/anyClass| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] javaClassLiteral.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun main([ResolvedTo(BODY_RESOLVE)] args: R|kotlin/Array|): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval anyClass: R|kotlin/Any| = R|kotlin/Any.Any|() + R|/funOne|(ERROR_EXPR(Incorrect selector expression)R|/anyClass|) + } + public final [ResolvedTo(CONTRACTS)] fun funOne([ResolvedTo(CONTRACTS)] x: R|kotlin/Any|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/secondaryConstructor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/secondaryConstructor.txt index 79024476467..0f3c1ea5771 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/secondaryConstructor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/invalidCode/secondaryConstructor.txt @@ -3,4 +3,22 @@ FIR element: FirDanglingModifierListImpl FIR source kind: DanglingModifierList FIR element rendered: - \ No newline at end of file + + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] secondaryConstructor.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] annotation class JsQualifier : R|kotlin/Annotation|, R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|JsQualifier| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] val value: R|kotlin/String| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| + + public final [ResolvedTo(BODY_RESOLVE)] fun (): R|kotlin/Unit| { + # + } + + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/firstPartOfQualifiedCallWithNestedClasses.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/firstPartOfQualifiedCallWithNestedClasses.txt index 6f4ee106905..3299da69d18 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/firstPartOfQualifiedCallWithNestedClasses.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/firstPartOfQualifiedCallWithNestedClasses.txt @@ -4,3 +4,33 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: Q|A.B| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] firstPartOfQualifiedCallWithNestedClasses.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class B : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class C : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B.C| { + LAZY_super + } + + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val x: R|kotlin/Int| = Int(10) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + + } + + } + + } + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + Q|A.B|.R|/A.B.C.C|().R|/A.B.C.x| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/lastPartOfQualifiedCallWithNestedClasses.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/lastPartOfQualifiedCallWithNestedClasses.txt index 673ab5be017..7cbae6d5124 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/lastPartOfQualifiedCallWithNestedClasses.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/lastPartOfQualifiedCallWithNestedClasses.txt @@ -4,3 +4,33 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: Q|A.B|.R|/A.B.C.C|() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] lastPartOfQualifiedCallWithNestedClasses.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class B : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class C : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B.C| { + LAZY_super + } + + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val x: R|kotlin/Int| = Int(10) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + + } + + } + + } + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + Q|A.B|.R|/A.B.C.C|().R|/A.B.C.x| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/middlePartOfQualifiedCallWithNestedClasses.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/middlePartOfQualifiedCallWithNestedClasses.txt index 6f4ee106905..916091390fc 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/middlePartOfQualifiedCallWithNestedClasses.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/middlePartOfQualifiedCallWithNestedClasses.txt @@ -4,3 +4,33 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: Q|A.B| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] middlePartOfQualifiedCallWithNestedClasses.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class B : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class C : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B.C| { + LAZY_super + } + + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val x: R|kotlin/Int| = Int(10) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + + } + + } + + } + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + Q|A.B|.R|/A.B.C.C|().R|/A.B.C.x| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallUnresolved.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallUnresolved.txt index 2c3a0c85f8d..19f6b86437c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallUnresolved.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallUnresolved.txt @@ -3,4 +3,24 @@ FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -#() \ No newline at end of file +#() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] qualifiedPartOfQualifiedCallUnresolved.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class FF : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|FF| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] fun handleLeftBracketInFragment(): R|kotlin/Unit| { + { + [ResolvedTo(BODY_RESOLVE)] lval : = #() + [ResolvedTo(BODY_RESOLVE)] lval : = R|/|.# + R|/|.# = R|/|.#() + R|/| + } + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallWithNestedClasses.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallWithNestedClasses.txt index 61cdafac8bc..443cca84350 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallWithNestedClasses.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/qualifiedExpressions/qualifiedPartOfQualifiedCallWithNestedClasses.txt @@ -4,3 +4,33 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: Q|A.B| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] qualifiedPartOfQualifiedCallWithNestedClasses.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class B : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] class C : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|A.B.C| { + LAZY_super + } + + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val x: R|kotlin/Int| = Int(10) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + + } + + } + + } + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + Q|A.B|.R|/A.B.C.C|().R|/A.B.C.x| + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.kt index bbc58ce7bb9..f96d39ed1e3 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.kt @@ -1,2 +1,2 @@ -fun x(): (Int) -> String = TODO() \ No newline at end of file +fun x(): (Int) -> String = { "" } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.txt index db1a64b0000..1064948fb95 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalType.txt @@ -4,3 +4,13 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|(kotlin/Int) -> kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] functionalType.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|(kotlin/Int) -> kotlin/String| { + ^x [ResolvedTo(BODY_RESOLVE)] fun ([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/String| { + ^ String() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.kt index 4f6cc391066..e59f2675c4d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.kt @@ -1,2 +1,2 @@ -fun x(): (Int ) -> String= TODO() \ No newline at end of file +fun x(): (Int ) -> String= { } \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.txt index 17750fbc3cf..661dede06f5 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/functionalTypeArgument.txt @@ -3,4 +3,14 @@ FIR element: FirFunctionTypeParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -R|kotlin/Int| \ No newline at end of file +R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] functionalTypeArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|(kotlin/Int) -> kotlin/String| { + ^x [ResolvedTo(BODY_RESOLVE)] fun ([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/Int|): R|kotlin/Unit| { + ^ Unit + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.kt index 92428c462c7..fa2882526f6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.kt @@ -1 +1 @@ -fun x(): List = TODO() \ No newline at end of file +fun x(): List = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.txt index d6a41c7cc26..71bb7b71535 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCount.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] invalidTypeArgumentsCount.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.kt index f74bf57bba0..9aab883493e 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.kt @@ -1 +1 @@ -fun x(): ListString> = TODO() \ No newline at end of file +fun x(): ListString> = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.txt index 25bb8333b45..fee40a910f4 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] invalidTypeArgumentsCountArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.kt index 50dda1c7177..7858081385f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.kt @@ -1 +1 @@ -fun x(): List< String, Int > = TODO() \ No newline at end of file +fun x(): List< String, Int > = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.txt index 25bb8333b45..e22d9666140 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountFirstArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] invalidTypeArgumentsCountFirstArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.kt index f74bf57bba0..9aab883493e 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.kt @@ -1 +1 @@ -fun x(): ListString> = TODO() \ No newline at end of file +fun x(): ListString> = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.txt index 25bb8333b45..a6caab5cb85 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/invalidTypeArgumentsCountLastArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] invalidTypeArgumentsCountLastArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.kt index fb72d2fad73..29e45d686dc 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.kt @@ -1 +1 @@ -fun x(): Map Int >> = TODO() \ No newline at end of file +fun x(): Map Int >> = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.txt index 8e72aa03740..e6358b6b20b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nestedTypeArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] nestedTypeArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/collections/Map>| { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.kt index 50566fddb09..337050feb77 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.kt @@ -1,2 +1,2 @@ -fun x(): Int? = TODO() \ No newline at end of file +fun x(): Int? = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.txt index be5c1122865..36619db79e6 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableType.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/Int?| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] nullableType.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Int?| { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.kt index 139d152312a..ae1d6611f23 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.kt @@ -1,2 +1,2 @@ -fun x(): Int? = TODO() \ No newline at end of file +fun x(): Int? = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.txt index 3f9369d9389..e282809f98a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/nullableTypeWithooutQuestionMark.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/Int?| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] nullableTypeWithooutQuestionMark.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Int?| { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.kt index 7c7389ceb39..8fa87adc8dc 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.kt @@ -1 +1 @@ -fun x(): Map List > = TODO() \ No newline at end of file +fun x(): Map List > = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.txt index 32f9961a7b4..43d4b7613bb 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/typeArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/collections/List| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] typeArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/collections/Map>| { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.kt index 2da0bc0521a..5eb696813df 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.kt @@ -1 +1 @@ -fun x(): List = TODO() \ No newline at end of file +fun x(): List = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.txt index 28594184547..3fdb5bdae01 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeArgumentResolvedTypeConsturctor.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/collections/List| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] unresolvedTypeArgumentResolvedTypeConsturctor.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/collections/List| { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.kt index 8f45d385842..2f702b7cb14 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.kt @@ -1 +1 @@ -fun x(): UNRESOLVED Int >> = TODO() \ No newline at end of file +fun x(): UNRESOLVED Int >> = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.txt index 8e72aa03740..f592fd64c7d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedNestedTypeArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] unresolvedTypeConsturctorResolvedNestedTypeArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.kt index e9c1214fcf6..e1d3cabdb0b 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.kt @@ -1 +1 @@ -fun x(): UNRESOLVED List > = TODO() \ No newline at end of file +fun x(): UNRESOLVED List > = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.txt index 32f9961a7b4..fff65def035 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/unresolvedTypeConsturctorResolvedTypeArgument.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/collections/List| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] unresolvedTypeConsturctorResolvedTypeArgument.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.kt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.kt index a2185bf820c..19827144d6c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.kt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.kt @@ -1 +1 @@ -fun x(): Map> = TODO() \ No newline at end of file +fun x(): Map> = 1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.txt index 02d2aba55a4..b74560f8ba3 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/types/wholeType.txt @@ -4,3 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: R|kotlin/collections/Map>| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] wholeType.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/collections/Map>| { + ^x Int(1) + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/classTypeParemeter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/classTypeParemeter.txt index 5133cb4ba5d..61e777ba132 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/classTypeParemeter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/classTypeParemeter.txt @@ -3,4 +3,14 @@ FIR element: FirTypeParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] T \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] T + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] classTypeParemeter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] class X<[ResolvedTo(BODY_RESOLVE)] T> : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor<[ResolvedTo(BODY_RESOLVE)] T>(): R|X| { + super() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/enumEntry.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/enumEntry.txt index 3ccd9b22f47..aa28dfe014c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/enumEntry.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/enumEntry.txt @@ -3,4 +3,24 @@ FIR element: FirEnumEntryImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -public final static [ResolvedTo(BODY_RESOLVE)] enum entry ENTRY: R|X| \ No newline at end of file +public final static [ResolvedTo(BODY_RESOLVE)] enum entry ENTRY: R|X| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] enumEntry.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] enum class X : R|kotlin/Enum| { + private [ResolvedTo(STATUS)] constructor(): R|X| { + LAZY_super|> + } + + public final static [ResolvedTo(BODY_RESOLVE)] enum entry ENTRY: R|X| + public final static [ResolvedTo(STATUS)] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(STATUS)] fun valueOf([ResolvedTo(STATUS)] value: R|kotlin/String|): R|X| { + } + + public final static [ResolvedTo(STATUS)] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(STATUS)] get(): R|kotlin/enums/EnumEntries| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionTypeParemeter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionTypeParemeter.txt index 5133cb4ba5d..d423a89f468 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionTypeParemeter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionTypeParemeter.txt @@ -3,4 +3,10 @@ FIR element: FirTypeParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] T \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] T + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] functionTypeParemeter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T> x(): R|kotlin/Unit| + public? final? [ResolvedTo(RAW_FIR)] fun (): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionValueParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionValueParameter.txt index 0a5a828bf2c..acccc02cc01 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionValueParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/functionValueParameter.txt @@ -3,4 +3,10 @@ FIR element: FirValueParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] functionValueParameter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/getter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/getter.txt index 12ae5f892c8..db8826f805d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/getter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/getter.txt @@ -5,4 +5,12 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| { ^ String() -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] getter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/String| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| { + ^ String() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localClass.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localClass.txt index 85a9d771e13..64d48ea998e 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localClass.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localClass.txt @@ -10,4 +10,19 @@ local final [ResolvedTo(BODY_RESOLVE)] class X : R|kotlin/Any| { public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] localClass.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/Unit| { + local final [ResolvedTo(BODY_RESOLVE)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localFunction.txt index 60a73afd200..ee582413c0d 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localFunction.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localFunction.txt @@ -5,4 +5,14 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: local final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/String| { ^x String() -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] localFunction.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/Unit| { + local final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/String| { + ^x String() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localProperty.txt index c6796bf5b69..23464c8afed 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/localProperty.txt @@ -3,4 +3,11 @@ FIR element: FirPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/String| = String() \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/String| = String() + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] localProperty.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/Unit| { + [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/String| = String() + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberFunction.txt index fc3b77487cc..7e6e786f99a 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberFunction.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberFunction.txt @@ -5,4 +5,18 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/String| { ^x String() -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] memberFunction.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class Y : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|Y| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/String| { + ^x String() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberProperty.txt index b7c7ca31d38..1329ce07dfe 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberProperty.txt @@ -4,4 +4,17 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/String| = String() - public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| \ No newline at end of file + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] memberProperty.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class Y : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|Y| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/String| = String() + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberTypeAlias.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberTypeAlias.txt index 9c02e374c6a..7bdb98ab33f 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberTypeAlias.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/memberTypeAlias.txt @@ -3,4 +3,16 @@ FIR element: FirTypeAliasImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -public final [ResolvedTo(BODY_RESOLVE)] typealias Str = R|kotlin/String| \ No newline at end of file +public final [ResolvedTo(BODY_RESOLVE)] typealias Str = R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] memberTypeAlias.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class Y : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|Y| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] typealias Str = R|kotlin/String| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/nestedClass.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/nestedClass.txt index 4b492cf5858..2479a575551 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/nestedClass.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/nestedClass.txt @@ -10,4 +10,23 @@ public final [ResolvedTo(BODY_RESOLVE)] class X : R|kotlin/Any| { public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] nestedClass.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class Y : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor(): R|Y| { + LAZY_super + } + + public final [ResolvedTo(BODY_RESOLVE)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|Y.X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| + + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValValueParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValValueParameter.txt index 0a5a828bf2c..c1c20ec9397 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValValueParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValValueParameter.txt @@ -3,4 +3,17 @@ FIR element: FirValueParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] primaryConstructorValValueParameter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = R|/x| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValueParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValueParameter.txt index 0a5a828bf2c..912fb316952 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValueParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/primaryConstructorValueParameter.txt @@ -3,4 +3,14 @@ FIR element: FirValueParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] primaryConstructorValueParameter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int|): R|X| { + super() + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/secondaryConstructorValueParameter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/secondaryConstructorValueParameter.txt index 51a32e432ce..0c59e89ae03 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/secondaryConstructorValueParameter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/secondaryConstructorValueParameter.txt @@ -3,4 +3,18 @@ FIR element: FirValueParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -[ResolvedTo(BODY_RESOLVE)] y: R|kotlin/String| \ No newline at end of file +[ResolvedTo(BODY_RESOLVE)] y: R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] secondaryConstructorValueParameter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(STATUS)] class X : R|kotlin/Any| { + public [ResolvedTo(STATUS)] constructor([ResolvedTo(STATUS)] x: R|kotlin/Int|): R|X| { + LAZY_super + } + + public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] y: R|kotlin/String|): R|X| { + this(Int(1)) + } + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/setter.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/setter.txt index 627b879952f..ba485946a3c 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/setter.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/setter.txt @@ -4,4 +4,12 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit| { -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] setter.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/String| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|kotlin/Unit| { + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelClass.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelClass.txt index 81583db3da9..01d63335441 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelClass.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelClass.txt @@ -10,4 +10,16 @@ public final [ResolvedTo(BODY_RESOLVE)] class X : R|kotlin/Any| { public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] topLevelClass.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] class X : R|kotlin/Any| { + public [ResolvedTo(BODY_RESOLVE)] constructor(): R|X| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelFunction.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelFunction.txt index 71111f8d46e..a1df2c30193 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelFunction.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelFunction.txt @@ -6,4 +6,12 @@ FIR element rendered: public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { local final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| -} \ No newline at end of file +} + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] topLevelFunction.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { + local final [ResolvedTo(BODY_RESOLVE)] fun y(): R|kotlin/String| + + } diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelProperty.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelProperty.txt index e5f549ca312..e54317f4373 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelProperty.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelProperty.txt @@ -4,4 +4,10 @@ FIR source kind: KtRealSourceElementKind FIR element rendered: public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1) - public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| \ No newline at end of file + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] topLevelProperty.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| diff --git a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelTypelTypeAlias.txt b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelTypelTypeAlias.txt index 9c02e374c6a..0e63bd439b5 100644 --- a/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelTypelTypeAlias.txt +++ b/analysis/low-level-api-fir/testdata/getOrBuildFir/wholeDeclaration/topLevelTypelTypeAlias.txt @@ -3,4 +3,9 @@ FIR element: FirTypeAliasImpl FIR source kind: KtRealSourceElementKind FIR element rendered: -public final [ResolvedTo(BODY_RESOLVE)] typealias Str = R|kotlin/String| \ No newline at end of file +public final [ResolvedTo(BODY_RESOLVE)] typealias Str = R|kotlin/String| + +FIR FILE: +FILE: [ResolvedTo(IMPORTS)] topLevelTypelTypeAlias.kt + [ResolvedTo(BODY_RESOLVE)] annotations container + public final [ResolvedTo(BODY_RESOLVE)] typealias Str = R|kotlin/String| diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractGetOrBuildFirTest.kt b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractGetOrBuildFirTest.kt index 208753cf3d1..099734e9be3 100644 --- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractGetOrBuildFirTest.kt +++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/AbstractGetOrBuildFirTest.kt @@ -6,11 +6,13 @@ package org.jetbrains.kotlin.analysis.low.level.api.fir import org.jetbrains.kotlin.analysis.low.level.api.fir.api.getOrBuildFir +import org.jetbrains.kotlin.analysis.low.level.api.fir.api.getOrBuildFirFile import org.jetbrains.kotlin.analysis.low.level.api.fir.test.base.AbstractLowLevelApiSingleFileTest import org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators.AnalysisApiFirOutOfContentRootTestConfigurator import org.jetbrains.kotlin.analysis.low.level.api.fir.test.configurators.AnalysisApiFirSourceTestConfigurator import org.jetbrains.kotlin.analysis.test.framework.services.expressionMarkerProvider import org.jetbrains.kotlin.fir.FirElement +import org.jetbrains.kotlin.fir.declarations.FirFile import org.jetbrains.kotlin.fir.declarations.FirImport import org.jetbrains.kotlin.fir.renderer.FirFileAnnotationsContainerRenderer import org.jetbrains.kotlin.fir.renderer.FirPackageDirectiveRenderer @@ -18,34 +20,39 @@ import org.jetbrains.kotlin.fir.renderer.FirRenderer import org.jetbrains.kotlin.fir.renderer.FirResolvePhaseRenderer import org.jetbrains.kotlin.psi.KtElement import org.jetbrains.kotlin.psi.KtFile -import org.jetbrains.kotlin.psi.psiUtil.collectDescendantsOfType -import org.jetbrains.kotlin.test.builders.TestConfigurationBuilder -import org.jetbrains.kotlin.test.directives.model.SimpleDirectivesContainer import org.jetbrains.kotlin.test.services.TestModuleStructure import org.jetbrains.kotlin.test.services.TestServices import org.jetbrains.kotlin.test.services.assertions abstract class AbstractGetOrBuildFirTest : AbstractLowLevelApiSingleFileTest() { - override fun doTestByFileStructure(ktFile: KtFile, moduleStructure: TestModuleStructure, testServices: TestServices) { val module = moduleStructure.modules.single() val selectedElement = testServices.expressionMarkerProvider.getSelectedElementOfTypeByDirective(ktFile, module) as KtElement val actual = resolveWithClearCaches(ktFile) { session -> - renderActualFir(selectedElement.getOrBuildFir(session), selectedElement) + renderActualFir( + fir = selectedElement.getOrBuildFir(session), + ktElement = selectedElement, + firFile = ktFile.getOrBuildFirFile(session), + ) } + testServices.assertions.assertEqualsToTestDataFileSibling(actual) } } -fun renderActualFir(fir: FirElement?, ktElement: KtElement, renderKtText: Boolean = false): String { - return """|KT element: ${ktElement::class.simpleName}${if (renderKtText) "\nKT element text:\n" + ktElement.text else ""} - |FIR element: ${fir?.let { it::class.simpleName }} - |FIR source kind: ${fir?.source?.kind?.let { it::class.simpleName }} - | - |FIR element rendered: - |${render(fir).trimEnd()}""".trimMargin() -} +fun renderActualFir( + fir: FirElement?, + ktElement: KtElement, + renderKtText: Boolean = false, + firFile: FirFile? = null, +): String = """ + |KT element: ${ktElement::class.simpleName}${if (renderKtText) "\nKT element text:\n" + ktElement.text else ""} + |FIR element: ${fir?.let { it::class.simpleName }} + |FIR source kind: ${fir?.source?.kind?.let { it::class.simpleName }} + | + |FIR element rendered: + |${render(fir).trimEnd()}${if (firFile != null) "\n\nFIR FILE:\n${render(firFile).trimEnd()}" else ""}""".trimMargin() private fun render(firElement: FirElement?): String = when (firElement) { null -> "null"