github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl@v0.2.0/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go (about) 1 // Code generated by smithy-go-codegen DO NOT EDIT. 2 3 package awscryptographymaterialproviderssmithygenerated 4 5 import ( 6 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" 7 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" 8 "github.com/aws/aws-sdk-go-v2/service/kms" 9 ) 10 11 type ClientSupplier struct { 12 Impl AwsCryptographyMaterialProvidersTypes.IClientSupplier 13 } 14 15 func (this *ClientSupplier) GetClient(params awscryptographymaterialproviderssmithygeneratedtypes.GetClientInput) (kms.Client, error) { 16 var dafny_request AwsCryptographyMaterialProvidersTypes.GetClientInput = GetClientInput_ToDafny(params) 17 var dafny_response = this.Impl.GetClient(dafny_request) 18 19 if dafny_response.Is_Failure() { 20 err := dafny_response.Dtor_error().(AwsCryptographyMaterialProvidersTypes.Error) 21 var defaultVal kms.Client 22 return defaultVal, Error_FromDafny(err) 23 } 24 var native_response = Aws_cryptography_materialProviders_GetClientOutput_client_FromDafny(dafny_response.Dtor_value()) 25 return *native_response, nil 26 27 }