aws_db_esdk/deps/com_amazonaws_kms/conversions/
grant_operation.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)]
5
6pub fn to_dafny(
7    value: aws_sdk_kms::types::GrantOperation,
8) -> ::dafny_runtime::Rc<
9    crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation,
10> {
11    ::dafny_runtime::Rc::new(match value {
12        aws_sdk_kms::types::GrantOperation::Decrypt => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Decrypt {},
13aws_sdk_kms::types::GrantOperation::Encrypt => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Encrypt {},
14aws_sdk_kms::types::GrantOperation::GenerateDataKey => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKey {},
15aws_sdk_kms::types::GrantOperation::GenerateDataKeyWithoutPlaintext => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKeyWithoutPlaintext {},
16aws_sdk_kms::types::GrantOperation::ReEncryptFrom => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::ReEncryptFrom {},
17aws_sdk_kms::types::GrantOperation::ReEncryptTo => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::ReEncryptTo {},
18aws_sdk_kms::types::GrantOperation::Sign => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Sign {},
19aws_sdk_kms::types::GrantOperation::Verify => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Verify {},
20aws_sdk_kms::types::GrantOperation::GetPublicKey => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GetPublicKey {},
21aws_sdk_kms::types::GrantOperation::CreateGrant => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::CreateGrant {},
22aws_sdk_kms::types::GrantOperation::RetireGrant => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::RetireGrant {},
23aws_sdk_kms::types::GrantOperation::DescribeKey => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::DescribeKey {},
24aws_sdk_kms::types::GrantOperation::GenerateDataKeyPair => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKeyPair {},
25aws_sdk_kms::types::GrantOperation::GenerateDataKeyPairWithoutPlaintext => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKeyPairWithoutPlaintext {},
26aws_sdk_kms::types::GrantOperation::GenerateMac => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateMac {},
27aws_sdk_kms::types::GrantOperation::VerifyMac => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::VerifyMac {},
28aws_sdk_kms::types::GrantOperation::DeriveSharedSecret => crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::DeriveSharedSecret {},
29        _ => panic!("Unknown enum variant: {}", value),
30    })
31}
32#[allow(dead_code)]
33pub fn from_dafny(
34    dafny_value: &crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation,
35) -> aws_sdk_kms::types::GrantOperation {
36    match dafny_value {
37        crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Decrypt {} => aws_sdk_kms::types::GrantOperation::Decrypt,
38crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Encrypt {} => aws_sdk_kms::types::GrantOperation::Encrypt,
39crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKey {} => aws_sdk_kms::types::GrantOperation::GenerateDataKey,
40crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKeyWithoutPlaintext {} => aws_sdk_kms::types::GrantOperation::GenerateDataKeyWithoutPlaintext,
41crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::ReEncryptFrom {} => aws_sdk_kms::types::GrantOperation::ReEncryptFrom,
42crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::ReEncryptTo {} => aws_sdk_kms::types::GrantOperation::ReEncryptTo,
43crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Sign {} => aws_sdk_kms::types::GrantOperation::Sign,
44crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::Verify {} => aws_sdk_kms::types::GrantOperation::Verify,
45crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GetPublicKey {} => aws_sdk_kms::types::GrantOperation::GetPublicKey,
46crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::CreateGrant {} => aws_sdk_kms::types::GrantOperation::CreateGrant,
47crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::RetireGrant {} => aws_sdk_kms::types::GrantOperation::RetireGrant,
48crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::DescribeKey {} => aws_sdk_kms::types::GrantOperation::DescribeKey,
49crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKeyPair {} => aws_sdk_kms::types::GrantOperation::GenerateDataKeyPair,
50crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateDataKeyPairWithoutPlaintext {} => aws_sdk_kms::types::GrantOperation::GenerateDataKeyPairWithoutPlaintext,
51crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::GenerateMac {} => aws_sdk_kms::types::GrantOperation::GenerateMac,
52crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::VerifyMac {} => aws_sdk_kms::types::GrantOperation::VerifyMac,
53crate::r#software::amazon::cryptography::services::kms::internaldafny::types::GrantOperation::DeriveSharedSecret {} => aws_sdk_kms::types::GrantOperation::DeriveSharedSecret,
54    }
55}
aws_db_esdk/deps/com_amazonaws_kms/conversions/grant_operation.rs

aws_db_esdk/deps/com_amazonaws_kms/conversions/
grant_operation.rs
