aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
legacy_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)]
5pub fn to_dafny(
6    value: &crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride,
7) -> ::dafny_runtime::Rc<
8    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride,
9>{
10    ::dafny_runtime::Rc::new(to_dafny_plain(value.clone()))
11}
12
13#[allow(dead_code)]
14pub fn to_dafny_plain(
15    value: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride,
16) -> crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride{
17    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride::LegacyOverride {
18        policy: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::legacy_policy::to_dafny(value.policy.clone().unwrap()),
19 encryptor: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::legacy_dynamo_db_encryptor::to_dafny(&value.encryptor.clone().unwrap())
20,
21 attributeActionsOnEncrypt: ::dafny_runtime::dafny_runtime_conversions::hashmap_to_dafny_map(&value.attribute_actions_on_encrypt.clone().unwrap(),
22    |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&k),
23    |v| crate::deps::aws_cryptography_dbEncryptionSdk_structuredEncryption::conversions::crypto_action::to_dafny(v.clone()),
24)
25,
26 defaultAttributeFlag: ::dafny_runtime::Rc::new(match &value.default_attribute_flag {
27    Some(x) => crate::_Wrappers_Compile::Option::Some { value: crate::deps::aws_cryptography_dbEncryptionSdk_structuredEncryption::conversions::crypto_action::to_dafny(x.clone()) },
28    None => crate::_Wrappers_Compile::Option::None { }
29})
30,
31    }
32}
33
34#[allow(dead_code)]
35pub fn option_to_dafny(
36  value: ::std::option::Option<crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride>,
37) -> ::dafny_runtime::Rc<crate::_Wrappers_Compile::Option<::dafny_runtime::Rc<
38  crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride,
39>>>{
40    ::dafny_runtime::Rc::new(match value {
41        ::std::option::Option::None => crate::_Wrappers_Compile::Option::None {},
42        ::std::option::Option::Some(x) => crate::_Wrappers_Compile::Option::Some {
43            value: ::dafny_runtime::Rc::new(to_dafny_plain(x)),
44        },
45    })
46}
47
48#[allow(dead_code)]
49pub fn from_dafny(
50    dafny_value: ::dafny_runtime::Rc<
51        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride,
52    >,
53) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride {
54    plain_from_dafny(&*dafny_value)
55}
56
57#[allow(dead_code)]
58pub fn plain_from_dafny(
59    dafny_value: &crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride,
60) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride {
61    match dafny_value {
62        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride::LegacyOverride {..} =>
63            crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride::builder()
64                .set_policy(Some( crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::legacy_policy::from_dafny(dafny_value.policy()) ))
65 .set_encryptor(Some( crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::legacy_dynamo_db_encryptor::from_dafny(dafny_value.encryptor().clone())
66 ))
67 .set_attribute_actions_on_encrypt(Some( ::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(&dafny_value.attributeActionsOnEncrypt(),
68    |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
69    |v: &::dafny_runtime::Rc<crate::software::amazon::cryptography::dbencryptionsdk::structuredencryption::internaldafny::types::CryptoAction>| crate::deps::aws_cryptography_dbEncryptionSdk_structuredEncryption::conversions::crypto_action::from_dafny(v),
70)
71 ))
72 .set_default_attribute_flag(match &**dafny_value.defaultAttributeFlag() {
73    crate::r#_Wrappers_Compile::Option::Some { value } => Some(
74        crate::deps::aws_cryptography_dbEncryptionSdk_structuredEncryption::conversions::crypto_action::from_dafny(value)
75    ),
76    _ => None,
77}
78)
79                .build()
80                .unwrap()
81    }
82}
83
84#[allow(dead_code)]
85pub fn option_from_dafny(
86    dafny_value: ::dafny_runtime::Rc<crate::_Wrappers_Compile::Option<::dafny_runtime::Rc<
87        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyOverride,
88    >>>,
89) -> ::std::option::Option<
90    crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::LegacyOverride,
91> {
92    match &*dafny_value {
93        crate::_Wrappers_Compile::Option::Some { value } => {
94            ::std::option::Option::Some(plain_from_dafny(value))
95        }
96        _ => ::std::option::Option::None,
97    }
98}
aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/legacy_override.rs

aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
legacy_override.rs
