aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
plaintext_override.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::PlaintextOverride,
8) -> ::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride>{
9    ::dafny_runtime::Rc::new(match value {
10        crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride::ForcePlaintextWriteAllowPlaintextRead => crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride::FORCE_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ {},
11crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride::ForbidPlaintextWriteAllowPlaintextRead => crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride::FORBID_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ {},
12crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride::ForbidPlaintextWriteForbidPlaintextRead => crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride::FORBID_PLAINTEXT_WRITE_FORBID_PLAINTEXT_READ {},
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::PlaintextOverride,
19) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride {
20    match dafny_value {
21        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride::FORCE_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ {} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride::ForcePlaintextWriteAllowPlaintextRead,
22crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride::FORBID_PLAINTEXT_WRITE_ALLOW_PLAINTEXT_READ {} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride::ForbidPlaintextWriteAllowPlaintextRead,
23crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::PlaintextOverride::FORBID_PLAINTEXT_WRITE_FORBID_PLAINTEXT_READ {} => crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::PlaintextOverride::ForbidPlaintextWriteForbidPlaintextRead,
24    }
25}
aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/plaintext_override.rs

aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
plaintext_override.rs
