releases/go/kms/comamazonawskmssmithygenerated/to

// Code generated by smithy-go-codegen DO NOT EDIT. package comamazonawskmssmithygenerated import ( "time" "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UTF8" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) func CancelKeyDeletionInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.CancelKeyDeletionRequest) kms.CancelKeyDeletionInput { return func() kms.CancelKeyDeletionInput { return kms.CancelKeyDeletionInput{ KeyId: Com_amazonaws_kms_CancelKeyDeletionInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func CancelKeyDeletionOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.CancelKeyDeletionResponse) kms.CancelKeyDeletionOutput { return func() kms.CancelKeyDeletionOutput { return kms.CancelKeyDeletionOutput{ KeyId: Com_amazonaws_kms_CancelKeyDeletionOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), } }() } func ConnectCustomKeyStoreInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ConnectCustomKeyStoreRequest) kms.ConnectCustomKeyStoreInput { return func() kms.ConnectCustomKeyStoreInput { return kms.ConnectCustomKeyStoreInput{ CustomKeyStoreId: Com_amazonaws_kms_ConnectCustomKeyStoreInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId()), } }() } func ConnectCustomKeyStoreOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ConnectCustomKeyStoreResponse) kms.ConnectCustomKeyStoreOutput { return func() kms.ConnectCustomKeyStoreOutput { return kms.ConnectCustomKeyStoreOutput{} }() } func CreateAliasInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.CreateAliasRequest) kms.CreateAliasInput { return func() kms.CreateAliasInput { return kms.CreateAliasInput{ AliasName: Com_amazonaws_kms_CreateAliasInput_AliasName_FromDafny(dafnyInput.Dtor_AliasName()), TargetKeyId: Com_amazonaws_kms_CreateAliasInput_TargetKeyId_FromDafny(dafnyInput.Dtor_TargetKeyId()), } }() } func CreateCustomKeyStoreInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.CreateCustomKeyStoreRequest) kms.CreateCustomKeyStoreInput { return func() kms.CreateCustomKeyStoreInput { return kms.CreateCustomKeyStoreInput{ CustomKeyStoreName: Com_amazonaws_kms_CreateCustomKeyStoreInput_CustomKeyStoreName_FromDafny(dafnyInput.Dtor_CustomKeyStoreName()), CloudHsmClusterId: Com_amazonaws_kms_CreateCustomKeyStoreInput_CloudHsmClusterId_FromDafny(dafnyInput.Dtor_CloudHsmClusterId().UnwrapOr(nil)), TrustAnchorCertificate: Com_amazonaws_kms_CreateCustomKeyStoreInput_TrustAnchorCertificate_FromDafny(dafnyInput.Dtor_TrustAnchorCertificate().UnwrapOr(nil)), KeyStorePassword: Com_amazonaws_kms_CreateCustomKeyStoreInput_KeyStorePassword_FromDafny(dafnyInput.Dtor_KeyStorePassword().UnwrapOr(nil)), CustomKeyStoreType: Com_amazonaws_kms_CreateCustomKeyStoreInput_CustomKeyStoreType_FromDafny(dafnyInput.Dtor_CustomKeyStoreType().UnwrapOr(nil)), XksProxyUriEndpoint: Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyUriEndpoint_FromDafny(dafnyInput.Dtor_XksProxyUriEndpoint().UnwrapOr(nil)), XksProxyUriPath: Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyUriPath_FromDafny(dafnyInput.Dtor_XksProxyUriPath().UnwrapOr(nil)), XksProxyVpcEndpointServiceName: Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyVpcEndpointServiceName_FromDafny(dafnyInput.Dtor_XksProxyVpcEndpointServiceName().UnwrapOr(nil)), XksProxyAuthenticationCredential: Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyAuthenticationCredential_FromDafny(dafnyInput.Dtor_XksProxyAuthenticationCredential().UnwrapOr(nil)), XksProxyConnectivity: Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyConnectivity_FromDafny(dafnyInput.Dtor_XksProxyConnectivity().UnwrapOr(nil)), } }() } func CreateCustomKeyStoreOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.CreateCustomKeyStoreResponse) kms.CreateCustomKeyStoreOutput { return func() kms.CreateCustomKeyStoreOutput { return kms.CreateCustomKeyStoreOutput{ CustomKeyStoreId: Com_amazonaws_kms_CreateCustomKeyStoreOutput_CustomKeyStoreId_FromDafny(dafnyOutput.Dtor_CustomKeyStoreId().UnwrapOr(nil)), } }() } func CreateGrantInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.CreateGrantRequest) kms.CreateGrantInput { return func() kms.CreateGrantInput { return kms.CreateGrantInput{ KeyId: Com_amazonaws_kms_CreateGrantInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), GranteePrincipal: Com_amazonaws_kms_CreateGrantInput_GranteePrincipal_FromDafny(dafnyInput.Dtor_GranteePrincipal()), RetiringPrincipal: Com_amazonaws_kms_CreateGrantInput_RetiringPrincipal_FromDafny(dafnyInput.Dtor_RetiringPrincipal().UnwrapOr(nil)), Operations: Com_amazonaws_kms_CreateGrantInput_Operations_FromDafny(dafnyInput.Dtor_Operations()), Constraints: Com_amazonaws_kms_CreateGrantInput_Constraints_FromDafny(dafnyInput.Dtor_Constraints().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_CreateGrantInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), Name: Com_amazonaws_kms_CreateGrantInput_Name_FromDafny(dafnyInput.Dtor_Name().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_CreateGrantInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func CreateGrantOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.CreateGrantResponse) kms.CreateGrantOutput { return func() kms.CreateGrantOutput { return kms.CreateGrantOutput{ GrantToken: Com_amazonaws_kms_CreateGrantOutput_GrantToken_FromDafny(dafnyOutput.Dtor_GrantToken().UnwrapOr(nil)), GrantId: Com_amazonaws_kms_CreateGrantOutput_GrantId_FromDafny(dafnyOutput.Dtor_GrantId().UnwrapOr(nil)), } }() } func CreateKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.CreateKeyRequest) kms.CreateKeyInput { return func() kms.CreateKeyInput { return kms.CreateKeyInput{ Policy: Com_amazonaws_kms_CreateKeyInput_Policy_FromDafny(dafnyInput.Dtor_Policy().UnwrapOr(nil)), Description: Com_amazonaws_kms_CreateKeyInput_Description_FromDafny(dafnyInput.Dtor_Description().UnwrapOr(nil)), KeyUsage: Com_amazonaws_kms_CreateKeyInput_KeyUsage_FromDafny(dafnyInput.Dtor_KeyUsage().UnwrapOr(nil)), CustomerMasterKeySpec: Com_amazonaws_kms_CreateKeyInput_CustomerMasterKeySpec_FromDafny(dafnyInput.Dtor_CustomerMasterKeySpec().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_CreateKeyInput_KeySpec_FromDafny(dafnyInput.Dtor_KeySpec().UnwrapOr(nil)), Origin: Com_amazonaws_kms_CreateKeyInput_Origin_FromDafny(dafnyInput.Dtor_Origin().UnwrapOr(nil)), CustomKeyStoreId: Com_amazonaws_kms_CreateKeyInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId().UnwrapOr(nil)), BypassPolicyLockoutSafetyCheck: Com_amazonaws_kms_CreateKeyInput_BypassPolicyLockoutSafetyCheck_FromDafny(dafnyInput.Dtor_BypassPolicyLockoutSafetyCheck().UnwrapOr(nil)), Tags: Com_amazonaws_kms_CreateKeyInput_Tags_FromDafny(dafnyInput.Dtor_Tags().UnwrapOr(nil)), MultiRegion: Com_amazonaws_kms_CreateKeyInput_MultiRegion_FromDafny(dafnyInput.Dtor_MultiRegion().UnwrapOr(nil)), XksKeyId: Com_amazonaws_kms_CreateKeyInput_XksKeyId_FromDafny(dafnyInput.Dtor_XksKeyId().UnwrapOr(nil)), } }() } func CreateKeyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.CreateKeyResponse) kms.CreateKeyOutput { return func() kms.CreateKeyOutput { return kms.CreateKeyOutput{ KeyMetadata: Com_amazonaws_kms_CreateKeyOutput_KeyMetadata_FromDafny(dafnyOutput.Dtor_KeyMetadata().UnwrapOr(nil)), } }() } func DecryptInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DecryptRequest) kms.DecryptInput { return func() kms.DecryptInput { return kms.DecryptInput{ CiphertextBlob: Com_amazonaws_kms_DecryptInput_CiphertextBlob_FromDafny(dafnyInput.Dtor_CiphertextBlob()), EncryptionContext: Com_amazonaws_kms_DecryptInput_EncryptionContext_FromDafny(dafnyInput.Dtor_EncryptionContext().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_DecryptInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_DecryptInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId().UnwrapOr(nil)), EncryptionAlgorithm: Com_amazonaws_kms_DecryptInput_EncryptionAlgorithm_FromDafny(dafnyInput.Dtor_EncryptionAlgorithm().UnwrapOr(nil)), Recipient: Com_amazonaws_kms_DecryptInput_Recipient_FromDafny(dafnyInput.Dtor_Recipient().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_DecryptInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func DecryptOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.DecryptResponse) kms.DecryptOutput { return func() kms.DecryptOutput { return kms.DecryptOutput{ KeyId: Com_amazonaws_kms_DecryptOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), Plaintext: Com_amazonaws_kms_DecryptOutput_Plaintext_FromDafny(dafnyOutput.Dtor_Plaintext().UnwrapOr(nil)), EncryptionAlgorithm: Com_amazonaws_kms_DecryptOutput_EncryptionAlgorithm_FromDafny(dafnyOutput.Dtor_EncryptionAlgorithm().UnwrapOr(nil)), CiphertextForRecipient: Com_amazonaws_kms_DecryptOutput_CiphertextForRecipient_FromDafny(dafnyOutput.Dtor_CiphertextForRecipient().UnwrapOr(nil)), } }() } func DeleteAliasInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DeleteAliasRequest) kms.DeleteAliasInput { return func() kms.DeleteAliasInput { return kms.DeleteAliasInput{ AliasName: Com_amazonaws_kms_DeleteAliasInput_AliasName_FromDafny(dafnyInput.Dtor_AliasName()), } }() } func DeleteCustomKeyStoreInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DeleteCustomKeyStoreRequest) kms.DeleteCustomKeyStoreInput { return func() kms.DeleteCustomKeyStoreInput { return kms.DeleteCustomKeyStoreInput{ CustomKeyStoreId: Com_amazonaws_kms_DeleteCustomKeyStoreInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId()), } }() } func DeleteCustomKeyStoreOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.DeleteCustomKeyStoreResponse) kms.DeleteCustomKeyStoreOutput { return func() kms.DeleteCustomKeyStoreOutput { return kms.DeleteCustomKeyStoreOutput{} }() } func DeleteImportedKeyMaterialInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DeleteImportedKeyMaterialRequest) kms.DeleteImportedKeyMaterialInput { return func() kms.DeleteImportedKeyMaterialInput { return kms.DeleteImportedKeyMaterialInput{ KeyId: Com_amazonaws_kms_DeleteImportedKeyMaterialInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func DeriveSharedSecretInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DeriveSharedSecretRequest) kms.DeriveSharedSecretInput { return func() kms.DeriveSharedSecretInput { return kms.DeriveSharedSecretInput{ KeyId: Com_amazonaws_kms_DeriveSharedSecretInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), KeyAgreementAlgorithm: Com_amazonaws_kms_DeriveSharedSecretInput_KeyAgreementAlgorithm_FromDafny(dafnyInput.Dtor_KeyAgreementAlgorithm()), PublicKey: Com_amazonaws_kms_DeriveSharedSecretInput_PublicKey_FromDafny(dafnyInput.Dtor_PublicKey()), GrantTokens: Com_amazonaws_kms_DeriveSharedSecretInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_DeriveSharedSecretInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), Recipient: Com_amazonaws_kms_DeriveSharedSecretInput_Recipient_FromDafny(dafnyInput.Dtor_Recipient().UnwrapOr(nil)), } }() } func DeriveSharedSecretOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.DeriveSharedSecretResponse) kms.DeriveSharedSecretOutput { return func() kms.DeriveSharedSecretOutput { return kms.DeriveSharedSecretOutput{ KeyId: Com_amazonaws_kms_DeriveSharedSecretOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), SharedSecret: Com_amazonaws_kms_DeriveSharedSecretOutput_SharedSecret_FromDafny(dafnyOutput.Dtor_SharedSecret().UnwrapOr(nil)), CiphertextForRecipient: Com_amazonaws_kms_DeriveSharedSecretOutput_CiphertextForRecipient_FromDafny(dafnyOutput.Dtor_CiphertextForRecipient().UnwrapOr(nil)), KeyAgreementAlgorithm: Com_amazonaws_kms_DeriveSharedSecretOutput_KeyAgreementAlgorithm_FromDafny(dafnyOutput.Dtor_KeyAgreementAlgorithm().UnwrapOr(nil)), KeyOrigin: Com_amazonaws_kms_DeriveSharedSecretOutput_KeyOrigin_FromDafny(dafnyOutput.Dtor_KeyOrigin().UnwrapOr(nil)), } }() } func DescribeCustomKeyStoresInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DescribeCustomKeyStoresRequest) kms.DescribeCustomKeyStoresInput { return func() kms.DescribeCustomKeyStoresInput { return kms.DescribeCustomKeyStoresInput{ CustomKeyStoreId: Com_amazonaws_kms_DescribeCustomKeyStoresInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId().UnwrapOr(nil)), CustomKeyStoreName: Com_amazonaws_kms_DescribeCustomKeyStoresInput_CustomKeyStoreName_FromDafny(dafnyInput.Dtor_CustomKeyStoreName().UnwrapOr(nil)), Limit: Com_amazonaws_kms_DescribeCustomKeyStoresInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_DescribeCustomKeyStoresInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), } }() } func DescribeCustomKeyStoresOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.DescribeCustomKeyStoresResponse) kms.DescribeCustomKeyStoresOutput { return func() kms.DescribeCustomKeyStoresOutput { return kms.DescribeCustomKeyStoresOutput{ CustomKeyStores: Com_amazonaws_kms_DescribeCustomKeyStoresOutput_CustomKeyStores_FromDafny(dafnyOutput.Dtor_CustomKeyStores().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_DescribeCustomKeyStoresOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_DescribeCustomKeyStoresOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func DescribeKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DescribeKeyRequest) kms.DescribeKeyInput { return func() kms.DescribeKeyInput { return kms.DescribeKeyInput{ KeyId: Com_amazonaws_kms_DescribeKeyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), GrantTokens: Com_amazonaws_kms_DescribeKeyInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), } }() } func DescribeKeyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.DescribeKeyResponse) kms.DescribeKeyOutput { return func() kms.DescribeKeyOutput { return kms.DescribeKeyOutput{ KeyMetadata: Com_amazonaws_kms_DescribeKeyOutput_KeyMetadata_FromDafny(dafnyOutput.Dtor_KeyMetadata().UnwrapOr(nil)), } }() } func DisableKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DisableKeyRequest) kms.DisableKeyInput { return func() kms.DisableKeyInput { return kms.DisableKeyInput{ KeyId: Com_amazonaws_kms_DisableKeyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func DisableKeyRotationInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DisableKeyRotationRequest) kms.DisableKeyRotationInput { return func() kms.DisableKeyRotationInput { return kms.DisableKeyRotationInput{ KeyId: Com_amazonaws_kms_DisableKeyRotationInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func DisconnectCustomKeyStoreInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.DisconnectCustomKeyStoreRequest) kms.DisconnectCustomKeyStoreInput { return func() kms.DisconnectCustomKeyStoreInput { return kms.DisconnectCustomKeyStoreInput{ CustomKeyStoreId: Com_amazonaws_kms_DisconnectCustomKeyStoreInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId()), } }() } func DisconnectCustomKeyStoreOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.DisconnectCustomKeyStoreResponse) kms.DisconnectCustomKeyStoreOutput { return func() kms.DisconnectCustomKeyStoreOutput { return kms.DisconnectCustomKeyStoreOutput{} }() } func EnableKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.EnableKeyRequest) kms.EnableKeyInput { return func() kms.EnableKeyInput { return kms.EnableKeyInput{ KeyId: Com_amazonaws_kms_EnableKeyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func EnableKeyRotationInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.EnableKeyRotationRequest) kms.EnableKeyRotationInput { return func() kms.EnableKeyRotationInput { return kms.EnableKeyRotationInput{ KeyId: Com_amazonaws_kms_EnableKeyRotationInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), RotationPeriodInDays: Com_amazonaws_kms_EnableKeyRotationInput_RotationPeriodInDays_FromDafny(dafnyInput.Dtor_RotationPeriodInDays().UnwrapOr(nil)), } }() } func EncryptInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.EncryptRequest) kms.EncryptInput { return func() kms.EncryptInput { return kms.EncryptInput{ KeyId: Com_amazonaws_kms_EncryptInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Plaintext: Com_amazonaws_kms_EncryptInput_Plaintext_FromDafny(dafnyInput.Dtor_Plaintext()), EncryptionContext: Com_amazonaws_kms_EncryptInput_EncryptionContext_FromDafny(dafnyInput.Dtor_EncryptionContext().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_EncryptInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), EncryptionAlgorithm: Com_amazonaws_kms_EncryptInput_EncryptionAlgorithm_FromDafny(dafnyInput.Dtor_EncryptionAlgorithm().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_EncryptInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func EncryptOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.EncryptResponse) kms.EncryptOutput { return func() kms.EncryptOutput { return kms.EncryptOutput{ CiphertextBlob: Com_amazonaws_kms_EncryptOutput_CiphertextBlob_FromDafny(dafnyOutput.Dtor_CiphertextBlob().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_EncryptOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), EncryptionAlgorithm: Com_amazonaws_kms_EncryptOutput_EncryptionAlgorithm_FromDafny(dafnyOutput.Dtor_EncryptionAlgorithm().UnwrapOr(nil)), } }() } func GenerateDataKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GenerateDataKeyRequest) kms.GenerateDataKeyInput { return func() kms.GenerateDataKeyInput { return kms.GenerateDataKeyInput{ KeyId: Com_amazonaws_kms_GenerateDataKeyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), EncryptionContext: Com_amazonaws_kms_GenerateDataKeyInput_EncryptionContext_FromDafny(dafnyInput.Dtor_EncryptionContext().UnwrapOr(nil)), NumberOfBytes: Com_amazonaws_kms_GenerateDataKeyInput_NumberOfBytes_FromDafny(dafnyInput.Dtor_NumberOfBytes().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_GenerateDataKeyInput_KeySpec_FromDafny(dafnyInput.Dtor_KeySpec().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_GenerateDataKeyInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), Recipient: Com_amazonaws_kms_GenerateDataKeyInput_Recipient_FromDafny(dafnyInput.Dtor_Recipient().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_GenerateDataKeyInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func GenerateDataKeyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GenerateDataKeyResponse) kms.GenerateDataKeyOutput { return func() kms.GenerateDataKeyOutput { return kms.GenerateDataKeyOutput{ CiphertextBlob: Com_amazonaws_kms_GenerateDataKeyOutput_CiphertextBlob_FromDafny(dafnyOutput.Dtor_CiphertextBlob().UnwrapOr(nil)), Plaintext: Com_amazonaws_kms_GenerateDataKeyOutput_Plaintext_FromDafny(dafnyOutput.Dtor_Plaintext().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateDataKeyOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), CiphertextForRecipient: Com_amazonaws_kms_GenerateDataKeyOutput_CiphertextForRecipient_FromDafny(dafnyOutput.Dtor_CiphertextForRecipient().UnwrapOr(nil)), } }() } func GenerateDataKeyPairInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GenerateDataKeyPairRequest) kms.GenerateDataKeyPairInput { return func() kms.GenerateDataKeyPairInput { return kms.GenerateDataKeyPairInput{ EncryptionContext: Com_amazonaws_kms_GenerateDataKeyPairInput_EncryptionContext_FromDafny(dafnyInput.Dtor_EncryptionContext().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateDataKeyPairInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), KeyPairSpec: Com_amazonaws_kms_GenerateDataKeyPairInput_KeyPairSpec_FromDafny(dafnyInput.Dtor_KeyPairSpec()), GrantTokens: Com_amazonaws_kms_GenerateDataKeyPairInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), Recipient: Com_amazonaws_kms_GenerateDataKeyPairInput_Recipient_FromDafny(dafnyInput.Dtor_Recipient().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_GenerateDataKeyPairInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func GenerateDataKeyPairOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GenerateDataKeyPairResponse) kms.GenerateDataKeyPairOutput { return func() kms.GenerateDataKeyPairOutput { return kms.GenerateDataKeyPairOutput{ PrivateKeyCiphertextBlob: Com_amazonaws_kms_GenerateDataKeyPairOutput_PrivateKeyCiphertextBlob_FromDafny(dafnyOutput.Dtor_PrivateKeyCiphertextBlob().UnwrapOr(nil)), PrivateKeyPlaintext: Com_amazonaws_kms_GenerateDataKeyPairOutput_PrivateKeyPlaintext_FromDafny(dafnyOutput.Dtor_PrivateKeyPlaintext().UnwrapOr(nil)), PublicKey: Com_amazonaws_kms_GenerateDataKeyPairOutput_PublicKey_FromDafny(dafnyOutput.Dtor_PublicKey().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateDataKeyPairOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), KeyPairSpec: Com_amazonaws_kms_GenerateDataKeyPairOutput_KeyPairSpec_FromDafny(dafnyOutput.Dtor_KeyPairSpec().UnwrapOr(nil)), CiphertextForRecipient: Com_amazonaws_kms_GenerateDataKeyPairOutput_CiphertextForRecipient_FromDafny(dafnyOutput.Dtor_CiphertextForRecipient().UnwrapOr(nil)), } }() } func GenerateDataKeyPairWithoutPlaintextInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GenerateDataKeyPairWithoutPlaintextRequest) kms.GenerateDataKeyPairWithoutPlaintextInput { return func() kms.GenerateDataKeyPairWithoutPlaintextInput { return kms.GenerateDataKeyPairWithoutPlaintextInput{ EncryptionContext: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_EncryptionContext_FromDafny(dafnyInput.Dtor_EncryptionContext().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), KeyPairSpec: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_KeyPairSpec_FromDafny(dafnyInput.Dtor_KeyPairSpec()), GrantTokens: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func GenerateDataKeyPairWithoutPlaintextOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GenerateDataKeyPairWithoutPlaintextResponse) kms.GenerateDataKeyPairWithoutPlaintextOutput { return func() kms.GenerateDataKeyPairWithoutPlaintextOutput { return kms.GenerateDataKeyPairWithoutPlaintextOutput{ PrivateKeyCiphertextBlob: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_PrivateKeyCiphertextBlob_FromDafny(dafnyOutput.Dtor_PrivateKeyCiphertextBlob().UnwrapOr(nil)), PublicKey: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_PublicKey_FromDafny(dafnyOutput.Dtor_PublicKey().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), KeyPairSpec: Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_KeyPairSpec_FromDafny(dafnyOutput.Dtor_KeyPairSpec().UnwrapOr(nil)), } }() } func GenerateDataKeyWithoutPlaintextInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GenerateDataKeyWithoutPlaintextRequest) kms.GenerateDataKeyWithoutPlaintextInput { return func() kms.GenerateDataKeyWithoutPlaintextInput { return kms.GenerateDataKeyWithoutPlaintextInput{ KeyId: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), EncryptionContext: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_EncryptionContext_FromDafny(dafnyInput.Dtor_EncryptionContext().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_KeySpec_FromDafny(dafnyInput.Dtor_KeySpec().UnwrapOr(nil)), NumberOfBytes: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_NumberOfBytes_FromDafny(dafnyInput.Dtor_NumberOfBytes().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func GenerateDataKeyWithoutPlaintextOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GenerateDataKeyWithoutPlaintextResponse) kms.GenerateDataKeyWithoutPlaintextOutput { return func() kms.GenerateDataKeyWithoutPlaintextOutput { return kms.GenerateDataKeyWithoutPlaintextOutput{ CiphertextBlob: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextOutput_CiphertextBlob_FromDafny(dafnyOutput.Dtor_CiphertextBlob().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), } }() } func GenerateMacInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GenerateMacRequest) kms.GenerateMacInput { return func() kms.GenerateMacInput { return kms.GenerateMacInput{ Message: Com_amazonaws_kms_GenerateMacInput_Message_FromDafny(dafnyInput.Dtor_Message()), KeyId: Com_amazonaws_kms_GenerateMacInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), MacAlgorithm: Com_amazonaws_kms_GenerateMacInput_MacAlgorithm_FromDafny(dafnyInput.Dtor_MacAlgorithm()), GrantTokens: Com_amazonaws_kms_GenerateMacInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_GenerateMacInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func GenerateMacOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GenerateMacResponse) kms.GenerateMacOutput { return func() kms.GenerateMacOutput { return kms.GenerateMacOutput{ Mac: Com_amazonaws_kms_GenerateMacOutput_Mac_FromDafny(dafnyOutput.Dtor_Mac().UnwrapOr(nil)), MacAlgorithm: Com_amazonaws_kms_GenerateMacOutput_MacAlgorithm_FromDafny(dafnyOutput.Dtor_MacAlgorithm().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GenerateMacOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), } }() } func GenerateRandomInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GenerateRandomRequest) kms.GenerateRandomInput { return func() kms.GenerateRandomInput { return kms.GenerateRandomInput{ NumberOfBytes: Com_amazonaws_kms_GenerateRandomInput_NumberOfBytes_FromDafny(dafnyInput.Dtor_NumberOfBytes().UnwrapOr(nil)), CustomKeyStoreId: Com_amazonaws_kms_GenerateRandomInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId().UnwrapOr(nil)), Recipient: Com_amazonaws_kms_GenerateRandomInput_Recipient_FromDafny(dafnyInput.Dtor_Recipient().UnwrapOr(nil)), } }() } func GenerateRandomOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GenerateRandomResponse) kms.GenerateRandomOutput { return func() kms.GenerateRandomOutput { return kms.GenerateRandomOutput{ Plaintext: Com_amazonaws_kms_GenerateRandomOutput_Plaintext_FromDafny(dafnyOutput.Dtor_Plaintext().UnwrapOr(nil)), CiphertextForRecipient: Com_amazonaws_kms_GenerateRandomOutput_CiphertextForRecipient_FromDafny(dafnyOutput.Dtor_CiphertextForRecipient().UnwrapOr(nil)), } }() } func GetKeyPolicyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GetKeyPolicyRequest) kms.GetKeyPolicyInput { return func() kms.GetKeyPolicyInput { return kms.GetKeyPolicyInput{ KeyId: Com_amazonaws_kms_GetKeyPolicyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), PolicyName: Com_amazonaws_kms_GetKeyPolicyInput_PolicyName_FromDafny(dafnyInput.Dtor_PolicyName().UnwrapOr(nil)), } }() } func GetKeyPolicyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GetKeyPolicyResponse) kms.GetKeyPolicyOutput { return func() kms.GetKeyPolicyOutput { return kms.GetKeyPolicyOutput{ Policy: Com_amazonaws_kms_GetKeyPolicyOutput_Policy_FromDafny(dafnyOutput.Dtor_Policy().UnwrapOr(nil)), PolicyName: Com_amazonaws_kms_GetKeyPolicyOutput_PolicyName_FromDafny(dafnyOutput.Dtor_PolicyName().UnwrapOr(nil)), } }() } func GetKeyRotationStatusInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GetKeyRotationStatusRequest) kms.GetKeyRotationStatusInput { return func() kms.GetKeyRotationStatusInput { return kms.GetKeyRotationStatusInput{ KeyId: Com_amazonaws_kms_GetKeyRotationStatusInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func GetKeyRotationStatusOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GetKeyRotationStatusResponse) kms.GetKeyRotationStatusOutput { return func() kms.GetKeyRotationStatusOutput { return kms.GetKeyRotationStatusOutput{ KeyRotationEnabled: Com_amazonaws_kms_GetKeyRotationStatusOutput_KeyRotationEnabled_FromDafny(dafnyOutput.Dtor_KeyRotationEnabled().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_GetKeyRotationStatusOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), RotationPeriodInDays: Com_amazonaws_kms_GetKeyRotationStatusOutput_RotationPeriodInDays_FromDafny(dafnyOutput.Dtor_RotationPeriodInDays().UnwrapOr(nil)), NextRotationDate: Com_amazonaws_kms_GetKeyRotationStatusOutput_NextRotationDate_FromDafny(dafnyOutput.Dtor_NextRotationDate().UnwrapOr(nil)), OnDemandRotationStartDate: Com_amazonaws_kms_GetKeyRotationStatusOutput_OnDemandRotationStartDate_FromDafny(dafnyOutput.Dtor_OnDemandRotationStartDate().UnwrapOr(nil)), } }() } func GetParametersForImportInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GetParametersForImportRequest) kms.GetParametersForImportInput { return func() kms.GetParametersForImportInput { return kms.GetParametersForImportInput{ KeyId: Com_amazonaws_kms_GetParametersForImportInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), WrappingAlgorithm: Com_amazonaws_kms_GetParametersForImportInput_WrappingAlgorithm_FromDafny(dafnyInput.Dtor_WrappingAlgorithm()), WrappingKeySpec: Com_amazonaws_kms_GetParametersForImportInput_WrappingKeySpec_FromDafny(dafnyInput.Dtor_WrappingKeySpec()), } }() } func GetParametersForImportOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GetParametersForImportResponse) kms.GetParametersForImportOutput { return func() kms.GetParametersForImportOutput { return kms.GetParametersForImportOutput{ KeyId: Com_amazonaws_kms_GetParametersForImportOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), ImportToken: Com_amazonaws_kms_GetParametersForImportOutput_ImportToken_FromDafny(dafnyOutput.Dtor_ImportToken().UnwrapOr(nil)), PublicKey: Com_amazonaws_kms_GetParametersForImportOutput_PublicKey_FromDafny(dafnyOutput.Dtor_PublicKey().UnwrapOr(nil)), ParametersValidTo: Com_amazonaws_kms_GetParametersForImportOutput_ParametersValidTo_FromDafny(dafnyOutput.Dtor_ParametersValidTo().UnwrapOr(nil)), } }() } func GetPublicKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.GetPublicKeyRequest) kms.GetPublicKeyInput { return func() kms.GetPublicKeyInput { return kms.GetPublicKeyInput{ KeyId: Com_amazonaws_kms_GetPublicKeyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), GrantTokens: Com_amazonaws_kms_GetPublicKeyInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), } }() } func GetPublicKeyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.GetPublicKeyResponse) kms.GetPublicKeyOutput { return func() kms.GetPublicKeyOutput { return kms.GetPublicKeyOutput{ KeyId: Com_amazonaws_kms_GetPublicKeyOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), PublicKey: Com_amazonaws_kms_GetPublicKeyOutput_PublicKey_FromDafny(dafnyOutput.Dtor_PublicKey().UnwrapOr(nil)), CustomerMasterKeySpec: Com_amazonaws_kms_GetPublicKeyOutput_CustomerMasterKeySpec_FromDafny(dafnyOutput.Dtor_CustomerMasterKeySpec().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_GetPublicKeyOutput_KeySpec_FromDafny(dafnyOutput.Dtor_KeySpec().UnwrapOr(nil)), KeyUsage: Com_amazonaws_kms_GetPublicKeyOutput_KeyUsage_FromDafny(dafnyOutput.Dtor_KeyUsage().UnwrapOr(nil)), EncryptionAlgorithms: Com_amazonaws_kms_GetPublicKeyOutput_EncryptionAlgorithms_FromDafny(dafnyOutput.Dtor_EncryptionAlgorithms().UnwrapOr(nil)), SigningAlgorithms: Com_amazonaws_kms_GetPublicKeyOutput_SigningAlgorithms_FromDafny(dafnyOutput.Dtor_SigningAlgorithms().UnwrapOr(nil)), KeyAgreementAlgorithms: Com_amazonaws_kms_GetPublicKeyOutput_KeyAgreementAlgorithms_FromDafny(dafnyOutput.Dtor_KeyAgreementAlgorithms().UnwrapOr(nil)), } }() } func ImportKeyMaterialInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ImportKeyMaterialRequest) kms.ImportKeyMaterialInput { return func() kms.ImportKeyMaterialInput { return kms.ImportKeyMaterialInput{ KeyId: Com_amazonaws_kms_ImportKeyMaterialInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), ImportToken: Com_amazonaws_kms_ImportKeyMaterialInput_ImportToken_FromDafny(dafnyInput.Dtor_ImportToken()), EncryptedKeyMaterial: Com_amazonaws_kms_ImportKeyMaterialInput_EncryptedKeyMaterial_FromDafny(dafnyInput.Dtor_EncryptedKeyMaterial()), ValidTo: Com_amazonaws_kms_ImportKeyMaterialInput_ValidTo_FromDafny(dafnyInput.Dtor_ValidTo().UnwrapOr(nil)), ExpirationModel: Com_amazonaws_kms_ImportKeyMaterialInput_ExpirationModel_FromDafny(dafnyInput.Dtor_ExpirationModel().UnwrapOr(nil)), } }() } func ImportKeyMaterialOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ImportKeyMaterialResponse) kms.ImportKeyMaterialOutput { return func() kms.ImportKeyMaterialOutput { return kms.ImportKeyMaterialOutput{} }() } func ListAliasesInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ListAliasesRequest) kms.ListAliasesInput { return func() kms.ListAliasesInput { return kms.ListAliasesInput{ KeyId: Com_amazonaws_kms_ListAliasesInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId().UnwrapOr(nil)), Limit: Com_amazonaws_kms_ListAliasesInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_ListAliasesInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), } }() } func ListAliasesOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ListAliasesResponse) kms.ListAliasesOutput { return func() kms.ListAliasesOutput { return kms.ListAliasesOutput{ Aliases: Com_amazonaws_kms_ListAliasesOutput_Aliases_FromDafny(dafnyOutput.Dtor_Aliases().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_ListAliasesOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_ListAliasesOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func ListGrantsInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ListGrantsRequest) kms.ListGrantsInput { return func() kms.ListGrantsInput { return kms.ListGrantsInput{ Limit: Com_amazonaws_kms_ListGrantsInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_ListGrantsInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_ListGrantsInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), GrantId: Com_amazonaws_kms_ListGrantsInput_GrantId_FromDafny(dafnyInput.Dtor_GrantId().UnwrapOr(nil)), GranteePrincipal: Com_amazonaws_kms_ListGrantsInput_GranteePrincipal_FromDafny(dafnyInput.Dtor_GranteePrincipal().UnwrapOr(nil)), } }() } func ListGrantsOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ListGrantsResponse) kms.ListGrantsOutput { return func() kms.ListGrantsOutput { return kms.ListGrantsOutput{ Grants: Com_amazonaws_kms_ListGrantsOutput_Grants_FromDafny(dafnyOutput.Dtor_Grants().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_ListGrantsOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_ListGrantsOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func ListKeyPoliciesInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ListKeyPoliciesRequest) kms.ListKeyPoliciesInput { return func() kms.ListKeyPoliciesInput { return kms.ListKeyPoliciesInput{ KeyId: Com_amazonaws_kms_ListKeyPoliciesInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Limit: Com_amazonaws_kms_ListKeyPoliciesInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_ListKeyPoliciesInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), } }() } func ListKeyPoliciesOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ListKeyPoliciesResponse) kms.ListKeyPoliciesOutput { return func() kms.ListKeyPoliciesOutput { return kms.ListKeyPoliciesOutput{ PolicyNames: Com_amazonaws_kms_ListKeyPoliciesOutput_PolicyNames_FromDafny(dafnyOutput.Dtor_PolicyNames().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_ListKeyPoliciesOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_ListKeyPoliciesOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func ListKeyRotationsInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ListKeyRotationsRequest) kms.ListKeyRotationsInput { return func() kms.ListKeyRotationsInput { return kms.ListKeyRotationsInput{ KeyId: Com_amazonaws_kms_ListKeyRotationsInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Limit: Com_amazonaws_kms_ListKeyRotationsInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_ListKeyRotationsInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), } }() } func ListKeyRotationsOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ListKeyRotationsResponse) kms.ListKeyRotationsOutput { return func() kms.ListKeyRotationsOutput { return kms.ListKeyRotationsOutput{ Rotations: Com_amazonaws_kms_ListKeyRotationsOutput_Rotations_FromDafny(dafnyOutput.Dtor_Rotations().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_ListKeyRotationsOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_ListKeyRotationsOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func ListKeysInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ListKeysRequest) kms.ListKeysInput { return func() kms.ListKeysInput { return kms.ListKeysInput{ Limit: Com_amazonaws_kms_ListKeysInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_ListKeysInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), } }() } func ListKeysOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ListKeysResponse) kms.ListKeysOutput { return func() kms.ListKeysOutput { return kms.ListKeysOutput{ Keys: Com_amazonaws_kms_ListKeysOutput_Keys_FromDafny(dafnyOutput.Dtor_Keys().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_ListKeysOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_ListKeysOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func ListResourceTagsInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ListResourceTagsRequest) kms.ListResourceTagsInput { return func() kms.ListResourceTagsInput { return kms.ListResourceTagsInput{ KeyId: Com_amazonaws_kms_ListResourceTagsInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Limit: Com_amazonaws_kms_ListResourceTagsInput_Limit_FromDafny(dafnyInput.Dtor_Limit().UnwrapOr(nil)), Marker: Com_amazonaws_kms_ListResourceTagsInput_Marker_FromDafny(dafnyInput.Dtor_Marker().UnwrapOr(nil)), } }() } func ListResourceTagsOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ListResourceTagsResponse) kms.ListResourceTagsOutput { return func() kms.ListResourceTagsOutput { return kms.ListResourceTagsOutput{ Tags: Com_amazonaws_kms_ListResourceTagsOutput_Tags_FromDafny(dafnyOutput.Dtor_Tags().UnwrapOr(nil)), NextMarker: Com_amazonaws_kms_ListResourceTagsOutput_NextMarker_FromDafny(dafnyOutput.Dtor_NextMarker().UnwrapOr(nil)), Truncated: Com_amazonaws_kms_ListResourceTagsOutput_Truncated_FromDafny(dafnyOutput.Dtor_Truncated().UnwrapOr(nil)), } }() } func PutKeyPolicyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.PutKeyPolicyRequest) kms.PutKeyPolicyInput { return func() kms.PutKeyPolicyInput { return kms.PutKeyPolicyInput{ KeyId: Com_amazonaws_kms_PutKeyPolicyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), PolicyName: Com_amazonaws_kms_PutKeyPolicyInput_PolicyName_FromDafny(dafnyInput.Dtor_PolicyName().UnwrapOr(nil)), Policy: Com_amazonaws_kms_PutKeyPolicyInput_Policy_FromDafny(dafnyInput.Dtor_Policy()), BypassPolicyLockoutSafetyCheck: Com_amazonaws_kms_PutKeyPolicyInput_BypassPolicyLockoutSafetyCheck_FromDafny(dafnyInput.Dtor_BypassPolicyLockoutSafetyCheck().UnwrapOr(nil)), } }() } func ReEncryptInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ReEncryptRequest) kms.ReEncryptInput { return func() kms.ReEncryptInput { return kms.ReEncryptInput{ CiphertextBlob: Com_amazonaws_kms_ReEncryptInput_CiphertextBlob_FromDafny(dafnyInput.Dtor_CiphertextBlob()), SourceEncryptionContext: Com_amazonaws_kms_ReEncryptInput_SourceEncryptionContext_FromDafny(dafnyInput.Dtor_SourceEncryptionContext().UnwrapOr(nil)), SourceKeyId: Com_amazonaws_kms_ReEncryptInput_SourceKeyId_FromDafny(dafnyInput.Dtor_SourceKeyId().UnwrapOr(nil)), DestinationKeyId: Com_amazonaws_kms_ReEncryptInput_DestinationKeyId_FromDafny(dafnyInput.Dtor_DestinationKeyId()), DestinationEncryptionContext: Com_amazonaws_kms_ReEncryptInput_DestinationEncryptionContext_FromDafny(dafnyInput.Dtor_DestinationEncryptionContext().UnwrapOr(nil)), SourceEncryptionAlgorithm: Com_amazonaws_kms_ReEncryptInput_SourceEncryptionAlgorithm_FromDafny(dafnyInput.Dtor_SourceEncryptionAlgorithm().UnwrapOr(nil)), DestinationEncryptionAlgorithm: Com_amazonaws_kms_ReEncryptInput_DestinationEncryptionAlgorithm_FromDafny(dafnyInput.Dtor_DestinationEncryptionAlgorithm().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_ReEncryptInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_ReEncryptInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func ReEncryptOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ReEncryptResponse) kms.ReEncryptOutput { return func() kms.ReEncryptOutput { return kms.ReEncryptOutput{ CiphertextBlob: Com_amazonaws_kms_ReEncryptOutput_CiphertextBlob_FromDafny(dafnyOutput.Dtor_CiphertextBlob().UnwrapOr(nil)), SourceKeyId: Com_amazonaws_kms_ReEncryptOutput_SourceKeyId_FromDafny(dafnyOutput.Dtor_SourceKeyId().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_ReEncryptOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), SourceEncryptionAlgorithm: Com_amazonaws_kms_ReEncryptOutput_SourceEncryptionAlgorithm_FromDafny(dafnyOutput.Dtor_SourceEncryptionAlgorithm().UnwrapOr(nil)), DestinationEncryptionAlgorithm: Com_amazonaws_kms_ReEncryptOutput_DestinationEncryptionAlgorithm_FromDafny(dafnyOutput.Dtor_DestinationEncryptionAlgorithm().UnwrapOr(nil)), } }() } func ReplicateKeyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ReplicateKeyRequest) kms.ReplicateKeyInput { return func() kms.ReplicateKeyInput { return kms.ReplicateKeyInput{ KeyId: Com_amazonaws_kms_ReplicateKeyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), ReplicaRegion: Com_amazonaws_kms_ReplicateKeyInput_ReplicaRegion_FromDafny(dafnyInput.Dtor_ReplicaRegion()), Policy: Com_amazonaws_kms_ReplicateKeyInput_Policy_FromDafny(dafnyInput.Dtor_Policy().UnwrapOr(nil)), BypassPolicyLockoutSafetyCheck: Com_amazonaws_kms_ReplicateKeyInput_BypassPolicyLockoutSafetyCheck_FromDafny(dafnyInput.Dtor_BypassPolicyLockoutSafetyCheck().UnwrapOr(nil)), Description: Com_amazonaws_kms_ReplicateKeyInput_Description_FromDafny(dafnyInput.Dtor_Description().UnwrapOr(nil)), Tags: Com_amazonaws_kms_ReplicateKeyInput_Tags_FromDafny(dafnyInput.Dtor_Tags().UnwrapOr(nil)), } }() } func ReplicateKeyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ReplicateKeyResponse) kms.ReplicateKeyOutput { return func() kms.ReplicateKeyOutput { return kms.ReplicateKeyOutput{ ReplicaKeyMetadata: Com_amazonaws_kms_ReplicateKeyOutput_ReplicaKeyMetadata_FromDafny(dafnyOutput.Dtor_ReplicaKeyMetadata().UnwrapOr(nil)), ReplicaPolicy: Com_amazonaws_kms_ReplicateKeyOutput_ReplicaPolicy_FromDafny(dafnyOutput.Dtor_ReplicaPolicy().UnwrapOr(nil)), ReplicaTags: Com_amazonaws_kms_ReplicateKeyOutput_ReplicaTags_FromDafny(dafnyOutput.Dtor_ReplicaTags().UnwrapOr(nil)), } }() } func RetireGrantInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.RetireGrantRequest) kms.RetireGrantInput { return func() kms.RetireGrantInput { return kms.RetireGrantInput{ GrantToken: Com_amazonaws_kms_RetireGrantInput_GrantToken_FromDafny(dafnyInput.Dtor_GrantToken().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_RetireGrantInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId().UnwrapOr(nil)), GrantId: Com_amazonaws_kms_RetireGrantInput_GrantId_FromDafny(dafnyInput.Dtor_GrantId().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_RetireGrantInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func RevokeGrantInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.RevokeGrantRequest) kms.RevokeGrantInput { return func() kms.RevokeGrantInput { return kms.RevokeGrantInput{ KeyId: Com_amazonaws_kms_RevokeGrantInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), GrantId: Com_amazonaws_kms_RevokeGrantInput_GrantId_FromDafny(dafnyInput.Dtor_GrantId()), DryRun: Com_amazonaws_kms_RevokeGrantInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func RotateKeyOnDemandInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.RotateKeyOnDemandRequest) kms.RotateKeyOnDemandInput { return func() kms.RotateKeyOnDemandInput { return kms.RotateKeyOnDemandInput{ KeyId: Com_amazonaws_kms_RotateKeyOnDemandInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), } }() } func RotateKeyOnDemandOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.RotateKeyOnDemandResponse) kms.RotateKeyOnDemandOutput { return func() kms.RotateKeyOnDemandOutput { return kms.RotateKeyOnDemandOutput{ KeyId: Com_amazonaws_kms_RotateKeyOnDemandOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), } }() } func ScheduleKeyDeletionInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.ScheduleKeyDeletionRequest) kms.ScheduleKeyDeletionInput { return func() kms.ScheduleKeyDeletionInput { return kms.ScheduleKeyDeletionInput{ KeyId: Com_amazonaws_kms_ScheduleKeyDeletionInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), PendingWindowInDays: Com_amazonaws_kms_ScheduleKeyDeletionInput_PendingWindowInDays_FromDafny(dafnyInput.Dtor_PendingWindowInDays().UnwrapOr(nil)), } }() } func ScheduleKeyDeletionOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.ScheduleKeyDeletionResponse) kms.ScheduleKeyDeletionOutput { return func() kms.ScheduleKeyDeletionOutput { return kms.ScheduleKeyDeletionOutput{ KeyId: Com_amazonaws_kms_ScheduleKeyDeletionOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), DeletionDate: Com_amazonaws_kms_ScheduleKeyDeletionOutput_DeletionDate_FromDafny(dafnyOutput.Dtor_DeletionDate().UnwrapOr(nil)), KeyState: Com_amazonaws_kms_ScheduleKeyDeletionOutput_KeyState_FromDafny(dafnyOutput.Dtor_KeyState().UnwrapOr(nil)), PendingWindowInDays: Com_amazonaws_kms_ScheduleKeyDeletionOutput_PendingWindowInDays_FromDafny(dafnyOutput.Dtor_PendingWindowInDays().UnwrapOr(nil)), } }() } func SignInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.SignRequest) kms.SignInput { return func() kms.SignInput { return kms.SignInput{ KeyId: Com_amazonaws_kms_SignInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Message: Com_amazonaws_kms_SignInput_Message_FromDafny(dafnyInput.Dtor_Message()), MessageType: Com_amazonaws_kms_SignInput_MessageType_FromDafny(dafnyInput.Dtor_MessageType().UnwrapOr(nil)), GrantTokens: Com_amazonaws_kms_SignInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), SigningAlgorithm: Com_amazonaws_kms_SignInput_SigningAlgorithm_FromDafny(dafnyInput.Dtor_SigningAlgorithm()), DryRun: Com_amazonaws_kms_SignInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func SignOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.SignResponse) kms.SignOutput { return func() kms.SignOutput { return kms.SignOutput{ KeyId: Com_amazonaws_kms_SignOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), Signature: Com_amazonaws_kms_SignOutput_Signature_FromDafny(dafnyOutput.Dtor_Signature().UnwrapOr(nil)), SigningAlgorithm: Com_amazonaws_kms_SignOutput_SigningAlgorithm_FromDafny(dafnyOutput.Dtor_SigningAlgorithm().UnwrapOr(nil)), } }() } func TagResourceInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.TagResourceRequest) kms.TagResourceInput { return func() kms.TagResourceInput { return kms.TagResourceInput{ KeyId: Com_amazonaws_kms_TagResourceInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Tags: Com_amazonaws_kms_TagResourceInput_Tags_FromDafny(dafnyInput.Dtor_Tags()), } }() } func UntagResourceInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.UntagResourceRequest) kms.UntagResourceInput { return func() kms.UntagResourceInput { return kms.UntagResourceInput{ KeyId: Com_amazonaws_kms_UntagResourceInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), TagKeys: Com_amazonaws_kms_UntagResourceInput_TagKeys_FromDafny(dafnyInput.Dtor_TagKeys()), } }() } func UpdateAliasInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.UpdateAliasRequest) kms.UpdateAliasInput { return func() kms.UpdateAliasInput { return kms.UpdateAliasInput{ AliasName: Com_amazonaws_kms_UpdateAliasInput_AliasName_FromDafny(dafnyInput.Dtor_AliasName()), TargetKeyId: Com_amazonaws_kms_UpdateAliasInput_TargetKeyId_FromDafny(dafnyInput.Dtor_TargetKeyId()), } }() } func UpdateCustomKeyStoreInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.UpdateCustomKeyStoreRequest) kms.UpdateCustomKeyStoreInput { return func() kms.UpdateCustomKeyStoreInput { return kms.UpdateCustomKeyStoreInput{ CustomKeyStoreId: Com_amazonaws_kms_UpdateCustomKeyStoreInput_CustomKeyStoreId_FromDafny(dafnyInput.Dtor_CustomKeyStoreId()), NewCustomKeyStoreName: Com_amazonaws_kms_UpdateCustomKeyStoreInput_NewCustomKeyStoreName_FromDafny(dafnyInput.Dtor_NewCustomKeyStoreName().UnwrapOr(nil)), KeyStorePassword: Com_amazonaws_kms_UpdateCustomKeyStoreInput_KeyStorePassword_FromDafny(dafnyInput.Dtor_KeyStorePassword().UnwrapOr(nil)), CloudHsmClusterId: Com_amazonaws_kms_UpdateCustomKeyStoreInput_CloudHsmClusterId_FromDafny(dafnyInput.Dtor_CloudHsmClusterId().UnwrapOr(nil)), XksProxyUriEndpoint: Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyUriEndpoint_FromDafny(dafnyInput.Dtor_XksProxyUriEndpoint().UnwrapOr(nil)), XksProxyUriPath: Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyUriPath_FromDafny(dafnyInput.Dtor_XksProxyUriPath().UnwrapOr(nil)), XksProxyVpcEndpointServiceName: Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyVpcEndpointServiceName_FromDafny(dafnyInput.Dtor_XksProxyVpcEndpointServiceName().UnwrapOr(nil)), XksProxyAuthenticationCredential: Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyAuthenticationCredential_FromDafny(dafnyInput.Dtor_XksProxyAuthenticationCredential().UnwrapOr(nil)), XksProxyConnectivity: Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyConnectivity_FromDafny(dafnyInput.Dtor_XksProxyConnectivity().UnwrapOr(nil)), } }() } func UpdateCustomKeyStoreOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.UpdateCustomKeyStoreResponse) kms.UpdateCustomKeyStoreOutput { return func() kms.UpdateCustomKeyStoreOutput { return kms.UpdateCustomKeyStoreOutput{} }() } func UpdateKeyDescriptionInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.UpdateKeyDescriptionRequest) kms.UpdateKeyDescriptionInput { return func() kms.UpdateKeyDescriptionInput { return kms.UpdateKeyDescriptionInput{ KeyId: Com_amazonaws_kms_UpdateKeyDescriptionInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Description: Com_amazonaws_kms_UpdateKeyDescriptionInput_Description_FromDafny(dafnyInput.Dtor_Description()), } }() } func UpdatePrimaryRegionInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.UpdatePrimaryRegionRequest) kms.UpdatePrimaryRegionInput { return func() kms.UpdatePrimaryRegionInput { return kms.UpdatePrimaryRegionInput{ KeyId: Com_amazonaws_kms_UpdatePrimaryRegionInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), PrimaryRegion: Com_amazonaws_kms_UpdatePrimaryRegionInput_PrimaryRegion_FromDafny(dafnyInput.Dtor_PrimaryRegion()), } }() } func VerifyInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.VerifyRequest) kms.VerifyInput { return func() kms.VerifyInput { return kms.VerifyInput{ KeyId: Com_amazonaws_kms_VerifyInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), Message: Com_amazonaws_kms_VerifyInput_Message_FromDafny(dafnyInput.Dtor_Message()), MessageType: Com_amazonaws_kms_VerifyInput_MessageType_FromDafny(dafnyInput.Dtor_MessageType().UnwrapOr(nil)), Signature: Com_amazonaws_kms_VerifyInput_Signature_FromDafny(dafnyInput.Dtor_Signature()), SigningAlgorithm: Com_amazonaws_kms_VerifyInput_SigningAlgorithm_FromDafny(dafnyInput.Dtor_SigningAlgorithm()), GrantTokens: Com_amazonaws_kms_VerifyInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_VerifyInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func VerifyOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.VerifyResponse) kms.VerifyOutput { return func() kms.VerifyOutput { return kms.VerifyOutput{ KeyId: Com_amazonaws_kms_VerifyOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), SignatureValid: Com_amazonaws_kms_VerifyOutput_SignatureValid_FromDafny(dafnyOutput.Dtor_SignatureValid().UnwrapOr(nil)), SigningAlgorithm: Com_amazonaws_kms_VerifyOutput_SigningAlgorithm_FromDafny(dafnyOutput.Dtor_SigningAlgorithm().UnwrapOr(nil)), } }() } func VerifyMacInput_FromDafny(dafnyInput ComAmazonawsKmsTypes.VerifyMacRequest) kms.VerifyMacInput { return func() kms.VerifyMacInput { return kms.VerifyMacInput{ Message: Com_amazonaws_kms_VerifyMacInput_Message_FromDafny(dafnyInput.Dtor_Message()), KeyId: Com_amazonaws_kms_VerifyMacInput_KeyId_FromDafny(dafnyInput.Dtor_KeyId()), MacAlgorithm: Com_amazonaws_kms_VerifyMacInput_MacAlgorithm_FromDafny(dafnyInput.Dtor_MacAlgorithm()), Mac: Com_amazonaws_kms_VerifyMacInput_Mac_FromDafny(dafnyInput.Dtor_Mac()), GrantTokens: Com_amazonaws_kms_VerifyMacInput_GrantTokens_FromDafny(dafnyInput.Dtor_GrantTokens().UnwrapOr(nil)), DryRun: Com_amazonaws_kms_VerifyMacInput_DryRun_FromDafny(dafnyInput.Dtor_DryRun().UnwrapOr(nil)), } }() } func VerifyMacOutput_FromDafny(dafnyOutput ComAmazonawsKmsTypes.VerifyMacResponse) kms.VerifyMacOutput { return func() kms.VerifyMacOutput { return kms.VerifyMacOutput{ KeyId: Com_amazonaws_kms_VerifyMacOutput_KeyId_FromDafny(dafnyOutput.Dtor_KeyId().UnwrapOr(nil)), MacValid: Com_amazonaws_kms_VerifyMacOutput_MacValid_FromDafny(dafnyOutput.Dtor_MacValid().UnwrapOr(nil)), MacAlgorithm: Com_amazonaws_kms_VerifyMacOutput_MacAlgorithm_FromDafny(dafnyOutput.Dtor_MacAlgorithm().UnwrapOr(nil)), } }() } func AlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.AlreadyExistsException { return func() types.AlreadyExistsException { return types.AlreadyExistsException{ Message: Com_amazonaws_kms_AlreadyExistsException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CloudHsmClusterInUseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CloudHsmClusterInUseException { return func() types.CloudHsmClusterInUseException { return types.CloudHsmClusterInUseException{ Message: Com_amazonaws_kms_CloudHsmClusterInUseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CloudHsmClusterInvalidConfigurationException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CloudHsmClusterInvalidConfigurationException { return func() types.CloudHsmClusterInvalidConfigurationException { return types.CloudHsmClusterInvalidConfigurationException{ Message: Com_amazonaws_kms_CloudHsmClusterInvalidConfigurationException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CloudHsmClusterNotActiveException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CloudHsmClusterNotActiveException { return func() types.CloudHsmClusterNotActiveException { return types.CloudHsmClusterNotActiveException{ Message: Com_amazonaws_kms_CloudHsmClusterNotActiveException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CloudHsmClusterNotFoundException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CloudHsmClusterNotFoundException { return func() types.CloudHsmClusterNotFoundException { return types.CloudHsmClusterNotFoundException{ Message: Com_amazonaws_kms_CloudHsmClusterNotFoundException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CloudHsmClusterNotRelatedException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CloudHsmClusterNotRelatedException { return func() types.CloudHsmClusterNotRelatedException { return types.CloudHsmClusterNotRelatedException{ Message: Com_amazonaws_kms_CloudHsmClusterNotRelatedException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func ConflictException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.ConflictException { return func() types.ConflictException { return types.ConflictException{ Message: Com_amazonaws_kms_ConflictException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CustomKeyStoreHasCMKsException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CustomKeyStoreHasCMKsException { return func() types.CustomKeyStoreHasCMKsException { return types.CustomKeyStoreHasCMKsException{ Message: Com_amazonaws_kms_CustomKeyStoreHasCMKsException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CustomKeyStoreInvalidStateException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CustomKeyStoreInvalidStateException { return func() types.CustomKeyStoreInvalidStateException { return types.CustomKeyStoreInvalidStateException{ Message: Com_amazonaws_kms_CustomKeyStoreInvalidStateException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CustomKeyStoreNameInUseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CustomKeyStoreNameInUseException { return func() types.CustomKeyStoreNameInUseException { return types.CustomKeyStoreNameInUseException{ Message: Com_amazonaws_kms_CustomKeyStoreNameInUseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func CustomKeyStoreNotFoundException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.CustomKeyStoreNotFoundException { return func() types.CustomKeyStoreNotFoundException { return types.CustomKeyStoreNotFoundException{ Message: Com_amazonaws_kms_CustomKeyStoreNotFoundException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func DependencyTimeoutException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.DependencyTimeoutException { return func() types.DependencyTimeoutException { return types.DependencyTimeoutException{ Message: Com_amazonaws_kms_DependencyTimeoutException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func DisabledException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.DisabledException { return func() types.DisabledException { return types.DisabledException{ Message: Com_amazonaws_kms_DisabledException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func DryRunOperationException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.DryRunOperationException { return func() types.DryRunOperationException { return types.DryRunOperationException{ Message: Com_amazonaws_kms_DryRunOperationException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func ExpiredImportTokenException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.ExpiredImportTokenException { return func() types.ExpiredImportTokenException { return types.ExpiredImportTokenException{ Message: Com_amazonaws_kms_ExpiredImportTokenException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func IncorrectKeyException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.IncorrectKeyException { return func() types.IncorrectKeyException { return types.IncorrectKeyException{ Message: Com_amazonaws_kms_IncorrectKeyException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func IncorrectKeyMaterialException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.IncorrectKeyMaterialException { return func() types.IncorrectKeyMaterialException { return types.IncorrectKeyMaterialException{ Message: Com_amazonaws_kms_IncorrectKeyMaterialException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func IncorrectTrustAnchorException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.IncorrectTrustAnchorException { return func() types.IncorrectTrustAnchorException { return types.IncorrectTrustAnchorException{ Message: Com_amazonaws_kms_IncorrectTrustAnchorException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidAliasNameException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidAliasNameException { return func() types.InvalidAliasNameException { return types.InvalidAliasNameException{ Message: Com_amazonaws_kms_InvalidAliasNameException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidArnException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidArnException { return func() types.InvalidArnException { return types.InvalidArnException{ Message: Com_amazonaws_kms_InvalidArnException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidCiphertextException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidCiphertextException { return func() types.InvalidCiphertextException { return types.InvalidCiphertextException{ Message: Com_amazonaws_kms_InvalidCiphertextException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidGrantIdException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidGrantIdException { return func() types.InvalidGrantIdException { return types.InvalidGrantIdException{ Message: Com_amazonaws_kms_InvalidGrantIdException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidGrantTokenException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidGrantTokenException { return func() types.InvalidGrantTokenException { return types.InvalidGrantTokenException{ Message: Com_amazonaws_kms_InvalidGrantTokenException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidImportTokenException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidImportTokenException { return func() types.InvalidImportTokenException { return types.InvalidImportTokenException{ Message: Com_amazonaws_kms_InvalidImportTokenException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidKeyUsageException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidKeyUsageException { return func() types.InvalidKeyUsageException { return types.InvalidKeyUsageException{ Message: Com_amazonaws_kms_InvalidKeyUsageException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func InvalidMarkerException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.InvalidMarkerException { return func() types.InvalidMarkerException { return types.InvalidMarkerException{ Message: Com_amazonaws_kms_InvalidMarkerException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func KeyUnavailableException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.KeyUnavailableException { return func() types.KeyUnavailableException { return types.KeyUnavailableException{ Message: Com_amazonaws_kms_KeyUnavailableException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func KMSInternalException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.KMSInternalException { return func() types.KMSInternalException { return types.KMSInternalException{ Message: Com_amazonaws_kms_KMSInternalException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func KMSInvalidMacException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.KMSInvalidMacException { return func() types.KMSInvalidMacException { return types.KMSInvalidMacException{ Message: Com_amazonaws_kms_KMSInvalidMacException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func KMSInvalidSignatureException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.KMSInvalidSignatureException { return func() types.KMSInvalidSignatureException { return types.KMSInvalidSignatureException{ Message: Com_amazonaws_kms_KMSInvalidSignatureException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func KMSInvalidStateException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.KMSInvalidStateException { return func() types.KMSInvalidStateException { return types.KMSInvalidStateException{ Message: Com_amazonaws_kms_KMSInvalidStateException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func LimitExceededException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.LimitExceededException { return func() types.LimitExceededException { return types.LimitExceededException{ Message: Com_amazonaws_kms_LimitExceededException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func MalformedPolicyDocumentException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.MalformedPolicyDocumentException { return func() types.MalformedPolicyDocumentException { return types.MalformedPolicyDocumentException{ Message: Com_amazonaws_kms_MalformedPolicyDocumentException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func NotFoundException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.NotFoundException { return func() types.NotFoundException { return types.NotFoundException{ Message: Com_amazonaws_kms_NotFoundException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func TagException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.TagException { return func() types.TagException { return types.TagException{ Message: Com_amazonaws_kms_TagException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func UnsupportedOperationException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.UnsupportedOperationException { return func() types.UnsupportedOperationException { return types.UnsupportedOperationException{ Message: Com_amazonaws_kms_UnsupportedOperationException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksKeyAlreadyInUseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksKeyAlreadyInUseException { return func() types.XksKeyAlreadyInUseException { return types.XksKeyAlreadyInUseException{ Message: Com_amazonaws_kms_XksKeyAlreadyInUseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksKeyInvalidConfigurationException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksKeyInvalidConfigurationException { return func() types.XksKeyInvalidConfigurationException { return types.XksKeyInvalidConfigurationException{ Message: Com_amazonaws_kms_XksKeyInvalidConfigurationException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksKeyNotFoundException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksKeyNotFoundException { return func() types.XksKeyNotFoundException { return types.XksKeyNotFoundException{ Message: Com_amazonaws_kms_XksKeyNotFoundException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyIncorrectAuthenticationCredentialException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyIncorrectAuthenticationCredentialException { return func() types.XksProxyIncorrectAuthenticationCredentialException { return types.XksProxyIncorrectAuthenticationCredentialException{ Message: Com_amazonaws_kms_XksProxyIncorrectAuthenticationCredentialException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyInvalidConfigurationException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyInvalidConfigurationException { return func() types.XksProxyInvalidConfigurationException { return types.XksProxyInvalidConfigurationException{ Message: Com_amazonaws_kms_XksProxyInvalidConfigurationException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyInvalidResponseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyInvalidResponseException { return func() types.XksProxyInvalidResponseException { return types.XksProxyInvalidResponseException{ Message: Com_amazonaws_kms_XksProxyInvalidResponseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyUriEndpointInUseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyUriEndpointInUseException { return func() types.XksProxyUriEndpointInUseException { return types.XksProxyUriEndpointInUseException{ Message: Com_amazonaws_kms_XksProxyUriEndpointInUseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyUriInUseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyUriInUseException { return func() types.XksProxyUriInUseException { return types.XksProxyUriInUseException{ Message: Com_amazonaws_kms_XksProxyUriInUseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyUriUnreachableException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyUriUnreachableException { return func() types.XksProxyUriUnreachableException { return types.XksProxyUriUnreachableException{ Message: Com_amazonaws_kms_XksProxyUriUnreachableException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyVpcEndpointServiceInUseException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyVpcEndpointServiceInUseException { return func() types.XksProxyVpcEndpointServiceInUseException { return types.XksProxyVpcEndpointServiceInUseException{ Message: Com_amazonaws_kms_XksProxyVpcEndpointServiceInUseException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyVpcEndpointServiceInvalidConfigurationException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyVpcEndpointServiceInvalidConfigurationException { return func() types.XksProxyVpcEndpointServiceInvalidConfigurationException { return types.XksProxyVpcEndpointServiceInvalidConfigurationException{ Message: Com_amazonaws_kms_XksProxyVpcEndpointServiceInvalidConfigurationException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func XksProxyVpcEndpointServiceNotFoundException_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) types.XksProxyVpcEndpointServiceNotFoundException { return func() types.XksProxyVpcEndpointServiceNotFoundException { return types.XksProxyVpcEndpointServiceNotFoundException{ Message: Com_amazonaws_kms_XksProxyVpcEndpointServiceNotFoundException_message_FromDafny(dafnyOutput.Dtor_message().UnwrapOr(nil)), } }() } func OpaqueError_Output_FromDafny(dafnyOutput ComAmazonawsKmsTypes.Error) error { responseSmithyOp, ok := dafnyOutput.Dtor_obj().(*smithy.OperationError) if ok { return responseSmithyOp } responseGenericErr, ok := dafnyOutput.Dtor_obj().(error) if ok { return responseGenericErr } panic("Invalid Error") } func Error_FromDafny(err ComAmazonawsKmsTypes.Error) error { // Service Errors if err.Is_AlreadyExistsException() { e := AlreadyExistsException_FromDafny(err) return &e } if err.Is_CloudHsmClusterInUseException() { e := CloudHsmClusterInUseException_FromDafny(err) return &e } if err.Is_CloudHsmClusterInvalidConfigurationException() { e := CloudHsmClusterInvalidConfigurationException_FromDafny(err) return &e } if err.Is_CloudHsmClusterNotActiveException() { e := CloudHsmClusterNotActiveException_FromDafny(err) return &e } if err.Is_CloudHsmClusterNotFoundException() { e := CloudHsmClusterNotFoundException_FromDafny(err) return &e } if err.Is_CloudHsmClusterNotRelatedException() { e := CloudHsmClusterNotRelatedException_FromDafny(err) return &e } if err.Is_ConflictException() { e := ConflictException_FromDafny(err) return &e } if err.Is_CustomKeyStoreHasCMKsException() { e := CustomKeyStoreHasCMKsException_FromDafny(err) return &e } if err.Is_CustomKeyStoreInvalidStateException() { e := CustomKeyStoreInvalidStateException_FromDafny(err) return &e } if err.Is_CustomKeyStoreNameInUseException() { e := CustomKeyStoreNameInUseException_FromDafny(err) return &e } if err.Is_CustomKeyStoreNotFoundException() { e := CustomKeyStoreNotFoundException_FromDafny(err) return &e } if err.Is_DependencyTimeoutException() { e := DependencyTimeoutException_FromDafny(err) return &e } if err.Is_DisabledException() { e := DisabledException_FromDafny(err) return &e } if err.Is_DryRunOperationException() { e := DryRunOperationException_FromDafny(err) return &e } if err.Is_ExpiredImportTokenException() { e := ExpiredImportTokenException_FromDafny(err) return &e } if err.Is_IncorrectKeyException() { e := IncorrectKeyException_FromDafny(err) return &e } if err.Is_IncorrectKeyMaterialException() { e := IncorrectKeyMaterialException_FromDafny(err) return &e } if err.Is_IncorrectTrustAnchorException() { e := IncorrectTrustAnchorException_FromDafny(err) return &e } if err.Is_InvalidAliasNameException() { e := InvalidAliasNameException_FromDafny(err) return &e } if err.Is_InvalidArnException() { e := InvalidArnException_FromDafny(err) return &e } if err.Is_InvalidCiphertextException() { e := InvalidCiphertextException_FromDafny(err) return &e } if err.Is_InvalidGrantIdException() { e := InvalidGrantIdException_FromDafny(err) return &e } if err.Is_InvalidGrantTokenException() { e := InvalidGrantTokenException_FromDafny(err) return &e } if err.Is_InvalidImportTokenException() { e := InvalidImportTokenException_FromDafny(err) return &e } if err.Is_InvalidKeyUsageException() { e := InvalidKeyUsageException_FromDafny(err) return &e } if err.Is_InvalidMarkerException() { e := InvalidMarkerException_FromDafny(err) return &e } if err.Is_KeyUnavailableException() { e := KeyUnavailableException_FromDafny(err) return &e } if err.Is_KMSInternalException() { e := KMSInternalException_FromDafny(err) return &e } if err.Is_KMSInvalidMacException() { e := KMSInvalidMacException_FromDafny(err) return &e } if err.Is_KMSInvalidSignatureException() { e := KMSInvalidSignatureException_FromDafny(err) return &e } if err.Is_KMSInvalidStateException() { e := KMSInvalidStateException_FromDafny(err) return &e } if err.Is_LimitExceededException() { e := LimitExceededException_FromDafny(err) return &e } if err.Is_MalformedPolicyDocumentException() { e := MalformedPolicyDocumentException_FromDafny(err) return &e } if err.Is_NotFoundException() { e := NotFoundException_FromDafny(err) return &e } if err.Is_TagException() { e := TagException_FromDafny(err) return &e } if err.Is_UnsupportedOperationException() { e := UnsupportedOperationException_FromDafny(err) return &e } if err.Is_XksKeyAlreadyInUseException() { e := XksKeyAlreadyInUseException_FromDafny(err) return &e } if err.Is_XksKeyInvalidConfigurationException() { e := XksKeyInvalidConfigurationException_FromDafny(err) return &e } if err.Is_XksKeyNotFoundException() { e := XksKeyNotFoundException_FromDafny(err) return &e } if err.Is_XksProxyIncorrectAuthenticationCredentialException() { e := XksProxyIncorrectAuthenticationCredentialException_FromDafny(err) return &e } if err.Is_XksProxyInvalidConfigurationException() { e := XksProxyInvalidConfigurationException_FromDafny(err) return &e } if err.Is_XksProxyInvalidResponseException() { e := XksProxyInvalidResponseException_FromDafny(err) return &e } if err.Is_XksProxyUriEndpointInUseException() { e := XksProxyUriEndpointInUseException_FromDafny(err) return &e } if err.Is_XksProxyUriInUseException() { e := XksProxyUriInUseException_FromDafny(err) return &e } if err.Is_XksProxyUriUnreachableException() { e := XksProxyUriUnreachableException_FromDafny(err) return &e } if err.Is_XksProxyVpcEndpointServiceInUseException() { e := XksProxyVpcEndpointServiceInUseException_FromDafny(err) return &e } if err.Is_XksProxyVpcEndpointServiceInvalidConfigurationException() { e := XksProxyVpcEndpointServiceInvalidConfigurationException_FromDafny(err) return &e } if err.Is_XksProxyVpcEndpointServiceNotFoundException() { e := XksProxyVpcEndpointServiceNotFoundException_FromDafny(err) return &e } return OpaqueError_Output_FromDafny(err) } func Com_amazonaws_kms_CancelKeyDeletionInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CancelKeyDeletionOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ConnectCustomKeyStoreInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateAliasInput_AliasName_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateAliasInput_TargetKeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_CustomKeyStoreName_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_CloudHsmClusterId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_TrustAnchorCertificate_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_KeyStorePassword_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_CustomKeyStoreType_FromDafny(input interface{}) types.CustomKeyStoreType { return func() types.CustomKeyStoreType { var u types.CustomKeyStoreType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.CustomKeyStoreType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_CustomKeyStoreType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.CustomKeyStoreType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyUriEndpoint_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyUriPath_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyVpcEndpointServiceName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyAuthenticationCredential_FromDafny(input interface{}) *types.XksProxyAuthenticationCredentialType { return func() *types.XksProxyAuthenticationCredentialType { if input == nil { return nil } return &types.XksProxyAuthenticationCredentialType{ AccessKeyId: Com_amazonaws_kms_XksProxyAuthenticationCredentialType_AccessKeyId_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyAuthenticationCredentialType).Dtor_AccessKeyId()), RawSecretAccessKey: Com_amazonaws_kms_XksProxyAuthenticationCredentialType_RawSecretAccessKey_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyAuthenticationCredentialType).Dtor_RawSecretAccessKey()), } }() } func Com_amazonaws_kms_XksProxyAuthenticationCredentialType_AccessKeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyAuthenticationCredentialType_RawSecretAccessKey_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateCustomKeyStoreInput_XksProxyConnectivity_FromDafny(input interface{}) types.XksProxyConnectivityType { return func() types.XksProxyConnectivityType { var u types.XksProxyConnectivityType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.XksProxyConnectivityType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_XksProxyConnectivityType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.XksProxyConnectivityType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateCustomKeyStoreOutput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateGrantInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateGrantInput_GranteePrincipal_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateGrantInput_RetiringPrincipal_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateGrantInput_Operations_FromDafny(input interface{}) []types.GrantOperation { return func() []types.GrantOperation { var fieldValue []types.GrantOperation for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantOperationList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GrantOperationList_member_FromDafny(input interface{}) types.GrantOperation { return func() types.GrantOperation { var u types.GrantOperation inputEnum := input.(ComAmazonawsKmsTypes.GrantOperation) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_GrantOperation_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.GrantOperation).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateGrantInput_Constraints_FromDafny(input interface{}) *types.GrantConstraints { return func() *types.GrantConstraints { if input == nil { return nil } return &types.GrantConstraints{ EncryptionContextSubset: Com_amazonaws_kms_GrantConstraints_EncryptionContextSubset_FromDafny(input.(ComAmazonawsKmsTypes.GrantConstraints).Dtor_EncryptionContextSubset().UnwrapOr(nil)), EncryptionContextEquals: Com_amazonaws_kms_GrantConstraints_EncryptionContextEquals_FromDafny(input.(ComAmazonawsKmsTypes.GrantConstraints).Dtor_EncryptionContextEquals().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_GrantConstraints_EncryptionContextSubset_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_EncryptionContextType_key_FromDafny(input interface{}) string { return func() string { if input == nil { return "" } a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return s }() } func Com_amazonaws_kms_EncryptionContextType_value_FromDafny(input interface{}) string { return func() string { a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return s }() } func Com_amazonaws_kms_GrantConstraints_EncryptionContextEquals_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_CreateGrantInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GrantTokenList_member_FromDafny(input interface{}) string { return func() string { a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return s }() } func Com_amazonaws_kms_CreateGrantInput_Name_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateGrantInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_CreateGrantOutput_GrantToken_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateGrantOutput_GrantId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateKeyInput_Policy_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateKeyInput_Description_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateKeyInput_KeyUsage_FromDafny(input interface{}) types.KeyUsageType { return func() types.KeyUsageType { var u types.KeyUsageType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyUsageType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyUsageType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyUsageType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateKeyInput_CustomerMasterKeySpec_FromDafny(input interface{}) types.CustomerMasterKeySpec { return func() types.CustomerMasterKeySpec { var u types.CustomerMasterKeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.CustomerMasterKeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_CustomerMasterKeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.CustomerMasterKeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateKeyInput_KeySpec_FromDafny(input interface{}) types.KeySpec { return func() types.KeySpec { var u types.KeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateKeyInput_Origin_FromDafny(input interface{}) types.OriginType { return func() types.OriginType { var u types.OriginType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.OriginType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_OriginType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.OriginType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CreateKeyInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateKeyInput_BypassPolicyLockoutSafetyCheck_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_CreateKeyInput_Tags_FromDafny(input interface{}) []types.Tag { return func() []types.Tag { var fieldValue []types.Tag if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_TagList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_TagList_member_FromDafny(input interface{}) types.Tag { return func() types.Tag { return types.Tag{ TagKey: Com_amazonaws_kms_Tag_TagKey_FromDafny(input.(ComAmazonawsKmsTypes.Tag).Dtor_TagKey()), TagValue: Com_amazonaws_kms_Tag_TagValue_FromDafny(input.(ComAmazonawsKmsTypes.Tag).Dtor_TagValue()), } }() } func Com_amazonaws_kms_Tag_TagKey_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_Tag_TagValue_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateKeyInput_MultiRegion_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_CreateKeyInput_XksKeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CreateKeyOutput_KeyMetadata_FromDafny(input interface{}) *types.KeyMetadata { return func() *types.KeyMetadata { if input == nil { return nil } return &types.KeyMetadata{ AWSAccountId: Com_amazonaws_kms_KeyMetadata_AWSAccountId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_AWSAccountId().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_KeyMetadata_KeyId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyId()), Arn: Com_amazonaws_kms_KeyMetadata_Arn_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Arn().UnwrapOr(nil)), CreationDate: Com_amazonaws_kms_KeyMetadata_CreationDate_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CreationDate().UnwrapOr(nil)), Enabled: Com_amazonaws_kms_KeyMetadata_Enabled_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Enabled().UnwrapOr(nil)), Description: Com_amazonaws_kms_KeyMetadata_Description_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Description().UnwrapOr(nil)), KeyUsage: Com_amazonaws_kms_KeyMetadata_KeyUsage_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyUsage().UnwrapOr(nil)), KeyState: Com_amazonaws_kms_KeyMetadata_KeyState_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyState().UnwrapOr(nil)), DeletionDate: Com_amazonaws_kms_KeyMetadata_DeletionDate_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_DeletionDate().UnwrapOr(nil)), ValidTo: Com_amazonaws_kms_KeyMetadata_ValidTo_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_ValidTo().UnwrapOr(nil)), Origin: Com_amazonaws_kms_KeyMetadata_Origin_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Origin().UnwrapOr(nil)), CustomKeyStoreId: Com_amazonaws_kms_KeyMetadata_CustomKeyStoreId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CustomKeyStoreId().UnwrapOr(nil)), CloudHsmClusterId: Com_amazonaws_kms_KeyMetadata_CloudHsmClusterId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CloudHsmClusterId().UnwrapOr(nil)), ExpirationModel: Com_amazonaws_kms_KeyMetadata_ExpirationModel_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_ExpirationModel().UnwrapOr(nil)), KeyManager: Com_amazonaws_kms_KeyMetadata_KeyManager_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyManager().UnwrapOr(nil)), CustomerMasterKeySpec: Com_amazonaws_kms_KeyMetadata_CustomerMasterKeySpec_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CustomerMasterKeySpec().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_KeyMetadata_KeySpec_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeySpec().UnwrapOr(nil)), EncryptionAlgorithms: Com_amazonaws_kms_KeyMetadata_EncryptionAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_EncryptionAlgorithms().UnwrapOr(nil)), SigningAlgorithms: Com_amazonaws_kms_KeyMetadata_SigningAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_SigningAlgorithms().UnwrapOr(nil)), KeyAgreementAlgorithms: Com_amazonaws_kms_KeyMetadata_KeyAgreementAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyAgreementAlgorithms().UnwrapOr(nil)), MultiRegion: Com_amazonaws_kms_KeyMetadata_MultiRegion_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MultiRegion().UnwrapOr(nil)), MultiRegionConfiguration: Com_amazonaws_kms_KeyMetadata_MultiRegionConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MultiRegionConfiguration().UnwrapOr(nil)), PendingDeletionWindowInDays: Com_amazonaws_kms_KeyMetadata_PendingDeletionWindowInDays_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_PendingDeletionWindowInDays().UnwrapOr(nil)), MacAlgorithms: Com_amazonaws_kms_KeyMetadata_MacAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MacAlgorithms().UnwrapOr(nil)), XksKeyConfiguration: Com_amazonaws_kms_KeyMetadata_XksKeyConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_XksKeyConfiguration().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_KeyMetadata_AWSAccountId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyMetadata_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyMetadata_Arn_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyMetadata_CreationDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_KeyMetadata_Enabled_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_KeyMetadata_Description_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyMetadata_KeyUsage_FromDafny(input interface{}) types.KeyUsageType { return func() types.KeyUsageType { var u types.KeyUsageType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyUsageType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyUsageType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyUsageType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_KeyState_FromDafny(input interface{}) types.KeyState { return func() types.KeyState { var u types.KeyState if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyState) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyState_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyState).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_DeletionDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_KeyMetadata_ValidTo_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_KeyMetadata_Origin_FromDafny(input interface{}) types.OriginType { return func() types.OriginType { var u types.OriginType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.OriginType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_OriginType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.OriginType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyMetadata_CloudHsmClusterId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyMetadata_ExpirationModel_FromDafny(input interface{}) types.ExpirationModelType { return func() types.ExpirationModelType { var u types.ExpirationModelType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.ExpirationModelType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_ExpirationModelType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.ExpirationModelType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_KeyManager_FromDafny(input interface{}) types.KeyManagerType { return func() types.KeyManagerType { var u types.KeyManagerType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyManagerType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyManagerType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyManagerType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_CustomerMasterKeySpec_FromDafny(input interface{}) types.CustomerMasterKeySpec { return func() types.CustomerMasterKeySpec { var u types.CustomerMasterKeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.CustomerMasterKeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_CustomerMasterKeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.CustomerMasterKeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_KeySpec_FromDafny(input interface{}) types.KeySpec { return func() types.KeySpec { var u types.KeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_EncryptionAlgorithms_FromDafny(input interface{}) []types.EncryptionAlgorithmSpec { return func() []types.EncryptionAlgorithmSpec { var fieldValue []types.EncryptionAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_EncryptionAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_EncryptionAlgorithmSpecList_member_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_SigningAlgorithms_FromDafny(input interface{}) []types.SigningAlgorithmSpec { return func() []types.SigningAlgorithmSpec { var fieldValue []types.SigningAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_SigningAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_SigningAlgorithmSpecList_member_FromDafny(input interface{}) types.SigningAlgorithmSpec { return func() types.SigningAlgorithmSpec { var u types.SigningAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.SigningAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_SigningAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.SigningAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_KeyAgreementAlgorithms_FromDafny(input interface{}) []types.KeyAgreementAlgorithmSpec { return func() []types.KeyAgreementAlgorithmSpec { var fieldValue []types.KeyAgreementAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_KeyAgreementAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_KeyAgreementAlgorithmSpecList_member_FromDafny(input interface{}) types.KeyAgreementAlgorithmSpec { return func() types.KeyAgreementAlgorithmSpec { var u types.KeyAgreementAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.KeyAgreementAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyAgreementAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyAgreementAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_MultiRegion_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_KeyMetadata_MultiRegionConfiguration_FromDafny(input interface{}) *types.MultiRegionConfiguration { return func() *types.MultiRegionConfiguration { if input == nil { return nil } return &types.MultiRegionConfiguration{ MultiRegionKeyType: Com_amazonaws_kms_MultiRegionConfiguration_MultiRegionKeyType_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionConfiguration).Dtor_MultiRegionKeyType().UnwrapOr(nil)), PrimaryKey: Com_amazonaws_kms_MultiRegionConfiguration_PrimaryKey_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionConfiguration).Dtor_PrimaryKey().UnwrapOr(nil)), ReplicaKeys: Com_amazonaws_kms_MultiRegionConfiguration_ReplicaKeys_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionConfiguration).Dtor_ReplicaKeys().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_MultiRegionConfiguration_MultiRegionKeyType_FromDafny(input interface{}) types.MultiRegionKeyType { return func() types.MultiRegionKeyType { var u types.MultiRegionKeyType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.MultiRegionKeyType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MultiRegionKeyType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MultiRegionKeyType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_MultiRegionConfiguration_PrimaryKey_FromDafny(input interface{}) *types.MultiRegionKey { return func() *types.MultiRegionKey { if input == nil { return nil } return &types.MultiRegionKey{ Arn: Com_amazonaws_kms_MultiRegionKey_Arn_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionKey).Dtor_Arn().UnwrapOr(nil)), Region: Com_amazonaws_kms_MultiRegionKey_Region_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionKey).Dtor_Region().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_MultiRegionKey_Arn_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_MultiRegionKey_Region_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_MultiRegionConfiguration_ReplicaKeys_FromDafny(input interface{}) []types.MultiRegionKey { return func() []types.MultiRegionKey { var fieldValue []types.MultiRegionKey if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_MultiRegionKeyList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_MultiRegionKeyList_member_FromDafny(input interface{}) types.MultiRegionKey { return func() types.MultiRegionKey { return types.MultiRegionKey{ Arn: Com_amazonaws_kms_MultiRegionKey_Arn_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionKey).Dtor_Arn().UnwrapOr(nil)), Region: Com_amazonaws_kms_MultiRegionKey_Region_FromDafny(input.(ComAmazonawsKmsTypes.MultiRegionKey).Dtor_Region().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_KeyMetadata_PendingDeletionWindowInDays_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_KeyMetadata_MacAlgorithms_FromDafny(input interface{}) []types.MacAlgorithmSpec { return func() []types.MacAlgorithmSpec { var fieldValue []types.MacAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_MacAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_MacAlgorithmSpecList_member_FromDafny(input interface{}) types.MacAlgorithmSpec { return func() types.MacAlgorithmSpec { var u types.MacAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.MacAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MacAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MacAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_KeyMetadata_XksKeyConfiguration_FromDafny(input interface{}) *types.XksKeyConfigurationType { return func() *types.XksKeyConfigurationType { if input == nil { return nil } return &types.XksKeyConfigurationType{ Id: Com_amazonaws_kms_XksKeyConfigurationType_Id_FromDafny(input.(ComAmazonawsKmsTypes.XksKeyConfigurationType).Dtor_Id().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_XksKeyConfigurationType_Id_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DecryptInput_CiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DecryptInput_EncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_DecryptInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_DecryptInput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DecryptInput_EncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_DecryptInput_Recipient_FromDafny(input interface{}) *types.RecipientInfo { return func() *types.RecipientInfo { if input == nil { return nil } return &types.RecipientInfo{ KeyEncryptionAlgorithm: Com_amazonaws_kms_RecipientInfo_KeyEncryptionAlgorithm_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_KeyEncryptionAlgorithm().UnwrapOr(nil)), AttestationDocument: Com_amazonaws_kms_RecipientInfo_AttestationDocument_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_AttestationDocument().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_RecipientInfo_KeyEncryptionAlgorithm_FromDafny(input interface{}) types.KeyEncryptionMechanism { return func() types.KeyEncryptionMechanism { var u types.KeyEncryptionMechanism if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyEncryptionMechanism) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyEncryptionMechanism_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyEncryptionMechanism).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_RecipientInfo_AttestationDocument_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DecryptInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_DecryptOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DecryptOutput_Plaintext_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DecryptOutput_EncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_DecryptOutput_CiphertextForRecipient_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DeleteAliasInput_AliasName_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DeleteCustomKeyStoreInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DeleteImportedKeyMaterialInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DeriveSharedSecretInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DeriveSharedSecretInput_KeyAgreementAlgorithm_FromDafny(input interface{}) types.KeyAgreementAlgorithmSpec { return func() types.KeyAgreementAlgorithmSpec { var u types.KeyAgreementAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.KeyAgreementAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyAgreementAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyAgreementAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_DeriveSharedSecretInput_PublicKey_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DeriveSharedSecretInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_DeriveSharedSecretInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_DeriveSharedSecretInput_Recipient_FromDafny(input interface{}) *types.RecipientInfo { return func() *types.RecipientInfo { if input == nil { return nil } return &types.RecipientInfo{ KeyEncryptionAlgorithm: Com_amazonaws_kms_RecipientInfo_KeyEncryptionAlgorithm_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_KeyEncryptionAlgorithm().UnwrapOr(nil)), AttestationDocument: Com_amazonaws_kms_RecipientInfo_AttestationDocument_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_AttestationDocument().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_DeriveSharedSecretOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DeriveSharedSecretOutput_SharedSecret_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DeriveSharedSecretOutput_CiphertextForRecipient_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_DeriveSharedSecretOutput_KeyAgreementAlgorithm_FromDafny(input interface{}) types.KeyAgreementAlgorithmSpec { return func() types.KeyAgreementAlgorithmSpec { var u types.KeyAgreementAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyAgreementAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyAgreementAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyAgreementAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_DeriveSharedSecretOutput_KeyOrigin_FromDafny(input interface{}) types.OriginType { return func() types.OriginType { var u types.OriginType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.OriginType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_OriginType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.OriginType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_DescribeCustomKeyStoresInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DescribeCustomKeyStoresInput_CustomKeyStoreName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DescribeCustomKeyStoresInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_DescribeCustomKeyStoresInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DescribeCustomKeyStoresOutput_CustomKeyStores_FromDafny(input interface{}) []types.CustomKeyStoresListEntry { return func() []types.CustomKeyStoresListEntry { var fieldValue []types.CustomKeyStoresListEntry if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_CustomKeyStoresList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_CustomKeyStoresList_member_FromDafny(input interface{}) types.CustomKeyStoresListEntry { return func() types.CustomKeyStoresListEntry { return types.CustomKeyStoresListEntry{ CustomKeyStoreId: Com_amazonaws_kms_CustomKeyStoresListEntry_CustomKeyStoreId_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_CustomKeyStoreId().UnwrapOr(nil)), CustomKeyStoreName: Com_amazonaws_kms_CustomKeyStoresListEntry_CustomKeyStoreName_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_CustomKeyStoreName().UnwrapOr(nil)), CloudHsmClusterId: Com_amazonaws_kms_CustomKeyStoresListEntry_CloudHsmClusterId_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_CloudHsmClusterId().UnwrapOr(nil)), TrustAnchorCertificate: Com_amazonaws_kms_CustomKeyStoresListEntry_TrustAnchorCertificate_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_TrustAnchorCertificate().UnwrapOr(nil)), ConnectionState: Com_amazonaws_kms_CustomKeyStoresListEntry_ConnectionState_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_ConnectionState().UnwrapOr(nil)), ConnectionErrorCode: Com_amazonaws_kms_CustomKeyStoresListEntry_ConnectionErrorCode_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_ConnectionErrorCode().UnwrapOr(nil)), CreationDate: Com_amazonaws_kms_CustomKeyStoresListEntry_CreationDate_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_CreationDate().UnwrapOr(nil)), CustomKeyStoreType: Com_amazonaws_kms_CustomKeyStoresListEntry_CustomKeyStoreType_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_CustomKeyStoreType().UnwrapOr(nil)), XksProxyConfiguration: Com_amazonaws_kms_CustomKeyStoresListEntry_XksProxyConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.CustomKeyStoresListEntry).Dtor_XksProxyConfiguration().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_CustomKeyStoreName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_CloudHsmClusterId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_TrustAnchorCertificate_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_ConnectionState_FromDafny(input interface{}) types.ConnectionStateType { return func() types.ConnectionStateType { var u types.ConnectionStateType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.ConnectionStateType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_ConnectionStateType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.ConnectionStateType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_ConnectionErrorCode_FromDafny(input interface{}) types.ConnectionErrorCodeType { return func() types.ConnectionErrorCodeType { var u types.ConnectionErrorCodeType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.ConnectionErrorCodeType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_ConnectionErrorCodeType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.ConnectionErrorCodeType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_CreationDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_CustomKeyStoreType_FromDafny(input interface{}) types.CustomKeyStoreType { return func() types.CustomKeyStoreType { var u types.CustomKeyStoreType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.CustomKeyStoreType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_CustomKeyStoreType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.CustomKeyStoreType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_CustomKeyStoresListEntry_XksProxyConfiguration_FromDafny(input interface{}) *types.XksProxyConfigurationType { return func() *types.XksProxyConfigurationType { if input == nil { return nil } return &types.XksProxyConfigurationType{ Connectivity: Com_amazonaws_kms_XksProxyConfigurationType_Connectivity_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyConfigurationType).Dtor_Connectivity().UnwrapOr(nil)), AccessKeyId: Com_amazonaws_kms_XksProxyConfigurationType_AccessKeyId_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyConfigurationType).Dtor_AccessKeyId().UnwrapOr(nil)), UriEndpoint: Com_amazonaws_kms_XksProxyConfigurationType_UriEndpoint_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyConfigurationType).Dtor_UriEndpoint().UnwrapOr(nil)), UriPath: Com_amazonaws_kms_XksProxyConfigurationType_UriPath_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyConfigurationType).Dtor_UriPath().UnwrapOr(nil)), VpcEndpointServiceName: Com_amazonaws_kms_XksProxyConfigurationType_VpcEndpointServiceName_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyConfigurationType).Dtor_VpcEndpointServiceName().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_XksProxyConfigurationType_Connectivity_FromDafny(input interface{}) types.XksProxyConnectivityType { return func() types.XksProxyConnectivityType { var u types.XksProxyConnectivityType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.XksProxyConnectivityType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_XksProxyConnectivityType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.XksProxyConnectivityType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_XksProxyConfigurationType_AccessKeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyConfigurationType_UriEndpoint_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyConfigurationType_UriPath_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyConfigurationType_VpcEndpointServiceName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DescribeCustomKeyStoresOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DescribeCustomKeyStoresOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_DescribeKeyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DescribeKeyInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_DescribeKeyOutput_KeyMetadata_FromDafny(input interface{}) *types.KeyMetadata { return func() *types.KeyMetadata { if input == nil { return nil } return &types.KeyMetadata{ AWSAccountId: Com_amazonaws_kms_KeyMetadata_AWSAccountId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_AWSAccountId().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_KeyMetadata_KeyId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyId()), Arn: Com_amazonaws_kms_KeyMetadata_Arn_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Arn().UnwrapOr(nil)), CreationDate: Com_amazonaws_kms_KeyMetadata_CreationDate_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CreationDate().UnwrapOr(nil)), Enabled: Com_amazonaws_kms_KeyMetadata_Enabled_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Enabled().UnwrapOr(nil)), Description: Com_amazonaws_kms_KeyMetadata_Description_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Description().UnwrapOr(nil)), KeyUsage: Com_amazonaws_kms_KeyMetadata_KeyUsage_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyUsage().UnwrapOr(nil)), KeyState: Com_amazonaws_kms_KeyMetadata_KeyState_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyState().UnwrapOr(nil)), DeletionDate: Com_amazonaws_kms_KeyMetadata_DeletionDate_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_DeletionDate().UnwrapOr(nil)), ValidTo: Com_amazonaws_kms_KeyMetadata_ValidTo_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_ValidTo().UnwrapOr(nil)), Origin: Com_amazonaws_kms_KeyMetadata_Origin_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Origin().UnwrapOr(nil)), CustomKeyStoreId: Com_amazonaws_kms_KeyMetadata_CustomKeyStoreId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CustomKeyStoreId().UnwrapOr(nil)), CloudHsmClusterId: Com_amazonaws_kms_KeyMetadata_CloudHsmClusterId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CloudHsmClusterId().UnwrapOr(nil)), ExpirationModel: Com_amazonaws_kms_KeyMetadata_ExpirationModel_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_ExpirationModel().UnwrapOr(nil)), KeyManager: Com_amazonaws_kms_KeyMetadata_KeyManager_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyManager().UnwrapOr(nil)), CustomerMasterKeySpec: Com_amazonaws_kms_KeyMetadata_CustomerMasterKeySpec_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CustomerMasterKeySpec().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_KeyMetadata_KeySpec_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeySpec().UnwrapOr(nil)), EncryptionAlgorithms: Com_amazonaws_kms_KeyMetadata_EncryptionAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_EncryptionAlgorithms().UnwrapOr(nil)), SigningAlgorithms: Com_amazonaws_kms_KeyMetadata_SigningAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_SigningAlgorithms().UnwrapOr(nil)), KeyAgreementAlgorithms: Com_amazonaws_kms_KeyMetadata_KeyAgreementAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyAgreementAlgorithms().UnwrapOr(nil)), MultiRegion: Com_amazonaws_kms_KeyMetadata_MultiRegion_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MultiRegion().UnwrapOr(nil)), MultiRegionConfiguration: Com_amazonaws_kms_KeyMetadata_MultiRegionConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MultiRegionConfiguration().UnwrapOr(nil)), PendingDeletionWindowInDays: Com_amazonaws_kms_KeyMetadata_PendingDeletionWindowInDays_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_PendingDeletionWindowInDays().UnwrapOr(nil)), MacAlgorithms: Com_amazonaws_kms_KeyMetadata_MacAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MacAlgorithms().UnwrapOr(nil)), XksKeyConfiguration: Com_amazonaws_kms_KeyMetadata_XksKeyConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_XksKeyConfiguration().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_DisableKeyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DisableKeyRotationInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DisconnectCustomKeyStoreInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_EnableKeyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_EnableKeyRotationInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_EnableKeyRotationInput_RotationPeriodInDays_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_EncryptInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_EncryptInput_Plaintext_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_EncryptInput_EncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_EncryptInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_EncryptInput_EncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_EncryptInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_EncryptOutput_CiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_EncryptOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_EncryptOutput_EncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyInput_EncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_GenerateDataKeyInput_NumberOfBytes_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_GenerateDataKeyInput_KeySpec_FromDafny(input interface{}) types.DataKeySpec { return func() types.DataKeySpec { var u types.DataKeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.DataKeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_DataKeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.DataKeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GenerateDataKeyInput_Recipient_FromDafny(input interface{}) *types.RecipientInfo { return func() *types.RecipientInfo { if input == nil { return nil } return &types.RecipientInfo{ KeyEncryptionAlgorithm: Com_amazonaws_kms_RecipientInfo_KeyEncryptionAlgorithm_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_KeyEncryptionAlgorithm().UnwrapOr(nil)), AttestationDocument: Com_amazonaws_kms_RecipientInfo_AttestationDocument_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_AttestationDocument().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_GenerateDataKeyInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_GenerateDataKeyOutput_CiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyOutput_Plaintext_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyOutput_CiphertextForRecipient_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairInput_EncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_GenerateDataKeyPairInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyPairInput_KeyPairSpec_FromDafny(input interface{}) types.DataKeyPairSpec { return func() types.DataKeyPairSpec { var u types.DataKeyPairSpec inputEnum := input.(ComAmazonawsKmsTypes.DataKeyPairSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_DataKeyPairSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.DataKeyPairSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyPairInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GenerateDataKeyPairInput_Recipient_FromDafny(input interface{}) *types.RecipientInfo { return func() *types.RecipientInfo { if input == nil { return nil } return &types.RecipientInfo{ KeyEncryptionAlgorithm: Com_amazonaws_kms_RecipientInfo_KeyEncryptionAlgorithm_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_KeyEncryptionAlgorithm().UnwrapOr(nil)), AttestationDocument: Com_amazonaws_kms_RecipientInfo_AttestationDocument_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_AttestationDocument().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_GenerateDataKeyPairInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_GenerateDataKeyPairOutput_PrivateKeyCiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairOutput_PrivateKeyPlaintext_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairOutput_PublicKey_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyPairOutput_KeyPairSpec_FromDafny(input interface{}) types.DataKeyPairSpec { return func() types.DataKeyPairSpec { var u types.DataKeyPairSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.DataKeyPairSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_DataKeyPairSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.DataKeyPairSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyPairOutput_CiphertextForRecipient_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_EncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_KeyPairSpec_FromDafny(input interface{}) types.DataKeyPairSpec { return func() types.DataKeyPairSpec { var u types.DataKeyPairSpec inputEnum := input.(ComAmazonawsKmsTypes.DataKeyPairSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_DataKeyPairSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.DataKeyPairSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_PrivateKeyCiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_PublicKey_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyPairWithoutPlaintextOutput_KeyPairSpec_FromDafny(input interface{}) types.DataKeyPairSpec { return func() types.DataKeyPairSpec { var u types.DataKeyPairSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.DataKeyPairSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_DataKeyPairSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.DataKeyPairSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_EncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_KeySpec_FromDafny(input interface{}) types.DataKeySpec { return func() types.DataKeySpec { var u types.DataKeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.DataKeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_DataKeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.DataKeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_NumberOfBytes_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextOutput_CiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateDataKeyWithoutPlaintextOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateMacInput_Message_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateMacInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateMacInput_MacAlgorithm_FromDafny(input interface{}) types.MacAlgorithmSpec { return func() types.MacAlgorithmSpec { var u types.MacAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.MacAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MacAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MacAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateMacInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GenerateMacInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_GenerateMacOutput_Mac_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateMacOutput_MacAlgorithm_FromDafny(input interface{}) types.MacAlgorithmSpec { return func() types.MacAlgorithmSpec { var u types.MacAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.MacAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MacAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MacAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GenerateMacOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateRandomInput_NumberOfBytes_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_GenerateRandomInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GenerateRandomInput_Recipient_FromDafny(input interface{}) *types.RecipientInfo { return func() *types.RecipientInfo { if input == nil { return nil } return &types.RecipientInfo{ KeyEncryptionAlgorithm: Com_amazonaws_kms_RecipientInfo_KeyEncryptionAlgorithm_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_KeyEncryptionAlgorithm().UnwrapOr(nil)), AttestationDocument: Com_amazonaws_kms_RecipientInfo_AttestationDocument_FromDafny(input.(ComAmazonawsKmsTypes.RecipientInfo).Dtor_AttestationDocument().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_GenerateRandomOutput_Plaintext_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GenerateRandomOutput_CiphertextForRecipient_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GetKeyPolicyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetKeyPolicyInput_PolicyName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetKeyPolicyOutput_Policy_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetKeyPolicyOutput_PolicyName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetKeyRotationStatusInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetKeyRotationStatusOutput_KeyRotationEnabled_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_GetKeyRotationStatusOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetKeyRotationStatusOutput_RotationPeriodInDays_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_GetKeyRotationStatusOutput_NextRotationDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_GetKeyRotationStatusOutput_OnDemandRotationStartDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_GetParametersForImportInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetParametersForImportInput_WrappingAlgorithm_FromDafny(input interface{}) types.AlgorithmSpec { return func() types.AlgorithmSpec { var u types.AlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.AlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_AlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.AlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GetParametersForImportInput_WrappingKeySpec_FromDafny(input interface{}) types.WrappingKeySpec { return func() types.WrappingKeySpec { var u types.WrappingKeySpec inputEnum := input.(ComAmazonawsKmsTypes.WrappingKeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_WrappingKeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.WrappingKeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GetParametersForImportOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetParametersForImportOutput_ImportToken_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GetParametersForImportOutput_PublicKey_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GetParametersForImportOutput_ParametersValidTo_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_GetPublicKeyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetPublicKeyInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GetPublicKeyOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GetPublicKeyOutput_PublicKey_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_GetPublicKeyOutput_CustomerMasterKeySpec_FromDafny(input interface{}) types.CustomerMasterKeySpec { return func() types.CustomerMasterKeySpec { var u types.CustomerMasterKeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.CustomerMasterKeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_CustomerMasterKeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.CustomerMasterKeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GetPublicKeyOutput_KeySpec_FromDafny(input interface{}) types.KeySpec { return func() types.KeySpec { var u types.KeySpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeySpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeySpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeySpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GetPublicKeyOutput_KeyUsage_FromDafny(input interface{}) types.KeyUsageType { return func() types.KeyUsageType { var u types.KeyUsageType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyUsageType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyUsageType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyUsageType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_GetPublicKeyOutput_EncryptionAlgorithms_FromDafny(input interface{}) []types.EncryptionAlgorithmSpec { return func() []types.EncryptionAlgorithmSpec { var fieldValue []types.EncryptionAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_EncryptionAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GetPublicKeyOutput_SigningAlgorithms_FromDafny(input interface{}) []types.SigningAlgorithmSpec { return func() []types.SigningAlgorithmSpec { var fieldValue []types.SigningAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_SigningAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GetPublicKeyOutput_KeyAgreementAlgorithms_FromDafny(input interface{}) []types.KeyAgreementAlgorithmSpec { return func() []types.KeyAgreementAlgorithmSpec { var fieldValue []types.KeyAgreementAlgorithmSpec if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_KeyAgreementAlgorithmSpecList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_ImportKeyMaterialInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ImportKeyMaterialInput_ImportToken_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_ImportKeyMaterialInput_EncryptedKeyMaterial_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_ImportKeyMaterialInput_ValidTo_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_ImportKeyMaterialInput_ExpirationModel_FromDafny(input interface{}) types.ExpirationModelType { return func() types.ExpirationModelType { var u types.ExpirationModelType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.ExpirationModelType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_ExpirationModelType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.ExpirationModelType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ListAliasesInput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListAliasesInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ListAliasesInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListAliasesOutput_Aliases_FromDafny(input interface{}) []types.AliasListEntry { return func() []types.AliasListEntry { var fieldValue []types.AliasListEntry if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_AliasList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_AliasList_member_FromDafny(input interface{}) types.AliasListEntry { return func() types.AliasListEntry { return types.AliasListEntry{ AliasName: Com_amazonaws_kms_AliasListEntry_AliasName_FromDafny(input.(ComAmazonawsKmsTypes.AliasListEntry).Dtor_AliasName().UnwrapOr(nil)), AliasArn: Com_amazonaws_kms_AliasListEntry_AliasArn_FromDafny(input.(ComAmazonawsKmsTypes.AliasListEntry).Dtor_AliasArn().UnwrapOr(nil)), TargetKeyId: Com_amazonaws_kms_AliasListEntry_TargetKeyId_FromDafny(input.(ComAmazonawsKmsTypes.AliasListEntry).Dtor_TargetKeyId().UnwrapOr(nil)), CreationDate: Com_amazonaws_kms_AliasListEntry_CreationDate_FromDafny(input.(ComAmazonawsKmsTypes.AliasListEntry).Dtor_CreationDate().UnwrapOr(nil)), LastUpdatedDate: Com_amazonaws_kms_AliasListEntry_LastUpdatedDate_FromDafny(input.(ComAmazonawsKmsTypes.AliasListEntry).Dtor_LastUpdatedDate().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_AliasListEntry_AliasName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_AliasListEntry_AliasArn_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_AliasListEntry_TargetKeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_AliasListEntry_CreationDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_AliasListEntry_LastUpdatedDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_ListAliasesOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListAliasesOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ListGrantsInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ListGrantsInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListGrantsInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListGrantsInput_GrantId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListGrantsInput_GranteePrincipal_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListGrantsOutput_Grants_FromDafny(input interface{}) []types.GrantListEntry { return func() []types.GrantListEntry { var fieldValue []types.GrantListEntry if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GrantList_member_FromDafny(input interface{}) types.GrantListEntry { return func() types.GrantListEntry { return types.GrantListEntry{ KeyId: Com_amazonaws_kms_GrantListEntry_KeyId_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_KeyId().UnwrapOr(nil)), GrantId: Com_amazonaws_kms_GrantListEntry_GrantId_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_GrantId().UnwrapOr(nil)), Name: Com_amazonaws_kms_GrantListEntry_Name_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_Name().UnwrapOr(nil)), CreationDate: Com_amazonaws_kms_GrantListEntry_CreationDate_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_CreationDate().UnwrapOr(nil)), GranteePrincipal: Com_amazonaws_kms_GrantListEntry_GranteePrincipal_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_GranteePrincipal().UnwrapOr(nil)), RetiringPrincipal: Com_amazonaws_kms_GrantListEntry_RetiringPrincipal_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_RetiringPrincipal().UnwrapOr(nil)), IssuingAccount: Com_amazonaws_kms_GrantListEntry_IssuingAccount_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_IssuingAccount().UnwrapOr(nil)), Operations: Com_amazonaws_kms_GrantListEntry_Operations_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_Operations().UnwrapOr(nil)), Constraints: Com_amazonaws_kms_GrantListEntry_Constraints_FromDafny(input.(ComAmazonawsKmsTypes.GrantListEntry).Dtor_Constraints().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_GrantListEntry_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GrantListEntry_GrantId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GrantListEntry_Name_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GrantListEntry_CreationDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_GrantListEntry_GranteePrincipal_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GrantListEntry_RetiringPrincipal_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GrantListEntry_IssuingAccount_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_GrantListEntry_Operations_FromDafny(input interface{}) []types.GrantOperation { return func() []types.GrantOperation { var fieldValue []types.GrantOperation if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantOperationList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_GrantListEntry_Constraints_FromDafny(input interface{}) *types.GrantConstraints { return func() *types.GrantConstraints { if input == nil { return nil } return &types.GrantConstraints{ EncryptionContextSubset: Com_amazonaws_kms_GrantConstraints_EncryptionContextSubset_FromDafny(input.(ComAmazonawsKmsTypes.GrantConstraints).Dtor_EncryptionContextSubset().UnwrapOr(nil)), EncryptionContextEquals: Com_amazonaws_kms_GrantConstraints_EncryptionContextEquals_FromDafny(input.(ComAmazonawsKmsTypes.GrantConstraints).Dtor_EncryptionContextEquals().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_ListGrantsOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListGrantsOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ListKeyPoliciesInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeyPoliciesInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ListKeyPoliciesInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeyPoliciesOutput_PolicyNames_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_PolicyNameList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_PolicyNameList_member_FromDafny(input interface{}) string { return func() string { a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return s }() } func Com_amazonaws_kms_ListKeyPoliciesOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeyPoliciesOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ListKeyRotationsInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeyRotationsInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ListKeyRotationsInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeyRotationsOutput_Rotations_FromDafny(input interface{}) []types.RotationsListEntry { return func() []types.RotationsListEntry { var fieldValue []types.RotationsListEntry if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_RotationsList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_RotationsList_member_FromDafny(input interface{}) types.RotationsListEntry { return func() types.RotationsListEntry { return types.RotationsListEntry{ KeyId: Com_amazonaws_kms_RotationsListEntry_KeyId_FromDafny(input.(ComAmazonawsKmsTypes.RotationsListEntry).Dtor_KeyId().UnwrapOr(nil)), RotationDate: Com_amazonaws_kms_RotationsListEntry_RotationDate_FromDafny(input.(ComAmazonawsKmsTypes.RotationsListEntry).Dtor_RotationDate().UnwrapOr(nil)), RotationType: Com_amazonaws_kms_RotationsListEntry_RotationType_FromDafny(input.(ComAmazonawsKmsTypes.RotationsListEntry).Dtor_RotationType().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_RotationsListEntry_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RotationsListEntry_RotationDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_RotationsListEntry_RotationType_FromDafny(input interface{}) types.RotationType { return func() types.RotationType { var u types.RotationType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.RotationType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_RotationType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.RotationType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ListKeyRotationsOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeyRotationsOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ListKeysInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ListKeysInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeysOutput_Keys_FromDafny(input interface{}) []types.KeyListEntry { return func() []types.KeyListEntry { var fieldValue []types.KeyListEntry if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_KeyList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_KeyList_member_FromDafny(input interface{}) types.KeyListEntry { return func() types.KeyListEntry { return types.KeyListEntry{ KeyId: Com_amazonaws_kms_KeyListEntry_KeyId_FromDafny(input.(ComAmazonawsKmsTypes.KeyListEntry).Dtor_KeyId().UnwrapOr(nil)), KeyArn: Com_amazonaws_kms_KeyListEntry_KeyArn_FromDafny(input.(ComAmazonawsKmsTypes.KeyListEntry).Dtor_KeyArn().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_KeyListEntry_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyListEntry_KeyArn_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeysOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListKeysOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ListResourceTagsInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListResourceTagsInput_Limit_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ListResourceTagsInput_Marker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListResourceTagsOutput_Tags_FromDafny(input interface{}) []types.Tag { return func() []types.Tag { var fieldValue []types.Tag if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_TagList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_ListResourceTagsOutput_NextMarker_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ListResourceTagsOutput_Truncated_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_PutKeyPolicyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_PutKeyPolicyInput_PolicyName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_PutKeyPolicyInput_Policy_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_PutKeyPolicyInput_BypassPolicyLockoutSafetyCheck_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ReEncryptInput_CiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_ReEncryptInput_SourceEncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_ReEncryptInput_SourceKeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReEncryptInput_DestinationKeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReEncryptInput_DestinationEncryptionContext_FromDafny(input interface{}) map[string]string { return func() map[string]string { var m map[string]string = make(map[string]string) if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Map).Items()); ; { val, ok := i() if !ok { break } m[Com_amazonaws_kms_EncryptionContextType_key_FromDafny((*val.(dafny.Tuple).IndexInt(0)))] = Com_amazonaws_kms_EncryptionContextType_value_FromDafny((*val.(dafny.Tuple).IndexInt(1))) } return m }() } func Com_amazonaws_kms_ReEncryptInput_SourceEncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ReEncryptInput_DestinationEncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ReEncryptInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_ReEncryptInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_ReEncryptOutput_CiphertextBlob_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_ReEncryptOutput_SourceKeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReEncryptOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReEncryptOutput_SourceEncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ReEncryptOutput_DestinationEncryptionAlgorithm_FromDafny(input interface{}) types.EncryptionAlgorithmSpec { return func() types.EncryptionAlgorithmSpec { var u types.EncryptionAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_EncryptionAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.EncryptionAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ReplicateKeyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReplicateKeyInput_ReplicaRegion_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReplicateKeyInput_Policy_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReplicateKeyInput_BypassPolicyLockoutSafetyCheck_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_ReplicateKeyInput_Description_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReplicateKeyInput_Tags_FromDafny(input interface{}) []types.Tag { return func() []types.Tag { var fieldValue []types.Tag if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_TagList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_ReplicateKeyOutput_ReplicaKeyMetadata_FromDafny(input interface{}) *types.KeyMetadata { return func() *types.KeyMetadata { if input == nil { return nil } return &types.KeyMetadata{ AWSAccountId: Com_amazonaws_kms_KeyMetadata_AWSAccountId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_AWSAccountId().UnwrapOr(nil)), KeyId: Com_amazonaws_kms_KeyMetadata_KeyId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyId()), Arn: Com_amazonaws_kms_KeyMetadata_Arn_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Arn().UnwrapOr(nil)), CreationDate: Com_amazonaws_kms_KeyMetadata_CreationDate_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CreationDate().UnwrapOr(nil)), Enabled: Com_amazonaws_kms_KeyMetadata_Enabled_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Enabled().UnwrapOr(nil)), Description: Com_amazonaws_kms_KeyMetadata_Description_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Description().UnwrapOr(nil)), KeyUsage: Com_amazonaws_kms_KeyMetadata_KeyUsage_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyUsage().UnwrapOr(nil)), KeyState: Com_amazonaws_kms_KeyMetadata_KeyState_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyState().UnwrapOr(nil)), DeletionDate: Com_amazonaws_kms_KeyMetadata_DeletionDate_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_DeletionDate().UnwrapOr(nil)), ValidTo: Com_amazonaws_kms_KeyMetadata_ValidTo_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_ValidTo().UnwrapOr(nil)), Origin: Com_amazonaws_kms_KeyMetadata_Origin_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_Origin().UnwrapOr(nil)), CustomKeyStoreId: Com_amazonaws_kms_KeyMetadata_CustomKeyStoreId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CustomKeyStoreId().UnwrapOr(nil)), CloudHsmClusterId: Com_amazonaws_kms_KeyMetadata_CloudHsmClusterId_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CloudHsmClusterId().UnwrapOr(nil)), ExpirationModel: Com_amazonaws_kms_KeyMetadata_ExpirationModel_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_ExpirationModel().UnwrapOr(nil)), KeyManager: Com_amazonaws_kms_KeyMetadata_KeyManager_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyManager().UnwrapOr(nil)), CustomerMasterKeySpec: Com_amazonaws_kms_KeyMetadata_CustomerMasterKeySpec_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_CustomerMasterKeySpec().UnwrapOr(nil)), KeySpec: Com_amazonaws_kms_KeyMetadata_KeySpec_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeySpec().UnwrapOr(nil)), EncryptionAlgorithms: Com_amazonaws_kms_KeyMetadata_EncryptionAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_EncryptionAlgorithms().UnwrapOr(nil)), SigningAlgorithms: Com_amazonaws_kms_KeyMetadata_SigningAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_SigningAlgorithms().UnwrapOr(nil)), KeyAgreementAlgorithms: Com_amazonaws_kms_KeyMetadata_KeyAgreementAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_KeyAgreementAlgorithms().UnwrapOr(nil)), MultiRegion: Com_amazonaws_kms_KeyMetadata_MultiRegion_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MultiRegion().UnwrapOr(nil)), MultiRegionConfiguration: Com_amazonaws_kms_KeyMetadata_MultiRegionConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MultiRegionConfiguration().UnwrapOr(nil)), PendingDeletionWindowInDays: Com_amazonaws_kms_KeyMetadata_PendingDeletionWindowInDays_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_PendingDeletionWindowInDays().UnwrapOr(nil)), MacAlgorithms: Com_amazonaws_kms_KeyMetadata_MacAlgorithms_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_MacAlgorithms().UnwrapOr(nil)), XksKeyConfiguration: Com_amazonaws_kms_KeyMetadata_XksKeyConfiguration_FromDafny(input.(ComAmazonawsKmsTypes.KeyMetadata).Dtor_XksKeyConfiguration().UnwrapOr(nil)), } }() } func Com_amazonaws_kms_ReplicateKeyOutput_ReplicaPolicy_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ReplicateKeyOutput_ReplicaTags_FromDafny(input interface{}) []types.Tag { return func() []types.Tag { var fieldValue []types.Tag if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_TagList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_RetireGrantInput_GrantToken_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RetireGrantInput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RetireGrantInput_GrantId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RetireGrantInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_RevokeGrantInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RevokeGrantInput_GrantId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RevokeGrantInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_RotateKeyOnDemandInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_RotateKeyOnDemandOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ScheduleKeyDeletionInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ScheduleKeyDeletionInput_PendingWindowInDays_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_ScheduleKeyDeletionOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ScheduleKeyDeletionOutput_DeletionDate_FromDafny(input interface{}) *time.Time { return func() *time.Time { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) if len(s) == 0 { panic("timestamp string is empty") } else { t, err := time.Parse("2006-01-02T15:04:05.999999Z", s) if err != nil { panic(err) } return &t } }() } func Com_amazonaws_kms_ScheduleKeyDeletionOutput_KeyState_FromDafny(input interface{}) types.KeyState { return func() types.KeyState { var u types.KeyState if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.KeyState) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_KeyState_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.KeyState).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_ScheduleKeyDeletionOutput_PendingWindowInDays_FromDafny(input interface{}) *int32 { return func() *int32 { var i int32 if input == nil { return nil } i = input.(int32) return &i }() } func Com_amazonaws_kms_SignInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_SignInput_Message_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_SignInput_MessageType_FromDafny(input interface{}) types.MessageType { return func() types.MessageType { var u types.MessageType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.MessageType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MessageType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MessageType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_SignInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_SignInput_SigningAlgorithm_FromDafny(input interface{}) types.SigningAlgorithmSpec { return func() types.SigningAlgorithmSpec { var u types.SigningAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.SigningAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_SigningAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.SigningAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_SignInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_SignOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_SignOutput_Signature_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_SignOutput_SigningAlgorithm_FromDafny(input interface{}) types.SigningAlgorithmSpec { return func() types.SigningAlgorithmSpec { var u types.SigningAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.SigningAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_SigningAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.SigningAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_TagResourceInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_TagResourceInput_Tags_FromDafny(input interface{}) []types.Tag { return func() []types.Tag { var fieldValue []types.Tag for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_TagList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_UntagResourceInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UntagResourceInput_TagKeys_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string for i := dafny.Iterate(input.(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_TagKeyList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_TagKeyList_member_FromDafny(input interface{}) string { return func() string { a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return s }() } func Com_amazonaws_kms_UpdateAliasInput_AliasName_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateAliasInput_TargetKeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_CustomKeyStoreId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_NewCustomKeyStoreName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_KeyStorePassword_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_CloudHsmClusterId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyUriEndpoint_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyUriPath_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyVpcEndpointServiceName_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyAuthenticationCredential_FromDafny(input interface{}) *types.XksProxyAuthenticationCredentialType { return func() *types.XksProxyAuthenticationCredentialType { if input == nil { return nil } return &types.XksProxyAuthenticationCredentialType{ AccessKeyId: Com_amazonaws_kms_XksProxyAuthenticationCredentialType_AccessKeyId_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyAuthenticationCredentialType).Dtor_AccessKeyId()), RawSecretAccessKey: Com_amazonaws_kms_XksProxyAuthenticationCredentialType_RawSecretAccessKey_FromDafny(input.(ComAmazonawsKmsTypes.XksProxyAuthenticationCredentialType).Dtor_RawSecretAccessKey()), } }() } func Com_amazonaws_kms_UpdateCustomKeyStoreInput_XksProxyConnectivity_FromDafny(input interface{}) types.XksProxyConnectivityType { return func() types.XksProxyConnectivityType { var u types.XksProxyConnectivityType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.XksProxyConnectivityType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_XksProxyConnectivityType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.XksProxyConnectivityType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_UpdateKeyDescriptionInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdateKeyDescriptionInput_Description_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdatePrimaryRegionInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UpdatePrimaryRegionInput_PrimaryRegion_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_VerifyInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_VerifyInput_Message_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_VerifyInput_MessageType_FromDafny(input interface{}) types.MessageType { return func() types.MessageType { var u types.MessageType if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.MessageType) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MessageType_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MessageType).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_VerifyInput_Signature_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_VerifyInput_SigningAlgorithm_FromDafny(input interface{}) types.SigningAlgorithmSpec { return func() types.SigningAlgorithmSpec { var u types.SigningAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.SigningAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_SigningAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.SigningAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_VerifyInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_VerifyInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_VerifyOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_VerifyOutput_SignatureValid_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_VerifyOutput_SigningAlgorithm_FromDafny(input interface{}) types.SigningAlgorithmSpec { return func() types.SigningAlgorithmSpec { var u types.SigningAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.SigningAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_SigningAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.SigningAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_VerifyMacInput_Message_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_VerifyMacInput_KeyId_FromDafny(input interface{}) *string { return func() *string { a := UTF8.Encode(input.(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_VerifyMacInput_MacAlgorithm_FromDafny(input interface{}) types.MacAlgorithmSpec { return func() types.MacAlgorithmSpec { var u types.MacAlgorithmSpec inputEnum := input.(ComAmazonawsKmsTypes.MacAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MacAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MacAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_VerifyMacInput_Mac_FromDafny(input interface{}) []byte { return func() []byte { b := []byte{} if input == nil { return nil } for i := dafny.Iterate(input); ; { val, ok := i() if !ok { return b } else { b = append(b, val.(byte)) } } }() } func Com_amazonaws_kms_VerifyMacInput_GrantTokens_FromDafny(input interface{}) []string { return func() []string { var fieldValue []string if input == nil { return nil } for i := dafny.Iterate(input.(dafny.Sequence).(dafny.Sequence)); ; { val, ok := i() if !ok { break } fieldValue = append(fieldValue, Com_amazonaws_kms_GrantTokenList_member_FromDafny(val)) } return fieldValue }() } func Com_amazonaws_kms_VerifyMacInput_DryRun_FromDafny(input interface{}) *bool { return func() *bool { var b bool if input == nil { return nil } b = input.(bool) return &b }() } func Com_amazonaws_kms_VerifyMacOutput_KeyId_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_VerifyMacOutput_MacValid_FromDafny(input interface{}) bool { return func() bool { var b bool if input == nil { return b } b = input.(bool) return b }() } func Com_amazonaws_kms_VerifyMacOutput_MacAlgorithm_FromDafny(input interface{}) types.MacAlgorithmSpec { return func() types.MacAlgorithmSpec { var u types.MacAlgorithmSpec if input == nil { return u } inputEnum := input.(ComAmazonawsKmsTypes.MacAlgorithmSpec) index := -1 for allEnums := dafny.Iterate(ComAmazonawsKmsTypes.CompanionStruct_MacAlgorithmSpec_{}.AllSingletonConstructors()); ; { enum, ok := allEnums() if ok { index++ if enum.(ComAmazonawsKmsTypes.MacAlgorithmSpec).Equals(inputEnum) { break } } } return u.Values()[index] }() } func Com_amazonaws_kms_AlreadyExistsException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CloudHsmClusterInUseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CloudHsmClusterInvalidConfigurationException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CloudHsmClusterNotActiveException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CloudHsmClusterNotFoundException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CloudHsmClusterNotRelatedException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ConflictException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoreHasCMKsException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoreInvalidStateException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoreNameInUseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_CustomKeyStoreNotFoundException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DependencyTimeoutException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DisabledException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_DryRunOperationException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_ExpiredImportTokenException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_IncorrectKeyException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_IncorrectKeyMaterialException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_IncorrectTrustAnchorException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidAliasNameException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidArnException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidCiphertextException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidGrantIdException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidGrantTokenException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidImportTokenException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidKeyUsageException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_InvalidMarkerException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KeyUnavailableException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KMSInternalException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KMSInvalidMacException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KMSInvalidSignatureException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_KMSInvalidStateException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_LimitExceededException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_MalformedPolicyDocumentException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_NotFoundException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_TagException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_UnsupportedOperationException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksKeyAlreadyInUseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksKeyInvalidConfigurationException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksKeyNotFoundException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyIncorrectAuthenticationCredentialException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyInvalidConfigurationException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyInvalidResponseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyUriEndpointInUseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyUriInUseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyUriUnreachableException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyVpcEndpointServiceInUseException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyVpcEndpointServiceInvalidConfigurationException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() } func Com_amazonaws_kms_XksProxyVpcEndpointServiceNotFoundException_message_FromDafny(input interface{}) *string { return func() *string { if input == nil { return nil } a := UTF8.Encode(input.(dafny.Sequence).(dafny.Sequence)).Dtor_value() s := string(dafny.ToByteArray(a.(dafny.Sequence))) return &s }() }

releases/go/kms/comamazonawskmssmithygenerated/to_native.go (6,797 lines of code) (raw):