Skip to main content

aws_esdk/deps/aws_cryptography_materialProviders/operation/
valid_decryption_materials_transition.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.
4/// Orchestration and serialization glue logic for `ValidDecryptionMaterialsTransition`.
5#[derive(::std::clone::Clone, ::std::default::Default, ::std::fmt::Debug)]
6#[non_exhaustive]
7pub struct ValidDecryptionMaterialsTransition;
8impl ValidDecryptionMaterialsTransition {
9    /// Creates a new `ValidDecryptionMaterialsTransition`
10    pub fn new() -> Self {
11        Self
12    }
13
14    pub(crate) async fn send(
15        client: &crate::deps::aws_cryptography_materialProviders::client::Client,
16        input: crate::deps::aws_cryptography_materialProviders::operation::valid_decryption_materials_transition::ValidDecryptionMaterialsTransitionInput,
17    ) -> ::std::result::Result<
18        (),
19        crate::deps::aws_cryptography_materialProviders::types::error::Error,
20    > {
21        crate::deps::aws_cryptography_materialProviders::validation::validate_aws_Pcryptography_PmaterialProviders_HValidDecryptionMaterialsTransitionInput_for_AwsCryptographicMaterialProviders_ValidDecryptionMaterialsTransition(&input)
22            .map_err(crate::deps::aws_cryptography_materialProviders::types::error::Error::wrap_validation_err)?;
23        let inner_input = crate::deps::aws_cryptography_materialProviders::conversions::valid_decryption_materials_transition::_valid_decryption_materials_transition_input::to_dafny(input);
24        let inner_result = ::dafny_runtime::md!(client.dafny_client.clone())
25            .ValidDecryptionMaterialsTransition(&inner_input);
26        if matches!(
27            inner_result.as_ref(),
28            crate::r#_Wrappers_Compile::Result::Success { .. }
29        ) {
30            Ok(())
31        } else {
32            Err(
33                crate::deps::aws_cryptography_materialProviders::conversions::error::from_dafny(
34                    inner_result.error().clone(),
35                ),
36            )
37        }
38    }
39}
40
41pub use crate::deps::aws_cryptography_materialProviders::operation::valid_decryption_materials_transition::_unit::Unit;
42
43pub use crate::deps::aws_cryptography_materialProviders::operation::valid_decryption_materials_transition::_valid_decryption_materials_transition_input::ValidDecryptionMaterialsTransitionInput;
44
45pub(crate) mod _unit;
46
47pub(crate) mod _valid_decryption_materials_transition_input;
48
49/// Builders
50pub mod builders;