github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl@v0.2.0/DefaultClientSupplier/DefaultClientSupplier.go (about) 1 // Package DefaultClientSupplier 2 // Dafny module DefaultClientSupplier compiled into Go 3 4 package DefaultClientSupplier 5 6 import ( 7 os "os" 8 9 m_ComAmazonawsDynamodbTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" 10 m_Com_Amazonaws_Dynamodb "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/Com_Amazonaws_Dynamodb" 11 m_ComAmazonawsKmsTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" 12 m_Com_Amazonaws_Kms "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/Com_Amazonaws_Kms" 13 m_AlgorithmSuites "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AlgorithmSuites" 14 m_AwsArnParsing "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsArnParsing" 15 m_AwsCryptographyKeyStoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreOperations" 16 m_AwsCryptographyKeyStoreTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" 17 m_AwsCryptographyMaterialProvidersTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" 18 m_AwsKmsDiscoveryKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsDiscoveryKeyring" 19 m_AwsKmsEcdhKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsEcdhKeyring" 20 m_AwsKmsHierarchicalKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsHierarchicalKeyring" 21 m_AwsKmsKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsKeyring" 22 m_AwsKmsMrkAreUnique "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkAreUnique" 23 m_AwsKmsMrkDiscoveryKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkDiscoveryKeyring" 24 m_AwsKmsMrkKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkKeyring" 25 m_AwsKmsMrkMatchForDecrypt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkMatchForDecrypt" 26 m_AwsKmsRsaKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsRsaKeyring" 27 m_AwsKmsUtils "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsUtils" 28 m_CMM "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CMM" 29 m_CacheConstants "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CacheConstants" 30 m_CanonicalEncryptionContext "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CanonicalEncryptionContext" 31 m_Commitment "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Commitment" 32 m_Constants "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Constants" 33 m_CreateKeyStoreTable "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CreateKeyStoreTable" 34 m_CreateKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CreateKeys" 35 m_DDBKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DDBKeystoreOperations" 36 m_DefaultCMM "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DefaultCMM" 37 m_Defaults "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Defaults" 38 m_DiscoveryMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DiscoveryMultiKeyring" 39 m_EcdhEdkWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/EcdhEdkWrapping" 40 m_EdkWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/EdkWrapping" 41 m_ErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/ErrorMessages" 42 m_GetKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/GetKeys" 43 m_IntermediateKeyWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/IntermediateKeyWrapping" 44 m_KMSKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KMSKeystoreOperations" 45 m_KeyStore "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStore" 46 m_KeyStoreErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStoreErrorMessages" 47 m_Keyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Keyring" 48 m_KmsArn "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KmsArn" 49 m_LocalCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/LocalCMC" 50 m_MaterialWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MaterialWrapping" 51 m_Materials "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Materials" 52 m_MrkAwareDiscoveryMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MrkAwareDiscoveryMultiKeyring" 53 m_MrkAwareStrictMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MrkAwareStrictMultiKeyring" 54 m_MultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MultiKeyring" 55 m_RawAESKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawAESKeyring" 56 m_RawECDHKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawECDHKeyring" 57 m_RawRSAKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawRSAKeyring" 58 m_StormTracker "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTracker" 59 m_StormTrackingCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTrackingCMC" 60 m_StrictMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StrictMultiKeyring" 61 m_Structure "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Structure" 62 m_SynchronizedLocalCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/SynchronizedLocalCMC" 63 m_AtomicPrimitives "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AtomicPrimitives" 64 m_AwsCryptographyPrimitivesOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesOperations" 65 m_AwsCryptographyPrimitivesTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" 66 m_Digest "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Digest" 67 m_HKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/HKDF" 68 m_KdfCtr "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/KdfCtr" 69 m_Random "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Random" 70 m_WrappedHKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHKDF" 71 m_WrappedHMAC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHMAC" 72 m_Actions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Actions" 73 m_Base64 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64" 74 m_Base64Lemmas "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64Lemmas" 75 m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts" 76 m_DivInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternals" 77 m_DivInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternalsNonlinear" 78 m_DivMod "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivMod" 79 m_FileIO "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FileIO" 80 m_FloatCompare "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FloatCompare" 81 m_Functions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Functions" 82 m_GeneralInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GeneralInternals" 83 m_GetOpt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GetOpt" 84 m_HexStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/HexStrings" 85 m_Logarithm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Logarithm" 86 m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_" 87 m_ModInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternals" 88 m_ModInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternalsNonlinear" 89 m_Mul "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Mul" 90 m_MulInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternals" 91 m_MulInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternalsNonlinear" 92 m_Power "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Power" 93 m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations" 94 m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq" 95 m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort" 96 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting" 97 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary" 98 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop" 99 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence" 100 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String" 101 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt" 102 m_Streams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Streams" 103 m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings" 104 m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_" 105 m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm" 106 m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm" 107 m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" 108 m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_" 109 _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" 110 ) 111 112 var _ = os.Args 113 var _ _dafny.Dummy__ 114 var _ m__System.Dummy__ 115 var _ m_Wrappers.Dummy__ 116 var _ m_BoundedInts.Dummy__ 117 var _ m_StandardLibrary_UInt.Dummy__ 118 var _ m_StandardLibrary_Sequence.Dummy__ 119 var _ m_StandardLibrary_String.Dummy__ 120 var _ m_StandardLibrary.Dummy__ 121 var _ m_AwsCryptographyPrimitivesTypes.Dummy__ 122 var _ m_Random.Dummy__ 123 var _ m_Digest.Dummy__ 124 var _ m_WrappedHMAC.Dummy__ 125 var _ m_HKDF.Dummy__ 126 var _ m_WrappedHKDF.Dummy__ 127 var _ m_KdfCtr.Dummy__ 128 var _ m_AwsCryptographyPrimitivesOperations.Dummy__ 129 var _ m_AtomicPrimitives.Dummy__ 130 var _ m_ComAmazonawsDynamodbTypes.Dummy__ 131 var _ m_ComAmazonawsKmsTypes.Dummy__ 132 var _ m_Relations.Dummy__ 133 var _ m_Seq_MergeSort.Dummy__ 134 var _ m__Math.Dummy__ 135 var _ m_Seq.Dummy__ 136 var _ m__Unicode.Dummy__ 137 var _ m_Functions.Dummy__ 138 var _ m_Utf8EncodingForm.Dummy__ 139 var _ m_Utf16EncodingForm.Dummy__ 140 var _ m_UnicodeStrings.Dummy__ 141 var _ m_FileIO.Dummy__ 142 var _ m_GeneralInternals.Dummy__ 143 var _ m_MulInternalsNonlinear.Dummy__ 144 var _ m_MulInternals.Dummy__ 145 var _ m_Mul.Dummy__ 146 var _ m_ModInternalsNonlinear.Dummy__ 147 var _ m_DivInternalsNonlinear.Dummy__ 148 var _ m_ModInternals.Dummy__ 149 var _ m_DivInternals.Dummy__ 150 var _ m_DivMod.Dummy__ 151 var _ m_Power.Dummy__ 152 var _ m_Logarithm.Dummy__ 153 var _ m_StandardLibraryInterop.Dummy__ 154 var _ m_Streams.Dummy__ 155 var _ m_Sorting.Dummy__ 156 var _ m_HexStrings.Dummy__ 157 var _ m_GetOpt.Dummy__ 158 var _ m_FloatCompare.Dummy__ 159 var _ m_Base64.Dummy__ 160 var _ m_Base64Lemmas.Dummy__ 161 var _ m_Actions.Dummy__ 162 var _ m_AwsCryptographyKeyStoreTypes.Dummy__ 163 var _ m_AwsCryptographyMaterialProvidersTypes.Dummy__ 164 var _ m_AwsArnParsing.Dummy__ 165 var _ m_AwsKmsMrkMatchForDecrypt.Dummy__ 166 var _ m_AwsKmsUtils.Dummy__ 167 var _ m_KeyStoreErrorMessages.Dummy__ 168 var _ m_KmsArn.Dummy__ 169 var _ m_Structure.Dummy__ 170 var _ m_KMSKeystoreOperations.Dummy__ 171 var _ m_DDBKeystoreOperations.Dummy__ 172 var _ m_CreateKeys.Dummy__ 173 var _ m_CreateKeyStoreTable.Dummy__ 174 var _ m_GetKeys.Dummy__ 175 var _ m_AwsCryptographyKeyStoreOperations.Dummy__ 176 var _ m_Com_Amazonaws_Kms.Dummy__ 177 var _ m_Com_Amazonaws_Dynamodb.Dummy__ 178 var _ m_KeyStore.Dummy__ 179 var _ m_AlgorithmSuites.Dummy__ 180 var _ m_Materials.Dummy__ 181 var _ m_Keyring.Dummy__ 182 var _ m_MultiKeyring.Dummy__ 183 var _ m_AwsKmsMrkAreUnique.Dummy__ 184 var _ m_Constants.Dummy__ 185 var _ m_MaterialWrapping.Dummy__ 186 var _ m_CanonicalEncryptionContext.Dummy__ 187 var _ m_IntermediateKeyWrapping.Dummy__ 188 var _ m_EdkWrapping.Dummy__ 189 var _ m_ErrorMessages.Dummy__ 190 var _ m_AwsKmsKeyring.Dummy__ 191 var _ m_StrictMultiKeyring.Dummy__ 192 var _ m_AwsKmsDiscoveryKeyring.Dummy__ 193 var _ m_DiscoveryMultiKeyring.Dummy__ 194 var _ m_AwsKmsMrkDiscoveryKeyring.Dummy__ 195 var _ m_MrkAwareDiscoveryMultiKeyring.Dummy__ 196 var _ m_AwsKmsMrkKeyring.Dummy__ 197 var _ m_MrkAwareStrictMultiKeyring.Dummy__ 198 var _ m_LocalCMC.Dummy__ 199 var _ m_SynchronizedLocalCMC.Dummy__ 200 var _ m_StormTracker.Dummy__ 201 var _ m_StormTrackingCMC.Dummy__ 202 var _ m_CacheConstants.Dummy__ 203 var _ m_AwsKmsHierarchicalKeyring.Dummy__ 204 var _ m_AwsKmsRsaKeyring.Dummy__ 205 var _ m_EcdhEdkWrapping.Dummy__ 206 var _ m_RawECDHKeyring.Dummy__ 207 var _ m_AwsKmsEcdhKeyring.Dummy__ 208 var _ m_RawAESKeyring.Dummy__ 209 var _ m_RawRSAKeyring.Dummy__ 210 var _ m_CMM.Dummy__ 211 var _ m_Defaults.Dummy__ 212 var _ m_Commitment.Dummy__ 213 var _ m_DefaultCMM.Dummy__ 214 215 type Dummy__ struct{} 216 217 // Definition of class DefaultClientSupplier 218 type DefaultClientSupplier struct { 219 dummy byte 220 } 221 222 func New_DefaultClientSupplier_() *DefaultClientSupplier { 223 _this := DefaultClientSupplier{} 224 225 return &_this 226 } 227 228 type CompanionStruct_DefaultClientSupplier_ struct { 229 } 230 231 var Companion_DefaultClientSupplier_ = CompanionStruct_DefaultClientSupplier_{} 232 233 func (_this *DefaultClientSupplier) Equals(other *DefaultClientSupplier) bool { 234 return _this == other 235 } 236 237 func (_this *DefaultClientSupplier) EqualsGeneric(x interface{}) bool { 238 other, ok := x.(*DefaultClientSupplier) 239 return ok && _this.Equals(other) 240 } 241 242 func (*DefaultClientSupplier) String() string { 243 return "DefaultClientSupplier.DefaultClientSupplier" 244 } 245 246 func Type_DefaultClientSupplier_() _dafny.TypeDescriptor { 247 return type_DefaultClientSupplier_{} 248 } 249 250 type type_DefaultClientSupplier_ struct { 251 } 252 253 func (_this type_DefaultClientSupplier_) Default() interface{} { 254 return (*DefaultClientSupplier)(nil) 255 } 256 257 func (_this type_DefaultClientSupplier_) String() string { 258 return "DefaultClientSupplier.DefaultClientSupplier" 259 } 260 func (_this *DefaultClientSupplier) ParentTraits_() []*_dafny.TraitID { 261 return [](*_dafny.TraitID){m_AwsCryptographyMaterialProvidersTypes.Companion_IClientSupplier_.TraitID_} 262 } 263 264 var _ m_AwsCryptographyMaterialProvidersTypes.IClientSupplier = &DefaultClientSupplier{} 265 var _ _dafny.TraitOffspring = &DefaultClientSupplier{} 266 267 func (_this *DefaultClientSupplier) GetClient(input m_AwsCryptographyMaterialProvidersTypes.GetClientInput) m_Wrappers.Result { 268 var _out1 m_Wrappers.Result 269 _ = _out1 270 _out1 = m_AwsCryptographyMaterialProvidersTypes.Companion_IClientSupplier_.GetClient(_this, input) 271 return _out1 272 } 273 func (_this *DefaultClientSupplier) Ctor__() { 274 { 275 } 276 } 277 func (_this *DefaultClientSupplier) GetClient_k(input m_AwsCryptographyMaterialProvidersTypes.GetClientInput) m_Wrappers.Result { 278 { 279 var output m_Wrappers.Result = m_Wrappers.Result{} 280 _ = output 281 var _0_maybeClient m_Wrappers.Result 282 _ = _0_maybeClient 283 var _out0 m_Wrappers.Result 284 _ = _out0 285 _out0 = m_Com_Amazonaws_Kms.Companion_Default___.KMSClientForRegion((input).Dtor_region()) 286 _0_maybeClient = _out0 287 output = (_0_maybeClient).MapFailure(func(coer130 func(m_ComAmazonawsKmsTypes.Error) m_AwsCryptographyMaterialProvidersTypes.Error) func(interface{}) interface{} { 288 return func(arg131 interface{}) interface{} { 289 return coer130(arg131.(m_ComAmazonawsKmsTypes.Error)) 290 } 291 }(func(_1_e m_ComAmazonawsKmsTypes.Error) m_AwsCryptographyMaterialProvidersTypes.Error { 292 return m_AwsCryptographyMaterialProvidersTypes.Companion_Error_.Create_ComAmazonawsKms_(_1_e) 293 })) 294 return output 295 return output 296 } 297 } 298 299 // End of class DefaultClientSupplier