diff --git a/TestModels/Aggregate/runtimes/rust/src/lib.rs b/TestModels/Aggregate/runtimes/rust/src/lib.rs index 5cecdca79..692c7503b 100644 --- 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 index d628ae079..62a19e976 100644 --- 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 index 00fd97267..52ce99f52 100644 --- 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 index 515c869a8..017126da8 100644 --- 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 index a5e45968a..7d1152712 100644 --- 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 index b635ab223..7909e6665 100644 --- 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 index 87c7b1997..ea7fb7ae2 100644 --- 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 index 4fb0ab984..0331f3f3b 100644 --- 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 index 45f114186..e0559df57 100644 --- 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 index a5ccbd3f3..bf6610d16 100644 --- 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 index 7cdb6b103..abd6f0365 100644 --- 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 index f22d7ed51..13d597c7b 100644 --- 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 index 329468013..8465254ed 100644 --- 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 index dfcdaf4f1..352f62351 100644 --- 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 index 6debb0338..f83453c25 100644 --- 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 index 00455ba6c..cfa3ea041 100644 --- 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 index 23756b44c..1bf35ced7 100644 --- 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 index 837edb3a5..5ac15e4e0 100644 --- 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 index 6e634d222..2a9bde853 100644 --- 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 index 494c1f0ae..e4de143cb 100644 --- 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 index 57135d2d8..5f7476941 100644 --- 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 index ce24d340f..b96ba11ed 100644 --- 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 index 15b559dc5..7dbec311f 100644 --- 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/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java index 69a969889..ea1fcc116 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java +++ b/codegen/smithy-dafny-codegen/src/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; """;