m

Author: lucasmcdonald3

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/dafnyImplInterface.py

@@ -2,7 +2,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
 
-from aws_encryption_sdk.internaldafny.generated.EncryptionSdk import ESDKClient
+from aws_encryption_sdk.internaldafny.generated.ESDK import ESDKClient
 from .dafny_protocol import DafnyRequest
 
 

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py

@@ -4,8 +4,8 @@
 
 import aws_cryptographic_material_providers.smithygenerated.aws_cryptography_materialproviders.dafny_to_smithy
 from aws_encryption_sdk.internaldafny.generated.AwsCryptographyEncryptionSdkTypes import (
-    NetV4__0__0__RetryPolicy_ALLOW__RETRY,
-    NetV4__0__0__RetryPolicy_FORBID__RETRY,
+    NetV4_0_0_RetryPolicy_ALLOW__RETRY,
+    NetV4_0_0_RetryPolicy_FORBID__RETRY,
 )
 import aws_encryption_sdk.internaldafny.generated.module_
 import aws_encryption_sdk.smithygenerated.aws_cryptography_encryptionsdk.dafny_to_smithy
@@ -125,10 +125,10 @@ def aws_cryptography_encryptionsdk_DecryptOutput(dafny_input):
 
 
 def aws_cryptography_encryptionsdk_NetV4_0_0_RetryPolicy(dafny_input):
-    if isinstance(dafny_input, NetV4__0__0__RetryPolicy_FORBID__RETRY):
+    if isinstance(dafny_input, NetV4_0_0_RetryPolicy_FORBID__RETRY):
         return "FORBID_RETRY"
 
-    elif isinstance(dafny_input, NetV4__0__0__RetryPolicy_ALLOW__RETRY):
+    elif isinstance(dafny_input, NetV4_0_0_RetryPolicy_ALLOW__RETRY):
         return "ALLOW_RETRY"
 
     else:

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/models.py

@@ -354,18 +354,5 @@ def __eq__(self, other: Any) -> bool:
         return all(getattr(self, a) == getattr(other, a) for a in attributes)
 
 
-class NetV4_0_0_RetryPolicy:
-    """During Decryption, Allow or Forbid ESDK-NET v4.0.0 Behavior if the ESDK
-    Message Header fails the Header Authentication check."""
-
-    FORBID_RETRY = "FORBID_RETRY"
-
-    ALLOW_RETRY = "ALLOW_RETRY"
-
-    # This set contains every possible value known at the time this was generated. New
-    # values may be added in the future.
-    values = frozenset({"FORBID_RETRY", "ALLOW_RETRY"})
-
-
 class Unit:
     pass

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/plugin.py

@@ -20,7 +20,7 @@ def set_config_impl(config: Config):
     """
     config.dafnyImplInterface = DafnyImplInterface()
     if isinstance(config, AwsEncryptionSdkConfig):
-        from aws_encryption_sdk.internaldafny.generated.EncryptionSdk import default__
+        from aws_encryption_sdk.internaldafny.generated.ESDK import default__
 
         config.dafnyImplInterface.impl = default__.ESDK(
             smithy_config_to_dafny_config(config)

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py

@@ -10,8 +10,8 @@
     DecryptOutput_DecryptOutput as DafnyDecryptOutput,
     EncryptInput_EncryptInput as DafnyEncryptInput,
     EncryptOutput_EncryptOutput as DafnyEncryptOutput,
-    NetV4__0__0__RetryPolicy_ALLOW__RETRY,
-    NetV4__0__0__RetryPolicy_FORBID__RETRY,
+    NetV4_0_0_RetryPolicy_ALLOW__RETRY,
+    NetV4_0_0_RetryPolicy_FORBID__RETRY,
 )
 import aws_encryption_sdk.internaldafny.generated.module_
 import aws_encryption_sdk.smithygenerated.aws_cryptography_encryptionsdk.smithy_to_dafny
@@ -217,10 +217,10 @@ def aws_cryptography_encryptionsdk_AwsEncryptionSdkConfig(native_input):
 
 def aws_cryptography_encryptionsdk_NetV4_0_0_RetryPolicy(native_input):
     if native_input == "FORBID_RETRY":
-        return NetV4__0__0__RetryPolicy_FORBID__RETRY()
+        return NetV4_0_0_RetryPolicy_FORBID__RETRY()
 
     elif native_input == "ALLOW_RETRY":
-        return NetV4__0__0__RetryPolicy_ALLOW__RETRY()
+        return NetV4_0_0_RetryPolicy_ALLOW__RETRY()
 
     else:
         raise ValueError(f"No recognized enum value in enum type: {native_input=}")