in ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py [0:0]
def _sdk_error_to_dafny_error(e: ClientError):
"""Converts the provided native Smithy-modelled error into the
corresponding Dafny error."""
if e.response["Error"]["Code"] == "AlreadyExistsException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_AlreadyExistsException(
e.response
)
elif e.response["Error"]["Code"] == "CloudHsmClusterInUseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CloudHsmClusterInUseException(
e.response
)
elif e.response["Error"]["Code"] == "CloudHsmClusterInvalidConfigurationException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CloudHsmClusterInvalidConfigurationException(
e.response
)
elif e.response["Error"]["Code"] == "CloudHsmClusterNotActiveException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CloudHsmClusterNotActiveException(
e.response
)
elif e.response["Error"]["Code"] == "CloudHsmClusterNotFoundException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CloudHsmClusterNotFoundException(
e.response
)
elif e.response["Error"]["Code"] == "CloudHsmClusterNotRelatedException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CloudHsmClusterNotRelatedException(
e.response
)
elif e.response["Error"]["Code"] == "ConflictException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_ConflictException(
e.response
)
elif e.response["Error"]["Code"] == "CustomKeyStoreHasCMKsException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CustomKeyStoreHasCMKsException(
e.response
)
elif e.response["Error"]["Code"] == "CustomKeyStoreInvalidStateException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CustomKeyStoreInvalidStateException(
e.response
)
elif e.response["Error"]["Code"] == "CustomKeyStoreNameInUseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CustomKeyStoreNameInUseException(
e.response
)
elif e.response["Error"]["Code"] == "CustomKeyStoreNotFoundException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_CustomKeyStoreNotFoundException(
e.response
)
elif e.response["Error"]["Code"] == "DependencyTimeoutException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_DependencyTimeoutException(
e.response
)
elif e.response["Error"]["Code"] == "DisabledException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_DisabledException(
e.response
)
elif e.response["Error"]["Code"] == "DryRunOperationException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_DryRunOperationException(
e.response
)
elif e.response["Error"]["Code"] == "ExpiredImportTokenException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_ExpiredImportTokenException(
e.response
)
elif e.response["Error"]["Code"] == "IncorrectKeyException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_IncorrectKeyException(
e.response
)
elif e.response["Error"]["Code"] == "IncorrectKeyMaterialException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_IncorrectKeyMaterialException(
e.response
)
elif e.response["Error"]["Code"] == "IncorrectTrustAnchorException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_IncorrectTrustAnchorException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidAliasNameException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidAliasNameException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidArnException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidArnException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidCiphertextException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidCiphertextException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidGrantIdException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidGrantIdException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidGrantTokenException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidGrantTokenException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidImportTokenException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidImportTokenException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidKeyUsageException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidKeyUsageException(
e.response
)
elif e.response["Error"]["Code"] == "InvalidMarkerException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_InvalidMarkerException(
e.response
)
elif e.response["Error"]["Code"] == "KeyUnavailableException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_KeyUnavailableException(
e.response
)
elif e.response["Error"]["Code"] == "KMSInternalException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_KMSInternalException(
e.response
)
elif e.response["Error"]["Code"] == "KMSInvalidMacException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_KMSInvalidMacException(
e.response
)
elif e.response["Error"]["Code"] == "KMSInvalidSignatureException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_KMSInvalidSignatureException(
e.response
)
elif e.response["Error"]["Code"] == "KMSInvalidStateException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_KMSInvalidStateException(
e.response
)
elif e.response["Error"]["Code"] == "LimitExceededException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_LimitExceededException(
e.response
)
elif e.response["Error"]["Code"] == "MalformedPolicyDocumentException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_MalformedPolicyDocumentException(
e.response
)
elif e.response["Error"]["Code"] == "NotFoundException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_NotFoundException(
e.response
)
elif e.response["Error"]["Code"] == "TagException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_TagException(
e.response
)
elif e.response["Error"]["Code"] == "UnsupportedOperationException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_UnsupportedOperationException(
e.response
)
elif e.response["Error"]["Code"] == "XksKeyAlreadyInUseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksKeyAlreadyInUseException(
e.response
)
elif e.response["Error"]["Code"] == "XksKeyInvalidConfigurationException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksKeyInvalidConfigurationException(
e.response
)
elif e.response["Error"]["Code"] == "XksKeyNotFoundException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksKeyNotFoundException(
e.response
)
elif (
e.response["Error"]["Code"]
== "XksProxyIncorrectAuthenticationCredentialException"
):
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyIncorrectAuthenticationCredentialException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyInvalidConfigurationException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyInvalidConfigurationException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyInvalidResponseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyInvalidResponseException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyUriEndpointInUseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyUriEndpointInUseException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyUriInUseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyUriInUseException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyUriUnreachableException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyUriUnreachableException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyVpcEndpointServiceInUseException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyVpcEndpointServiceInUseException(
e.response
)
elif (
e.response["Error"]["Code"]
== "XksProxyVpcEndpointServiceInvalidConfigurationException"
):
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyVpcEndpointServiceInvalidConfigurationException(
e.response
)
elif e.response["Error"]["Code"] == "XksProxyVpcEndpointServiceNotFoundException":
return aws_cryptography_internal_kms.smithygenerated.com_amazonaws_kms.aws_sdk_to_dafny.com_amazonaws_kms_XksProxyVpcEndpointServiceNotFoundException(
e.response
)
return aws_cryptography_internal_kms.internaldafny.generated.ComAmazonawsKmsTypes.Error_OpaqueWithText(
obj=e,
objMessage=_dafny.Seq(
"".join(
[
chr(int.from_bytes(pair, "big"))
for pair in zip(*[iter(repr(e).encode("utf-16-be"))] * 2)
]
)
),
)