m

Author: ajewellamz

releases/rust/db_esdk/Cargo.toml

@@ -16,18 +16,18 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.8"
-aws-lc-rs = "1.10.0"
-aws-lc-sys = "0.22.0"
-aws-sdk-dynamodb = "1.50.0"
-aws-sdk-kms = "1.47.0"
-aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.8"
+aws-config = "1.5.10"
+aws-lc-rs = "1.11.1"
+aws-lc-sys = "0.23.1"
+aws-sdk-dynamodb = "1.54.0"
+aws-sdk-kms = "1.50.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.9"
 chrono = "0.4.38"
-dafny_runtime = { path = "dafny_runtime_rust"}
+dafny_runtime = { "./dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
-tokio = {version = "1.41.0", features = ["full"] }
+tokio = {version = "1.41.1", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 
 [[example]]

releases/rust/db_esdk/dafny_runtime_rust/Makefile

@@ -200,7 +200,7 @@ pub mod dafny_runtime_conversions {
         DafnyMap::<K, V>::from_hashmap(map, converter_k, converter_v)
     }
 
-    // --unicode-chars:true
+    // --unicode-char:true
     pub mod unicode_chars_true {
         use crate::Sequence;
 
@@ -216,7 +216,7 @@ pub mod dafny_runtime_conversions {
         }
     }
 
-    // --unicode-chars:false
+    // --unicode-char:false
     pub mod unicode_chars_false {
         use crate::Sequence;
 

releases/rust/db_esdk/dafny_runtime_rust/src/lib.rs

@@ -56,7 +56,7 @@ impl AES_GCM {
             Ok(&aws_lc_rs::aead::AES_128_GCM)
         } else {
             Err(format!(
-                "Key length of {} not supported in Rust. Tag length must be 16 or 32.",
+                "Key length of {} not supported in Rust. Key length must be 16 or 32.",
                 self.keyLength()
             ))
         }

releases/rust/db_esdk/src/aes_gcm.rs

@@ -4,6 +4,7 @@
 #![deny(warnings, unconditional_panic)]
 #![deny(nonstandard_style)]
 #![deny(clippy::all)]
+#![allow(dead_code)]
 
 #[allow(non_snake_case)]
 pub mod AesKdfCtr {

releases/rust/db_esdk/src/aes_kdf_ctr.rs

@@ -71,6 +71,12 @@ pub mod DafnyLibraries {
         }
     }
 
+    impl<K: ::dafny_runtime::DafnyTypeEq, V: ::dafny_runtime::DafnyTypeEq>
+        ::dafny_runtime::UpcastObject<dyn ::std::any::Any> for MutableMap<K, V>
+    {
+        ::dafny_runtime::UpcastObjectFn!(dyn ::std::any::Any);
+    }
+
     pub mod FileIO {
         use std::fs::File;
         use std::io::Read;
@@ -89,7 +95,12 @@ pub mod DafnyLibraries {
 
             let mut file = match File::open(path) {
                 Err(why) => {
-                    let err_msg = format!("couldn't open {} for reading from {}: {}", path.display(), curr_dir(), why);
+                    let err_msg = format!(
+                        "couldn't open {} for reading from {}: {}",
+                        path.display(),
+                        curr_dir(),
+                        why
+                    );
                     let err_msg = dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&err_msg);
                     return (true, dafny_runtime::Sequence::default(), err_msg);
                 }
@@ -111,8 +122,7 @@ pub mod DafnyLibraries {
             }
         }
 
-        fn curr_dir() -> String
-        {
+        fn curr_dir() -> String {
             let path = std::env::current_dir();
             match path {
                 Ok(path) => format!("{}", path.display()),
@@ -137,7 +147,12 @@ pub mod DafnyLibraries {
                 .open(path);
             let mut file = match maybe_file {
                 Err(why) => {
-                    let err_msg = format!("couldn't open {} for writing from {}: {}", path.display(), curr_dir(), why);
+                    let err_msg = format!(
+                        "couldn't open {} for writing from {}: {}",
+                        path.display(),
+                        curr_dir(),
+                        why
+                    );
                     let err_msg = dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&err_msg);
                     return (true, err_msg);
                 }

releases/rust/db_esdk/src/dafny_libraries.rs

@@ -233,6 +233,8 @@ pub mod aes_wrapping_alg;
 
  pub mod symmetric_signature_algorithm;
 
+ pub mod time_units;
+
  pub mod update_usage_metadata;
 
  pub mod update_usage_metadata_input;

releases/rust/db_esdk/src/deps/aws_cryptography_materialProviders/conversions.rs

@@ -47,6 +47,10 @@ crate::deps::aws_cryptography_materialProviders::types::error::Error::EntryDoesN
     crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::Error::EntryDoesNotExist {
         message: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&message),
     },
+crate::deps::aws_cryptography_materialProviders::types::error::Error::InFlightTtlExceeded { message } =>
+    crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::Error::InFlightTTLExceeded {
+        message: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&message),
+    },
 crate::deps::aws_cryptography_materialProviders::types::error::Error::InvalidAlgorithmSuiteInfo { message } =>
     crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::Error::InvalidAlgorithmSuiteInfo {
         message: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&message),
@@ -137,6 +141,10 @@ crate::r#software::amazon::cryptography::materialproviders::internaldafny::types
     crate::deps::aws_cryptography_materialProviders::types::error::Error::EntryDoesNotExist {
         message: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(&message),
     },
+crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::Error::InFlightTTLExceeded { message } =>
+    crate::deps::aws_cryptography_materialProviders::types::error::Error::InFlightTtlExceeded {
+        message: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(&message),
+    },
 crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::Error::InvalidAlgorithmSuiteInfo { message } =>
     crate::deps::aws_cryptography_materialProviders::types::error::Error::InvalidAlgorithmSuiteInfo {
         message: ::dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(&message),

releases/rust/db_esdk/src/deps/aws_cryptography_materialProviders/conversions/error.rs

@@ -22,6 +22,11 @@ pub fn to_dafny_plain(
  fanOut: value.fan_out.clone().unwrap(),
  inFlightTTL: value.in_flight_ttl.clone().unwrap(),
  sleepMilli: value.sleep_milli.clone().unwrap(),
+ timeUnits: ::std::rc::Rc::new(match &value.time_units {
+    Some(x) => crate::_Wrappers_Compile::Option::Some { value: crate::deps::aws_cryptography_materialProviders::conversions::time_units::to_dafny(x.clone()) },
+    None => crate::_Wrappers_Compile::Option::None { }
+})
+,
     }
 }
 
@@ -62,6 +67,13 @@ pub fn plain_from_dafny(
  .set_fan_out(Some( dafny_value.fanOut() .clone() ))
  .set_in_flight_ttl(Some( dafny_value.inFlightTTL() .clone() ))
  .set_sleep_milli(Some( dafny_value.sleepMilli() .clone() ))
+ .set_time_units(match &**dafny_value.timeUnits() {
+    crate::r#_Wrappers_Compile::Option::Some { value } => Some(
+        crate::deps::aws_cryptography_materialProviders::conversions::time_units::from_dafny(value)
+    ),
+    _ => None,
+}
+)
                 .build()
                 .unwrap()
     }

releases/rust/db_esdk/src/deps/aws_cryptography_materialProviders/conversions/storm_tracking_cache.rs

@@ -0,0 +1,23 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
+#[allow(dead_code)]
+
+pub fn to_dafny(
+    value: crate::deps::aws_cryptography_materialProviders::types::TimeUnits,
+) -> ::std::rc::Rc<crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::TimeUnits>{
+    ::std::rc::Rc::new(match value {
+        crate::deps::aws_cryptography_materialProviders::types::TimeUnits::Seconds => crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::TimeUnits::Seconds {},
+crate::deps::aws_cryptography_materialProviders::types::TimeUnits::Milliseconds => crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::TimeUnits::Milliseconds {},
+        _ => panic!("Unknown enum variant: {}", value),
+    })
+}
+ #[allow(dead_code)]
+pub fn from_dafny(
+    dafny_value: &crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::TimeUnits,
+) -> crate::deps::aws_cryptography_materialProviders::types::TimeUnits {
+    match dafny_value {
+        crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::TimeUnits::Seconds {} => crate::deps::aws_cryptography_materialProviders::types::TimeUnits::Seconds,
+crate::r#software::amazon::cryptography::materialproviders::internaldafny::types::TimeUnits::Milliseconds {} => crate::deps::aws_cryptography_materialProviders::types::TimeUnits::Milliseconds,
+    }
+}