m

Author: lucasmcdonald3

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/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=}")