pub mod validation;

smithy-lang · Dec 17, 2024 · db34194 · db34194
1 parent c3e6b46
commit db34194
Show file tree

Hide file tree

Showing 24 changed files with 24 additions and 0 deletions.
diff --git a/TestModels/Aggregate/runtimes/rust/src/lib.rs b/TestModels/Aggregate/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Constraints/runtimes/rust/src/lib.rs b/TestModels/Constraints/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Constructor/runtimes/rust/src/lib.rs b/TestModels/Constructor/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Dependencies/runtimes/rust/src/lib.rs b/TestModels/Dependencies/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Documentation/runtimes/rust/src/lib.rs b/TestModels/Documentation/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Errors/runtimes/rust/src/lib.rs b/TestModels/Errors/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Extendable/runtimes/rust/src/lib.rs b/TestModels/Extendable/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/LanguageSpecificLogic/runtimes/rust/src/lib.rs b/TestModels/LanguageSpecificLogic/runtimes/rust/src/lib.rs
@@ -15,6 +15,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/LocalService/runtimes/rust/src/lib.rs b/TestModels/LocalService/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/MultipleModels/runtimes/rust/src/lib.rs b/TestModels/MultipleModels/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Positional/runtimes/rust/src/lib.rs b/TestModels/Positional/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Refinement/runtimes/rust/src/lib.rs b/TestModels/Refinement/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Resource/runtimes/rust/src/lib.rs b/TestModels/Resource/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleBlob/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleBlob/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleBoolean/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleBoolean/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleDouble/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleDouble/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleEnum/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleEnum/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleEnumV2/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleEnumV2/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleInteger/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleInteger/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleLong/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleLong/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleString/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleString/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/SimpleTypes/SimpleTimestamp/runtimes/rust/src/lib.rs b/TestModels/SimpleTypes/SimpleTimestamp/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/TestModels/Union/runtimes/rust/src/lib.rs b/TestModels/Union/runtimes/rust/src/lib.rs
@@ -14,6 +14,7 @@ pub mod error;
 pub(crate) mod implementation_from_dafny;
 /// All operations that this crate can perform.
 pub mod operation;
+pub mod validation;
 mod standard_library_conversions;
 mod standard_library_externs;
 pub mod types;

diff --git a/...rc/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java b/...rc/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java
@@ -175,6 +175,7 @@ protected String getRustTypesModuleName() {
     /// All operations that this crate can perform.
     pub mod operation;
     pub mod conversions;
+    pub mod validation;
     pub mod deps;
     """;