diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.kt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.kt new file mode 100644 index 00000000000..6e21050b84c --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.kt @@ -0,0 +1 @@ +annotation class WithCycle constructor(val param: WithCycle = WithCycle()) diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.txt new file mode 100644 index 00000000000..4293ac6fe66 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.txt @@ -0,0 +1,167 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] annotationWithCycleInDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class WithCycle : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithCycle.param] param: WithCycle = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val param: WithCycle = R|/param| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] get(): WithCycle + + } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class WithCycle : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithCycle.param] param: WithCycle = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val param: WithCycle = R|/param| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] get(): WithCycle + + } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class WithCycle : R|kotlin/Annotation| { + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [CorrespondingProperty=/WithCycle.param] param: WithCycle = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val param: WithCycle = R|/param| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] get(): WithCycle + + } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final? [ResolvedTo(COMPANION_GENERATION)] annotation class WithCycle : R|kotlin/Annotation| { + public? [ResolvedTo(COMPANION_GENERATION)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(COMPANION_GENERATION)] [CorrespondingProperty=/WithCycle.param] param: WithCycle = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val param: WithCycle = R|/param| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] get(): WithCycle + + } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final? [ResolvedTo(SUPER_TYPES)] annotation class WithCycle : R|kotlin/Annotation| { + public? [ResolvedTo(SUPER_TYPES)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(SUPER_TYPES)] [CorrespondingProperty=/WithCycle.param] param: WithCycle = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val param: WithCycle = R|/param| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] get(): WithCycle + + } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final? [ResolvedTo(TYPES)] annotation class WithCycle : R|kotlin/Annotation| { + public? [ResolvedTo(TYPES)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(TYPES)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val param: WithCycle = R|/param| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithCycle] get(): WithCycle + + } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(STATUS)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(EXPECT_ACTUAL_MATCHING)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(CONTRACTS)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(CONTRACTS)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(CONTRACTS)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(CONSTANT_EVALUATION)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(CONSTANT_EVALUATION)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(CONSTANT_EVALUATION)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(ANNOTATION_ARGUMENTS)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = LAZY_EXPRESSION): R|WithCycle| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = R|/WithCycle.WithCycle|()): R|WithCycle| { + super() + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] annotationWithCycleInDefaults.kt + public final [ResolvedTo(BODY_RESOLVE)] annotation class WithCycle : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithCycle] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithCycle.param] param: R|WithCycle| = R|/WithCycle.WithCycle|()): R|WithCycle| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val param: R|WithCycle| = R|/param| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithCycle] get(): R|WithCycle| + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.kt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.kt new file mode 100644 index 00000000000..36732f29e41 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.kt @@ -0,0 +1,4 @@ +annotation class Simple(val a: Int) + +annotation class WithDeault constructor(val a: Int = 1) + diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.txt new file mode 100644 index 00000000000..b292c2594d6 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.txt @@ -0,0 +1,293 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final? [ResolvedTo(RAW_FIR)] annotation class WithDeault : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithDeault.a] a: Int = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] get(): Int + + } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final? [ResolvedTo(RAW_FIR)] annotation class WithDeault : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithDeault.a] a: Int = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] get(): Int + + } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class WithDeault : R|kotlin/Annotation| { + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [CorrespondingProperty=/WithDeault.a] a: Int = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] get(): Int + + } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final? [ResolvedTo(COMPANION_GENERATION)] annotation class WithDeault : R|kotlin/Annotation| { + public? [ResolvedTo(COMPANION_GENERATION)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(COMPANION_GENERATION)] [CorrespondingProperty=/WithDeault.a] a: Int = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] get(): Int + + } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final? [ResolvedTo(SUPER_TYPES)] annotation class WithDeault : R|kotlin/Annotation| { + public? [ResolvedTo(SUPER_TYPES)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(SUPER_TYPES)] [CorrespondingProperty=/WithDeault.a] a: Int = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] get(): Int + + } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final? [ResolvedTo(TYPES)] annotation class WithDeault : R|kotlin/Annotation| { + public? [ResolvedTo(TYPES)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(TYPES)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithDeault] get(): Int + + } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(STATUS)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(EXPECT_ACTUAL_MATCHING)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(CONTRACTS)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(CONTRACTS)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(CONTRACTS)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(CONSTANT_EVALUATION)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(CONSTANT_EVALUATION)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(CONSTANT_EVALUATION)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(ANNOTATION_ARGUMENTS)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = LAZY_EXPRESSION): R|WithDeault| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = Int(1)): R|WithDeault| { + super() + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] annotationWithDefaults.kt + public final [ResolvedTo(BODY_RESOLVE)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Simple] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + public final [ResolvedTo(BODY_RESOLVE)] annotation class WithDeault : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithDeault] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithDeault.a] a: R|kotlin/Int| = Int(1)): R|WithDeault| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithDeault] get(): R|kotlin/Int| + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.kt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.kt new file mode 100644 index 00000000000..dc3d60a49b1 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.kt @@ -0,0 +1,10 @@ +@WithEnumFromBody("", WithEnumFromBody.MyLevel.ERROR) +public annotation class WithEnumFromBody constructor( + val a: String = "", + @WithEnumFromBody("", WithEnumFromBody.MyLevel.WARNING) val b: MyLevel = MyLevel.ERROR +) { + public enum class MyLevel { + WARNING, + ERROR, + } +} diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.txt new file mode 100644 index 00000000000..535726be705 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.txt @@ -0,0 +1,461 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] annotationWithEnumFromBody.kt + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithEnumFromBody.a] a: String = LAZY_EXPRESSION, [ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithEnumFromBody.b] @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) b: MyLevel = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: String = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): String + + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val b: MyLevel = R|/b| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): MyLevel + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public final? [ResolvedTo(RAW_FIR)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithEnumFromBody.a] a: String = LAZY_EXPRESSION, [ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithEnumFromBody.b] @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) b: MyLevel = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: String = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): String + + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val b: MyLevel = R|/b| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): MyLevel + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [CorrespondingProperty=/WithEnumFromBody.a] a: String = LAZY_EXPRESSION, [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [CorrespondingProperty=/WithEnumFromBody.b] @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) b: MyLevel = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: String = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): String + + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val b: MyLevel = R|/b| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): MyLevel + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public final? [ResolvedTo(COMPANION_GENERATION)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public? [ResolvedTo(COMPANION_GENERATION)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(COMPANION_GENERATION)] [CorrespondingProperty=/WithEnumFromBody.a] a: String = LAZY_EXPRESSION, [ResolvedTo(COMPANION_GENERATION)] [CorrespondingProperty=/WithEnumFromBody.b] @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) b: MyLevel = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: String = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): String + + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val b: MyLevel = R|/b| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): MyLevel + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public final? [ResolvedTo(SUPER_TYPES)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public? [ResolvedTo(SUPER_TYPES)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(SUPER_TYPES)] [CorrespondingProperty=/WithEnumFromBody.a] a: String = LAZY_EXPRESSION, [ResolvedTo(SUPER_TYPES)] [CorrespondingProperty=/WithEnumFromBody.b] @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) b: MyLevel = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: String = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): String + + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val b: MyLevel = R|/b| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): MyLevel + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) public final? [ResolvedTo(TYPES)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public? [ResolvedTo(TYPES)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(TYPES)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(TYPES)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: String = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): String + + @WithEnumFromBody[Unresolved](LAZY_EXPRESSION, LAZY_EXPRESSION) public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val b: MyLevel = R|/b| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithEnumFromBody] get(): MyLevel + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(STATUS)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(STATUS)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(EXPECT_ACTUAL_MATCHING)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(CONTRACTS)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(CONTRACTS)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(CONTRACTS)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(CONTRACTS)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) public final [ResolvedTo(CONSTANT_EVALUATION)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(CONSTANT_EVALUATION)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(CONSTANT_EVALUATION)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(CONSTANT_EVALUATION)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](LAZY_EXPRESSION, LAZY_EXPRESSION) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final? [ResolvedTo(RAW_FIR)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(RAW_FIR)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(RAW_FIR)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(RAW_FIR)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](a = String(), b = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.ERROR|) public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(ANNOTATION_ARGUMENTS)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = LAZY_EXPRESSION, [ResolvedTo(ANNOTATION_ARGUMENTS)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](a = String(), b = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.WARNING|) b: R|WithEnumFromBody.MyLevel| = LAZY_EXPRESSION): R|WithEnumFromBody| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final [ResolvedTo(STATUS)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(STATUS)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(STATUS)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](a = String(), b = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.ERROR|) public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = String(), [ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](a = String(), b = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.WARNING|) b: R|WithEnumFromBody.MyLevel| = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.ERROR|): R|WithEnumFromBody| { + super() + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final [ResolvedTo(STATUS)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + LAZY_super|> + } + + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(STATUS)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(STATUS)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(STATUS)] get(): R|kotlin/enums/EnumEntries| + + } + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] annotationWithEnumFromBody.kt + @R|WithEnumFromBody|[Types](a = String(), b = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.ERROR|) public final [ResolvedTo(BODY_RESOLVE)] annotation class WithEnumFromBody : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithEnumFromBody] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithEnumFromBody.a] a: R|kotlin/String| = String(), [ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithEnumFromBody.b] @R|WithEnumFromBody|[Types](a = String(), b = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.WARNING|) b: R|WithEnumFromBody.MyLevel| = Q|WithEnumFromBody.MyLevel|.R|/WithEnumFromBody.MyLevel.ERROR|): R|WithEnumFromBody| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/String| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithEnumFromBody] get(): R|kotlin/String| + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val b: R|WithEnumFromBody.MyLevel| = R|/b| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithEnumFromBody] get(): R|WithEnumFromBody.MyLevel| + + public final [ResolvedTo(BODY_RESOLVE)] enum class MyLevel : R|kotlin/Enum| { + private [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyLevel] constructor(): R|WithEnumFromBody.MyLevel| { + super|>() + } + + public final static [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyLevel] enum entry WARNING: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyLevel] enum entry ERROR: R|WithEnumFromBody.MyLevel| + public final static [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyLevel] fun values(): R|kotlin/Array| { + } + + public final static [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyLevel] fun valueOf([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|WithEnumFromBody.MyLevel| { + } + + public final static [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=MyLevel] val entries: R|kotlin/enums/EnumEntries| + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/enums/EnumEntries| + + } + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.kt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.kt new file mode 100644 index 00000000000..4303952e385 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.kt @@ -0,0 +1,3 @@ +annotation class WithErrorSecondaryConstructor constructor(val a: Int) { + constructor(): this(0) +} diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.txt new file mode 100644 index 00000000000..25747ff0eee --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.txt @@ -0,0 +1,223 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] annotationWithSecondaryConstructor.kt + public final? [ResolvedTo(RAW_FIR)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final? [ResolvedTo(RAW_FIR)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final? [ResolvedTo(COMPANION_GENERATION)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(COMPANION_GENERATION)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(COMPANION_GENERATION)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final? [ResolvedTo(SUPER_TYPES)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(SUPER_TYPES)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(SUPER_TYPES)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final? [ResolvedTo(TYPES)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(TYPES)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(TYPES)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(STATUS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(EXPECT_ACTUAL_MATCHING)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(CONTRACTS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(CONTRACTS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(CONTRACTS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(CONSTANT_EVALUATION)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(CONSTANT_EVALUATION)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(CONSTANT_EVALUATION)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(ANNOTATION_ARGUMENTS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + super() + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] annotationWithSecondaryConstructor.kt + public final [ResolvedTo(BODY_RESOLVE)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(Int(0)) + } + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.kt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.kt new file mode 100644 index 00000000000..1634aeeeb97 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.kt @@ -0,0 +1,3 @@ +annotation class WithErrorSecondaryConstructor constructor(val a: Int) { + constructor(): this(0) +} diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.txt new file mode 100644 index 00000000000..0d0aa9f8568 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.txt @@ -0,0 +1,223 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] annotationWithSecondaryConstructor2.kt + public final? [ResolvedTo(RAW_FIR)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final? [ResolvedTo(RAW_FIR)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final? [ResolvedTo(COMPANION_GENERATION)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(COMPANION_GENERATION)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final? [ResolvedTo(SUPER_TYPES)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(SUPER_TYPES)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final? [ResolvedTo(TYPES)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: Int): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): Int + + public? [ResolvedTo(TYPES)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(STATUS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + LAZY_this + } + + } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(CONTRACTS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(CONTRACTS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(IntegerLiteral(0)) + } + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(IntegerLiteral(0)) + } + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(CONSTANT_EVALUATION)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(CONSTANT_EVALUATION)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(IntegerLiteral(0)) + } + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(IntegerLiteral(0)) + } + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(Int(0)) + } + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] annotationWithSecondaryConstructor2.kt + public final [ResolvedTo(BODY_RESOLVE)] annotation class WithErrorSecondaryConstructor : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/WithErrorSecondaryConstructor.a] a: R|kotlin/Int|): R|WithErrorSecondaryConstructor| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] get(): R|kotlin/Int| + + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=WithErrorSecondaryConstructor] constructor(): R|WithErrorSecondaryConstructor| { + this(Int(0)) + } + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.kt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.kt new file mode 100644 index 00000000000..b39a945ff3d --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.kt @@ -0,0 +1 @@ +annotation class Simple constructor(val a: Int) diff --git a/analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.txt b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.txt new file mode 100644 index 00000000000..76071cb7517 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.txt @@ -0,0 +1,167 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] annotationWithoutDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final? [ResolvedTo(RAW_FIR)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [ContainingClassKey=Simple] constructor([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final? [ResolvedTo(COMPANION_GENERATION)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(COMPANION_GENERATION)] [ContainingClassKey=Simple] constructor([ResolvedTo(COMPANION_GENERATION)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final? [ResolvedTo(SUPER_TYPES)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(SUPER_TYPES)] [ContainingClassKey=Simple] constructor([ResolvedTo(SUPER_TYPES)] [CorrespondingProperty=/Simple.a] a: Int): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final? [ResolvedTo(TYPES)] annotation class Simple : R|kotlin/Annotation| { + public? [ResolvedTo(TYPES)] [ContainingClassKey=Simple] constructor([ResolvedTo(TYPES)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Simple] get(): Int + + } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(STATUS)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] constructor([ResolvedTo(STATUS)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] [ContainingClassKey=Simple] constructor([ResolvedTo(EXPECT_ACTUAL_MATCHING)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(CONTRACTS)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(CONTRACTS)] [ContainingClassKey=Simple] constructor([ResolvedTo(CONTRACTS)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [ContainingClassKey=Simple] constructor([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(CONSTANT_EVALUATION)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(CONSTANT_EVALUATION)] [ContainingClassKey=Simple] constructor([ResolvedTo(CONSTANT_EVALUATION)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(ANNOTATION_ARGUMENTS)] [ContainingClassKey=Simple] constructor([ResolvedTo(ANNOTATION_ARGUMENTS)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + LAZY_super + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] annotationWithoutDefaults.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Simple] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + super() + } + + public final [ResolvedTo(STATUS)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(STATUS)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] annotationWithoutDefaults.kt + public final [ResolvedTo(BODY_RESOLVE)] annotation class Simple : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Simple] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Simple.a] a: R|kotlin/Int|): R|Simple| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Simple] get(): R|kotlin/Int| + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.kt b/analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.kt new file mode 100644 index 00000000000..f27ef276da1 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.kt @@ -0,0 +1,5 @@ +fun localAnnotation() { + annotation class Local1 + annotation class Local2(val a: Int) + annotation class Local3(val a: Int = 1) +} diff --git a/analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.txt b/analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.txt new file mode 100644 index 00000000000..196371a428c --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.txt @@ -0,0 +1,223 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] localAnnotations.kt + public? final? [ResolvedTo(RAW_FIR)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public? final? [ResolvedTo(RAW_FIR)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public? final? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public? final? [ResolvedTo(COMPANION_GENERATION)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public? final? [ResolvedTo(SUPER_TYPES)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +TYPES: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public? final? [ResolvedTo(TYPES)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +STATUS: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(STATUS)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun localAnnotation(): R|kotlin/Unit| { LAZY_BLOCK } + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(CONTRACTS)] fun localAnnotation(): R|kotlin/Unit| { + local final? [ResolvedTo(RAW_FIR)] annotation class Local1 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local1] constructor(): R|/Local1| { + super() + } + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local2 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int): R|/Local2| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] get(): Int + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local3 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int = IntegerLiteral(1)): R|/Local3| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] get(): Int + + } + + } + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun localAnnotation(): R|kotlin/Unit| { + local final? [ResolvedTo(RAW_FIR)] annotation class Local1 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local1] constructor(): R|/Local1| { + super() + } + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local2 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int): R|/Local2| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] get(): Int + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local3 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int = IntegerLiteral(1)): R|/Local3| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] get(): Int + + } + + } + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(CONSTANT_EVALUATION)] fun localAnnotation(): R|kotlin/Unit| { + local final? [ResolvedTo(RAW_FIR)] annotation class Local1 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local1] constructor(): R|/Local1| { + super() + } + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local2 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int): R|/Local2| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] get(): Int + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local3 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int = IntegerLiteral(1)): R|/Local3| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] get(): Int + + } + + } + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun localAnnotation(): R|kotlin/Unit| { + local final? [ResolvedTo(RAW_FIR)] annotation class Local1 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local1] constructor(): R|/Local1| { + super() + } + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local2 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int): R|/Local2| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local2] get(): Int + + } + + local final? [ResolvedTo(RAW_FIR)] annotation class Local3 : R|kotlin/Annotation| { + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] constructor([ResolvedTo(RAW_FIR)] [CorrespondingProperty=/a] a: Int = IntegerLiteral(1)): R|/Local3| { + super() + } + + public? final? [ResolvedTo(RAW_FIR)] [IsFromPrimaryConstructor=true] val a: Int = R|/a| + public? [ResolvedTo(RAW_FIR)] [ContainingClassKey=Local3] get(): Int + + } + + } + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] localAnnotations.kt + public final [ResolvedTo(BODY_RESOLVE)] fun localAnnotation(): R|kotlin/Unit| { + local final [ResolvedTo(BODY_RESOLVE)] annotation class Local1 : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local1] constructor(): R|/Local1| { + super() + } + + } + + local final [ResolvedTo(BODY_RESOLVE)] annotation class Local2 : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local2] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/a] a: R|kotlin/Int|): R|/Local2| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local2] get(): R|kotlin/Int| + + } + + local final [ResolvedTo(BODY_RESOLVE)] annotation class Local3 : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local3] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/a] a: R|kotlin/Int| = Int(1)): R|/Local3| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local3] get(): R|kotlin/Int| + + } + + } + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] localAnnotations.kt + public final [ResolvedTo(BODY_RESOLVE)] fun localAnnotation(): R|kotlin/Unit| { + local final [ResolvedTo(BODY_RESOLVE)] annotation class Local1 : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local1] constructor(): R|/Local1| { + super() + } + + } + + local final [ResolvedTo(BODY_RESOLVE)] annotation class Local2 : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local2] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/a] a: R|kotlin/Int|): R|/Local2| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local2] get(): R|kotlin/Int| + + } + + local final [ResolvedTo(BODY_RESOLVE)] annotation class Local3 : R|kotlin/Annotation| { + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local3] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/a] a: R|kotlin/Int| = Int(1)): R|/Local3| { + super() + } + + public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|/a| + public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Local3] get(): R|kotlin/Int| + + } + + } diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.kt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.kt new file mode 100644 index 00000000000..3a2287e436b --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.kt @@ -0,0 +1,3 @@ +const val withCycle1: Int = 1 + withCycle2 +const val withCycle2: Int = 2 + withCycle3 +const val withCycle3: Int = 3 + withCycle1 \ No newline at end of file diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.txt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.txt new file mode 100644 index 00000000000..5b441b3a080 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.txt @@ -0,0 +1,125 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] constCyclePropertyWithExplicitType.kt + public? final? const [ResolvedTo(RAW_FIR)] val withCycle1: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public? final? const [ResolvedTo(RAW_FIR)] val withCycle1: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val withCycle1: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public? final? const [ResolvedTo(COMPANION_GENERATION)] val withCycle1: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPANION_GENERATION)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public? final? const [ResolvedTo(SUPER_TYPES)] val withCycle1: Int = LAZY_EXPRESSION + public? [ResolvedTo(SUPER_TYPES)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +TYPES: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public? final? const [ResolvedTo(TYPES)] val withCycle1: R|kotlin/Int| = LAZY_EXPRESSION + public? [ResolvedTo(TYPES)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +STATUS: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(STATUS)] val withCycle1: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(STATUS)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val withCycle1: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(CONTRACTS)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#) + public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(CONSTANT_EVALUATION)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#) + public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] val withCycle1: R|kotlin/Int| = IntegerLiteral(1).plus#(withCycle2#) + public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle2: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(BODY_RESOLVE)] val withCycle1: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(R|/withCycle2|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public final const [ResolvedTo(CONTRACTS)] val withCycle2: R|kotlin/Int| = IntegerLiteral(2).plus#(withCycle3#) + public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int| + public? final? const [ResolvedTo(RAW_FIR)] val withCycle3: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] constCyclePropertyWithExplicitType.kt + public final const [ResolvedTo(BODY_RESOLVE)] val withCycle1: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(R|/withCycle2|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public final const [ResolvedTo(BODY_RESOLVE)] val withCycle2: R|kotlin/Int| = Int(2).R|kotlin/Int.plus|(R|/withCycle3|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public final const [ResolvedTo(BODY_RESOLVE)] val withCycle3: R|kotlin/Int| = Int(3).R|kotlin/Int.plus|(R|/withCycle1|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.kt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.kt new file mode 100644 index 00000000000..b368caf2ce5 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.kt @@ -0,0 +1,2 @@ +fun foo(): Int = 0 +const val nonConstantInitializer: Int = 1 + 5 + foo() diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.txt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.txt new file mode 100644 index 00000000000..8514ff0d454 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.txt @@ -0,0 +1,87 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public? final? const [ResolvedTo(RAW_FIR)] val nonConstantInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public? final? const [ResolvedTo(RAW_FIR)] val nonConstantInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val nonConstantInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public? final? const [ResolvedTo(COMPANION_GENERATION)] val nonConstantInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPANION_GENERATION)] get(): Int + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public? final? const [ResolvedTo(SUPER_TYPES)] val nonConstantInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(SUPER_TYPES)] get(): Int + +TYPES: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public? final? const [ResolvedTo(TYPES)] val nonConstantInitializer: R|kotlin/Int| = LAZY_EXPRESSION + public? [ResolvedTo(TYPES)] get(): R|kotlin/Int| + +STATUS: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public final const [ResolvedTo(STATUS)] val nonConstantInitializer: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(STATUS)] get(): R|kotlin/Int| + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val nonConstantInitializer: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int| + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public final const [ResolvedTo(CONTRACTS)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#()) + public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int| + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#()) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public final const [ResolvedTo(CONSTANT_EVALUATION)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#()) + public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int| + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public? final? [ResolvedTo(RAW_FIR)] fun foo(): Int { LAZY_BLOCK } + public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] val nonConstantInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(foo#()) + public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int| + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constErrorPropertyWithExplicitType.kt + public final [ResolvedTo(CONTRACTS)] fun foo(): R|kotlin/Int| { + ^foo IntegerLiteral(0) + } + public final const [ResolvedTo(BODY_RESOLVE)] val nonConstantInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/foo|()) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] constErrorPropertyWithExplicitType.kt + public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Int| { + ^foo Int(0) + } + public final const [ResolvedTo(BODY_RESOLVE)] val nonConstantInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/foo|()) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.kt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.kt new file mode 100644 index 00000000000..07d79d8e872 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.kt @@ -0,0 +1 @@ +const var simple: Int = 24 diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.txt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.txt new file mode 100644 index 00000000000..6cf3d04f57b --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.txt @@ -0,0 +1,83 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] constPropertiesWithExplicitType.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] set([ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] value: Int): R|kotlin/Unit| + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public? final? const [ResolvedTo(COMPANION_GENERATION)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPANION_GENERATION)] get(): Int + public? [ResolvedTo(COMPANION_GENERATION)] set([ResolvedTo(COMPANION_GENERATION)] value: Int): R|kotlin/Unit| + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public? final? const [ResolvedTo(SUPER_TYPES)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(SUPER_TYPES)] get(): Int + public? [ResolvedTo(SUPER_TYPES)] set([ResolvedTo(SUPER_TYPES)] value: Int): R|kotlin/Unit| + +TYPES: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public? final? const [ResolvedTo(TYPES)] var simple: R|kotlin/Int| = LAZY_EXPRESSION + public? [ResolvedTo(TYPES)] get(): R|kotlin/Int| + public? [ResolvedTo(TYPES)] set([ResolvedTo(TYPES)] value: R|kotlin/Int|): R|kotlin/Unit| + +STATUS: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(STATUS)] var simple: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(STATUS)] get(): R|kotlin/Int| + public [ResolvedTo(STATUS)] set([ResolvedTo(STATUS)] value: R|kotlin/Int|): R|kotlin/Unit| + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] var simple: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int| + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] set([ResolvedTo(EXPECT_ACTUAL_MATCHING)] value: R|kotlin/Int|): R|kotlin/Unit| + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(CONTRACTS)] var simple: R|kotlin/Int| = IntegerLiteral(24) + public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int| + public [ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] value: R|kotlin/Int|): R|kotlin/Unit| + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] var simple: R|kotlin/Int| = IntegerLiteral(24) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] set([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(CONSTANT_EVALUATION)] var simple: R|kotlin/Int| = IntegerLiteral(24) + public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int| + public [ResolvedTo(CONSTANT_EVALUATION)] set([ResolvedTo(CONSTANT_EVALUATION)] value: R|kotlin/Int|): R|kotlin/Unit| + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] var simple: R|kotlin/Int| = IntegerLiteral(24) + public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int| + public [ResolvedTo(ANNOTATION_ARGUMENTS)] set([ResolvedTo(ANNOTATION_ARGUMENTS)] value: R|kotlin/Int|): R|kotlin/Unit| + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(BODY_RESOLVE)] var simple: R|kotlin/Int| = Int(24) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] constPropertiesWithExplicitType.kt + public final const [ResolvedTo(BODY_RESOLVE)] var simple: R|kotlin/Int| = Int(24) + 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/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.kt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.kt new file mode 100644 index 00000000000..cf640cda2f4 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.kt @@ -0,0 +1,3 @@ +const var simple: Int = 24 + +const val withConstInitializer: Int = 1 + 5 + simple diff --git a/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.txt b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.txt new file mode 100644 index 00000000000..cd6f1762588 --- /dev/null +++ b/analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.txt @@ -0,0 +1,111 @@ +RAW_FIR: +FILE: [ResolvedTo(RAW_FIR)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public? final? const [ResolvedTo(RAW_FIR)] val withConstInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +IMPORTS: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public? final? const [ResolvedTo(RAW_FIR)] val withConstInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + +COMPILER_REQUIRED_ANNOTATIONS: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public? final? const [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] val withConstInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPILER_REQUIRED_ANNOTATIONS)] get(): Int + +COMPANION_GENERATION: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public? final? const [ResolvedTo(COMPANION_GENERATION)] val withConstInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(COMPANION_GENERATION)] get(): Int + +SUPER_TYPES: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public? final? const [ResolvedTo(SUPER_TYPES)] val withConstInitializer: Int = LAZY_EXPRESSION + public? [ResolvedTo(SUPER_TYPES)] get(): Int + +TYPES: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public? final? const [ResolvedTo(TYPES)] val withConstInitializer: R|kotlin/Int| = LAZY_EXPRESSION + public? [ResolvedTo(TYPES)] get(): R|kotlin/Int| + +STATUS: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public final const [ResolvedTo(STATUS)] val withConstInitializer: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(STATUS)] get(): R|kotlin/Int| + +EXPECT_ACTUAL_MATCHING: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public final const [ResolvedTo(EXPECT_ACTUAL_MATCHING)] val withConstInitializer: R|kotlin/Int| = LAZY_EXPRESSION + public [ResolvedTo(EXPECT_ACTUAL_MATCHING)] get(): R|kotlin/Int| + +CONTRACTS: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public final const [ResolvedTo(CONTRACTS)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#) + public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int| + +IMPLICIT_TYPES_BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public final const [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#) + public [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] get(): R|kotlin/Int| + +CONSTANT_EVALUATION: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public final const [ResolvedTo(CONSTANT_EVALUATION)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#) + public [ResolvedTo(CONSTANT_EVALUATION)] get(): R|kotlin/Int| + +ANNOTATION_ARGUMENTS: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public? final? const [ResolvedTo(RAW_FIR)] var simple: Int = LAZY_EXPRESSION + public? [ResolvedTo(RAW_FIR)] get(): Int + public? [ResolvedTo(RAW_FIR)] set([ResolvedTo(RAW_FIR)] value: Int): R|kotlin/Unit| + public final const [ResolvedTo(ANNOTATION_ARGUMENTS)] val withConstInitializer: R|kotlin/Int| = IntegerLiteral(1).plus#(IntegerLiteral(5)).plus#(simple#) + public [ResolvedTo(ANNOTATION_ARGUMENTS)] get(): R|kotlin/Int| + +BODY_RESOLVE: +FILE: [ResolvedTo(IMPORTS)] constPropertyWithExplicitTypeAndInitializer.kt + public final const [ResolvedTo(CONTRACTS)] var simple: R|kotlin/Int| = IntegerLiteral(24) + public [ResolvedTo(CONTRACTS)] get(): R|kotlin/Int| + public [ResolvedTo(CONTRACTS)] set([ResolvedTo(CONTRACTS)] value: R|kotlin/Int|): R|kotlin/Unit| + public final const [ResolvedTo(BODY_RESOLVE)] val withConstInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/simple|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + +FILE RAW TO BODY: +FILE: [ResolvedTo(BODY_RESOLVE)] constPropertyWithExplicitTypeAndInitializer.kt + public final const [ResolvedTo(BODY_RESOLVE)] var simple: R|kotlin/Int| = Int(24) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| + public [ResolvedTo(BODY_RESOLVE)] set([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/Int|): R|kotlin/Unit| + public final const [ResolvedTo(BODY_RESOLVE)] val withConstInitializer: R|kotlin/Int| = Int(1).R|kotlin/Int.plus|(Int(5)).R|kotlin/Int.plus|(R|/simple|) + public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirOutOfContentRootLazyDeclarationResolveTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirOutOfContentRootLazyDeclarationResolveTestGenerated.java index 34f80c3d7ff..aa5d8252c44 100644 --- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirOutOfContentRootLazyDeclarationResolveTestGenerated.java +++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirOutOfContentRootLazyDeclarationResolveTestGenerated.java @@ -72,12 +72,48 @@ public class FirOutOfContentRootLazyDeclarationResolveTestGenerated extends Abst runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationParameters.kt"); } + @Test + @TestMetadata("annotationWithCycleInDefaults.kt") + public void testAnnotationWithCycleInDefaults() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.kt"); + } + + @Test + @TestMetadata("annotationWithDefaults.kt") + public void testAnnotationWithDefaults() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.kt"); + } + + @Test + @TestMetadata("annotationWithEnumFromBody.kt") + public void testAnnotationWithEnumFromBody() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.kt"); + } + + @Test + @TestMetadata("annotationWithSecondaryConstructor.kt") + public void testAnnotationWithSecondaryConstructor() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.kt"); + } + + @Test + @TestMetadata("annotationWithSecondaryConstructor2.kt") + public void testAnnotationWithSecondaryConstructor2() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.kt"); + } + @Test @TestMetadata("annotationWithTypeArgument.kt") public void testAnnotationWithTypeArgument() { runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithTypeArgument.kt"); } + @Test + @TestMetadata("annotationWithoutDefaults.kt") + public void testAnnotationWithoutDefaults() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.kt"); + } + @Test @TestMetadata("annotations.kt") public void testAnnotations() { @@ -372,6 +408,12 @@ public class FirOutOfContentRootLazyDeclarationResolveTestGenerated extends Abst runTest("analysis/low-level-api-fir/testData/lazyResolve/lazyProperty.kt"); } + @Test + @TestMetadata("localAnnotations.kt") + public void testLocalAnnotations() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.kt"); + } + @Test @TestMetadata("localConstructor.kt") public void testLocalConstructor() { @@ -1067,6 +1109,30 @@ public class FirOutOfContentRootLazyDeclarationResolveTestGenerated extends Abst KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/low-level-api-fir/testData/lazyResolve/properties"), Pattern.compile("^(.+)\\.(kt)$"), null, true); } + @Test + @TestMetadata("constCyclePropertyWithExplicitType.kt") + public void testConstCyclePropertyWithExplicitType() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.kt"); + } + + @Test + @TestMetadata("constErrorPropertyWithExplicitType.kt") + public void testConstErrorPropertyWithExplicitType() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.kt"); + } + + @Test + @TestMetadata("constPropertiesWithExplicitType.kt") + public void testConstPropertiesWithExplicitType() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.kt"); + } + + @Test + @TestMetadata("constPropertyWithExplicitTypeAndInitializer.kt") + public void testConstPropertyWithExplicitTypeAndInitializer() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.kt"); + } + @Test @TestMetadata("constructorParameter.kt") public void testConstructorParameter() { diff --git a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirSourceLazyDeclarationResolveTestGenerated.java b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirSourceLazyDeclarationResolveTestGenerated.java index e37694d14d0..4e7545efd58 100644 --- a/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirSourceLazyDeclarationResolveTestGenerated.java +++ b/analysis/low-level-api-fir/tests/org/jetbrains/kotlin/analysis/low/level/api/fir/FirSourceLazyDeclarationResolveTestGenerated.java @@ -72,12 +72,48 @@ public class FirSourceLazyDeclarationResolveTestGenerated extends AbstractFirSou runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationParameters.kt"); } + @Test + @TestMetadata("annotationWithCycleInDefaults.kt") + public void testAnnotationWithCycleInDefaults() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithCycleInDefaults.kt"); + } + + @Test + @TestMetadata("annotationWithDefaults.kt") + public void testAnnotationWithDefaults() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithDefaults.kt"); + } + + @Test + @TestMetadata("annotationWithEnumFromBody.kt") + public void testAnnotationWithEnumFromBody() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithEnumFromBody.kt"); + } + + @Test + @TestMetadata("annotationWithSecondaryConstructor.kt") + public void testAnnotationWithSecondaryConstructor() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor.kt"); + } + + @Test + @TestMetadata("annotationWithSecondaryConstructor2.kt") + public void testAnnotationWithSecondaryConstructor2() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithSecondaryConstructor2.kt"); + } + @Test @TestMetadata("annotationWithTypeArgument.kt") public void testAnnotationWithTypeArgument() { runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithTypeArgument.kt"); } + @Test + @TestMetadata("annotationWithoutDefaults.kt") + public void testAnnotationWithoutDefaults() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/annotationWithoutDefaults.kt"); + } + @Test @TestMetadata("annotations.kt") public void testAnnotations() { @@ -372,6 +408,12 @@ public class FirSourceLazyDeclarationResolveTestGenerated extends AbstractFirSou runTest("analysis/low-level-api-fir/testData/lazyResolve/lazyProperty.kt"); } + @Test + @TestMetadata("localAnnotations.kt") + public void testLocalAnnotations() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/localAnnotations.kt"); + } + @Test @TestMetadata("localConstructor.kt") public void testLocalConstructor() { @@ -1067,6 +1109,30 @@ public class FirSourceLazyDeclarationResolveTestGenerated extends AbstractFirSou KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/low-level-api-fir/testData/lazyResolve/properties"), Pattern.compile("^(.+)\\.(kt)$"), null, true); } + @Test + @TestMetadata("constCyclePropertyWithExplicitType.kt") + public void testConstCyclePropertyWithExplicitType() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constCyclePropertyWithExplicitType.kt"); + } + + @Test + @TestMetadata("constErrorPropertyWithExplicitType.kt") + public void testConstErrorPropertyWithExplicitType() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constErrorPropertyWithExplicitType.kt"); + } + + @Test + @TestMetadata("constPropertiesWithExplicitType.kt") + public void testConstPropertiesWithExplicitType() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertiesWithExplicitType.kt"); + } + + @Test + @TestMetadata("constPropertyWithExplicitTypeAndInitializer.kt") + public void testConstPropertyWithExplicitTypeAndInitializer() { + runTest("analysis/low-level-api-fir/testData/lazyResolve/properties/constPropertyWithExplicitTypeAndInitializer.kt"); + } + @Test @TestMetadata("constructorParameter.kt") public void testConstructorParameter() {