| KaKotlinPropertySymbol: | |
| annotations: [] | |
| backingFieldSymbol: KaBackingFieldSymbol: | |
| annotations: [] | |
| callableId: null | |
| compilerVisibility: Private | |
| contextReceivers: [] | |
| isActual: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isNotDefault: true | |
| isVal: true | |
| location: PROPERTY | |
| modality: FINAL | |
| name: field | |
| origin: PROPERTY_BACKING_FIELD | |
| owningProperty: KaKotlinPropertySymbol(/Foo.value) | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [ | |
| KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/String | |
| ] | |
| type: kotlin/collections/MutableList<kotlin/String> | |
| visibility: PRIVATE | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: Foo | |
| getContainingFileSymbol: KaFileSymbol(explicitBackingFieldSmartcast.kt) | |
| getContainingJvmClassName: Foo | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| importableFqName: null | |
| callableId: /Foo.value | |
| compilerVisibility: Public | |
| contextParameters: [] | |
| contextReceivers: [] | |
| getter: KaPropertyGetterSymbol: | |
| annotations: [] | |
| callableId: null | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| hasStableParameterNames: true | |
| isActual: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isInline: false | |
| isNotDefault: false | |
| isOverride: false | |
| location: PROPERTY | |
| modality: FINAL | |
| origin: SOURCE | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [ | |
| KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/String | |
| ] | |
| type: kotlin/collections/List<kotlin/String> | |
| valueParameters: [] | |
| visibility: PUBLIC | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: Foo | |
| getContainingFileSymbol: KaFileSymbol(explicitBackingFieldSmartcast.kt) | |
| getContainingJvmClassName: Foo | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| importableFqName: null | |
| hasBackingField: true | |
| hasGetter: true | |
| hasSetter: false | |
| initializer: null | |
| isActual: false | |
| isConst: false | |
| isDelegatedProperty: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isFromPrimaryConstructor: false | |
| isLateInit: false | |
| isOverride: false | |
| isStatic: false | |
| isVal: true | |
| location: CLASS | |
| modality: FINAL | |
| name: value | |
| origin: SOURCE | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [ | |
| KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/String | |
| ] | |
| type: kotlin/collections/List<kotlin/String> | |
| setter: null | |
| typeParameters: [] | |
| visibility: PUBLIC | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: Foo | |
| getContainingFileSymbol: KaFileSymbol(explicitBackingFieldSmartcast.kt) | |
| getContainingJvmClassName: Foo | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| javaGetterName: getValue | |
| javaSetterName: null | |
| isInline: false | |
| importableFqName: null |