aws_db_esdk/deps/com_amazonaws_kms/conversions/
error.rs

1// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
2// SPDX-License-Identifier: Apache-2.0
3// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
4pub mod already_exists_exception;
5
6pub mod cloud_hsm_cluster_in_use_exception;
7
8pub mod cloud_hsm_cluster_invalid_configuration_exception;
9
10pub mod cloud_hsm_cluster_not_active_exception;
11
12pub mod cloud_hsm_cluster_not_found_exception;
13
14pub mod cloud_hsm_cluster_not_related_exception;
15
16pub mod conflict_exception;
17
18pub mod custom_key_store_has_cmks_exception;
19
20pub mod custom_key_store_invalid_state_exception;
21
22pub mod custom_key_store_name_in_use_exception;
23
24pub mod custom_key_store_not_found_exception;
25
26pub mod dependency_timeout_exception;
27
28pub mod disabled_exception;
29
30pub mod dry_run_operation_exception;
31
32pub mod expired_import_token_exception;
33
34pub mod incorrect_key_exception;
35
36pub mod incorrect_key_material_exception;
37
38pub mod incorrect_trust_anchor_exception;
39
40pub mod invalid_alias_name_exception;
41
42pub mod invalid_arn_exception;
43
44pub mod invalid_ciphertext_exception;
45
46pub mod invalid_grant_id_exception;
47
48pub mod invalid_grant_token_exception;
49
50pub mod invalid_import_token_exception;
51
52pub mod invalid_key_usage_exception;
53
54pub mod invalid_marker_exception;
55
56pub mod key_unavailable_exception;
57
58pub mod kms_internal_exception;
59
60pub mod kms_invalid_mac_exception;
61
62pub mod kms_invalid_signature_exception;
63
64pub mod kms_invalid_state_exception;
65
66pub mod limit_exceeded_exception;
67
68pub mod malformed_policy_document_exception;
69
70pub mod not_found_exception;
71
72pub mod tag_exception;
73
74pub mod unsupported_operation_exception;
75
76pub mod xks_key_already_in_use_exception;
77
78pub mod xks_key_invalid_configuration_exception;
79
80pub mod xks_key_not_found_exception;
81
82pub mod xks_proxy_incorrect_authentication_credential_exception;
83
84pub mod xks_proxy_invalid_configuration_exception;
85
86pub mod xks_proxy_invalid_response_exception;
87
88pub mod xks_proxy_uri_endpoint_in_use_exception;
89
90pub mod xks_proxy_uri_in_use_exception;
91
92pub mod xks_proxy_uri_unreachable_exception;
93
94pub mod xks_proxy_vpc_endpoint_service_in_use_exception;
95
96pub mod xks_proxy_vpc_endpoint_service_invalid_configuration_exception;
97
98pub mod xks_proxy_vpc_endpoint_service_not_found_exception;
99/// Wraps up an arbitrary Rust Error value as a Dafny Error
100pub fn to_opaque_error(
101    value: String,
102) -> ::dafny_runtime::Rc<
103    crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error,
104> {
105    let error_msg = value.clone();
106    let error_msg =
107        ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(
108            &error_msg,
109        );
110    let error_obj: ::dafny_runtime::Object<::dafny_runtime::DynAny> =
111        ::dafny_runtime::Object(Some(::dafny_runtime::Rc::new(
112            ::dafny_runtime::UnsafeCell::new(value),
113        )));
114    ::dafny_runtime::Rc::new(
115        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::OpaqueWithText {
116            obj: error_obj,
117	    objMessage: error_msg
118        },
119    )
120}
121
122/// Wraps up an arbitrary Rust Error value as a Dafny Result<T, Error>.Failure
123pub fn to_opaque_error_result<T: ::dafny_runtime::DafnyType>(
124    value: String,
125) -> ::dafny_runtime::Rc<
126    crate::_Wrappers_Compile::Result<
127        T,
128        ::dafny_runtime::Rc<
129            crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error,
130        >,
131    >,
132> {
133    ::dafny_runtime::Rc::new(crate::_Wrappers_Compile::Result::Failure {
134        error: to_opaque_error(value),
135    })
136}
137pub fn to_dafny(
138    value: crate::deps::com_amazonaws_kms::types::error::Error,
139) -> ::dafny_runtime::Rc<
140    crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error,
141> {
142    match value {
143        crate::deps::com_amazonaws_kms::types::error::Error::AlreadyExistsException { error } =>
144    crate::deps::com_amazonaws_kms::conversions::error::already_exists_exception::to_dafny(error),
145crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterInUseException { error } =>
146    crate::deps::com_amazonaws_kms::conversions::error::cloud_hsm_cluster_in_use_exception::to_dafny(error),
147crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterInvalidConfigurationException { error } =>
148    crate::deps::com_amazonaws_kms::conversions::error::cloud_hsm_cluster_invalid_configuration_exception::to_dafny(error),
149crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterNotActiveException { error } =>
150    crate::deps::com_amazonaws_kms::conversions::error::cloud_hsm_cluster_not_active_exception::to_dafny(error),
151crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterNotFoundException { error } =>
152    crate::deps::com_amazonaws_kms::conversions::error::cloud_hsm_cluster_not_found_exception::to_dafny(error),
153crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterNotRelatedException { error } =>
154    crate::deps::com_amazonaws_kms::conversions::error::cloud_hsm_cluster_not_related_exception::to_dafny(error),
155crate::deps::com_amazonaws_kms::types::error::Error::ConflictException { error } =>
156    crate::deps::com_amazonaws_kms::conversions::error::conflict_exception::to_dafny(error),
157crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreHasCmKsException { error } =>
158    crate::deps::com_amazonaws_kms::conversions::error::custom_key_store_has_cmks_exception::to_dafny(error),
159crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreInvalidStateException { error } =>
160    crate::deps::com_amazonaws_kms::conversions::error::custom_key_store_invalid_state_exception::to_dafny(error),
161crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreNameInUseException { error } =>
162    crate::deps::com_amazonaws_kms::conversions::error::custom_key_store_name_in_use_exception::to_dafny(error),
163crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreNotFoundException { error } =>
164    crate::deps::com_amazonaws_kms::conversions::error::custom_key_store_not_found_exception::to_dafny(error),
165crate::deps::com_amazonaws_kms::types::error::Error::DependencyTimeoutException { error } =>
166    crate::deps::com_amazonaws_kms::conversions::error::dependency_timeout_exception::to_dafny(error),
167crate::deps::com_amazonaws_kms::types::error::Error::DisabledException { error } =>
168    crate::deps::com_amazonaws_kms::conversions::error::disabled_exception::to_dafny(error),
169crate::deps::com_amazonaws_kms::types::error::Error::DryRunOperationException { error } =>
170    crate::deps::com_amazonaws_kms::conversions::error::dry_run_operation_exception::to_dafny(error),
171crate::deps::com_amazonaws_kms::types::error::Error::ExpiredImportTokenException { error } =>
172    crate::deps::com_amazonaws_kms::conversions::error::expired_import_token_exception::to_dafny(error),
173crate::deps::com_amazonaws_kms::types::error::Error::IncorrectKeyException { error } =>
174    crate::deps::com_amazonaws_kms::conversions::error::incorrect_key_exception::to_dafny(error),
175crate::deps::com_amazonaws_kms::types::error::Error::IncorrectKeyMaterialException { error } =>
176    crate::deps::com_amazonaws_kms::conversions::error::incorrect_key_material_exception::to_dafny(error),
177crate::deps::com_amazonaws_kms::types::error::Error::IncorrectTrustAnchorException { error } =>
178    crate::deps::com_amazonaws_kms::conversions::error::incorrect_trust_anchor_exception::to_dafny(error),
179crate::deps::com_amazonaws_kms::types::error::Error::InvalidAliasNameException { error } =>
180    crate::deps::com_amazonaws_kms::conversions::error::invalid_alias_name_exception::to_dafny(error),
181crate::deps::com_amazonaws_kms::types::error::Error::InvalidArnException { error } =>
182    crate::deps::com_amazonaws_kms::conversions::error::invalid_arn_exception::to_dafny(error),
183crate::deps::com_amazonaws_kms::types::error::Error::InvalidCiphertextException { error } =>
184    crate::deps::com_amazonaws_kms::conversions::error::invalid_ciphertext_exception::to_dafny(error),
185crate::deps::com_amazonaws_kms::types::error::Error::InvalidGrantIdException { error } =>
186    crate::deps::com_amazonaws_kms::conversions::error::invalid_grant_id_exception::to_dafny(error),
187crate::deps::com_amazonaws_kms::types::error::Error::InvalidGrantTokenException { error } =>
188    crate::deps::com_amazonaws_kms::conversions::error::invalid_grant_token_exception::to_dafny(error),
189crate::deps::com_amazonaws_kms::types::error::Error::InvalidImportTokenException { error } =>
190    crate::deps::com_amazonaws_kms::conversions::error::invalid_import_token_exception::to_dafny(error),
191crate::deps::com_amazonaws_kms::types::error::Error::InvalidKeyUsageException { error } =>
192    crate::deps::com_amazonaws_kms::conversions::error::invalid_key_usage_exception::to_dafny(error),
193crate::deps::com_amazonaws_kms::types::error::Error::InvalidMarkerException { error } =>
194    crate::deps::com_amazonaws_kms::conversions::error::invalid_marker_exception::to_dafny(error),
195crate::deps::com_amazonaws_kms::types::error::Error::KeyUnavailableException { error } =>
196    crate::deps::com_amazonaws_kms::conversions::error::key_unavailable_exception::to_dafny(error),
197crate::deps::com_amazonaws_kms::types::error::Error::KmsInternalException { error } =>
198    crate::deps::com_amazonaws_kms::conversions::error::kms_internal_exception::to_dafny(error),
199crate::deps::com_amazonaws_kms::types::error::Error::KmsInvalidMacException { error } =>
200    crate::deps::com_amazonaws_kms::conversions::error::kms_invalid_mac_exception::to_dafny(error),
201crate::deps::com_amazonaws_kms::types::error::Error::KmsInvalidSignatureException { error } =>
202    crate::deps::com_amazonaws_kms::conversions::error::kms_invalid_signature_exception::to_dafny(error),
203crate::deps::com_amazonaws_kms::types::error::Error::KmsInvalidStateException { error } =>
204    crate::deps::com_amazonaws_kms::conversions::error::kms_invalid_state_exception::to_dafny(error),
205crate::deps::com_amazonaws_kms::types::error::Error::LimitExceededException { error } =>
206    crate::deps::com_amazonaws_kms::conversions::error::limit_exceeded_exception::to_dafny(error),
207crate::deps::com_amazonaws_kms::types::error::Error::MalformedPolicyDocumentException { error } =>
208    crate::deps::com_amazonaws_kms::conversions::error::malformed_policy_document_exception::to_dafny(error),
209crate::deps::com_amazonaws_kms::types::error::Error::NotFoundException { error } =>
210    crate::deps::com_amazonaws_kms::conversions::error::not_found_exception::to_dafny(error),
211crate::deps::com_amazonaws_kms::types::error::Error::TagException { error } =>
212    crate::deps::com_amazonaws_kms::conversions::error::tag_exception::to_dafny(error),
213crate::deps::com_amazonaws_kms::types::error::Error::UnsupportedOperationException { error } =>
214    crate::deps::com_amazonaws_kms::conversions::error::unsupported_operation_exception::to_dafny(error),
215crate::deps::com_amazonaws_kms::types::error::Error::XksKeyAlreadyInUseException { error } =>
216    crate::deps::com_amazonaws_kms::conversions::error::xks_key_already_in_use_exception::to_dafny(error),
217crate::deps::com_amazonaws_kms::types::error::Error::XksKeyInvalidConfigurationException { error } =>
218    crate::deps::com_amazonaws_kms::conversions::error::xks_key_invalid_configuration_exception::to_dafny(error),
219crate::deps::com_amazonaws_kms::types::error::Error::XksKeyNotFoundException { error } =>
220    crate::deps::com_amazonaws_kms::conversions::error::xks_key_not_found_exception::to_dafny(error),
221crate::deps::com_amazonaws_kms::types::error::Error::XksProxyIncorrectAuthenticationCredentialException { error } =>
222    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_incorrect_authentication_credential_exception::to_dafny(error),
223crate::deps::com_amazonaws_kms::types::error::Error::XksProxyInvalidConfigurationException { error } =>
224    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_invalid_configuration_exception::to_dafny(error),
225crate::deps::com_amazonaws_kms::types::error::Error::XksProxyInvalidResponseException { error } =>
226    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_invalid_response_exception::to_dafny(error),
227crate::deps::com_amazonaws_kms::types::error::Error::XksProxyUriEndpointInUseException { error } =>
228    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_uri_endpoint_in_use_exception::to_dafny(error),
229crate::deps::com_amazonaws_kms::types::error::Error::XksProxyUriInUseException { error } =>
230    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_uri_in_use_exception::to_dafny(error),
231crate::deps::com_amazonaws_kms::types::error::Error::XksProxyUriUnreachableException { error } =>
232    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_uri_unreachable_exception::to_dafny(error),
233crate::deps::com_amazonaws_kms::types::error::Error::XksProxyVpcEndpointServiceInUseException { error } =>
234    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_vpc_endpoint_service_in_use_exception::to_dafny(error),
235crate::deps::com_amazonaws_kms::types::error::Error::XksProxyVpcEndpointServiceInvalidConfigurationException { error } =>
236    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_vpc_endpoint_service_invalid_configuration_exception::to_dafny(error),
237crate::deps::com_amazonaws_kms::types::error::Error::XksProxyVpcEndpointServiceNotFoundException { error } =>
238    crate::deps::com_amazonaws_kms::conversions::error::xks_proxy_vpc_endpoint_service_not_found_exception::to_dafny(error),
239        crate::deps::com_amazonaws_kms::types::error::Error::Opaque { obj } =>
240            ::dafny_runtime::Rc::new(crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::Opaque {
241                obj: ::dafny_runtime::Object(obj.0)
242            }),
243        crate::deps::com_amazonaws_kms::types::error::Error::OpaqueWithText { obj, objMessage } =>
244            ::dafny_runtime::Rc::new(crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::OpaqueWithText {
245                obj: ::dafny_runtime::Object(obj.0),
246                objMessage: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&objMessage),
247            }),
248    }
249}
250
251#[allow(dead_code)]
252pub fn from_dafny(
253    dafny_value: ::dafny_runtime::Rc<
254        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error,
255    >,
256) -> crate::deps::com_amazonaws_kms::types::error::Error {
257    match ::std::borrow::Borrow::borrow(&dafny_value) {
258        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::AlreadyExistsException { message, .. } =>
259  crate::deps::com_amazonaws_kms::types::error::Error::AlreadyExistsException {
260    error: aws_sdk_kms::types::error::AlreadyExistsException::builder()
261      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
262      .build()
263  },
264crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CloudHsmClusterInUseException { message, .. } =>
265  crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterInUseException {
266    error: aws_sdk_kms::types::error::CloudHsmClusterInUseException::builder()
267      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
268      .build()
269  },
270crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CloudHsmClusterInvalidConfigurationException { message, .. } =>
271  crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterInvalidConfigurationException {
272    error: aws_sdk_kms::types::error::CloudHsmClusterInvalidConfigurationException::builder()
273      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
274      .build()
275  },
276crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CloudHsmClusterNotActiveException { message, .. } =>
277  crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterNotActiveException {
278    error: aws_sdk_kms::types::error::CloudHsmClusterNotActiveException::builder()
279      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
280      .build()
281  },
282crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CloudHsmClusterNotFoundException { message, .. } =>
283  crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterNotFoundException {
284    error: aws_sdk_kms::types::error::CloudHsmClusterNotFoundException::builder()
285      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
286      .build()
287  },
288crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CloudHsmClusterNotRelatedException { message, .. } =>
289  crate::deps::com_amazonaws_kms::types::error::Error::CloudHsmClusterNotRelatedException {
290    error: aws_sdk_kms::types::error::CloudHsmClusterNotRelatedException::builder()
291      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
292      .build()
293  },
294crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::ConflictException { message, .. } =>
295  crate::deps::com_amazonaws_kms::types::error::Error::ConflictException {
296    error: aws_sdk_kms::types::error::ConflictException::builder()
297      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
298      .build()
299  },
300crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CustomKeyStoreHasCMKsException { message, .. } =>
301  crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreHasCmKsException {
302    error: aws_sdk_kms::types::error::CustomKeyStoreHasCmKsException::builder()
303      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
304      .build()
305  },
306crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CustomKeyStoreInvalidStateException { message, .. } =>
307  crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreInvalidStateException {
308    error: aws_sdk_kms::types::error::CustomKeyStoreInvalidStateException::builder()
309      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
310      .build()
311  },
312crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CustomKeyStoreNameInUseException { message, .. } =>
313  crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreNameInUseException {
314    error: aws_sdk_kms::types::error::CustomKeyStoreNameInUseException::builder()
315      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
316      .build()
317  },
318crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::CustomKeyStoreNotFoundException { message, .. } =>
319  crate::deps::com_amazonaws_kms::types::error::Error::CustomKeyStoreNotFoundException {
320    error: aws_sdk_kms::types::error::CustomKeyStoreNotFoundException::builder()
321      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
322      .build()
323  },
324crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::DependencyTimeoutException { message, .. } =>
325  crate::deps::com_amazonaws_kms::types::error::Error::DependencyTimeoutException {
326    error: aws_sdk_kms::types::error::DependencyTimeoutException::builder()
327      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
328      .build()
329  },
330crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::DisabledException { message, .. } =>
331  crate::deps::com_amazonaws_kms::types::error::Error::DisabledException {
332    error: aws_sdk_kms::types::error::DisabledException::builder()
333      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
334      .build()
335  },
336crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::DryRunOperationException { message, .. } =>
337  crate::deps::com_amazonaws_kms::types::error::Error::DryRunOperationException {
338    error: aws_sdk_kms::types::error::DryRunOperationException::builder()
339      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
340      .build()
341  },
342crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::ExpiredImportTokenException { message, .. } =>
343  crate::deps::com_amazonaws_kms::types::error::Error::ExpiredImportTokenException {
344    error: aws_sdk_kms::types::error::ExpiredImportTokenException::builder()
345      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
346      .build()
347  },
348crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::IncorrectKeyException { message, .. } =>
349  crate::deps::com_amazonaws_kms::types::error::Error::IncorrectKeyException {
350    error: aws_sdk_kms::types::error::IncorrectKeyException::builder()
351      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
352      .build()
353  },
354crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::IncorrectKeyMaterialException { message, .. } =>
355  crate::deps::com_amazonaws_kms::types::error::Error::IncorrectKeyMaterialException {
356    error: aws_sdk_kms::types::error::IncorrectKeyMaterialException::builder()
357      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
358      .build()
359  },
360crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::IncorrectTrustAnchorException { message, .. } =>
361  crate::deps::com_amazonaws_kms::types::error::Error::IncorrectTrustAnchorException {
362    error: aws_sdk_kms::types::error::IncorrectTrustAnchorException::builder()
363      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
364      .build()
365  },
366crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidAliasNameException { message, .. } =>
367  crate::deps::com_amazonaws_kms::types::error::Error::InvalidAliasNameException {
368    error: aws_sdk_kms::types::error::InvalidAliasNameException::builder()
369      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
370      .build()
371  },
372crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidArnException { message, .. } =>
373  crate::deps::com_amazonaws_kms::types::error::Error::InvalidArnException {
374    error: aws_sdk_kms::types::error::InvalidArnException::builder()
375      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
376      .build()
377  },
378crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidCiphertextException { message, .. } =>
379  crate::deps::com_amazonaws_kms::types::error::Error::InvalidCiphertextException {
380    error: aws_sdk_kms::types::error::InvalidCiphertextException::builder()
381      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
382      .build()
383  },
384crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidGrantIdException { message, .. } =>
385  crate::deps::com_amazonaws_kms::types::error::Error::InvalidGrantIdException {
386    error: aws_sdk_kms::types::error::InvalidGrantIdException::builder()
387      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
388      .build()
389  },
390crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidGrantTokenException { message, .. } =>
391  crate::deps::com_amazonaws_kms::types::error::Error::InvalidGrantTokenException {
392    error: aws_sdk_kms::types::error::InvalidGrantTokenException::builder()
393      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
394      .build()
395  },
396crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidImportTokenException { message, .. } =>
397  crate::deps::com_amazonaws_kms::types::error::Error::InvalidImportTokenException {
398    error: aws_sdk_kms::types::error::InvalidImportTokenException::builder()
399      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
400      .build()
401  },
402crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidKeyUsageException { message, .. } =>
403  crate::deps::com_amazonaws_kms::types::error::Error::InvalidKeyUsageException {
404    error: aws_sdk_kms::types::error::InvalidKeyUsageException::builder()
405      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
406      .build()
407  },
408crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::InvalidMarkerException { message, .. } =>
409  crate::deps::com_amazonaws_kms::types::error::Error::InvalidMarkerException {
410    error: aws_sdk_kms::types::error::InvalidMarkerException::builder()
411      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
412      .build()
413  },
414crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::KeyUnavailableException { message, .. } =>
415  crate::deps::com_amazonaws_kms::types::error::Error::KeyUnavailableException {
416    error: aws_sdk_kms::types::error::KeyUnavailableException::builder()
417      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
418      .build()
419  },
420crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::KMSInternalException { message, .. } =>
421  crate::deps::com_amazonaws_kms::types::error::Error::KmsInternalException {
422    error: aws_sdk_kms::types::error::KmsInternalException::builder()
423      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
424      .build()
425  },
426crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::KMSInvalidMacException { message, .. } =>
427  crate::deps::com_amazonaws_kms::types::error::Error::KmsInvalidMacException {
428    error: aws_sdk_kms::types::error::KmsInvalidMacException::builder()
429      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
430      .build()
431  },
432crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::KMSInvalidSignatureException { message, .. } =>
433  crate::deps::com_amazonaws_kms::types::error::Error::KmsInvalidSignatureException {
434    error: aws_sdk_kms::types::error::KmsInvalidSignatureException::builder()
435      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
436      .build()
437  },
438crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::KMSInvalidStateException { message, .. } =>
439  crate::deps::com_amazonaws_kms::types::error::Error::KmsInvalidStateException {
440    error: aws_sdk_kms::types::error::KmsInvalidStateException::builder()
441      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
442      .build()
443  },
444crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::LimitExceededException { message, .. } =>
445  crate::deps::com_amazonaws_kms::types::error::Error::LimitExceededException {
446    error: aws_sdk_kms::types::error::LimitExceededException::builder()
447      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
448      .build()
449  },
450crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::MalformedPolicyDocumentException { message, .. } =>
451  crate::deps::com_amazonaws_kms::types::error::Error::MalformedPolicyDocumentException {
452    error: aws_sdk_kms::types::error::MalformedPolicyDocumentException::builder()
453      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
454      .build()
455  },
456crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::NotFoundException { message, .. } =>
457  crate::deps::com_amazonaws_kms::types::error::Error::NotFoundException {
458    error: aws_sdk_kms::types::error::NotFoundException::builder()
459      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
460      .build()
461  },
462crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::TagException { message, .. } =>
463  crate::deps::com_amazonaws_kms::types::error::Error::TagException {
464    error: aws_sdk_kms::types::error::TagException::builder()
465      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
466      .build()
467  },
468crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::UnsupportedOperationException { message, .. } =>
469  crate::deps::com_amazonaws_kms::types::error::Error::UnsupportedOperationException {
470    error: aws_sdk_kms::types::error::UnsupportedOperationException::builder()
471      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
472      .build()
473  },
474crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksKeyAlreadyInUseException { message, .. } =>
475  crate::deps::com_amazonaws_kms::types::error::Error::XksKeyAlreadyInUseException {
476    error: aws_sdk_kms::types::error::XksKeyAlreadyInUseException::builder()
477      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
478      .build()
479  },
480crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksKeyInvalidConfigurationException { message, .. } =>
481  crate::deps::com_amazonaws_kms::types::error::Error::XksKeyInvalidConfigurationException {
482    error: aws_sdk_kms::types::error::XksKeyInvalidConfigurationException::builder()
483      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
484      .build()
485  },
486crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksKeyNotFoundException { message, .. } =>
487  crate::deps::com_amazonaws_kms::types::error::Error::XksKeyNotFoundException {
488    error: aws_sdk_kms::types::error::XksKeyNotFoundException::builder()
489      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
490      .build()
491  },
492crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyIncorrectAuthenticationCredentialException { message, .. } =>
493  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyIncorrectAuthenticationCredentialException {
494    error: aws_sdk_kms::types::error::XksProxyIncorrectAuthenticationCredentialException::builder()
495      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
496      .build()
497  },
498crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyInvalidConfigurationException { message, .. } =>
499  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyInvalidConfigurationException {
500    error: aws_sdk_kms::types::error::XksProxyInvalidConfigurationException::builder()
501      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
502      .build()
503  },
504crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyInvalidResponseException { message, .. } =>
505  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyInvalidResponseException {
506    error: aws_sdk_kms::types::error::XksProxyInvalidResponseException::builder()
507      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
508      .build()
509  },
510crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyUriEndpointInUseException { message, .. } =>
511  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyUriEndpointInUseException {
512    error: aws_sdk_kms::types::error::XksProxyUriEndpointInUseException::builder()
513      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
514      .build()
515  },
516crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyUriInUseException { message, .. } =>
517  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyUriInUseException {
518    error: aws_sdk_kms::types::error::XksProxyUriInUseException::builder()
519      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
520      .build()
521  },
522crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyUriUnreachableException { message, .. } =>
523  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyUriUnreachableException {
524    error: aws_sdk_kms::types::error::XksProxyUriUnreachableException::builder()
525      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
526      .build()
527  },
528crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyVpcEndpointServiceInUseException { message, .. } =>
529  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyVpcEndpointServiceInUseException {
530    error: aws_sdk_kms::types::error::XksProxyVpcEndpointServiceInUseException::builder()
531      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
532      .build()
533  },
534crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyVpcEndpointServiceInvalidConfigurationException { message, .. } =>
535  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyVpcEndpointServiceInvalidConfigurationException {
536    error: aws_sdk_kms::types::error::XksProxyVpcEndpointServiceInvalidConfigurationException::builder()
537      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
538      .build()
539  },
540crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::XksProxyVpcEndpointServiceNotFoundException { message, .. } =>
541  crate::deps::com_amazonaws_kms::types::error::Error::XksProxyVpcEndpointServiceNotFoundException {
542    error: aws_sdk_kms::types::error::XksProxyVpcEndpointServiceNotFoundException::builder()
543      .set_message(crate::standard_library_conversions::ostring_from_dafny(message.clone()))
544      .build()
545  },
546        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::Opaque { obj } =>
547            crate::deps::com_amazonaws_kms::types::error::Error::Opaque {
548                obj: obj.clone()
549            },
550        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::Error::OpaqueWithText { obj, objMessage } =>
551            crate::deps::com_amazonaws_kms::types::error::Error::OpaqueWithText {
552                obj: obj.clone(),
553                objMessage: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(&objMessage),
554            },
555    }
556}
aws_db_esdk/deps/com_amazonaws_kms/conversions/error.rs

aws_db_esdk/deps/com_amazonaws_kms/conversions/
error.rs
