KaNamedFunctionSymbol:
  anchorPsi: PsiMethodImpl
  annotations: [
    java/lang/Override()
      psi: null
  ]
  callableId: /JavaC.func
  contextParameters: []
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: false
  isActual: false
  isBuiltinFunctionInvoke: false
  isCompanion: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  isTailRec: false
  location: CLASS
  modality: OPEN
  name: func
  origin: JAVA_SOURCE
  psi: PsiMethodImpl
  realPsi: null
  receiverParameter: null
  returnType: KaFlexibleType:
    annotations: []
    type: kotlin/Int!
  typeParameters: []
  valueParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: JavaC
  getContainingFileSymbol: null
  getContainingJvmClassName: JavaC
  canBeOperator: false
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  returnValueStatus: Unspecified
  javaMethodName: func
  importableFqName: null

KaSyntheticJavaPropertySymbol:
  anchorPsi: null
  annotations: []
  backingFieldSymbol: null
  callableId: /JavaC.prop
  contextParameters: []
  contextReceivers: []
  getter: KaPropertyGetterSymbol:
    anchorPsi: PsiMethodImpl
    annotations: [
      java/lang/Override()
        psi: null
    ]
    callableId: /JavaC.getProp
    contextParameters: []
    contextReceivers: []
    hasStableParameterNames: true
    isActual: false
    isCompanion: false
    isExpect: false
    isExtension: false
    isExternal: false
    isInline: false
    isNotDefault: true
    isOverride: false
    location: PROPERTY
    modality: OPEN
    origin: JAVA_SYNTHETIC_PROPERTY
    psi: PsiMethodImpl
    realPsi: null
    receiverParameter: null
    returnType: KaFlexibleType:
      annotations: []
      type: kotlin/Int!
    typeParameters: []
    valueParameters: []
    visibility: PUBLIC
    getDispatchReceiver(): KaUsualClassType:
      annotations: []
      typeArguments: []
      type: JavaC
    getContainingFileSymbol: null
    getContainingJvmClassName: JavaC
    getContainingModule: KaSourceModule "Sources of main"
    deprecation: null
    javaMethodName: getProp
    importableFqName: null
  hasBackingField: true
  hasGetter: true
  hasSetter: false
  initializer: null
  isActual: false
  isCompanion: false
  isDelegated: false
  isExpect: false
  isExtension: false
  isExternal: false
  isOverride: false
  isStatic: false
  isVal: true
  javaGetterSymbol: KaNamedFunctionSymbol(/JavaC.getProp)
  javaSetterSymbol: null
  location: CLASS
  modality: OPEN
  name: prop
  origin: JAVA_SYNTHETIC_PROPERTY
  psi: null
  realPsi: null
  receiverParameter: null
  returnType: KaFlexibleType:
    annotations: []
    type: kotlin/Int!
  setter: null
  typeParameters: []
  visibility: PUBLIC
  getDispatchReceiver(): KaUsualClassType:
    annotations: []
    typeArguments: []
    type: JavaC
  getContainingFileSymbol: null
  getContainingJvmClassName: JavaC
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  importableFqName: null

KaConstructorSymbol:
  anchorPsi: PsiMethodImpl
  annotations: []
  callableId: null
  containingClassId: JavaC
  contextParameters: []
  contextReceivers: []
  hasStableParameterNames: false
  isActual: false
  isCompanion: false
  isExpect: false
  isExtension: false
  isExternal: false
  isPrimary: false
  location: CLASS
  modality: FINAL
  origin: JAVA_SOURCE
  psi: PsiMethodImpl
  realPsi: null
  receiverParameter: null
  returnType: KaUsualClassType:
    annotations: []
    typeArguments: []
    type: JavaC
  typeParameters: []
  valueParameters: [
    KaValueParameterSymbol:
      anchorPsi: PsiParameterImpl
      annotations: []
      callableId: null
      contextParameters: []
      contextReceivers: []
      hasDeclaredDefaultValue: false
      hasDefaultValue: false
      isActual: false
      isCompanion: false
      isCrossinline: false
      isDelegated: false
      isExpect: false
      isExtension: false
      isExternal: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVal: true
      isVararg: false
      location: LOCAL
      modality: FINAL
      name: integer
      origin: JAVA_SOURCE
      primaryConstructorProperty: null
      psi: PsiParameterImpl
      realPsi: null
      receiverParameter: null
      returnType: KaFlexibleType:
        annotations: []
        type: kotlin/Int!
      typeParameters: []
      visibility: PUBLIC
      getContainingFileSymbol: null
      getContainingJvmClassName: JavaC
      getContainingModule: KaSourceModule "Sources of main"
      deprecation: null
      importableFqName: null
  ]
  visibility: PUBLIC
  getContainingFileSymbol: null
  getContainingJvmClassName: JavaC
  getContainingModule: KaSourceModule "Sources of main"
  deprecation: null
  javaMethodName: null
  importableFqName: JavaC
