aws_db_esdk/deps/com_amazonaws_kms/conversions/
wrapping_key_spec.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#[allow(dead_code)]
5
6pub fn to_dafny(
7    value: aws_sdk_kms::types::WrappingKeySpec,
8) -> ::dafny_runtime::Rc<
9    crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec,
10> {
11    ::dafny_runtime::Rc::new(match value {
12        aws_sdk_kms::types::WrappingKeySpec::Rsa2048 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::RSA_2048 {},
13aws_sdk_kms::types::WrappingKeySpec::Rsa3072 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::RSA_3072 {},
14aws_sdk_kms::types::WrappingKeySpec::Rsa4096 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::RSA_4096 {},
15aws_sdk_kms::types::WrappingKeySpec::Sm2 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::SM2 {},
16        _ => panic!("Unknown enum variant: {}", value),
17    })
18}
19#[allow(dead_code)]
20pub fn from_dafny(
21    dafny_value: &crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec,
22) -> aws_sdk_kms::types::WrappingKeySpec {
23    match dafny_value {
24        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::RSA_2048 {} => aws_sdk_kms::types::WrappingKeySpec::Rsa2048,
25crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::RSA_3072 {} => aws_sdk_kms::types::WrappingKeySpec::Rsa3072,
26crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::RSA_4096 {} => aws_sdk_kms::types::WrappingKeySpec::Rsa4096,
27crate::r#software::amazon::cryptography::services::kms::internaldafny::types::WrappingKeySpec::SM2 {} => aws_sdk_kms::types::WrappingKeySpec::Sm2,
28    }
29}
aws_db_esdk/deps/com_amazonaws_kms/conversions/wrapping_key_spec.rs

aws_db_esdk/deps/com_amazonaws_kms/conversions/
wrapping_key_spec.rs
