Commit 2f5fabd

authored

chore: use enum names in smithy-dafny-python, add ListObjectsV2 to S3 TestModel (#784)

1 parent 186339f commit 2f5fabdCopy full SHA for 2f5fabd

4 files changed

+520

-4

lines changed

TestModels/aws-sdks/s3/Model
- custom-model.json
codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph
- smithydafny
  - DafnyApiCodegen.java
- smithypython/awssdk/shapevisitor/conversionwriters
  - AwsSdkToDafnyConversionFunctionWriter.java
  - DafnyToAwsSdkConversionFunctionWriter.java

4 files changed

+520

-4

lines changed

Comments

(0)