github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl@v0.2.0/Utils/Utils.go (about) 1 // Package Utils 2 // Dafny module Utils compiled into Go 3 4 package Utils 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_DefaultClientSupplier "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DefaultClientSupplier" 38 m_Defaults "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Defaults" 39 m_DiscoveryMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DiscoveryMultiKeyring" 40 m_EcdhEdkWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/EcdhEdkWrapping" 41 m_EdkWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/EdkWrapping" 42 m_ErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/ErrorMessages" 43 m_GetKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/GetKeys" 44 m_IntermediateKeyWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/IntermediateKeyWrapping" 45 m_KMSKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KMSKeystoreOperations" 46 m_KeyStore "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStore" 47 m_KeyStoreErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStoreErrorMessages" 48 m_Keyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Keyring" 49 m_KmsArn "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KmsArn" 50 m_LocalCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/LocalCMC" 51 m_MaterialWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MaterialWrapping" 52 m_Materials "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Materials" 53 m_MrkAwareDiscoveryMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MrkAwareDiscoveryMultiKeyring" 54 m_MrkAwareStrictMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MrkAwareStrictMultiKeyring" 55 m_MultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MultiKeyring" 56 m_RawAESKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawAESKeyring" 57 m_RawECDHKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawECDHKeyring" 58 m_RawRSAKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawRSAKeyring" 59 m_StormTracker "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTracker" 60 m_StormTrackingCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTrackingCMC" 61 m_StrictMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StrictMultiKeyring" 62 m_Structure "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Structure" 63 m_SynchronizedLocalCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/SynchronizedLocalCMC" 64 m_AtomicPrimitives "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AtomicPrimitives" 65 m_AwsCryptographyPrimitivesOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesOperations" 66 m_AwsCryptographyPrimitivesTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" 67 m_Digest "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Digest" 68 m_HKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/HKDF" 69 m_KdfCtr "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/KdfCtr" 70 m_Random "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Random" 71 m_WrappedHKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHKDF" 72 m_WrappedHMAC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHMAC" 73 m_Actions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Actions" 74 m_Base64 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64" 75 m_Base64Lemmas "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64Lemmas" 76 m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts" 77 m_DivInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternals" 78 m_DivInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternalsNonlinear" 79 m_DivMod "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivMod" 80 m_FileIO "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FileIO" 81 m_FloatCompare "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FloatCompare" 82 m_Functions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Functions" 83 m_GeneralInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GeneralInternals" 84 m_GetOpt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GetOpt" 85 m_HexStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/HexStrings" 86 m_Logarithm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Logarithm" 87 m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_" 88 m_ModInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternals" 89 m_ModInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternalsNonlinear" 90 m_Mul "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Mul" 91 m_MulInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternals" 92 m_MulInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternalsNonlinear" 93 m_Power "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Power" 94 m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations" 95 m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq" 96 m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort" 97 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting" 98 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary" 99 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop" 100 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence" 101 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String" 102 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt" 103 m_Streams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Streams" 104 m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings" 105 m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_" 106 m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm" 107 m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm" 108 m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" 109 m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_" 110 _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" 111 ) 112 113 var _ = os.Args 114 var _ _dafny.Dummy__ 115 var _ m__System.Dummy__ 116 var _ m_Wrappers.Dummy__ 117 var _ m_BoundedInts.Dummy__ 118 var _ m_StandardLibrary_UInt.Dummy__ 119 var _ m_StandardLibrary_Sequence.Dummy__ 120 var _ m_StandardLibrary_String.Dummy__ 121 var _ m_StandardLibrary.Dummy__ 122 var _ m_AwsCryptographyPrimitivesTypes.Dummy__ 123 var _ m_Random.Dummy__ 124 var _ m_Digest.Dummy__ 125 var _ m_WrappedHMAC.Dummy__ 126 var _ m_HKDF.Dummy__ 127 var _ m_WrappedHKDF.Dummy__ 128 var _ m_KdfCtr.Dummy__ 129 var _ m_AwsCryptographyPrimitivesOperations.Dummy__ 130 var _ m_AtomicPrimitives.Dummy__ 131 var _ m_ComAmazonawsDynamodbTypes.Dummy__ 132 var _ m_ComAmazonawsKmsTypes.Dummy__ 133 var _ m_Relations.Dummy__ 134 var _ m_Seq_MergeSort.Dummy__ 135 var _ m__Math.Dummy__ 136 var _ m_Seq.Dummy__ 137 var _ m__Unicode.Dummy__ 138 var _ m_Functions.Dummy__ 139 var _ m_Utf8EncodingForm.Dummy__ 140 var _ m_Utf16EncodingForm.Dummy__ 141 var _ m_UnicodeStrings.Dummy__ 142 var _ m_FileIO.Dummy__ 143 var _ m_GeneralInternals.Dummy__ 144 var _ m_MulInternalsNonlinear.Dummy__ 145 var _ m_MulInternals.Dummy__ 146 var _ m_Mul.Dummy__ 147 var _ m_ModInternalsNonlinear.Dummy__ 148 var _ m_DivInternalsNonlinear.Dummy__ 149 var _ m_ModInternals.Dummy__ 150 var _ m_DivInternals.Dummy__ 151 var _ m_DivMod.Dummy__ 152 var _ m_Power.Dummy__ 153 var _ m_Logarithm.Dummy__ 154 var _ m_StandardLibraryInterop.Dummy__ 155 var _ m_Streams.Dummy__ 156 var _ m_Sorting.Dummy__ 157 var _ m_HexStrings.Dummy__ 158 var _ m_GetOpt.Dummy__ 159 var _ m_FloatCompare.Dummy__ 160 var _ m_Base64.Dummy__ 161 var _ m_Base64Lemmas.Dummy__ 162 var _ m_Actions.Dummy__ 163 var _ m_AwsCryptographyKeyStoreTypes.Dummy__ 164 var _ m_AwsCryptographyMaterialProvidersTypes.Dummy__ 165 var _ m_AwsArnParsing.Dummy__ 166 var _ m_AwsKmsMrkMatchForDecrypt.Dummy__ 167 var _ m_AwsKmsUtils.Dummy__ 168 var _ m_KeyStoreErrorMessages.Dummy__ 169 var _ m_KmsArn.Dummy__ 170 var _ m_Structure.Dummy__ 171 var _ m_KMSKeystoreOperations.Dummy__ 172 var _ m_DDBKeystoreOperations.Dummy__ 173 var _ m_CreateKeys.Dummy__ 174 var _ m_CreateKeyStoreTable.Dummy__ 175 var _ m_GetKeys.Dummy__ 176 var _ m_AwsCryptographyKeyStoreOperations.Dummy__ 177 var _ m_Com_Amazonaws_Kms.Dummy__ 178 var _ m_Com_Amazonaws_Dynamodb.Dummy__ 179 var _ m_KeyStore.Dummy__ 180 var _ m_AlgorithmSuites.Dummy__ 181 var _ m_Materials.Dummy__ 182 var _ m_Keyring.Dummy__ 183 var _ m_MultiKeyring.Dummy__ 184 var _ m_AwsKmsMrkAreUnique.Dummy__ 185 var _ m_Constants.Dummy__ 186 var _ m_MaterialWrapping.Dummy__ 187 var _ m_CanonicalEncryptionContext.Dummy__ 188 var _ m_IntermediateKeyWrapping.Dummy__ 189 var _ m_EdkWrapping.Dummy__ 190 var _ m_ErrorMessages.Dummy__ 191 var _ m_AwsKmsKeyring.Dummy__ 192 var _ m_StrictMultiKeyring.Dummy__ 193 var _ m_AwsKmsDiscoveryKeyring.Dummy__ 194 var _ m_DiscoveryMultiKeyring.Dummy__ 195 var _ m_AwsKmsMrkDiscoveryKeyring.Dummy__ 196 var _ m_MrkAwareDiscoveryMultiKeyring.Dummy__ 197 var _ m_AwsKmsMrkKeyring.Dummy__ 198 var _ m_MrkAwareStrictMultiKeyring.Dummy__ 199 var _ m_LocalCMC.Dummy__ 200 var _ m_SynchronizedLocalCMC.Dummy__ 201 var _ m_StormTracker.Dummy__ 202 var _ m_StormTrackingCMC.Dummy__ 203 var _ m_CacheConstants.Dummy__ 204 var _ m_AwsKmsHierarchicalKeyring.Dummy__ 205 var _ m_AwsKmsRsaKeyring.Dummy__ 206 var _ m_EcdhEdkWrapping.Dummy__ 207 var _ m_RawECDHKeyring.Dummy__ 208 var _ m_AwsKmsEcdhKeyring.Dummy__ 209 var _ m_RawAESKeyring.Dummy__ 210 var _ m_RawRSAKeyring.Dummy__ 211 var _ m_CMM.Dummy__ 212 var _ m_Defaults.Dummy__ 213 var _ m_Commitment.Dummy__ 214 var _ m_DefaultCMM.Dummy__ 215 var _ m_DefaultClientSupplier.Dummy__ 216 217 type Dummy__ struct{} 218 219 // Definition of class Default__ 220 type Default__ struct { 221 dummy byte 222 } 223 224 func New_Default___() *Default__ { 225 _this := Default__{} 226 227 return &_this 228 } 229 230 type CompanionStruct_Default___ struct { 231 } 232 233 var Companion_Default___ = CompanionStruct_Default___{} 234 235 func (_this *Default__) Equals(other *Default__) bool { 236 return _this == other 237 } 238 239 func (_this *Default__) EqualsGeneric(x interface{}) bool { 240 other, ok := x.(*Default__) 241 return ok && _this.Equals(other) 242 } 243 244 func (*Default__) String() string { 245 return "Utils.Default__" 246 } 247 func (_this *Default__) ParentTraits_() []*_dafny.TraitID { 248 return [](*_dafny.TraitID){} 249 } 250 251 var _ _dafny.TraitOffspring = &Default__{} 252 253 func (_static *CompanionStruct_Default___) GetPublicKey(curveSpec m_AwsCryptographyPrimitivesTypes.ECDHCurveSpec, privateKey m_AwsCryptographyPrimitivesTypes.ECCPrivateKey, crypto *m_AtomicPrimitives.AtomicPrimitivesClient) m_Wrappers.Result { 254 var res m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(_dafny.EmptySeq) 255 _ = res 256 var _0_maybePublicKey m_Wrappers.Result 257 _ = _0_maybePublicKey 258 var _out0 m_Wrappers.Result 259 _ = _out0 260 _out0 = (crypto).GetPublicKeyFromPrivateKey(m_AwsCryptographyPrimitivesTypes.Companion_GetPublicKeyFromPrivateKeyInput_.Create_GetPublicKeyFromPrivateKeyInput_(curveSpec, privateKey)) 261 _0_maybePublicKey = _out0 262 var _1_valueOrError0 m_Wrappers.Result = m_Wrappers.Companion_Result_.Default(m_AwsCryptographyPrimitivesTypes.Companion_GetPublicKeyFromPrivateKeyOutput_.Default()) 263 _ = _1_valueOrError0 264 _1_valueOrError0 = (_0_maybePublicKey).MapFailure(func(coer131 func(m_AwsCryptographyPrimitivesTypes.Error) m_AwsCryptographyMaterialProvidersTypes.Error) func(interface{}) interface{} { 265 return func(arg132 interface{}) interface{} { 266 return coer131(arg132.(m_AwsCryptographyPrimitivesTypes.Error)) 267 } 268 }(func(_2_e m_AwsCryptographyPrimitivesTypes.Error) m_AwsCryptographyMaterialProvidersTypes.Error { 269 return m_AwsCryptographyMaterialProvidersTypes.Companion_Error_.Create_AwsCryptographyPrimitives_(_2_e) 270 })) 271 if (_1_valueOrError0).IsFailure() { 272 res = (_1_valueOrError0).PropagateFailure() 273 return res 274 } 275 var _3_keyPairOutput m_AwsCryptographyPrimitivesTypes.GetPublicKeyFromPrivateKeyOutput 276 _ = _3_keyPairOutput 277 _3_keyPairOutput = (_1_valueOrError0).Extract().(m_AwsCryptographyPrimitivesTypes.GetPublicKeyFromPrivateKeyOutput) 278 res = m_Wrappers.Companion_Result_.Create_Success_((_3_keyPairOutput).Dtor_publicKey()) 279 return res 280 } 281 282 // End of class Default__