AA: render containing file and JvmClassName

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/booleanConstReferenceInImplies.pretty.txt

@@ -1,2 +1,2 @@
 @kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
-fun booleanConstReferenceInImplies(): kotlin.Boolean
+fun booleanConstReferenceInImplies(): kotlin.Boolean

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/booleanConstReferenceInImplies.txt

@@ -40,5 +40,7 @@ KtFunctionSymbol:
   typeParameters: []
   valueParameters: []
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(booleanConstReferenceInImplies.kt)
+  getContainingJvmClassName: BooleanConstReferenceInImpliesKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/booleanExprContract.txt

@@ -39,6 +39,8 @@ KtFunctionSymbol:
                         type: kotlin/Any?
                       symbolKind: LOCAL
                       typeParameters: []
+                      getContainingFileSymbol: KtFileSymbol(booleanExprContract.kt)
+                      getContainingJvmClassName: BooleanExprContractKt
                       getContainingModule: KtSourceModule "Sources of main"
                       deprecationStatus: null
               isNegated: false
@@ -67,6 +69,8 @@ KtFunctionSymbol:
                         type: kotlin/Any?
                       symbolKind: LOCAL
                       typeParameters: []
+                      getContainingFileSymbol: KtFileSymbol(booleanExprContract.kt)
+                      getContainingJvmClassName: BooleanExprContractKt
                       getContainingModule: KtSourceModule "Sources of main"
                       deprecationStatus: null
               isNegated: true
@@ -115,6 +119,8 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(booleanExprContract.kt)
+      getContainingJvmClassName: BooleanExprContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
     KtValueParameterSymbol:
@@ -137,9 +143,13 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(booleanExprContract.kt)
+      getContainingJvmClassName: BooleanExprContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(booleanExprContract.kt)
+  getContainingJvmClassName: BooleanExprContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/callsInPlaceAtLeastOnceContract.txt

@@ -35,6 +35,8 @@ KtFunctionSymbol:
                 type: kotlin/Function0<kotlin/Unit>
               symbolKind: LOCAL
               typeParameters: []
+              getContainingFileSymbol: KtFileSymbol(callsInPlaceAtLeastOnceContract.kt)
+              getContainingJvmClassName: CallsInPlaceAtLeastOnceContractKt
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
       occurrencesRange: AT_LEAST_ONCE
@@ -87,9 +89,13 @@ KtFunctionSymbol:
         type: kotlin/Function0<kotlin/Unit>
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(callsInPlaceAtLeastOnceContract.kt)
+      getContainingJvmClassName: CallsInPlaceAtLeastOnceContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(callsInPlaceAtLeastOnceContract.kt)
+  getContainingJvmClassName: CallsInPlaceAtLeastOnceContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/callsInPlaceAtMostOnceContract.txt

@@ -35,6 +35,8 @@ KtFunctionSymbol:
                 type: kotlin/Function0<kotlin/Unit>
               symbolKind: LOCAL
               typeParameters: []
+              getContainingFileSymbol: KtFileSymbol(callsInPlaceAtMostOnceContract.kt)
+              getContainingJvmClassName: CallsInPlaceAtMostOnceContractKt
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
       occurrencesRange: AT_MOST_ONCE
@@ -87,9 +89,13 @@ KtFunctionSymbol:
         type: kotlin/Function0<kotlin/Unit>
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(callsInPlaceAtMostOnceContract.kt)
+      getContainingJvmClassName: CallsInPlaceAtMostOnceContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(callsInPlaceAtMostOnceContract.kt)
+  getContainingJvmClassName: CallsInPlaceAtMostOnceContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/callsInPlaceExactlyOnceContract.txt

@@ -35,6 +35,8 @@ KtFunctionSymbol:
                 type: kotlin/Function0<kotlin/Unit>
               symbolKind: LOCAL
               typeParameters: []
+              getContainingFileSymbol: KtFileSymbol(callsInPlaceExactlyOnceContract.kt)
+              getContainingJvmClassName: CallsInPlaceExactlyOnceContractKt
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
       occurrencesRange: EXACTLY_ONCE
@@ -87,9 +89,13 @@ KtFunctionSymbol:
         type: kotlin/Function0<kotlin/Unit>
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(callsInPlaceExactlyOnceContract.kt)
+      getContainingJvmClassName: CallsInPlaceExactlyOnceContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(callsInPlaceExactlyOnceContract.kt)
+  getContainingJvmClassName: CallsInPlaceExactlyOnceContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/callsInPlaceUnknownContract.txt

@@ -35,6 +35,8 @@ KtFunctionSymbol:
                 type: kotlin/Function0<kotlin/Unit>
               symbolKind: LOCAL
               typeParameters: []
+              getContainingFileSymbol: KtFileSymbol(callsInPlaceUnknownContract.kt)
+              getContainingJvmClassName: CallsInPlaceUnknownContractKt
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
       occurrencesRange: UNKNOWN
@@ -87,9 +89,13 @@ KtFunctionSymbol:
         type: kotlin/Function0<kotlin/Unit>
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(callsInPlaceUnknownContract.kt)
+      getContainingJvmClassName: CallsInPlaceUnknownContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(callsInPlaceUnknownContract.kt)
+  getContainingJvmClassName: CallsInPlaceUnknownContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/invalidContractParameterPassedToReturns.txt

@@ -49,6 +49,8 @@ KtFunctionSymbol:
         type: kotlin/Any
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(invalidContractParameterPassedToReturns.kt)
+      getContainingJvmClassName: InvalidContractParameterPassedToReturnsKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
     KtValueParameterSymbol:
@@ -71,9 +73,13 @@ KtFunctionSymbol:
         type: kotlin/Boolean
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(invalidContractParameterPassedToReturns.kt)
+      getContainingJvmClassName: InvalidContractParameterPassedToReturnsKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(invalidContractParameterPassedToReturns.kt)
+  getContainingJvmClassName: InvalidContractParameterPassedToReturnsKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/isInstancePredicateContract.pretty.txt

@@ -1,2 +1,2 @@
 @kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
-fun isInstancePredicateContract(value: kotlin.Any)
+fun isInstancePredicateContract(value: kotlin.Any)

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/isInstancePredicateContract.txt

@@ -34,6 +34,8 @@ KtFunctionSymbol:
                     type: kotlin/Any
                   symbolKind: LOCAL
                   typeParameters: []
+                  getContainingFileSymbol: KtFileSymbol(isInstancePredicateContract.kt)
+                  getContainingJvmClassName: IsInstancePredicateContractKt
                   getContainingModule: KtSourceModule "Sources of main"
                   deprecationStatus: null
           type:
@@ -86,9 +88,13 @@ KtFunctionSymbol:
         type: kotlin/Any
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(isInstancePredicateContract.kt)
+      getContainingJvmClassName: IsInstancePredicateContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(isInstancePredicateContract.kt)
+  getContainingJvmClassName: IsInstancePredicateContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/logicalNotContract.txt

@@ -34,6 +34,8 @@ KtFunctionSymbol:
                     type: kotlin/Boolean
                   symbolKind: LOCAL
                   typeParameters: []
+                  getContainingFileSymbol: KtFileSymbol(logicalNotContract.kt)
+                  getContainingJvmClassName: LogicalNotContractKt
                   getContainingModule: KtSourceModule "Sources of main"
                   deprecationStatus: null
   ]
@@ -80,9 +82,13 @@ KtFunctionSymbol:
         type: kotlin/Boolean
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(logicalNotContract.kt)
+      getContainingJvmClassName: LogicalNotContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(logicalNotContract.kt)
+  getContainingJvmClassName: LogicalNotContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/referenceBooleanReceiverInContract.txt

@@ -20,6 +20,7 @@ KtFunctionSymbol:
                 annotationsList: []
                 ownTypeArguments: []
                 type: kotlin/Boolean
+              getContainingFileSymbol: KtFileSymbol(referenceBooleanReceiverInContract.kt)
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
   ]
@@ -46,6 +47,7 @@ KtFunctionSymbol:
       annotationsList: []
       ownTypeArguments: []
       type: kotlin/Boolean
+    getContainingFileSymbol: KtFileSymbol(referenceBooleanReceiverInContract.kt)
     getContainingModule: KtSourceModule "Sources of main"
     deprecationStatus: null
   returnType: KtUsualClassType:
@@ -56,5 +58,7 @@ KtFunctionSymbol:
   typeParameters: []
   valueParameters: []
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(referenceBooleanReceiverInContract.kt)
+  getContainingJvmClassName: ReferenceBooleanReceiverInContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/referenceReceiverInContract.txt

@@ -23,6 +23,7 @@ KtFunctionSymbol:
                     type: kotlin/Unit
                 ]
                 type: kotlin/Function0<kotlin/Unit>
+              getContainingFileSymbol: KtFileSymbol(referenceReceiverInContract.kt)
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
       occurrencesRange: EXACTLY_ONCE
@@ -55,6 +56,7 @@ KtFunctionSymbol:
           type: kotlin/Unit
       ]
       type: kotlin/Function0<kotlin/Unit>
+    getContainingFileSymbol: KtFileSymbol(referenceReceiverInContract.kt)
     getContainingModule: KtSourceModule "Sources of main"
     deprecationStatus: null
   returnType: KtUsualClassType:
@@ -65,5 +67,7 @@ KtFunctionSymbol:
   typeParameters: []
   valueParameters: []
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(referenceReceiverInContract.kt)
+  getContainingJvmClassName: ReferenceReceiverInContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/returnsContract.txt

@@ -32,6 +32,8 @@ KtFunctionSymbol:
                 type: kotlin/Boolean
               symbolKind: LOCAL
               typeParameters: []
+              getContainingFileSymbol: KtFileSymbol(returnsContract.kt)
+              getContainingJvmClassName: ReturnsContractKt
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
   ]
@@ -78,9 +80,13 @@ KtFunctionSymbol:
         type: kotlin/Boolean
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(returnsContract.kt)
+      getContainingJvmClassName: ReturnsContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(returnsContract.kt)
+  getContainingJvmClassName: ReturnsContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/returnsFalseContract.txt

@@ -37,6 +37,8 @@ KtFunctionSymbol:
                     type: kotlin/Any?
                   symbolKind: LOCAL
                   typeParameters: []
+                  getContainingFileSymbol: KtFileSymbol(returnsFalseContract.kt)
+                  getContainingJvmClassName: ReturnsFalseContractKt
                   getContainingModule: KtSourceModule "Sources of main"
                   deprecationStatus: null
           isNegated: true
@@ -84,9 +86,13 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(returnsFalseContract.kt)
+      getContainingJvmClassName: ReturnsFalseContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(returnsFalseContract.kt)
+  getContainingJvmClassName: ReturnsFalseContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/returnsNotNullContract.txt

@@ -34,6 +34,8 @@ KtFunctionSymbol:
                     type: kotlin/Any?
                   symbolKind: LOCAL
                   typeParameters: []
+                  getContainingFileSymbol: KtFileSymbol(returnsNotNullContract.kt)
+                  getContainingJvmClassName: ReturnsNotNullContractKt
                   getContainingModule: KtSourceModule "Sources of main"
                   deprecationStatus: null
           isNegated: true
@@ -81,9 +83,13 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(returnsNotNullContract.kt)
+      getContainingJvmClassName: ReturnsNotNullContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(returnsNotNullContract.kt)
+  getContainingJvmClassName: ReturnsNotNullContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/returnsNullContract.txt

@@ -37,6 +37,8 @@ KtFunctionSymbol:
                     type: kotlin/Any?
                   symbolKind: LOCAL
                   typeParameters: []
+                  getContainingFileSymbol: KtFileSymbol(returnsNullContract.kt)
+                  getContainingJvmClassName: ReturnsNullContractKt
                   getContainingModule: KtSourceModule "Sources of main"
                   deprecationStatus: null
           isNegated: false
@@ -84,9 +86,13 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(returnsNullContract.kt)
+      getContainingJvmClassName: ReturnsNullContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(returnsNullContract.kt)
+  getContainingJvmClassName: ReturnsNullContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/returnsTrueContract.txt

@@ -37,6 +37,8 @@ KtFunctionSymbol:
                     type: kotlin/Any?
                   symbolKind: LOCAL
                   typeParameters: []
+                  getContainingFileSymbol: KtFileSymbol(returnsTrueContract.kt)
+                  getContainingJvmClassName: ReturnsTrueContractKt
                   getContainingModule: KtSourceModule "Sources of main"
                   deprecationStatus: null
           isNegated: false
@@ -84,9 +86,13 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(returnsTrueContract.kt)
+      getContainingJvmClassName: ReturnsTrueContractKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(returnsTrueContract.kt)
+  getContainingJvmClassName: ReturnsTrueContractKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null

analysis/analysis-api/testData/symbols/singleSymbolByPsi/contracts/twoContracts.txt

@@ -39,6 +39,8 @@ KtFunctionSymbol:
                         type: kotlin/Any?
                       symbolKind: LOCAL
                       typeParameters: []
+                      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+                      getContainingJvmClassName: TwoContractsKt
                       getContainingModule: KtSourceModule "Sources of main"
                       deprecationStatus: null
               isNegated: false
@@ -67,6 +69,8 @@ KtFunctionSymbol:
                         type: kotlin/Any?
                       symbolKind: LOCAL
                       typeParameters: []
+                      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+                      getContainingJvmClassName: TwoContractsKt
                       getContainingModule: KtSourceModule "Sources of main"
                       deprecationStatus: null
               isNegated: true
@@ -100,6 +104,8 @@ KtFunctionSymbol:
                 type: kotlin/Function0<kotlin/Unit>
               symbolKind: LOCAL
               typeParameters: []
+              getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+              getContainingJvmClassName: TwoContractsKt
               getContainingModule: KtSourceModule "Sources of main"
               deprecationStatus: null
       occurrencesRange: EXACTLY_ONCE
@@ -147,6 +153,8 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+      getContainingJvmClassName: TwoContractsKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
     KtValueParameterSymbol:
@@ -169,6 +177,8 @@ KtFunctionSymbol:
         type: kotlin/Any?
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+      getContainingJvmClassName: TwoContractsKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
     KtValueParameterSymbol:
@@ -196,9 +206,13 @@ KtFunctionSymbol:
         type: kotlin/Function0<kotlin/Unit>
       symbolKind: LOCAL
       typeParameters: []
+      getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+      getContainingJvmClassName: TwoContractsKt
       getContainingModule: KtSourceModule "Sources of main"
       deprecationStatus: null
   ]
   visibility: Public
+  getContainingFileSymbol: KtFileSymbol(twoContracts.kt)
+  getContainingJvmClassName: TwoContractsKt
   getContainingModule: KtSourceModule "Sources of main"
-  deprecationStatus: null
+  deprecationStatus: null