| KaSyntheticJavaPropertySymbol: | |
| annotations: [] | |
| backingFieldSymbol: null | |
| callableId: /JavaClass.foo | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| getter: KaPropertyGetterSymbol: | |
| annotations: [ | |
| java/lang/Override() | |
| psi: null | |
| ] | |
| callableId: /JavaClass.getFoo | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| hasStableParameterNames: true | |
| isActual: false | |
| isExpect: false | |
| isExtension: true | |
| isExternal: false | |
| isInline: false | |
| isNotDefault: true | |
| isOverride: false | |
| location: PROPERTY | |
| modality: OPEN | |
| origin: JAVA_SYNTHETIC_PROPERTY | |
| receiverParameter: KaReceiverParameterSymbol: | |
| annotations: [] | |
| callableId: null | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| isActual: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isVal: true | |
| location: LOCAL | |
| modality: FINAL | |
| name: <receiver> | |
| origin: JAVA_SYNTHETIC_PROPERTY | |
| owningCallableSymbol: KaPropertyGetterSymbol(/JavaClass.getFoo) | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: @EnhancedNullability kotlin/String | |
| visibility: PUBLIC | |
| getContainingFileSymbol: null | |
| getContainingJvmClassName: JavaClass | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| importableFqName: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/Int | |
| valueParameters: [] | |
| visibility: PUBLIC | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: JavaClass | |
| getContainingFileSymbol: null | |
| getContainingJvmClassName: JavaClass | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| importableFqName: null | |
| hasBackingField: true | |
| hasGetter: true | |
| hasSetter: false | |
| initializer: null | |
| isActual: false | |
| isDelegatedProperty: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isFromPrimaryConstructor: false | |
| isOverride: false | |
| isStatic: false | |
| isVal: true | |
| javaGetterSymbol: KaNamedFunctionSymbol(/JavaClass.getFoo) | |
| javaSetterSymbol: null | |
| location: CLASS | |
| modality: OPEN | |
| name: foo | |
| origin: JAVA_SYNTHETIC_PROPERTY | |
| receiverParameter: KaReceiverParameterSymbol: | |
| annotations: [] | |
| callableId: null | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| isActual: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isVal: true | |
| location: LOCAL | |
| modality: FINAL | |
| name: <receiver> | |
| origin: JAVA_SYNTHETIC_PROPERTY | |
| owningCallableSymbol: KaSyntheticJavaPropertySymbol(/JavaClass.foo) | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: @EnhancedNullability kotlin/String | |
| visibility: PUBLIC | |
| getContainingFileSymbol: null | |
| getContainingJvmClassName: JavaClass | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| importableFqName: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/Int | |
| setter: null | |
| typeParameters: [] | |
| visibility: PUBLIC | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: JavaClass | |
| getContainingFileSymbol: null | |
| getContainingJvmClassName: JavaClass | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: null | |
| javaGetterName: getFoo | |
| javaSetterName: null | |
| importableFqName: null |