m

Author: ajewellamz

DynamoDbEncryption/runtimes/rust/.gitignore

@@ -1,18 +1,35 @@
-target
+*.pem
 Cargo.lock
-src/client.rs
+src/aes_gcm.rs
+src/aes_kdf_ctr.rs
 src/client
-src/conversions.rs
+src/client.rs
+src/concurrent_call.rs
 src/conversions
-src/deps.rs
+src/conversions.rs
+src/dafny_libraries.rs
+src/ddb.rs
 src/deps
-src/error.rs
+src/deps.rs
+src/digest.rs
+src/ecdh.rs
+src/ecdsa.rs
 src/error
+src/error.rs
+src/hmac.rs
 src/implementation_from_dafny.rs
-src/operation.rs
+src/kms.rs
+src/local_cmc.rs
 src/operation
+src/operation.rs
+src/random.rs
+src/rsa.rs
+src/sets.rs
 src/standard_library_conversions.rs
 src/standard_library_externs.rs
-src/types.rs
+src/storm_tracker.rs
+src/time.rs
 src/types
-*.pem
+src/types.rs
+src/uuid.rs
+target

DynamoDbEncryption/runtimes/rust/copy_externs.sh

@@ -18,7 +18,8 @@ cp $SRC/local_cmc.rs src
 cp $SRC/random.rs src
 cp $SRC/rsa.rs src
 cp $SRC/sets.rs src
-cp $SRC/software_externs.rs src
+# software_externs also has the Legacy stuff for Gazelle
+# cp $SRC/software_externs.rs src
 cp $SRC/storm_tracker.rs src
 cp $SRC/time.rs src
 cp $SRC/uuid.rs src

DynamoDbEncryption/runtimes/rust/src/software_externs.rs

@@ -0,0 +1,99 @@
+// 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 ::std::rc::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 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
+                                    }
+                                }
+                            }
+                        }
+                    }
+                }
+            }
+        }
+    }
+}