Skip to content

Commit

Permalink
fix: smithy-dafny (#1136)
Browse files Browse the repository at this point in the history 
Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com>
  • Loading branch information
@ShubhamChaturvedi7
ShubhamChaturvedi7 and Shubham Chaturvedi authored Dec 18, 2024
1 parent 29bc52e commit 6005777
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion smithy-dafny
Submodule smithy-dafny updated 42 files
+1 −1 .github/workflows/push.yml
+7 −0 TestModels/CallingAWSSDKFromLocalService/Model/CallingAWSSDKFromLocalService.smithy
+1 −1 TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod
+11 −22 TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.sum
+2 −2 TestModels/CallingAWSSDKFromLocalService/test/SimpleCallingawssdkfromlocalserviceImplTest.dfy
+20 −1 TestModels/Constraints/Model/Constraints.smithy
+17 −1 TestModels/Constraints/runtimes/rust/tests/simple_constraints_test.rs
+1 −1 TestModels/Constraints/src/Index.dfy
+1 −1 TestModels/Constraints/src/WrappedSimpleConstraintsImpl.dfy
+21 −0 TestModels/SimpleTypes/SimpleDocument/Makefile
+27 −0 TestModels/SimpleTypes/SimpleDocument/Model/SimpleDocument.smithy
+9 −0 TestModels/SimpleTypes/SimpleDocument/README.md
+21 −0 TestModels/Streaming/Makefile
+30 −0 TestModels/Streaming/Model/Streaming.smithy
+9 −0 TestModels/Streaming/README.md
+1 −1 TestModels/aws-sdks/kmsv2/runtimes/go/TestsFromDafny-go/go.mod
+1 −2 TestModels/aws-sdks/kmsv2/runtimes/go/TestsFromDafny-go/go.sum
+7 −0 TestModels/aws-sdks/s3/Model/suppressions.smithy
+2 −2 TestModels/dafny-dependencies/StandardLibrary/Makefile
+1 −53 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/TestModelTest.java
+4 −9 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithydafny/DafnyTestModels.java
+4 −1 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithydotnet/DotnetTestModels.java
+4 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithygo/GoTestModels.java
+4 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyjava/JavaTestModels.java
+4 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithypython/PythonTestModels.java
+4 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyrust/RustTestModels.java
+58 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/smithy/dafny/codegen/CodegenCliTest.java
+50 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/smithy/dafny/codegen/TestUtils.java
+1 −2 codegen/smithy-dafny-codegen/README.md
+3 −0 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/CodegenEngine.java
+1 −1 ...odegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/DafnyAwsSdkClientTypeConversionProtocol.java
+45 −3 .../src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceTypeConversionProtocol.java
+19 −0 ...n/src/main/java/software/amazon/polymorph/smithygo/localservice/shapevisitor/DafnyToSmithyShapeVisitor.java
+65 −20 ...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyjava/generator/library/ModelTestCodegen.java
+6 −2 ...y-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/AbstractRustShimGenerator.java
+54 −13 ...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java
+63 −0 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustUtils.java
+15 −0 ...hy-dafny-codegen/src/main/java/software/amazon/polymorph/traits/NoMarkupInDocumentationTraitsValidator.java
+231 −0 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/traits/UnsupportedFeaturesValidator.java
+4 −1 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ConstrainTraitUtils.java
+2 −0 ...smithy-dafny-codegen/src/main/resources/META-INF/services/software.amazon.smithy.model.validation.Validator
+4 −3 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/client.rs

0 comments on commit 6005777

Please sign in to comment.