public Result UpdateCustomKeyStore()

in ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/Shim.java [3564:3694]
131 lines of code
20 McCabe index (conditional complexity)

  public Result<UpdateCustomKeyStoreResponse, Error> UpdateCustomKeyStore(
    UpdateCustomKeyStoreRequest input
  ) {
    software.amazon.awssdk.services.kms.model.UpdateCustomKeyStoreRequest converted =
      ToNative.UpdateCustomKeyStoreRequest(input);
    try {
      software.amazon.awssdk.services.kms.model.UpdateCustomKeyStoreResponse result =
        _impl.updateCustomKeyStore(converted);
      UpdateCustomKeyStoreResponse dafnyResponse =
        ToDafny.UpdateCustomKeyStoreResponse(result);
      return Result.create_Success(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        dafnyResponse
      );
    } catch (CloudHsmClusterInvalidConfigurationException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CloudHsmClusterNotActiveException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CloudHsmClusterNotFoundException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CloudHsmClusterNotRelatedException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CustomKeyStoreInvalidStateException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CustomKeyStoreNameInUseException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CustomKeyStoreNotFoundException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (KmsInternalException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyIncorrectAuthenticationCredentialException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyInvalidConfigurationException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyInvalidResponseException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyUriEndpointInUseException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyUriInUseException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyUriUnreachableException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyVpcEndpointServiceInUseException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyVpcEndpointServiceInvalidConfigurationException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyVpcEndpointServiceNotFoundException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (KmsException ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (Exception ex) {
      return Result.create_Failure(
        UpdateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    }
  }