aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
beacon_version.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::BeaconVersion,
7) -> ::dafny_runtime::Rc<
8    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion,
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::BeaconVersion,
16) -> crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion{
17    crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion::BeaconVersion {
18        version: value.version.clone().unwrap(),
19 keyStore: crate::deps::aws_cryptography_keyStore::conversions::client::to_dafny(&value.key_store.clone().unwrap())
20,
21 keySource: crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::beacon_key_source::to_dafny(&value.key_source.clone().unwrap())
22,
23 standardBeacons: ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(&value.standard_beacons.clone().unwrap(),
24    |e| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::standard_beacon::to_dafny(&e.clone())
25,
26)
27,
28 compoundBeacons: ::dafny_runtime::Rc::new(match &value.compound_beacons {
29    Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
30        ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
31            |e| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::compound_beacon::to_dafny(&e.clone())
32,
33        )
34    },
35    None => crate::r#_Wrappers_Compile::Option::None {}
36})
37,
38 virtualFields: ::dafny_runtime::Rc::new(match &value.virtual_fields {
39    Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
40        ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
41            |e| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::virtual_field::to_dafny(&e.clone())
42,
43        )
44    },
45    None => crate::r#_Wrappers_Compile::Option::None {}
46})
47,
48 encryptedParts: ::dafny_runtime::Rc::new(match &value.encrypted_parts {
49    Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
50        ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
51            |e| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::encrypted_part::to_dafny(&e.clone())
52,
53        )
54    },
55    None => crate::r#_Wrappers_Compile::Option::None {}
56})
57,
58 signedParts: ::dafny_runtime::Rc::new(match &value.signed_parts {
59    Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
60        ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
61            |e| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::signed_part::to_dafny(&e.clone())
62,
63        )
64    },
65    None => crate::r#_Wrappers_Compile::Option::None {}
66})
67,
68    }
69}
70
71#[allow(dead_code)]
72pub fn option_to_dafny(
73  value: ::std::option::Option<crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconVersion>,
74) -> ::dafny_runtime::Rc<crate::_Wrappers_Compile::Option<::dafny_runtime::Rc<
75  crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion,
76>>>{
77    ::dafny_runtime::Rc::new(match value {
78        ::std::option::Option::None => crate::_Wrappers_Compile::Option::None {},
79        ::std::option::Option::Some(x) => crate::_Wrappers_Compile::Option::Some {
80            value: ::dafny_runtime::Rc::new(to_dafny_plain(x)),
81        },
82    })
83}
84
85#[allow(dead_code)]
86pub fn from_dafny(
87    dafny_value: ::dafny_runtime::Rc<
88        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion,
89    >,
90) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconVersion {
91    plain_from_dafny(&*dafny_value)
92}
93
94#[allow(dead_code)]
95pub fn plain_from_dafny(
96    dafny_value: &crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion,
97) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconVersion {
98    match dafny_value {
99        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion::BeaconVersion {..} =>
100            crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconVersion::builder()
101                .set_version(Some( dafny_value.version() .clone() ))
102 .set_key_store(Some( crate::deps::aws_cryptography_keyStore::conversions::client::from_dafny(dafny_value.keyStore().clone())
103 ))
104 .set_key_source(Some( crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::beacon_key_source::from_dafny(dafny_value.keySource().clone())
105 ))
106 .set_standard_beacons(Some( ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(dafny_value.standardBeacons(),
107    |e: &::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::StandardBeacon>| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::standard_beacon::from_dafny(e.clone())
108,
109)
110 ))
111 .set_compound_beacons(match (*dafny_value.compoundBeacons()).as_ref() {
112    crate::r#_Wrappers_Compile::Option::Some { value } =>
113        Some(
114            ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
115                |e: &::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::CompoundBeacon>| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::compound_beacon::from_dafny(e.clone())
116,
117            )
118        ),
119    _ => None
120}
121)
122 .set_virtual_fields(match (*dafny_value.virtualFields()).as_ref() {
123    crate::r#_Wrappers_Compile::Option::Some { value } =>
124        Some(
125            ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
126                |e: &::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::VirtualField>| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::virtual_field::from_dafny(e.clone())
127,
128            )
129        ),
130    _ => None
131}
132)
133 .set_encrypted_parts(match (*dafny_value.encryptedParts()).as_ref() {
134    crate::r#_Wrappers_Compile::Option::Some { value } =>
135        Some(
136            ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
137                |e: &::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::EncryptedPart>| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::encrypted_part::from_dafny(e.clone())
138,
139            )
140        ),
141    _ => None
142}
143)
144 .set_signed_parts(match (*dafny_value.signedParts()).as_ref() {
145    crate::r#_Wrappers_Compile::Option::Some { value } =>
146        Some(
147            ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
148                |e: &::dafny_runtime::Rc<crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::SignedPart>| crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::conversions::signed_part::from_dafny(e.clone())
149,
150            )
151        ),
152    _ => None
153}
154)
155                .build()
156                .unwrap()
157    }
158}
159
160#[allow(dead_code)]
161pub fn option_from_dafny(
162    dafny_value: ::dafny_runtime::Rc<crate::_Wrappers_Compile::Option<::dafny_runtime::Rc<
163        crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::BeaconVersion,
164    >>>,
165) -> ::std::option::Option<
166    crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::types::BeaconVersion,
167> {
168    match &*dafny_value {
169        crate::_Wrappers_Compile::Option::Some { value } => {
170            ::std::option::Option::Some(plain_from_dafny(value))
171        }
172        _ => ::std::option::Option::None,
173    }
174}
aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/beacon_version.rs

aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
beacon_version.rs
