put polymorph_rust generated validation.rs in gitignore

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

Hide file tree

Showing 4 changed files with 4 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/AwsCryptographyPrimitives/runtimes/rust/.gitignore b/AwsCryptographyPrimitives/runtimes/rust/.gitignore
@@ -14,3 +14,4 @@ src/standard_library_conversions.rs
 src/standard_library_externs.rs
 src/types.rs
 src/types
+src/validation.rs
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/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