public Result CreateCustomKeyStore()

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

  public Result<CreateCustomKeyStoreResponse, Error> CreateCustomKeyStore(
    CreateCustomKeyStoreRequest input
  ) {
    software.amazon.awssdk.services.kms.model.CreateCustomKeyStoreRequest converted =
      ToNative.CreateCustomKeyStoreRequest(input);
    try {
      software.amazon.awssdk.services.kms.model.CreateCustomKeyStoreResponse result =
        _impl.createCustomKeyStore(converted);
      CreateCustomKeyStoreResponse dafnyResponse =
        ToDafny.CreateCustomKeyStoreResponse(result);
      return Result.create_Success(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        dafnyResponse
      );
    } catch (CloudHsmClusterInUseException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CloudHsmClusterInvalidConfigurationException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CloudHsmClusterNotActiveException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CloudHsmClusterNotFoundException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (CustomKeyStoreNameInUseException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (IncorrectTrustAnchorException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (KmsInternalException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (LimitExceededException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyIncorrectAuthenticationCredentialException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyInvalidConfigurationException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyInvalidResponseException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyUriEndpointInUseException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyUriInUseException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyUriUnreachableException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyVpcEndpointServiceInUseException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyVpcEndpointServiceInvalidConfigurationException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (XksProxyVpcEndpointServiceNotFoundException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (KmsException ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    } catch (Exception ex) {
      return Result.create_Failure(
        CreateCustomKeyStoreResponse._typeDescriptor(),
        Error._typeDescriptor(),
        ToDafny.Error(ex)
      );
    }
  }