diff --git a/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentMappingLazyResolver.kt b/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentMappingLazyResolver.kt index 172c804dcf8..12b982a7b71 100644 --- a/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentMappingLazyResolver.kt +++ b/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentMappingLazyResolver.kt @@ -65,7 +65,12 @@ private class LLFirAnnotationArgumentsMappingTargetResolver( ) override fun doLazyResolveUnderLock(target: FirElementWithResolveState) { - resolveWithKeeper(target, target.llFirSession, AnnotationArgumentMappingStateKeepers.DECLARATION) { + resolveWithKeeper( + target, + target.llFirSession, + AnnotationArgumentMappingStateKeepers.DECLARATION, + prepareTarget = FirLazyBodiesCalculator::calculateAnnotations, + ) { transformAnnotations(target) } } diff --git a/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentsLazyResolver.kt b/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentsLazyResolver.kt deleted file mode 100644 index 0cd8af76ad5..00000000000 --- a/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirAnnotationArgumentsLazyResolver.kt +++ /dev/null @@ -1,86 +0,0 @@ -/* - * Copyright 2010-2023 JetBrains s.r.o. and Kotlin Programming Language contributors. - * Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file. - */ - -package org.jetbrains.kotlin.analysis.low.level.api.fir.transformers - -import org.jetbrains.kotlin.analysis.low.level.api.fir.api.targets.LLFirResolveTarget -import org.jetbrains.kotlin.analysis.low.level.api.fir.api.throwUnexpectedFirElementError -import org.jetbrains.kotlin.analysis.low.level.api.fir.file.builder.LLFirLockProvider -import org.jetbrains.kotlin.analysis.low.level.api.fir.lazy.resolve.FirLazyBodiesCalculator -import org.jetbrains.kotlin.fir.FirElementWithResolveState -import org.jetbrains.kotlin.fir.FirSession -import org.jetbrains.kotlin.fir.declarations.* -import org.jetbrains.kotlin.fir.resolve.ResolutionMode -import org.jetbrains.kotlin.fir.resolve.ScopeSession -import org.jetbrains.kotlin.fir.resolve.transformers.body.resolve.FirResolveContextCollector -import org.jetbrains.kotlin.fir.resolve.transformers.plugin.FirAnnotationArgumentsResolveTransformer -import org.jetbrains.kotlin.fir.visitors.transformSingle - -internal object LLFirAnnotationArgumentsLazyResolver : LLFirLazyResolver(FirResolvePhase.ARGUMENTS_OF_ANNOTATIONS) { - override fun resolve( - target: LLFirResolveTarget, - lockProvider: LLFirLockProvider, - session: FirSession, - scopeSession: ScopeSession, - towerDataContextCollector: FirResolveContextCollector?, - ) { - val resolver = LLFirAnnotationArgumentsTargetResolver(target, lockProvider, session, scopeSession, towerDataContextCollector) - resolver.resolveDesignation() - } -} - -private class LLFirAnnotationArgumentsTargetResolver( - target: LLFirResolveTarget, - lockProvider: LLFirLockProvider, - session: FirSession, - scopeSession: ScopeSession, - firResolveContextCollector: FirResolveContextCollector?, -) : LLFirAbstractBodyTargetResolver( - target, - lockProvider, - scopeSession, - FirResolvePhase.ARGUMENTS_OF_ANNOTATIONS, -) { - override val transformer = FirAnnotationArgumentsResolveTransformer( - session, - scopeSession, - resolverPhase, - returnTypeCalculator = createReturnTypeCalculator(firResolveContextCollector = firResolveContextCollector), - firResolveContextCollector = firResolveContextCollector, - ) - - @Deprecated("Should never be called directly, only for override purposes, please use withRegularClass", level = DeprecationLevel.ERROR) - override fun withRegularClassImpl(firClass: FirRegularClass, action: () -> Unit) { - transformer.declarationsTransformer.withRegularClass(firClass) { - action() - firClass - } - } - - override fun doLazyResolveUnderLock(target: FirElementWithResolveState) { - FirLazyBodiesCalculator.calculateAnnotations(target) - - when { - target is FirRegularClass -> { - val declarationTransformer = transformer.declarationsTransformer - target.transformAnnotations(declarationTransformer, ResolutionMode.ContextIndependent) - target.transformTypeParameters(declarationTransformer, ResolutionMode.ContextIndependent) - target.transformSuperTypeRefs(declarationTransformer, ResolutionMode.ContextIndependent) - } - - target is FirScript -> { - target.transformAnnotations(transformer.declarationsTransformer, ResolutionMode.ContextIndependent) - } - - target.isRegularDeclarationWithAnnotation -> { - target.transformSingle(transformer, ResolutionMode.ContextIndependent) - } - - target is FirCodeFragment || target is FirFile -> {} - - else -> throwUnexpectedFirElementError(target) - } - } -} diff --git a/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirLazyPhaseResolverByPhase.kt b/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirLazyPhaseResolverByPhase.kt index 7e99620d608..3f3d837ae8e 100644 --- a/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirLazyPhaseResolverByPhase.kt +++ b/analysis/low-level-api-fir/src/org/jetbrains/kotlin/analysis/low/level/api/fir/transformers/LLFirLazyPhaseResolverByPhase.kt @@ -15,7 +15,6 @@ internal object LLFirLazyPhaseResolverByPhase { this[FirResolvePhase.TYPES] = LLFirTypeLazyResolver this[FirResolvePhase.STATUS] = LLFirStatusLazyResolver this[FirResolvePhase.COMPILER_REQUIRED_ANNOTATIONS] = LLFirCompilerAnnotationsLazyResolver - this[FirResolvePhase.ARGUMENTS_OF_ANNOTATIONS] = LLFirAnnotationArgumentsLazyResolver this[FirResolvePhase.CONTRACTS] = LLFirContractsLazyResolver this[FirResolvePhase.IMPLICIT_TYPES_BODY_RESOLVE] = LLFirImplicitTypesLazyResolver this[FirResolvePhase.ANNOTATIONS_ARGUMENTS_MAPPING] = LLFirAnnotationArgumentMappingLazyResolver diff --git a/analysis/low-level-api-fir/testData/inBlockModification/contract.out_of_src_roots.txt b/analysis/low-level-api-fir/testData/inBlockModification/contract.out_of_src_roots.txt index a8405f0cf64..81f9549d8eb 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/contract.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/contract.out_of_src_roots.txt @@ -18,4 +18,4 @@ public final inline [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE) } AFTER MODIFICATION: -public final inline [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo([ResolvedTo(BODY_RESOLVE)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } +public final inline [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo([ResolvedTo(BODY_RESOLVE)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/contract.txt b/analysis/low-level-api-fir/testData/inBlockModification/contract.txt index e7c106948e1..4ce9cb6e3c5 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/contract.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/contract.txt @@ -16,4 +16,4 @@ public final inline [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE) } AFTER MODIFICATION: -public final inline [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo([ResolvedTo(BODY_RESOLVE)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } +public final inline [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo([ResolvedTo(BODY_RESOLVE)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/contractScript.txt b/analysis/low-level-api-fir/testData/inBlockModification/contractScript.txt index e7c106948e1..4ce9cb6e3c5 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/contractScript.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/contractScript.txt @@ -16,4 +16,4 @@ public final inline [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE) } AFTER MODIFICATION: -public final inline [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo([ResolvedTo(BODY_RESOLVE)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } +public final inline [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo([ResolvedTo(BODY_RESOLVE)] block: R|() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.out_of_src_roots.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.out_of_src_roots.txt index 3949d0b8af2..950b97666d1 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.out_of_src_roots.txt @@ -18,4 +18,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.txt index a2fb4e25c9e..838bd630837 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContract.txt @@ -15,4 +15,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContractScript.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContractScript.txt index a2fb4e25c9e..838bd630837 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContractScript.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithContractScript.txt @@ -15,4 +15,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.out_of_src_roots.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.out_of_src_roots.txt index c49cac7fc88..5de95b7c043 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.out_of_src_roots.txt @@ -12,4 +12,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun passLambdaValue([ResolvedTo(BODY_RES } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun passLambdaValue([ResolvedTo(BODY_RESOLVE)] l: R|ERROR CLASS: Symbol not found for ContractBuilder.() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun passLambdaValue([ResolvedTo(BODY_RESOLVE)] l: R|ERROR CLASS: Symbol not found for ContractBuilder.() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.txt index 47c1cdbbe79..72d29705166 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContract.txt @@ -12,4 +12,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun passLambdaValue([ResolvedTo(BODY_RES } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun passLambdaValue([ResolvedTo(BODY_RESOLVE)] l: R|kotlin/contracts/ContractBuilder.() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun passLambdaValue([ResolvedTo(BODY_RESOLVE)] l: R|kotlin/contracts/ContractBuilder.() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContractScript.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContractScript.txt index 47c1cdbbe79..72d29705166 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContractScript.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithErrorContractScript.txt @@ -12,4 +12,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun passLambdaValue([ResolvedTo(BODY_RES } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun passLambdaValue([ResolvedTo(BODY_RESOLVE)] l: R|kotlin/contracts/ContractBuilder.() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun passLambdaValue([ResolvedTo(BODY_RESOLVE)] l: R|kotlin/contracts/ContractBuilder.() -> kotlin/Unit|): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContract.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContract.txt index 3949d0b8af2..950b97666d1 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContract.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContract.txt @@ -18,4 +18,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContractScript.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContractScript.txt index 3949d0b8af2..950b97666d1 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContractScript.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberFunWithBodyWithFakeContractScript.txt @@ -18,4 +18,4 @@ public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun x(): R|kotlin/Unit| { LAZY_BLOCK } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.out_of_src_roots.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.out_of_src_roots.txt index 949bcd5fc8a..f84fe9e68fb 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.out_of_src_roots.txt @@ -26,8 +26,8 @@ public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] var x: R|kotlin/Int| - public [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var x: R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { ^ Q|kotlin/Unit| } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.txt index 27c3eb22663..75b8f8cc461 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContract.txt @@ -23,8 +23,8 @@ public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] var x: R|kotlin/Int| - public [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var x: R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { ^ Q|kotlin/Unit| } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractScript.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractScript.txt index 27c3eb22663..75b8f8cc461 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractScript.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractScript.txt @@ -23,8 +23,8 @@ public final [ResolvedTo(BODY_RESOLVE)] var x: R|kotlin/Int| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] var x: R|kotlin/Int| - public [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var x: R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { ^ Q|kotlin/Unit| } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.out_of_src_roots.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.out_of_src_roots.txt index 5bd8575a30f..106adbb7a76 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.out_of_src_roots.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.out_of_src_roots.txt @@ -26,8 +26,8 @@ public final [ResolvedTo(BODY_RESOLVE)] var : R|kotlin/Int| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] var : R|kotlin/Int| - public [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var : R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { ^ Q|kotlin/Unit| } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.txt index 17adf14c7d5..d7141853240 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutName.txt @@ -23,8 +23,8 @@ public final [ResolvedTo(BODY_RESOLVE)] var : R|kotlin/Int| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] var : R|kotlin/Int| - public [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var : R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { ^ Q|kotlin/Unit| } diff --git a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutNameScript.txt b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutNameScript.txt index 17adf14c7d5..d7141853240 100644 --- a/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutNameScript.txt +++ b/analysis/low-level-api-fir/testData/inBlockModification/memberGetterWithBodyWithContractWithoutNameScript.txt @@ -23,8 +23,8 @@ public final [ResolvedTo(BODY_RESOLVE)] var : R|kotlin/Int| } AFTER MODIFICATION: -public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] var : R|kotlin/Int| - public [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } +public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var : R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=A] get(): R|kotlin/Int| { LAZY_BLOCK } public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=A] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| { ^ Q|kotlin/Unit| } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMix.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMix.txt index 83a91d79c81..0852aef41cc 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMix.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMix.txt @@ -358,74 +358,29 @@ FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMix.kt } @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK } -ARGUMENTS_OF_ANNOTATIONS: -FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMix.kt - public final [ResolvedTo(STATUS)] annotation class AnotherAnnotation : R|kotlin/Annotation| { - public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=AnotherAnnotation] constructor(): R|AnotherAnnotation| { - LAZY_super - } - - } - public final [ResolvedTo(STATUS)] enum class EnumClass : R|kotlin/Enum| { - private [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] constructor(): R|EnumClass| { - LAZY_super|> - } - - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] enum entry First: R|EnumClass| - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] enum entry Second: R|EnumClass| - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] fun values(): R|kotlin/Array| { - } - - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] fun valueOf([ResolvedTo(STATUS)] value: R|kotlin/String|): R|EnumClass| { - } - - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] val entries: R|kotlin/enums/EnumEntries| - public [ResolvedTo(STATUS)] get(): R|kotlin/enums/EnumEntries| - - } - public? final? [ResolvedTo(RAW_FIR)] annotation class Anno : R|kotlin/Annotation| { - public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.str] str: String, [ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.ann] ann: AnotherAnnotation, [ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.c] c: KClass<*>, [ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Anno.entry] entry: EnumClass): R|Anno| { - LAZY_super - } - - public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val str: String = R|/str| - public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): String - - public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val ann: AnotherAnnotation = R|/ann| - public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): AnotherAnnotation - - public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val c: KClass<*> = R|/c| - public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): KClass<*> - - public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val entry: EnumClass = R|/entry| - public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): EnumClass - - } - @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](String(123), AnotherAnnotation#(), (Q|AnotherAnnotation|), Q|EnumClass|.R|/EnumClass.Second|) public final [ResolvedTo(ARGUMENTS_OF_ANNOTATIONS)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK } - CONTRACTS: FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMix.kt - public final [ResolvedTo(STATUS)] annotation class AnotherAnnotation : R|kotlin/Annotation| { + public? final? [ResolvedTo(RAW_FIR)] annotation class AnotherAnnotation : R|kotlin/Annotation| { public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=AnotherAnnotation] constructor(): R|AnotherAnnotation| { LAZY_super } } - public final [ResolvedTo(STATUS)] enum class EnumClass : R|kotlin/Enum| { - private [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] constructor(): R|EnumClass| { + public? final? [ResolvedTo(RAW_FIR)] enum class EnumClass : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] constructor(): R|EnumClass| { LAZY_super|> } - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] enum entry First: R|EnumClass| - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] enum entry Second: R|EnumClass| - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] fun values(): R|kotlin/Array| { + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] enum entry First: R|EnumClass| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] enum entry Second: R|EnumClass| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] fun values(): R|kotlin/Array| { } - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] fun valueOf([ResolvedTo(STATUS)] value: R|kotlin/String|): R|EnumClass| { + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|EnumClass| { } - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] val entries: R|kotlin/enums/EnumEntries| - public [ResolvedTo(STATUS)] get(): R|kotlin/enums/EnumEntries| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| } public? final? [ResolvedTo(RAW_FIR)] annotation class Anno : R|kotlin/Annotation| { @@ -446,32 +401,32 @@ FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMix.kt public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): EnumClass } - @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](String(123), AnotherAnnotation#(), (Q|AnotherAnnotation|), Q|EnumClass|.R|/EnumClass.Second|) public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| { + @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Unit| { } IMPLICIT_TYPES_BODY_RESOLVE: FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMix.kt - public final [ResolvedTo(STATUS)] annotation class AnotherAnnotation : R|kotlin/Annotation| { + public? final? [ResolvedTo(RAW_FIR)] annotation class AnotherAnnotation : R|kotlin/Annotation| { public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=AnotherAnnotation] constructor(): R|AnotherAnnotation| { LAZY_super } } - public final [ResolvedTo(STATUS)] enum class EnumClass : R|kotlin/Enum| { - private [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] constructor(): R|EnumClass| { + public? final? [ResolvedTo(RAW_FIR)] enum class EnumClass : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] constructor(): R|EnumClass| { LAZY_super|> } - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] enum entry First: R|EnumClass| - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] enum entry Second: R|EnumClass| - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] fun values(): R|kotlin/Array| { + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] enum entry First: R|EnumClass| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] enum entry Second: R|EnumClass| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] fun values(): R|kotlin/Array| { } - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] fun valueOf([ResolvedTo(STATUS)] value: R|kotlin/String|): R|EnumClass| { + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|EnumClass| { } - public final static [ResolvedTo(STATUS)] [ContainingClassKey=EnumClass] val entries: R|kotlin/enums/EnumEntries| - public [ResolvedTo(STATUS)] get(): R|kotlin/enums/EnumEntries| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=EnumClass] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| } public? final? [ResolvedTo(RAW_FIR)] annotation class Anno : R|kotlin/Annotation| { @@ -492,7 +447,7 @@ FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMix.kt public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Anno] get(): EnumClass } - @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](String(123), AnotherAnnotation#(), (Q|AnotherAnnotation|), Q|EnumClass|.R|/EnumClass.Second|) public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Unit| { + @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun foo(): R|kotlin/Unit| { } ANNOTATIONS_ARGUMENTS_MAPPING: diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMixScript.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMixScript.txt index b430ee0a2f6..1270f314688 100644 --- a/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMixScript.txt +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationArgumentsMixScript.txt @@ -422,87 +422,34 @@ FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMixScript.kts @R|kotlin/Deprecated|[Types](boo#()) @R|Anno|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun foo(): R|kotlin/Unit| { LAZY_BLOCK } -ARGUMENTS_OF_ANNOTATIONS: -FILE: [ResolvedTo(IMPORTS)] annotationArgumentsMixScript.kts - context(