[AA] split some SymbolByPsi tests on SingleSymbolByPsi to avoid redundant declarations

^KT-54311

analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/symbols/Fe10IdeNormalAnalysisSourceModuleSingleSymbolByPsiGenerated.java

@@ -46,6 +46,36 @@ public class Fe10IdeNormalAnalysisSourceModuleSingleSymbolByPsiGenerated extends
         KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/symbols/singleSymbolByPsi"), Pattern.compile("^(.+)\\.kt$"), null, true);
     }
 
+    @Test
+    @TestMetadata("functionWithReceiverAnnotation.kt")
+    public void testFunctionWithReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithAnnotations.kt")
+    public void testPropertyWithAnnotations() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithAnnotationsAndAccessors.kt")
+    public void testPropertyWithAnnotationsAndAccessors() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithDelegateAndAnnotations.kt")
+    public void testPropertyWithDelegateAndAnnotations() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithReceiverAnnotation.kt")
+    public void testPropertyWithReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.kt");
+    }
+
     @Nested
     @TestMetadata("analysis/analysis-api/testData/symbols/singleSymbolByPsi/errors")
     @TestDataPath("$PROJECT_ROOT")

analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/symbols/Fe10IdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated.java

@@ -220,18 +220,6 @@ public class Fe10IdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated extends A
         runTest("analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.kt");
     }
 
-    @Test
-    @TestMetadata("propertyWithAnnotations.kt")
-    public void testPropertyWithAnnotations() throws Exception {
-        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.kt");
-    }
-
-    @Test
-    @TestMetadata("receiverAnnotation.kt")
-    public void testReceiverAnnotation() throws Exception {
-        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt");
-    }
-
     @Test
     @TestMetadata("topLevelFunctions.kt")
     public void testTopLevelFunctions() throws Exception {

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/symbols/FirIdeNormalAnalysisSourceModuleSingleSymbolByPsiGenerated.java

@@ -46,6 +46,36 @@ public class FirIdeNormalAnalysisSourceModuleSingleSymbolByPsiGenerated extends
         KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/symbols/singleSymbolByPsi"), Pattern.compile("^(.+)\\.kt$"), null, true);
     }
 
+    @Test
+    @TestMetadata("functionWithReceiverAnnotation.kt")
+    public void testFunctionWithReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithAnnotations.kt")
+    public void testPropertyWithAnnotations() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithAnnotationsAndAccessors.kt")
+    public void testPropertyWithAnnotationsAndAccessors() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithDelegateAndAnnotations.kt")
+    public void testPropertyWithDelegateAndAnnotations() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithReceiverAnnotation.kt")
+    public void testPropertyWithReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.kt");
+    }
+
     @Nested
     @TestMetadata("analysis/analysis-api/testData/symbols/singleSymbolByPsi/errors")
     @TestDataPath("$PROJECT_ROOT")

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/symbols/FirIdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated.java

@@ -220,18 +220,6 @@ public class FirIdeNormalAnalysisSourceModuleSymbolByPsiTestGenerated extends Ab
         runTest("analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.kt");
     }
 
-    @Test
-    @TestMetadata("propertyWithAnnotations.kt")
-    public void testPropertyWithAnnotations() throws Exception {
-        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.kt");
-    }
-
-    @Test
-    @TestMetadata("receiverAnnotation.kt")
-    public void testReceiverAnnotation() throws Exception {
-        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt");
-    }
-
     @Test
     @TestMetadata("topLevelFunctions.kt")
     public void testTopLevelFunctions() throws Exception {

analysis/analysis-api-impl-base/tests/org/jetbrains/kotlin/analysis/api/impl/base/test/cases/symbols/AbstractSymbolByReferenceTest.kt

@@ -10,11 +10,12 @@ import org.jetbrains.kotlin.analysis.test.framework.services.expressionMarkerPro
 import org.jetbrains.kotlin.idea.references.mainReference
 import org.jetbrains.kotlin.psi.KtFile
 import org.jetbrains.kotlin.psi.KtNameReferenceExpression
+import org.jetbrains.kotlin.psi.KtReferenceExpression
 import org.jetbrains.kotlin.test.services.TestServices
 
 abstract class AbstractSymbolByReferenceTest : AbstractSymbolTest() {
     override fun KtAnalysisSession.collectSymbols(ktFile: KtFile, testServices: TestServices): SymbolsData {
-        val referenceExpression = testServices.expressionMarkerProvider.getElementOfTypeAtCaret<KtNameReferenceExpression>(ktFile)
+        val referenceExpression = testServices.expressionMarkerProvider.getElementOfTypeAtCaret<KtReferenceExpression>(ktFile)
         return SymbolsData(
             listOfNotNull(referenceExpression.mainReference.resolveToSymbol())
         )

analysis/analysis-api-impl-base/tests/org/jetbrains/kotlin/analysis/api/impl/base/test/cases/symbols/AbstractSymbolTest.kt

@@ -10,6 +10,7 @@ import org.jetbrains.kotlin.analysis.api.components.KtDeclarationRendererOptions
 import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.DO_NOT_CHECK_SYMBOL_RESTORE
 import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.DO_NOT_CHECK_SYMBOL_RESTORE_K1
 import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.DO_NOT_CHECK_SYMBOL_RESTORE_K2
+import org.jetbrains.kotlin.analysis.api.impl.base.test.cases.symbols.SymbolTestDirectives.PRETTY_RENDERING_MODE
 import org.jetbrains.kotlin.analysis.api.symbols.*
 import org.jetbrains.kotlin.analysis.api.symbols.pointers.KtSymbolPointer
 import org.jetbrains.kotlin.analysis.test.framework.base.AbstractAnalysisApiSingleFileTest
@@ -45,7 +46,8 @@ abstract class AbstractSymbolTest : AbstractAnalysisApiSingleFileTest() {
             ?: DO_NOT_CHECK_SYMBOL_RESTORE_K1.takeIf { configurator.frontendKind == FrontendKind.Fe10 && it in directives }
             ?: DO_NOT_CHECK_SYMBOL_RESTORE_K2.takeIf { configurator.frontendKind == FrontendKind.Fir && it in directives }
 
-        val prettyRenderOptions = when (prettyRenderMode) {
+        val renderMode = directives[PRETTY_RENDERING_MODE].singleOrNull()
+        val prettyRenderOptions = when (renderMode ?: prettyRenderMode) {
             PrettyRenderingMode.RENDER_SYMBOLS_LINE_BY_LINE -> renderingOptions
             PrettyRenderingMode.RENDER_SYMBOLS_NESTED -> renderingOptions.copy(renderClassMembers = true)
         }
@@ -161,6 +163,8 @@ object SymbolTestDirectives : SimpleDirectivesContainer() {
     val DO_NOT_CHECK_SYMBOL_RESTORE_K2 by directive(
         description = "Symbol restoring for some symbols in current test is not supported yet in K2",
     )
+
+    val PRETTY_RENDERING_MODE by enumDirective(description = "Explicit rendering mode") { PrettyRenderingMode.valueOf(it) }
 }
 
 enum class PrettyRenderingMode {

analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/symbols/FirStandaloneNormalAnalysisSourceModuleSingleSymbolByPsiGenerated.java

@@ -46,6 +46,36 @@ public class FirStandaloneNormalAnalysisSourceModuleSingleSymbolByPsiGenerated e
         KtTestUtil.assertAllTestsPresentByMetadataWithExcluded(this.getClass(), new File("analysis/analysis-api/testData/symbols/singleSymbolByPsi"), Pattern.compile("^(.+)\\.kt$"), null, true);
     }
 
+    @Test
+    @TestMetadata("functionWithReceiverAnnotation.kt")
+    public void testFunctionWithReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithAnnotations.kt")
+    public void testPropertyWithAnnotations() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithAnnotationsAndAccessors.kt")
+    public void testPropertyWithAnnotationsAndAccessors() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithDelegateAndAnnotations.kt")
+    public void testPropertyWithDelegateAndAnnotations() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.kt");
+    }
+
+    @Test
+    @TestMetadata("propertyWithReceiverAnnotation.kt")
+    public void testPropertyWithReceiverAnnotation() throws Exception {
+        runTest("analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.kt");
+    }
+
     @Nested
     @TestMetadata("analysis/analysis-api/testData/symbols/singleSymbolByPsi/errors")
     @TestDataPath("$PROJECT_ROOT")

analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/symbols/FirStandaloneNormalAnalysisSourceModuleSymbolByPsiTestGenerated.java

@@ -220,18 +220,6 @@ public class FirStandaloneNormalAnalysisSourceModuleSymbolByPsiTestGenerated ext
         runTest("analysis/analysis-api/testData/symbols/symbolByPsi/outerAndInnerClasses.kt");
     }
 
-    @Test
-    @TestMetadata("propertyWithAnnotations.kt")
-    public void testPropertyWithAnnotations() throws Exception {
-        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.kt");
-    }
-
-    @Test
-    @TestMetadata("receiverAnnotation.kt")
-    public void testReceiverAnnotation() throws Exception {
-        runTest("analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.kt");
-    }
-
     @Test
     @TestMetadata("topLevelFunctions.kt")
     public void testTopLevelFunctions() throws Exception {

analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.descriptors.pretty.txt

@@ -0,0 +1 @@
+fun (@ReceiverTypeAnnotation kotlin.Int).foo()

analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.descriptors.txt

@@ -0,0 +1,28 @@
+KtFunctionSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /foo
+  contextReceivers: []
+  hasStableParameterNames: true
+  isBuiltinFunctionInvoke: false
+  isExtension: true
+  isExternal: false
+  isInfix: false
+  isInline: false
+  isOperator: false
+  isOverride: false
+  isStatic: false
+  isSuspend: false
+  modality: FINAL
+  name: foo
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Int
+  returnType: kotlin/Unit
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.kt

@@ -0,0 +1,5 @@
+annotation class ReceiverAnnotation
+@Target(AnnotationTarget.TYPE)
+annotation class ReceiverTypeAnnotation
+
+fun @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Int.f<caret>oo() {}

analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.pretty.txt

@@ -0,0 +1 @@
+fun @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Int.foo()

analysis/analysis-api/testData/symbols/singleSymbolByPsi/functionWithReceiverAnnotation.txt

@@ -0,0 +1,30 @@
+KtFunctionSymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /foo
+  contextReceivers: []
+  hasStableParameterNames: true
+  isBuiltinFunctionInvoke: false
+  isExtension: true
+  isExternal: false
+  isInfix: false
+  isInline: false
+  isOperator: false
+  isOverride: false
+  isStatic: false
+  isSuspend: false
+  modality: FINAL
+  name: foo
+  origin: SOURCE
+  receiverType: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Int
+  returnType: kotlin/Unit
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  valueParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.descriptors.pretty.txt

@@ -0,0 +1,2 @@
+@PropertyAnnotation
+var prop: kotlin.Int

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.descriptors.txt

@@ -0,0 +1,116 @@
+KtKotlinPropertySymbol:
+  annotationsList: [
+    PropertyAnnotation()
+      psi: KtAnnotationEntry
+  ]
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: [
+      GetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: false
+    hasStableParameterNames: true
+    isDefault: true
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: null
+    returnType: kotlin/Int
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: true
+  hasGetter: true
+  hasSetter: true
+  initializer: KtConstantInitializerValue(1)
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: false
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: false
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: null
+  returnType: kotlin/Int
+  setter: KtPropertySetterSymbol:
+    annotationsList: [
+      SetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: false
+    hasStableParameterNames: true
+    isDefault: true
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    parameter: KtValueParameterSymbol:
+      annotationsList: [
+        SetparamAnnotation()
+          psi: KtAnnotationEntry
+      ]
+      callableIdIfNonLocal: null
+      contextReceivers: []
+      generatedPrimaryConstructorProperty: null
+      hasDefaultValue: false
+      isCrossinline: false
+      isExtension: false
+      isImplicitLambdaParameter: false
+      isNoinline: false
+      isVararg: false
+      name: value
+      origin: SOURCE
+      receiverType: null
+      returnType: kotlin/Int
+      symbolKind: LOCAL
+      typeParameters: []
+    receiverType: null
+    returnType: kotlin/Unit
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: [
+      KtValueParameterSymbol:
+        annotationsList: [
+          SetparamAnnotation()
+            psi: KtAnnotationEntry
+        ]
+        callableIdIfNonLocal: null
+        contextReceivers: []
+        generatedPrimaryConstructorProperty: null
+        hasDefaultValue: false
+        isCrossinline: false
+        isExtension: false
+        isImplicitLambdaParameter: false
+        isNoinline: false
+        isVararg: false
+        name: value
+        origin: SOURCE
+        receiverType: null
+        returnType: kotlin/Int
+        symbolKind: LOCAL
+        typeParameters: []
+    ]
+    visibility: Public
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: setProp
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.kt

@@ -11,9 +11,4 @@ annotation class SetparamAnnotation
 @get:GetAnnotation
 @set:SetAnnotation
 @setparam:SetparamAnnotation
-var prop: Int = 1
+var pr<caret>op: Int = 1
-
-annotation class DelegateAnnotation
-
-@delegate:DelegateAnnotation
-val lazyProperty by lazy { 1 }

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.pretty.txt

@@ -0,0 +1,3 @@
+@PropertyAnnotation
+@FieldAnnotation
+var prop: kotlin.Int

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotations.txt

@@ -0,0 +1,118 @@
+KtKotlinPropertySymbol:
+  annotationsList: [
+    PropertyAnnotation()
+      psi: KtAnnotationEntry
+    FieldAnnotation()
+      psi: KtAnnotationEntry
+  ]
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: [
+      GetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: false
+    hasStableParameterNames: true
+    isDefault: true
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: null
+    returnType: kotlin/Int
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: true
+  hasGetter: true
+  hasSetter: true
+  initializer: KtConstantInitializerValue(1)
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: false
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: false
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: null
+  returnType: kotlin/Int
+  setter: KtPropertySetterSymbol:
+    annotationsList: [
+      SetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: false
+    hasStableParameterNames: true
+    isDefault: true
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    parameter: KtValueParameterSymbol:
+      annotationsList: [
+        SetparamAnnotation()
+          psi: KtAnnotationEntry
+      ]
+      callableIdIfNonLocal: null
+      contextReceivers: []
+      generatedPrimaryConstructorProperty: null
+      hasDefaultValue: false
+      isCrossinline: false
+      isExtension: false
+      isImplicitLambdaParameter: false
+      isNoinline: false
+      isVararg: false
+      name: <set-?>
+      origin: SOURCE
+      receiverType: null
+      returnType: kotlin/Int
+      symbolKind: LOCAL
+      typeParameters: []
+    receiverType: null
+    returnType: kotlin/Unit
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: [
+      KtValueParameterSymbol:
+        annotationsList: [
+          SetparamAnnotation()
+            psi: KtAnnotationEntry
+        ]
+        callableIdIfNonLocal: null
+        contextReceivers: []
+        generatedPrimaryConstructorProperty: null
+        hasDefaultValue: false
+        isCrossinline: false
+        isExtension: false
+        isImplicitLambdaParameter: false
+        isNoinline: false
+        isVararg: false
+        name: <set-?>
+        origin: SOURCE
+        receiverType: null
+        returnType: kotlin/Int
+        symbolKind: LOCAL
+        typeParameters: []
+    ]
+    visibility: Public
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: setProp
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.descriptors.pretty.txt

@@ -0,0 +1,8 @@
+@PropertyAnnotation
+var x: kotlin.Int
+  @GetAnnotation
+  @ExplicitGetAnnotation
+  get()
+  @SetAnnotation
+  @ExplicitSetAnnotation
+  set(@ExplicitSetparamAnnotation @SetparamAnnotation value: kotlin.Int)

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.descriptors.txt

@@ -0,0 +1,124 @@
+KtKotlinPropertySymbol:
+  annotationsList: [
+    PropertyAnnotation()
+      psi: KtAnnotationEntry
+  ]
+  callableIdIfNonLocal: /x
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: [
+      GetAnnotation()
+        psi: KtAnnotationEntry
+      ExplicitGetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: null
+    returnType: kotlin/Int
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: true
+  hasGetter: true
+  hasSetter: true
+  initializer: KtConstantInitializerValue(0)
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: false
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: false
+  modality: FINAL
+  name: x
+  origin: SOURCE
+  receiverType: null
+  returnType: kotlin/Int
+  setter: KtPropertySetterSymbol:
+    annotationsList: [
+      SetAnnotation()
+        psi: KtAnnotationEntry
+      ExplicitSetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    parameter: KtValueParameterSymbol:
+      annotationsList: [
+        ExplicitSetparamAnnotation()
+          psi: KtAnnotationEntry
+        SetparamAnnotation()
+          psi: KtAnnotationEntry
+      ]
+      callableIdIfNonLocal: null
+      contextReceivers: []
+      generatedPrimaryConstructorProperty: null
+      hasDefaultValue: false
+      isCrossinline: false
+      isExtension: false
+      isImplicitLambdaParameter: false
+      isNoinline: false
+      isVararg: false
+      name: value
+      origin: SOURCE
+      receiverType: null
+      returnType: kotlin/Int
+      symbolKind: LOCAL
+      typeParameters: []
+    receiverType: null
+    returnType: kotlin/Unit
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: [
+      KtValueParameterSymbol:
+        annotationsList: [
+          ExplicitSetparamAnnotation()
+            psi: KtAnnotationEntry
+          SetparamAnnotation()
+            psi: KtAnnotationEntry
+        ]
+        callableIdIfNonLocal: null
+        contextReceivers: []
+        generatedPrimaryConstructorProperty: null
+        hasDefaultValue: false
+        isCrossinline: false
+        isExtension: false
+        isImplicitLambdaParameter: false
+        isNoinline: false
+        isVararg: false
+        name: value
+        origin: SOURCE
+        receiverType: null
+        returnType: kotlin/Int
+        symbolKind: LOCAL
+        typeParameters: []
+    ]
+    visibility: Public
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getX
+  javaSetterName: setX
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.kt

@@ -0,0 +1,23 @@
+// PRETTY_RENDERING_MODE: RENDER_SYMBOLS_NESTED
+
+annotation class PropertyAnnotation
+annotation class FieldAnnotation
+annotation class GetAnnotation
+annotation class SetAnnotation
+annotation class SetparamAnnotation
+annotation class ExplicitGetAnnotation
+annotation class ExplicitSetAnnotation
+annotation class ExplicitSetparamAnnotation
+
+@property:PropertyAnnotation
+@field:FieldAnnotation
+@get:GetAnnotation
+@set:SetAnnotation
+@setparam:SetparamAnnotation
+var x<caret>: Int = 0
+    @ExplicitGetAnnotation
+    get() = field
+    @ExplicitSetAnnotation
+    set(@ExplicitSetparamAnnotation value) {
+        field = value
+    }

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.pretty.txt

@@ -0,0 +1,9 @@
+@PropertyAnnotation
+@FieldAnnotation
+var x: kotlin.Int
+  @ExplicitGetAnnotation
+  @GetAnnotation
+  get()
+  @ExplicitSetAnnotation
+  @SetAnnotation
+  set(@ExplicitSetparamAnnotation @SetparamAnnotation value: kotlin.Int)

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithAnnotationsAndAccessors.txt

@@ -0,0 +1,126 @@
+KtKotlinPropertySymbol:
+  annotationsList: [
+    PropertyAnnotation()
+      psi: KtAnnotationEntry
+    FieldAnnotation()
+      psi: KtAnnotationEntry
+  ]
+  callableIdIfNonLocal: /x
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: [
+      ExplicitGetAnnotation()
+        psi: KtAnnotationEntry
+      GetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: null
+    returnType: kotlin/Int
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: true
+  hasGetter: true
+  hasSetter: true
+  initializer: KtConstantInitializerValue(0)
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: false
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: false
+  modality: FINAL
+  name: x
+  origin: SOURCE
+  receiverType: null
+  returnType: kotlin/Int
+  setter: KtPropertySetterSymbol:
+    annotationsList: [
+      ExplicitSetAnnotation()
+        psi: KtAnnotationEntry
+      SetAnnotation()
+        psi: KtAnnotationEntry
+    ]
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    parameter: KtValueParameterSymbol:
+      annotationsList: [
+        ExplicitSetparamAnnotation()
+          psi: KtAnnotationEntry
+        SetparamAnnotation()
+          psi: KtAnnotationEntry
+      ]
+      callableIdIfNonLocal: null
+      contextReceivers: []
+      generatedPrimaryConstructorProperty: null
+      hasDefaultValue: false
+      isCrossinline: false
+      isExtension: false
+      isImplicitLambdaParameter: false
+      isNoinline: false
+      isVararg: false
+      name: value
+      origin: SOURCE
+      receiverType: null
+      returnType: kotlin/Int
+      symbolKind: LOCAL
+      typeParameters: []
+    receiverType: null
+    returnType: kotlin/Unit
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: [
+      KtValueParameterSymbol:
+        annotationsList: [
+          ExplicitSetparamAnnotation()
+            psi: KtAnnotationEntry
+          SetparamAnnotation()
+            psi: KtAnnotationEntry
+        ]
+        callableIdIfNonLocal: null
+        contextReceivers: []
+        generatedPrimaryConstructorProperty: null
+        hasDefaultValue: false
+        isCrossinline: false
+        isExtension: false
+        isImplicitLambdaParameter: false
+        isNoinline: false
+        isVararg: false
+        name: value
+        origin: SOURCE
+        receiverType: null
+        returnType: kotlin/Int
+        symbolKind: LOCAL
+        typeParameters: []
+    ]
+    visibility: Public
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getX
+  javaSetterName: setX
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.descriptors.pretty.txt

@@ -0,0 +1,3 @@
+@PropertyAnnotation
+@ExplicitPropertyAnnotation
+val lazyProperty: kotlin.Int

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.descriptors.txt

@@ -0,0 +1,54 @@
+KtKotlinPropertySymbol:
+  annotationsList: [
+    PropertyAnnotation()
+      psi: KtAnnotationEntry
+    ExplicitPropertyAnnotation()
+      psi: KtAnnotationEntry
+  ]
+  callableIdIfNonLocal: /lazyProperty
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: false
+    hasStableParameterNames: true
+    isDefault: true
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: null
+    returnType: kotlin/Int
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: true
+  isExtension: false
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: lazyProperty
+  origin: SOURCE
+  receiverType: null
+  returnType: kotlin/Int
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getLazyProperty
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.kt

@@ -0,0 +1,10 @@
+// WITH_STDLIB
+
+annotation class PropertyAnnotation
+annotation class ExplicitPropertyAnnotation
+annotation class DelegateAnnotation
+
+@property:ExplicitPropertyAnnotation
+@delegate:DelegateAnnotation
+@PropertyAnnotation
+val lazyPr<caret>operty by lazy { 1 }

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.pretty.txt

@@ -0,0 +1,4 @@
+@ExplicitPropertyAnnotation
+@DelegateAnnotation
+@PropertyAnnotation
+val lazyProperty: kotlin.Int

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithDelegateAndAnnotations.txt

@@ -0,0 +1,56 @@
+KtKotlinPropertySymbol:
+  annotationsList: [
+    ExplicitPropertyAnnotation()
+      psi: KtAnnotationEntry
+    DelegateAnnotation()
+      psi: KtAnnotationEntry
+    PropertyAnnotation()
+      psi: KtAnnotationEntry
+  ]
+  callableIdIfNonLocal: /lazyProperty
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: null
+    returnType: kotlin/Int
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: true
+  isExtension: false
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: lazyProperty
+  origin: SOURCE
+  receiverType: null
+  returnType: kotlin/Int
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getLazyProperty
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.descriptors.pretty.txt

@@ -0,0 +1 @@
+val (@ReceiverTypeAnnotation kotlin.Long).prop: kotlin.Boolean

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.descriptors.txt

@@ -0,0 +1,55 @@
+KtKotlinPropertySymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: [
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: true
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: [
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.kt

@@ -2,6 +2,4 @@ annotation class ReceiverAnnotation
 @Target(AnnotationTarget.TYPE)
 annotation class ReceiverTypeAnnotation
 
-fun @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Int.foo() {}
+val @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Long.pr<caret>op: Boolean get() = true
-
-val @receiver:ReceiverAnnotation @ReceiverTypeAnnotation Long.prop: Boolean get() = true

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.pretty.txt

@@ -0,0 +1 @@
+val @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Long.prop: kotlin.Boolean

analysis/analysis-api/testData/symbols/singleSymbolByPsi/propertyWithReceiverAnnotation.txt

@@ -0,0 +1,59 @@
+KtKotlinPropertySymbol:
+  annotationsList: []
+  callableIdIfNonLocal: /prop
+  contextReceivers: []
+  getter: KtPropertyGetterSymbol:
+    annotationsList: []
+    callableIdIfNonLocal: null
+    contextReceivers: []
+    hasBody: true
+    hasStableParameterNames: true
+    isDefault: false
+    isExtension: false
+    isInline: false
+    isOverride: false
+    modality: FINAL
+    origin: SOURCE
+    receiverType: [
+      ReceiverAnnotation()
+        psi: KtAnnotationEntry
+      ReceiverTypeAnnotation()
+        psi: KtAnnotationEntry
+    ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+    returnType: kotlin/Boolean
+    symbolKind: ACCESSOR
+    typeParameters: []
+    valueParameters: []
+    visibility: Public
+  hasBackingField: false
+  hasGetter: true
+  hasSetter: false
+  initializer: null
+  isConst: false
+  isDelegatedProperty: false
+  isExtension: true
+  isFromPrimaryConstructor: false
+  isLateInit: false
+  isOverride: false
+  isStatic: false
+  isVal: true
+  modality: FINAL
+  name: prop
+  origin: SOURCE
+  receiverType: [
+    ReceiverAnnotation()
+      psi: KtAnnotationEntry
+    ReceiverTypeAnnotation()
+      psi: KtAnnotationEntry
+  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
+  returnType: kotlin/Boolean
+  setter: null
+  symbolKind: TOP_LEVEL
+  typeParameters: []
+  visibility: Public
+  getContainingModule: KtSourceModule "Sources of main"
+  deprecationStatus: null
+  getterDeprecationStatus: null
+  javaGetterName: getProp
+  javaSetterName: null
+  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.descriptors.pretty.txt

@@ -1,20 +0,0 @@
-@PropertyAnnotation
-var prop: kotlin.Int
-  @GetAnnotation
-  get()
-  @SetAnnotation
-  set(@SetparamAnnotation value: kotlin.Int)
-
-val lazyProperty: kotlin.Int
-
-annotation class PropertyAnnotation
-
-annotation class FieldAnnotation
-
-annotation class GetAnnotation
-
-annotation class SetAnnotation
-
-annotation class SetparamAnnotation
-
-annotation class DelegateAnnotation

analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.descriptors.txt

@@ -1,319 +0,0 @@
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: PropertyAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: PropertyAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: FieldAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: FieldAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: GetAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: GetAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: SetAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: SetAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: SetparamAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: SetparamAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtKotlinPropertySymbol:
-  annotationsList: [
-    PropertyAnnotation()
-      psi: KtAnnotationEntry
-  ]
-  callableIdIfNonLocal: /prop
-  contextReceivers: []
-  getter: KtPropertyGetterSymbol:
-    annotationsList: [
-      GetAnnotation()
-        psi: KtAnnotationEntry
-    ]
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: false
-    hasStableParameterNames: true
-    isDefault: true
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    receiverType: null
-    returnType: kotlin/Int
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: []
-    visibility: Public
-  hasBackingField: true
-  hasGetter: true
-  hasSetter: true
-  initializer: KtConstantInitializerValue(1)
-  isConst: false
-  isDelegatedProperty: false
-  isExtension: false
-  isFromPrimaryConstructor: false
-  isLateInit: false
-  isOverride: false
-  isStatic: false
-  isVal: false
-  modality: FINAL
-  name: prop
-  origin: SOURCE
-  receiverType: null
-  returnType: kotlin/Int
-  setter: KtPropertySetterSymbol:
-    annotationsList: [
-      SetAnnotation()
-        psi: KtAnnotationEntry
-    ]
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: false
-    hasStableParameterNames: true
-    isDefault: true
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    parameter: KtValueParameterSymbol:
-      annotationsList: [
-        SetparamAnnotation()
-          psi: KtAnnotationEntry
-      ]
-      callableIdIfNonLocal: null
-      contextReceivers: []
-      generatedPrimaryConstructorProperty: null
-      hasDefaultValue: false
-      isCrossinline: false
-      isExtension: false
-      isImplicitLambdaParameter: false
-      isNoinline: false
-      isVararg: false
-      name: value
-      origin: SOURCE
-      receiverType: null
-      returnType: kotlin/Int
-      symbolKind: LOCAL
-      typeParameters: []
-    receiverType: null
-    returnType: kotlin/Unit
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: [
-      KtValueParameterSymbol:
-        annotationsList: [
-          SetparamAnnotation()
-            psi: KtAnnotationEntry
-        ]
-        callableIdIfNonLocal: null
-        contextReceivers: []
-        generatedPrimaryConstructorProperty: null
-        hasDefaultValue: false
-        isCrossinline: false
-        isExtension: false
-        isImplicitLambdaParameter: false
-        isNoinline: false
-        isVararg: false
-        name: value
-        origin: SOURCE
-        receiverType: null
-        returnType: kotlin/Int
-        symbolKind: LOCAL
-        typeParameters: []
-    ]
-    visibility: Public
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-  getterDeprecationStatus: null
-  javaGetterName: getProp
-  javaSetterName: setProp
-  setterDeprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: DelegateAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: DelegateAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtAnonymousFunctionSymbol:
-  annotationsList: []
-  callableIdIfNonLocal: null
-  contextReceivers: []
-  hasStableParameterNames: true
-  isExtension: false
-  origin: SOURCE
-  receiverType: null
-  returnType: kotlin/Int
-  symbolKind: LOCAL
-  typeParameters: []
-  valueParameters: []
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtKotlinPropertySymbol:
-  annotationsList: []
-  callableIdIfNonLocal: /lazyProperty
-  contextReceivers: []
-  getter: KtPropertyGetterSymbol:
-    annotationsList: []
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: false
-    hasStableParameterNames: true
-    isDefault: true
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    receiverType: null
-    returnType: kotlin/Int
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: []
-    visibility: Public
-  hasBackingField: false
-  hasGetter: true
-  hasSetter: false
-  initializer: null
-  isConst: false
-  isDelegatedProperty: true
-  isExtension: false
-  isFromPrimaryConstructor: false
-  isLateInit: false
-  isOverride: false
-  isStatic: false
-  isVal: true
-  modality: FINAL
-  name: lazyProperty
-  origin: SOURCE
-  receiverType: null
-  returnType: kotlin/Int
-  setter: null
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-  getterDeprecationStatus: null
-  javaGetterName: getLazyProperty
-  javaSetterName: null
-  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.pretty.txt

@@ -1,22 +0,0 @@
-@PropertyAnnotation
-@FieldAnnotation
-var prop: kotlin.Int
-  @GetAnnotation
-  get()
-  @SetAnnotation
-  set(@SetparamAnnotation value: kotlin.Int)
-
-@DelegateAnnotation
-val lazyProperty: kotlin.Int
-
-annotation class PropertyAnnotation
-
-annotation class FieldAnnotation
-
-annotation class GetAnnotation
-
-annotation class SetAnnotation
-
-annotation class SetparamAnnotation
-
-annotation class DelegateAnnotation

analysis/analysis-api/testData/symbols/symbolByPsi/propertyWithAnnotations.txt

@@ -1,324 +0,0 @@
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: PropertyAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: PropertyAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: FieldAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: FieldAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: GetAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: GetAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: SetAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: SetAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: SetparamAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: SetparamAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtKotlinPropertySymbol:
-  annotationsList: [
-    PropertyAnnotation()
-      psi: KtAnnotationEntry
-    FieldAnnotation()
-      psi: KtAnnotationEntry
-  ]
-  callableIdIfNonLocal: /prop
-  contextReceivers: []
-  getter: KtPropertyGetterSymbol:
-    annotationsList: [
-      GetAnnotation()
-        psi: KtAnnotationEntry
-    ]
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: false
-    hasStableParameterNames: true
-    isDefault: true
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    receiverType: null
-    returnType: kotlin/Int
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: []
-    visibility: Public
-  hasBackingField: true
-  hasGetter: true
-  hasSetter: true
-  initializer: KtConstantInitializerValue(1)
-  isConst: false
-  isDelegatedProperty: false
-  isExtension: false
-  isFromPrimaryConstructor: false
-  isLateInit: false
-  isOverride: false
-  isStatic: false
-  isVal: false
-  modality: FINAL
-  name: prop
-  origin: SOURCE
-  receiverType: null
-  returnType: kotlin/Int
-  setter: KtPropertySetterSymbol:
-    annotationsList: [
-      SetAnnotation()
-        psi: KtAnnotationEntry
-    ]
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: false
-    hasStableParameterNames: true
-    isDefault: true
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    parameter: KtValueParameterSymbol:
-      annotationsList: [
-        SetparamAnnotation()
-          psi: KtAnnotationEntry
-      ]
-      callableIdIfNonLocal: null
-      contextReceivers: []
-      generatedPrimaryConstructorProperty: null
-      hasDefaultValue: false
-      isCrossinline: false
-      isExtension: false
-      isImplicitLambdaParameter: false
-      isNoinline: false
-      isVararg: false
-      name: <set-?>
-      origin: SOURCE
-      receiverType: null
-      returnType: kotlin/Int
-      symbolKind: LOCAL
-      typeParameters: []
-    receiverType: null
-    returnType: kotlin/Unit
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: [
-      KtValueParameterSymbol:
-        annotationsList: [
-          SetparamAnnotation()
-            psi: KtAnnotationEntry
-        ]
-        callableIdIfNonLocal: null
-        contextReceivers: []
-        generatedPrimaryConstructorProperty: null
-        hasDefaultValue: false
-        isCrossinline: false
-        isExtension: false
-        isImplicitLambdaParameter: false
-        isNoinline: false
-        isVararg: false
-        name: <set-?>
-        origin: SOURCE
-        receiverType: null
-        returnType: kotlin/Int
-        symbolKind: LOCAL
-        typeParameters: []
-    ]
-    visibility: Public
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-  getterDeprecationStatus: null
-  javaGetterName: getProp
-  javaSetterName: setProp
-  setterDeprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: DelegateAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: DelegateAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtAnonymousFunctionSymbol:
-  annotationsList: []
-  callableIdIfNonLocal: null
-  contextReceivers: []
-  hasStableParameterNames: true
-  isExtension: false
-  origin: SOURCE
-  receiverType: null
-  returnType: kotlin/Int
-  symbolKind: LOCAL
-  typeParameters: []
-  valueParameters: []
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtKotlinPropertySymbol:
-  annotationsList: [
-    DelegateAnnotation()
-      psi: KtAnnotationEntry
-  ]
-  callableIdIfNonLocal: /lazyProperty
-  contextReceivers: []
-  getter: KtPropertyGetterSymbol:
-    annotationsList: []
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: true
-    hasStableParameterNames: true
-    isDefault: false
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    receiverType: null
-    returnType: kotlin/Int
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: []
-    visibility: Public
-  hasBackingField: false
-  hasGetter: true
-  hasSetter: false
-  initializer: null
-  isConst: false
-  isDelegatedProperty: true
-  isExtension: false
-  isFromPrimaryConstructor: false
-  isLateInit: false
-  isOverride: false
-  isStatic: false
-  isVal: true
-  modality: FINAL
-  name: lazyProperty
-  origin: SOURCE
-  receiverType: null
-  returnType: kotlin/Int
-  setter: null
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-  getterDeprecationStatus: null
-  javaGetterName: getLazyProperty
-  javaSetterName: null
-  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.descriptors.pretty.txt

@@ -1,8 +0,0 @@
-fun (@ReceiverTypeAnnotation kotlin.Int).foo()
-
-val (@ReceiverTypeAnnotation kotlin.Long).prop: kotlin.Boolean
-
-annotation class ReceiverAnnotation
-
-@kotlin.annotation.Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
-annotation class ReceiverTypeAnnotation

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.descriptors.txt

@@ -1,157 +0,0 @@
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: ReceiverAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: ReceiverAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: [
-    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
-      psi: KtAnnotationEntry
-  ]
-  classIdIfNonLocal: ReceiverTypeAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: ReceiverTypeAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtFunctionSymbol:
-  annotationsList: []
-  callableIdIfNonLocal: /foo
-  contextReceivers: []
-  hasStableParameterNames: true
-  isBuiltinFunctionInvoke: false
-  isExtension: true
-  isExternal: false
-  isInfix: false
-  isInline: false
-  isOperator: false
-  isOverride: false
-  isStatic: false
-  isSuspend: false
-  modality: FINAL
-  name: foo
-  origin: SOURCE
-  receiverType: [
-    ReceiverTypeAnnotation()
-      psi: KtAnnotationEntry
-  ] @R|ReceiverTypeAnnotation|()  kotlin/Int
-  returnType: kotlin/Unit
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  valueParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtPropertyGetterSymbol:
-  annotationsList: []
-  callableIdIfNonLocal: null
-  contextReceivers: []
-  hasBody: true
-  hasStableParameterNames: true
-  isDefault: false
-  isExtension: false
-  isInline: false
-  isOverride: false
-  modality: FINAL
-  origin: SOURCE
-  receiverType: [
-    ReceiverTypeAnnotation()
-      psi: KtAnnotationEntry
-  ] @R|ReceiverTypeAnnotation|()  kotlin/Long
-  returnType: kotlin/Boolean
-  symbolKind: ACCESSOR
-  typeParameters: []
-  valueParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtKotlinPropertySymbol:
-  annotationsList: []
-  callableIdIfNonLocal: /prop
-  contextReceivers: []
-  getter: KtPropertyGetterSymbol:
-    annotationsList: []
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: true
-    hasStableParameterNames: true
-    isDefault: false
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    receiverType: [
-      ReceiverTypeAnnotation()
-        psi: KtAnnotationEntry
-    ] @R|ReceiverTypeAnnotation|()  kotlin/Long
-    returnType: kotlin/Boolean
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: []
-    visibility: Public
-  hasBackingField: false
-  hasGetter: true
-  hasSetter: false
-  initializer: null
-  isConst: false
-  isDelegatedProperty: false
-  isExtension: true
-  isFromPrimaryConstructor: false
-  isLateInit: false
-  isOverride: false
-  isStatic: false
-  isVal: true
-  modality: FINAL
-  name: prop
-  origin: SOURCE
-  receiverType: [
-    ReceiverTypeAnnotation()
-      psi: KtAnnotationEntry
-  ] @R|ReceiverTypeAnnotation|()  kotlin/Long
-  returnType: kotlin/Boolean
-  setter: null
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-  getterDeprecationStatus: null
-  javaGetterName: getProp
-  javaSetterName: null
-  setterDeprecationStatus: null

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.pretty.txt

@@ -1,8 +0,0 @@
-fun @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Int.foo()
-
-val @ReceiverAnnotation @ReceiverTypeAnnotation kotlin.Long.prop: kotlin.Boolean
-
-annotation class ReceiverAnnotation
-
-@kotlin.annotation.Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
-annotation class ReceiverTypeAnnotation

analysis/analysis-api/testData/symbols/symbolByPsi/receiverAnnotation.txt

@@ -1,165 +0,0 @@
-KtNamedClassOrObjectSymbol:
-  annotationsList: []
-  classIdIfNonLocal: ReceiverAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: ReceiverAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtNamedClassOrObjectSymbol:
-  annotationsList: [
-    kotlin/annotation/Target(allowedTargets = [kotlin.annotation.AnnotationTarget.TYPE])
-      psi: KtAnnotationEntry
-  ]
-  classIdIfNonLocal: ReceiverTypeAnnotation
-  classKind: ANNOTATION_CLASS
-  companionObject: null
-  contextReceivers: []
-  isData: false
-  isExternal: false
-  isFun: false
-  isInline: false
-  isInner: false
-  modality: FINAL
-  name: ReceiverTypeAnnotation
-  origin: SOURCE
-  superTypes: [
-    kotlin/Annotation
-  ]
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtFunctionSymbol:
-  annotationsList: []
-  callableIdIfNonLocal: /foo
-  contextReceivers: []
-  hasStableParameterNames: true
-  isBuiltinFunctionInvoke: false
-  isExtension: true
-  isExternal: false
-  isInfix: false
-  isInline: false
-  isOperator: false
-  isOverride: false
-  isStatic: false
-  isSuspend: false
-  modality: FINAL
-  name: foo
-  origin: SOURCE
-  receiverType: [
-    ReceiverAnnotation()
-      psi: KtAnnotationEntry
-    ReceiverTypeAnnotation()
-      psi: KtAnnotationEntry
-  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Int
-  returnType: kotlin/Unit
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  valueParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtPropertyGetterSymbol:
-  annotationsList: []
-  callableIdIfNonLocal: null
-  contextReceivers: []
-  hasBody: true
-  hasStableParameterNames: true
-  isDefault: false
-  isExtension: false
-  isInline: false
-  isOverride: false
-  modality: FINAL
-  origin: SOURCE
-  receiverType: [
-    ReceiverAnnotation()
-      psi: KtAnnotationEntry
-    ReceiverTypeAnnotation()
-      psi: KtAnnotationEntry
-  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
-  returnType: kotlin/Boolean
-  symbolKind: ACCESSOR
-  typeParameters: []
-  valueParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-
-KtKotlinPropertySymbol:
-  annotationsList: []
-  callableIdIfNonLocal: /prop
-  contextReceivers: []
-  getter: KtPropertyGetterSymbol:
-    annotationsList: []
-    callableIdIfNonLocal: null
-    contextReceivers: []
-    hasBody: true
-    hasStableParameterNames: true
-    isDefault: false
-    isExtension: false
-    isInline: false
-    isOverride: false
-    modality: FINAL
-    origin: SOURCE
-    receiverType: [
-      ReceiverAnnotation()
-        psi: KtAnnotationEntry
-      ReceiverTypeAnnotation()
-        psi: KtAnnotationEntry
-    ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
-    returnType: kotlin/Boolean
-    symbolKind: ACCESSOR
-    typeParameters: []
-    valueParameters: []
-    visibility: Public
-  hasBackingField: false
-  hasGetter: true
-  hasSetter: false
-  initializer: null
-  isConst: false
-  isDelegatedProperty: false
-  isExtension: true
-  isFromPrimaryConstructor: false
-  isLateInit: false
-  isOverride: false
-  isStatic: false
-  isVal: true
-  modality: FINAL
-  name: prop
-  origin: SOURCE
-  receiverType: [
-    ReceiverAnnotation()
-      psi: KtAnnotationEntry
-    ReceiverTypeAnnotation()
-      psi: KtAnnotationEntry
-  ] @RECEIVER:R|ReceiverAnnotation|()  @R|ReceiverTypeAnnotation|()  kotlin/Long
-  returnType: kotlin/Boolean
-  setter: null
-  symbolKind: TOP_LEVEL
-  typeParameters: []
-  visibility: Public
-  getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
-  getterDeprecationStatus: null
-  javaGetterName: getProp
-  javaSetterName: null
-  setterDeprecationStatus: null