1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0
#![deny(warnings, unconditional_panic)]
#![deny(nonstandard_style)]
#![deny(clippy::all)]
#![allow(non_snake_case)]
pub mod software {
pub mod amazon {
pub mod cryptography {
pub mod internaldafny {
pub mod StormTrackingCMC {
pub use crate::storm_tracker::internal_StormTrackingCMC::*;
}
pub mod SynchronizedLocalCMC {
pub use crate::local_cmc::internal_SynchronizedLocalCMC::*;
}
}
pub mod dbencryptionsdk {
pub mod dynamodb {
pub mod itemencryptor {
pub mod internaldafny {
pub mod legacy {
use crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::Error as DafnyError;
use crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::LegacyPolicy;
use ::dafny_runtime::Rc;
type Legacy = ::dafny_runtime::Object<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::legacy::InternalLegacyOverride>;
fn error(s: &str) -> Rc<DafnyError> {
Rc::new(DafnyError::DynamoDbItemEncryptorException {
message:
dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(s),
})
}
pub struct InternalLegacyOverride {
pub r#__i_policy: Rc<LegacyPolicy>,
}
fn fail_override() -> Rc<
crate::_Wrappers_Compile::Result<
Rc<crate::_Wrappers_Compile::Option<Legacy>>,
Rc<DafnyError>,
>,
> {
Rc::new(crate::_Wrappers_Compile::Result::Failure {
error: error("Legacy configuration unsupported."),
})
}
fn success_override() -> Rc<
crate::_Wrappers_Compile::Result<
Rc<crate::_Wrappers_Compile::Option<Legacy>>,
Rc<DafnyError>,
>,
> {
Rc::new(crate::_Wrappers_Compile::Result::Success {
value: Rc::new(crate::_Wrappers_Compile::Option::None {}),
})
}
impl InternalLegacyOverride {
pub fn policy(&self) -> Rc<LegacyPolicy> {
self.r#__i_policy.clone()
}
pub fn Build(
config: &Rc<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::DynamoDbItemEncryptorConfig>,
) -> Rc<
crate::_Wrappers_Compile::Result<
Rc<crate::_Wrappers_Compile::Option<Legacy>>,
Rc<DafnyError>,
>,
> {
match &**config.legacyOverride() {
crate::_Wrappers_Compile::Option::Some{value} => {
match &**value.policy() {
LegacyPolicy::FORBID_LEGACY_ENCRYPT_FORBID_LEGACY_DECRYPT{} => success_override(),
_ => fail_override()
}
}
crate::_Wrappers_Compile::Option::None{} => success_override()
}
}
pub fn EncryptItem(&self, _input: &Rc<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::EncryptItemInput>) -> Rc<crate::_Wrappers_Compile::Result<Rc<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::EncryptItemOutput>, Rc<DafnyError>>>{
todo!("InternalLLegacyOverride::EncryptItem")
}
pub fn DecryptItem(&self, _input: &Rc<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::DecryptItemInput>) -> Rc<crate::_Wrappers_Compile::Result<Rc<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::DecryptItemOutput>, Rc<DafnyError>>>{
todo!("InternalLLegacyOverride::DecryptItem")
}
pub fn IsLegacyInput(
&self,
_input: &Rc<crate::software::amazon::cryptography::dbencryptionsdk::dynamodb::itemencryptor::internaldafny::types::DecryptItemInput>,
) -> bool {
false
}
}
}
}
}
}
}
}
}
}