aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
legacy_policy.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: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy,
8) -> ::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy>{
9    ::dafny_runtime::Rc::new(match value {
10        crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy::ForceLegacyEncryptAllowLegacyDecrypt => crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy::FORCE_LEGACY_ENCRYPT_ALLOW_LEGACY_DECRYPT {},
11crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy::ForbidLegacyEncryptAllowLegacyDecrypt => crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy::FORBID_LEGACY_ENCRYPT_ALLOW_LEGACY_DECRYPT {},
12crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy::ForbidLegacyEncryptForbidLegacyDecrypt => crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy::FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT {},
13        _ => panic!("Unknown enum variant: {}", value),
14    })
15}
16#[allow(dead_code)]
17pub fn from_dafny(
18    dafny_value: &crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy,
19) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy {
20    match dafny_value {
21        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy::FORCE_LEGACY_ENCRYPT_ALLOW_LEGACY_DECRYPT {} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy::ForceLegacyEncryptAllowLegacyDecrypt,
22crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy::FORBID_LEGACY_ENCRYPT_ALLOW_LEGACY_DECRYPT {} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy::ForbidLegacyEncryptAllowLegacyDecrypt,
23crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy::FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT {} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyPolicy::ForbidLegacyEncryptForbidLegacyDecrypt,
24    }
25}
aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/legacy_policy.rs

aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
legacy_policy.rs
