aws_db_esdk/deps/aws_cryptography_materialProviders/conversions/
commitment_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)]
5pub fn to_dafny(
6    value: &crate::deps::aws_cryptography_materialProviders::types::CommitmentPolicy,
7) -> ::dafny_runtime::Rc<
8    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::CommitmentPolicy,
9>{
10    ::dafny_runtime::Rc::new(match value {
11        crate::deps::aws_cryptography_materialProviders::types::CommitmentPolicy::Esdk(x) =>
12    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::CommitmentPolicy::ESDK {
13        ESDK: crate::deps::aws_cryptography_materialProviders::conversions::esdk_commitment_policy::to_dafny(x.clone()),
14    },
15crate::deps::aws_cryptography_materialProviders::types::CommitmentPolicy::Dbe(x) =>
16    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::CommitmentPolicy::DBE {
17        DBE: crate::deps::aws_cryptography_materialProviders::conversions::dbe_commitment_policy::to_dafny(x.clone()),
18    },
19        _ => panic!("Unknown union variant: {:?}", value),
20    })
21}
22
23#[allow(dead_code)]
24pub fn from_dafny(
25    dafny_value: ::dafny_runtime::Rc<
26        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::CommitmentPolicy,
27    >,
28) -> crate::deps::aws_cryptography_materialProviders::types::CommitmentPolicy {
29    match &::dafny_runtime::Rc::unwrap_or_clone(dafny_value) {
30        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::CommitmentPolicy::ESDK {
31    ESDK: x @ _,
32} => crate::deps::aws_cryptography_materialProviders::types::CommitmentPolicy::Esdk(crate::deps::aws_cryptography_materialProviders::conversions::esdk_commitment_policy::from_dafny(x)),
33crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::CommitmentPolicy::DBE {
34    DBE: x @ _,
35} => crate::deps::aws_cryptography_materialProviders::types::CommitmentPolicy::Dbe(crate::deps::aws_cryptography_materialProviders::conversions::dbe_commitment_policy::from_dafny(x)),
36    }
37}