chore(smithy-dafny): Bump to HEAD (#1138)

aws · Dec 18, 2024 · 96fa3af · 96fa3af
1 parent 6005777
commit 96fa3af
Show file tree

Hide file tree

Showing 7 changed files with 21 additions and 1 deletion.
diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/.gitignore b/AwsCryptographicMaterialProviders/runtimes/rust/.gitignore
@@ -14,4 +14,5 @@ src/standard_library_conversions.rs
 src/standard_library_externs.rs
 src/types.rs
 src/types
+src/validation.rs
 target
diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs b/AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs
@@ -15,6 +15,7 @@ pub mod deps;
 pub mod error;
 pub mod operation;
 pub mod types;
+pub mod validation;
 
 pub(crate) mod standard_library_conversions;
 pub(crate) mod standard_library_externs;

diff --git a/AwsCryptographyPrimitives/runtimes/rust/.gitignore b/AwsCryptographyPrimitives/runtimes/rust/.gitignore
@@ -14,3 +14,18 @@ src/standard_library_conversions.rs
 src/standard_library_externs.rs
 src/types.rs
 src/types
+src/validation.rs
+src/aes_gcm.rs
+src/aes_kdf_ctr.rs
+src/concurrent_call.rs
+src/dafny_libraries.rs
+src/digest.rs
+src/ecdh.rs
+src/ecdsa.rs
+src/hmac.rs
+src/random.rs
+src/rsa.rs
+src/sets.rs
+src/time.rs
+src/uuid.rs
+target/
diff --git a/AwsCryptographyPrimitives/runtimes/rust/src/lib.rs b/AwsCryptographyPrimitives/runtimes/rust/src/lib.rs
@@ -11,6 +11,7 @@ pub mod conversions;
 pub mod error;
 pub mod operation;
 pub mod types;
+pub mod validation;
 
 pub(crate) mod standard_library_conversions;
 pub(crate) mod standard_library_externs;

diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore
@@ -6,6 +6,7 @@ src/types
 src/types.rs
 src/timer.rs
 src/time.rs
+src/validation.rs
 src/storm_tracker.rs
 src/standard_library_externs.rs
 src/standard_library_conversions.rs

diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs
@@ -13,6 +13,7 @@ pub mod deps;
 pub mod error;
 pub mod operation;
 pub mod types;
+pub mod validation;
 pub mod wrapped;
 
 pub(crate) mod standard_library_conversions;

diff --git a/smithy-dafny b/smithy-dafny
+1 −0		TestModels/Aggregate/runtimes/rust/src/lib.rs
+3 −0		TestModels/CallingAWSSDKFromLocalService/Makefile
+25 −0		TestModels/CallingAWSSDKFromLocalService/runtimes/rust/Cargo.toml
+43 −0		TestModels/CallingAWSSDKFromLocalService/runtimes/rust/src/ddb.rs
+39 −0		TestModels/CallingAWSSDKFromLocalService/runtimes/rust/src/kms.rs
+33 −0		TestModels/CallingAWSSDKFromLocalService/runtimes/rust/src/lib.rs
+10 −0		TestModels/Constraints/Makefile
+34 −4		TestModels/Constraints/Model/Constraints.smithy
+1 −0		TestModels/Constraints/runtimes/rust/src/lib.rs
+85 −0		TestModels/Constraints/runtimes/rust/tests/simple_constraints_test.rs
+6 −2		TestModels/Constraints/src/SimpleConstraintsImpl.dfy
+8 −1		TestModels/Constraints/test/Helpers.dfy
+72 −0		TestModels/Constraints/test/WrappedSimpleConstraintsTest.dfy
+1 −0		TestModels/Constructor/runtimes/rust/src/lib.rs
+1 −0		TestModels/Dependencies/runtimes/rust/src/lib.rs
+1 −0		TestModels/Documentation/runtimes/rust/src/lib.rs
+1 −0		TestModels/Errors/runtimes/rust/src/lib.rs
+1 −0		TestModels/Extendable/runtimes/rust/src/lib.rs
+1 −0		TestModels/LocalService/runtimes/rust/src/lib.rs
+1 −0		TestModels/MultipleModels/runtimes/rust/src/lib.rs
+1 −0		TestModels/Positional/runtimes/rust/src/lib.rs
+1 −0		TestModels/Resource/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleBlob/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleBoolean/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleDouble/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleEnum/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleEnumV2/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleInteger/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleLong/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleString/runtimes/rust/src/lib.rs
+1 −0		TestModels/SimpleTypes/SimpleTimestamp/runtimes/rust/src/lib.rs
+1 −0		TestModels/Union/runtimes/rust/src/lib.rs
+11 −0		codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyjava/JavaTestModels.java
+0 −1		codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyrust/RustTestModels.java
+1 −1		codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/CodegenEngine.java
+2 −1		...y-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/AbstractRustShimGenerator.java
+8 −0		...thy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustAwsSdkShimGenerator.java
+425 −53		...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java
+0 −71		codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ConstrainTraitUtils.java
+16 −0		codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/OperationBindingIndex.java
+2 −1		codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/client.rs
+2 −1		codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/operation/outer.rs
+1 −0		codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types.rs
+0 −0		codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/validation.rs