aws_db_esdk/deps/aws_cryptography_materialProviders/conversions/
on_decrypt_input.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_materialProviders::types::OnDecryptInput,
7) -> ::dafny_runtime::Rc<
8    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput,
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_materialProviders::types::OnDecryptInput,
16) -> crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput
17{
18    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput::OnDecryptInput {
19        materials: crate::deps::aws_cryptography_materialProviders::conversions::decryption_materials::to_dafny(&value.materials.clone().unwrap())
20,
21 encryptedDataKeys: ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(&value.encrypted_data_keys.clone().unwrap(),
22    |e| crate::deps::aws_cryptography_materialProviders::conversions::encrypted_data_key::to_dafny(&e.clone())
23,
24)
25,
26    }
27}
28
29#[allow(dead_code)]
30pub fn option_to_dafny(
31  value: ::std::option::Option<crate::deps::aws_cryptography_materialProviders::types::OnDecryptInput>,
32) -> ::dafny_runtime::Rc<crate::_Wrappers_Compile::Option<::dafny_runtime::Rc<
33  crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput,
34>>>{
35    ::dafny_runtime::Rc::new(match value {
36        ::std::option::Option::None => crate::_Wrappers_Compile::Option::None {},
37        ::std::option::Option::Some(x) => crate::_Wrappers_Compile::Option::Some {
38            value: ::dafny_runtime::Rc::new(to_dafny_plain(x)),
39        },
40    })
41}
42
43#[allow(dead_code)]
44pub fn from_dafny(
45    dafny_value: ::dafny_runtime::Rc<
46        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput,
47    >,
48) -> crate::deps::aws_cryptography_materialProviders::types::OnDecryptInput {
49    plain_from_dafny(&*dafny_value)
50}
51
52#[allow(dead_code)]
53pub fn plain_from_dafny(
54    dafny_value: &crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput,
55) -> crate::deps::aws_cryptography_materialProviders::types::OnDecryptInput {
56    match dafny_value {
57        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput::OnDecryptInput {..} =>
58            crate::deps::aws_cryptography_materialProviders::types::OnDecryptInput::builder()
59                .set_materials(Some( crate::deps::aws_cryptography_materialProviders::conversions::decryption_materials::from_dafny(dafny_value.materials().clone())
60 ))
61 .set_encrypted_data_keys(Some( ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(dafny_value.encryptedDataKeys(),
62    |e: &::dafny_runtime::Rc<crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::EncryptedDataKey>| crate::deps::aws_cryptography_materialProviders::conversions::encrypted_data_key::from_dafny(e.clone())
63,
64)
65 ))
66                .build()
67                .unwrap()
68    }
69}
70
71#[allow(dead_code)]
72pub fn option_from_dafny(
73    dafny_value: ::dafny_runtime::Rc<crate::_Wrappers_Compile::Option<::dafny_runtime::Rc<
74        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::OnDecryptInput,
75    >>>,
76) -> ::std::option::Option<crate::deps::aws_cryptography_materialProviders::types::OnDecryptInput> {
77    match &*dafny_value {
78        crate::_Wrappers_Compile::Option::Some { value } => {
79            ::std::option::Option::Some(plain_from_dafny(value))
80        }
81        _ => ::std::option::Option::None,
82    }
83}
aws_db_esdk/deps/aws_cryptography_materialProviders/conversions/on_decrypt_input.rs

aws_db_esdk/deps/aws_cryptography_materialProviders/conversions/
on_decrypt_input.rs
