aws_db_esdk/deps/com_amazonaws_kms/conversions/
algorithm_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::AlgorithmSpec,
8) -> ::dafny_runtime::Rc<
9    crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec,
10> {
11    ::dafny_runtime::Rc::new(match value {
12        aws_sdk_kms::types::AlgorithmSpec::RsaesPkcs1V15 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSAES_PKCS1_V1_5 {},
13aws_sdk_kms::types::AlgorithmSpec::RsaesOaepSha1 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSAES_OAEP_SHA_1 {},
14aws_sdk_kms::types::AlgorithmSpec::RsaesOaepSha256 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSAES_OAEP_SHA_256 {},
15aws_sdk_kms::types::AlgorithmSpec::RsaAesKeyWrapSha1 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSA_AES_KEY_WRAP_SHA_1 {},
16aws_sdk_kms::types::AlgorithmSpec::RsaAesKeyWrapSha256 => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSA_AES_KEY_WRAP_SHA_256 {},
17aws_sdk_kms::types::AlgorithmSpec::Sm2Pke => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::SM2PKE {},
18        _ => panic!("Unknown enum variant: {}", value),
19    })
20}
21#[allow(dead_code)]
22pub fn from_dafny(
23    dafny_value: &crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec,
24) -> aws_sdk_kms::types::AlgorithmSpec {
25    match dafny_value {
26        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSAES_PKCS1_V1_5 {} => aws_sdk_kms::types::AlgorithmSpec::RsaesPkcs1V15,
27crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSAES_OAEP_SHA_1 {} => aws_sdk_kms::types::AlgorithmSpec::RsaesOaepSha1,
28crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSAES_OAEP_SHA_256 {} => aws_sdk_kms::types::AlgorithmSpec::RsaesOaepSha256,
29crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSA_AES_KEY_WRAP_SHA_1 {} => aws_sdk_kms::types::AlgorithmSpec::RsaAesKeyWrapSha1,
30crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::RSA_AES_KEY_WRAP_SHA_256 {} => aws_sdk_kms::types::AlgorithmSpec::RsaAesKeyWrapSha256,
31crate::r#software::amazon::cryptography::services::kms::internaldafny::types::AlgorithmSpec::SM2PKE {} => aws_sdk_kms::types::AlgorithmSpec::Sm2Pke,
32    }
33}
aws_db_esdk/deps/com_amazonaws_kms/conversions/algorithm_spec.rs

aws_db_esdk/deps/com_amazonaws_kms/conversions/
algorithm_spec.rs
