| KaSyntheticJavaPropertySymbol: | |
| annotations: [] | |
| backingFieldSymbol: null | |
| callableId: /Base.foo | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| getter: KaPropertyGetterSymbol: | |
| annotations: [] | |
| callableId: /Base.getFoo | |
| compilerVisibility: Public | |
| contextReceivers: [] | |
| hasStableParameterNames: true | |
| isActual: false | |
| isExpect: false | |
| isExtension: false | |
| isExternal: false | |
| isInline: false | |
| isNotDefault: true | |
| isOverride: false | |
| location: PROPERTY | |
| modality: FINAL | |
| origin: JAVA_SYNTHETIC_PROPERTY | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/String | |
| valueParameters: [] | |
| visibility: PUBLIC | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: Base | |
| getContainingFileSymbol: null | |
| getContainingJvmClassName: Base | |
| 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(/Base.getFoo) | |
| javaSetterSymbol: null | |
| location: CLASS | |
| modality: FINAL | |
| name: foo | |
| origin: JAVA_SYNTHETIC_PROPERTY | |
| receiverParameter: null | |
| returnType: KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: kotlin/String | |
| setter: null | |
| typeParameters: [] | |
| visibility: PUBLIC | |
| getDispatchReceiver(): KaUsualClassType: | |
| annotations: [] | |
| typeArguments: [] | |
| type: Base | |
| getContainingFileSymbol: null | |
| getContainingJvmClassName: Base | |
| getContainingModule: KaSourceModule "Sources of main" | |
| deprecationStatus: DeprecationInfo(deprecationLevel=HIDDEN, propagatesToOverrides=true, message=null) | |
| javaGetterName: getFoo | |
| javaSetterName: null | |
| importableFqName: null |