KtFunctionSymbol:
  annotationsList: []
  callableIdIfNonLocal: /JavaClass.add
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: false
  isActual: false
  isBuiltinFunctionInvoke: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: false
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: OPEN
  name: add
  origin: JAVA
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: kotlin/Int
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: s
      origin: JAVA
      receiverParameter: null
      returnType: KtFlexibleType:
        annotationsList: []
        type: kotlin/String!
      symbolKind: LOCAL
      typeParameters: []
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getDispatchReceiver(): KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: JavaClass
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtFunctionSymbol:
  annotationsList: []
  callableIdIfNonLocal: /JavaClass.removeAt
  contextReceivers: []
  contractEffects: []
  hasStableParameterNames: false
  isActual: false
  isBuiltinFunctionInvoke: false
  isExpect: false
  isExtension: false
  isExternal: false
  isInfix: false
  isInline: false
  isOperator: true
  isOverride: false
  isStatic: false
  isSuspend: false
  modality: OPEN
  name: removeAt
  origin: JAVA
  receiverParameter: null
  returnType: KtFlexibleType:
    annotationsList: []
    type: kotlin/String!
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: [
    KtValueParameterSymbol:
      annotationsList: []
      callableIdIfNonLocal: null
      contextReceivers: []
      generatedPrimaryConstructorProperty: null
      hasDefaultValue: false
      isCrossinline: false
      isExtension: false
      isImplicitLambdaParameter: false
      isNoinline: false
      isVararg: false
      name: index
      origin: JAVA
      receiverParameter: null
      returnType: KtUsualClassType:
        annotationsList: []
        ownTypeArguments: []
        type: kotlin/Int
      symbolKind: LOCAL
      typeParameters: []
      getContainingModule: KtSourceModule "Sources of main"
      deprecationStatus: null
  ]
  visibility: Public
  getDispatchReceiver(): KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: JavaClass
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null

KtConstructorSymbol:
  annotationsList: []
  callableIdIfNonLocal: null
  containingClassIdIfNonLocal: JavaClass
  contextReceivers: []
  hasStableParameterNames: false
  isActual: false
  isExpect: false
  isExtension: false
  isPrimary: false
  origin: JAVA
  receiverParameter: null
  returnType: KtUsualClassType:
    annotationsList: []
    ownTypeArguments: []
    type: JavaClass
  symbolKind: CLASS_MEMBER
  typeParameters: []
  valueParameters: []
  visibility: PackageVisibility
  getContainingModule: KtSourceModule "Sources of main"
  deprecationStatus: null
