aws_db_esdk/deps/aws_cryptography_materialProviders/conversions/
signature_algorithm.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::SignatureAlgorithm,
7) -> ::dafny_runtime::Rc<
8    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::SignatureAlgorithm,
9>{
10    ::dafny_runtime::Rc::new(match value {
11        crate::deps::aws_cryptography_materialProviders::types::SignatureAlgorithm::Ecdsa(x) =>
12    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::SignatureAlgorithm::ECDSA {
13        ECDSA: crate::deps::aws_cryptography_materialProviders::conversions::ecdsa::to_dafny(&x.clone())
14,
15    },
16crate::deps::aws_cryptography_materialProviders::types::SignatureAlgorithm::None(x) =>
17    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::SignatureAlgorithm::None {
18        _None: crate::deps::aws_cryptography_materialProviders::conversions::none::to_dafny(&x.clone())
19,
20    },
21        _ => panic!("Unknown union variant: {:?}", value),
22    })
23}
24
25#[allow(dead_code)]
26pub fn from_dafny(
27    dafny_value: ::dafny_runtime::Rc<
28        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::SignatureAlgorithm,
29    >,
30) -> crate::deps::aws_cryptography_materialProviders::types::SignatureAlgorithm {
31    match &::dafny_runtime::Rc::unwrap_or_clone(dafny_value) {
32        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::SignatureAlgorithm::ECDSA {
33    ECDSA: x @ _,
34} => crate::deps::aws_cryptography_materialProviders::types::SignatureAlgorithm::Ecdsa(crate::deps::aws_cryptography_materialProviders::conversions::ecdsa::from_dafny(x.clone())
35),
36crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::SignatureAlgorithm::None {
37    _None: x @ _,
38} => crate::deps::aws_cryptography_materialProviders::types::SignatureAlgorithm::None(crate::deps::aws_cryptography_materialProviders::conversions::none::from_dafny(x.clone())
39),
40    }
41}