Robin aws/streaming test models python #704
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This reverts commit a399715.
…obin-aws/streaming-test-models-python # Conflicts: # .github/workflows/smithy-dafny-conversion.yml # .github/workflows/smithy-polymorph.yml # .github/workflows/test_models_dafny_verification.yml # .github/workflows/test_models_python_tests.yml # .gitignore # SmithyDafnyMakefile.mk # TestModels/Aggregate/Makefile # TestModels/Aggregate/runtimes/python/pyproject.toml # TestModels/Aggregate/runtimes/python/test/internaldafny/extern/wrapped_simple_aggregate.py # TestModels/Constraints/Makefile # TestModels/Constraints/runtimes/python/pyproject.toml # TestModels/Constraints/runtimes/python/test/internaldafny/extern/wrapped_simple_constraints.py # TestModels/Constructor/Makefile # TestModels/Constructor/runtimes/python/pyproject.toml # TestModels/Constructor/runtimes/python/test/internaldafny/extern/wrapped_simple_constructor.py # TestModels/Dependencies/Makefile # TestModels/Dependencies/runtimes/python/pyproject.toml # TestModels/Dependencies/runtimes/python/test/internaldafny/extern/wrapped_simple_dependencies.py # TestModels/Errors/Makefile # TestModels/Errors/runtimes/python/pyproject.toml # TestModels/Errors/runtimes/python/test/internaldafny/extern/wrapped_simple_errors.py # TestModels/Extendable/Makefile # TestModels/Extendable/runtimes/python/pyproject.toml # TestModels/Extendable/runtimes/python/src/simple_extendable_resources/internaldafny/extern/native_resource.py # TestModels/Extendable/runtimes/python/test/internaldafny/extern/wrapped_simple_extendable_resources.py # TestModels/Extendable/runtimes/python/test/internaldafny/test_dafny_wrapper.py # TestModels/Extendable/src/Index.dfy # TestModels/Extendable/src/WrappedIndex.dfy # TestModels/Extendable/test/NativeResourceFactory.dfy # TestModels/Extern/Makefile # TestModels/Extern/runtimes/python/pyproject.toml # TestModels/Extern/runtimes/python/src/simple_dafnyextern/internaldafny/extern/ExternConstructor.py # TestModels/Extern/runtimes/python/src/simple_dafnyextern/internaldafny/extern/SimpleExternImpl.py # TestModels/Extern/runtimes/python/test/internaldafny/extern/wrapped_simple_extern.py # TestModels/LanguageSpecificLogic/Makefile # TestModels/LanguageSpecificLogic/runtimes/net/Extern/ExternOperations.cs # TestModels/LanguageSpecificLogic/runtimes/python/pyproject.toml # TestModels/LanguageSpecificLogic/runtimes/python/src/language_specific_logic/internaldafny/extern/language_specific_logic_externs.py # TestModels/LanguageSpecificLogic/runtimes/python/test/internaldafny/extern/wrapped_language_specific_logic.py # TestModels/LocalService/Makefile # TestModels/LocalService/runtimes/python/pyproject.toml # TestModels/LocalService/runtimes/python/test/internaldafny/extern/wrapped_simple_localservice.py # TestModels/LocalService/src/Index.dfy # TestModels/LocalService/src/WrappedIndex.dfy # TestModels/MultipleModels/Makefile # TestModels/MultipleModels/dafny/DependencyProject/src/Index.dfy # TestModels/MultipleModels/dafny/DependencyProject/src/WrappedSimpleMultiplemodelsDependencyprojectImpl.dfy # TestModels/MultipleModels/dafny/PrimaryProject/src/Index.dfy # TestModels/MultipleModels/dafny/PrimaryProject/src/WrappedSimpleMultiplemodelsPrimaryprojectImpl.dfy # TestModels/MultipleModels/runtimes/python/pyproject.toml # TestModels/MultipleModels/runtimes/python/test/internaldafny/extern/wrapped_multiple_models.py # TestModels/Refinement/Makefile # TestModels/Refinement/runtimes/python/pyproject.toml # TestModels/Refinement/runtimes/python/test/internaldafny/extern/wrapped_simple_refinement.py # TestModels/Resource/Makefile # TestModels/Resource/runtimes/python/pyproject.toml # TestModels/Resource/runtimes/python/test/internaldafny/extern/wrapped_simple_resources.py # TestModels/Resource/src/Index.dfy # TestModels/Resource/src/WrappedIndex.dfy # TestModels/SharedMakefile.mk # TestModels/SimpleTypes/SimpleBlob/Makefile # TestModels/SimpleTypes/SimpleBlob/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleBlob/runtimes/python/test/internaldafny/extern/wrapped_simple_blob.py # TestModels/SimpleTypes/SimpleBoolean/Makefile # TestModels/SimpleTypes/SimpleBoolean/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleBoolean/runtimes/python/test/internaldafny/extern/wrapped_simple_boolean.py # TestModels/SimpleTypes/SimpleDouble/Makefile # TestModels/SimpleTypes/SimpleDouble/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleDouble/runtimes/python/test/internaldafny/extern/wrapped_simple_double.py # TestModels/SimpleTypes/SimpleDouble/src/WrappedIndex.dfy # TestModels/SimpleTypes/SimpleEnum/Makefile # TestModels/SimpleTypes/SimpleEnum/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleEnum/runtimes/python/test/internaldafny/extern/wrapped_simple_enum.py # TestModels/SimpleTypes/SimpleEnumV2/Makefile # TestModels/SimpleTypes/SimpleEnumV2/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleEnumV2/runtimes/python/test/internaldafny/extern/wrapped_simple_enum.py # TestModels/SimpleTypes/SimpleInteger/Makefile # TestModels/SimpleTypes/SimpleInteger/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleInteger/runtimes/python/test/internaldafny/extern/wrapped_simple_integer.py # TestModels/SimpleTypes/SimpleLong/Makefile # TestModels/SimpleTypes/SimpleLong/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleLong/runtimes/python/test/internaldafny/extern/wrapped_simple_long.py # TestModels/SimpleTypes/SimpleString/Makefile # TestModels/SimpleTypes/SimpleString/runtimes/python/pyproject.toml # TestModels/SimpleTypes/SimpleString/runtimes/python/test/internaldafny/extern/wrapped_simple_string.py # TestModels/Union/Makefile # TestModels/Union/runtimes/python/pyproject.toml # TestModels/Union/runtimes/python/test/internaldafny/extern/wrapped_simple_union.py # TestModels/aws-sdks/ddb/Makefile # TestModels/aws-sdks/ddb/runtimes/python/pyproject.toml # TestModels/aws-sdks/ddb/runtimes/python/src/com_amazonaws_dynamodb/internaldafny/extern/Com_Amazonaws_Dynamodb.py # TestModels/aws-sdks/kms/Makefile # TestModels/aws-sdks/kms/runtimes/python/pyproject.toml # TestModels/aws-sdks/kms/runtimes/python/src/com_amazonaws_kms/internaldafny/extern/Com_Amazonaws_Kms.py # TestModels/dafny-dependencies/StandardLibrary/Makefile # TestModels/dafny-dependencies/StandardLibrary/runtimes/java/build.gradle.kts # TestModels/dafny-dependencies/StandardLibrary/runtimes/python/pyproject.toml # TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/internaldafny/test_dafny_wrapper.py # codegen/build.gradle.kts # codegen/smithy-dafny-codegen-cli/src/main/java/software/amazon/polymorph/CodegenCli.java # codegen/smithy-dafny-codegen-modules/smithy-python/codegen/smithy-python-codegen/src/main/java/software/amazon/smithy/python/codegen/DirectedPythonCodegen.java # codegen/smithy-dafny-codegen-modules/smithy-python/codegen/smithy-python-codegen/src/main/java/software/amazon/smithy/python/codegen/StructureGenerator.java # codegen/smithy-dafny-codegen-modules/smithy-python/codegen/smithy-python-codegen/src/main/java/software/amazon/smithy/python/codegen/UnionGenerator.java # codegen/smithy-dafny-codegen-modules/smithy-python/python-packages/smithy-python/requirements-dev.txt # codegen/smithy-dafny-codegen-modules/smithy-python/python-packages/smithy-python/requirements.txt # codegen/smithy-dafny-codegen/build.gradle.kts # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/CodegenEngine.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/README.md # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/AwsSdkCodegenConstants.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/DafnyPythonAwsSdkIntegration.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/DafnyPythonAwsSdkProtocolGenerator.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/customize/AwsSdkShimFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/extensions/DafnyPythonAwsSdkClientCodegenPlugin.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/extensions/DafnyPythonAwsSdkSymbolVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/extensions/DirectedDafnyPythonAwsSdkCodegen.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/nameresolver/AwsSdkNameResolver.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/shapevisitor/DafnyToAwsSdkShapeVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/shapevisitor/conversionwriters/AwsSdkToDafnyConversionFunctionWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/awssdk/shapevisitor/conversionwriters/DafnyToAwsSdkConversionFunctionWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/customize/CustomFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/DafnyNameResolver.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/nameresolver/SmithyNameResolver.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/shapevisitor/ShapeVisitorResolver.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/common/shapevisitor/conversionwriter/BaseConversionWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/DafnyLocalServiceCodegenConstants.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/DafnyPythonLocalServiceIntegration.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/DafnyPythonLocalServiceProtocolGenerator.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/ConfigFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/DafnyImplInterfaceFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/DafnyProtocolFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/ErrorsFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/ModelsFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/PluginFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/customize/ReferencesFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/extensions/DafnyPythonLocalServiceClientCodegenPlugin.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/extensions/DafnyPythonLocalServiceConfigGenerator.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/extensions/DafnyPythonLocalServiceStructureGenerator.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/extensions/DafnyPythonLocalServiceSymbolVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/extensions/DirectedDafnyPythonLocalServiceCodegen.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/extensions/SynchronousClientGenerator.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/shapevisitor/DafnyToLocalServiceShapeVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/shapevisitor/LocalServiceToDafnyShapeVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/shapevisitor/conversionwriter/DafnyToLocalServiceConversionFunctionWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/localservice/shapevisitor/conversionwriter/LocalServiceToDafnyConversionFunctionWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/DafnyPythonWrappedLocalServiceIntegration.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/DafnyPythonWrappedLocalServiceProtocolGenerator.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/WrappedCodegenConstants.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/customize/ShimFileWriter.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/extensions/DafnyPythonWrappedLocalServiceClientCodegenPlugin.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/extensions/DafnyPythonWrappedLocalServiceSymbolVisitor.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithypython/wrappedlocalservice/extensions/DirectedDafnyPythonWrappedLocalServiceCodegen.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/traits/DafnyAwsSdkProtocolTrait.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/traits/WrappedLocalServiceTrait.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/utils/ModelUtils.java # codegen/smithy-dafny-codegen/src/main/java/software/amazon/smithy/dafny/codegen/DafnyClientCodegenPluginSettings.java
…obin-aws/streaming-test-models-python
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Issue #, if available:
Description of changes:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.