From f80cbd78c9dcc8c6cd0b97d897c13f492de052ff Mon Sep 17 00:00:00 2001 From: seebees Date: Mon, 18 Nov 2024 21:07:39 -0800 Subject: [PATCH] cs poly --- .../AwsCryptographicMaterialProvidersShim.cs | 3 +++ .../TypeConversion.cs | 25 +++++++++++++++++++ 2 files changed, 28 insertions(+) diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs b/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs index 10b8da202..e269241ea 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs @@ -463,6 +463,9 @@ private software.amazon.cryptography.materialproviders.internaldafny.types._IErr case AWS.Cryptography.MaterialProviders.EntryDoesNotExist e: return TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S17_EntryDoesNotExist(e); + case AWS.Cryptography.MaterialProviders.InFlightTTLExceeded e: + return TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded(e); + case AWS.Cryptography.MaterialProviders.InvalidAlgorithmSuiteInfo e: return TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S25_InvalidAlgorithmSuiteInfo(e); diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs b/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs index 56142057f..e4b15bae0 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs @@ -805,6 +805,19 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types return new software.amazon.cryptography.materialproviders.internaldafny.types.GetEncryptionMaterialsOutput(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S28_GetEncryptionMaterialsOutput__M19_encryptionMaterials(value.EncryptionMaterials)); } + public static AWS.Cryptography.MaterialProviders.InFlightTTLExceeded FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded(software.amazon.cryptography.materialproviders.internaldafny.types.Error_InFlightTTLExceeded value) + { + return new AWS.Cryptography.MaterialProviders.InFlightTTLExceeded( + FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded__M7_message(value._message) + ); + } + public static software.amazon.cryptography.materialproviders.internaldafny.types.Error_InFlightTTLExceeded ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded(AWS.Cryptography.MaterialProviders.InFlightTTLExceeded value) + { + + return new software.amazon.cryptography.materialproviders.internaldafny.types.Error_InFlightTTLExceeded( + ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded__M7_message(value.Message) + ); + } public static AWS.Cryptography.MaterialProviders.InitializeDecryptionMaterialsInput FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S34_InitializeDecryptionMaterialsInput(software.amazon.cryptography.materialproviders.internaldafny.types._IInitializeDecryptionMaterialsInput value) { software.amazon.cryptography.materialproviders.internaldafny.types.InitializeDecryptionMaterialsInput concrete = (software.amazon.cryptography.materialproviders.internaldafny.types.InitializeDecryptionMaterialsInput)value; AWS.Cryptography.MaterialProviders.InitializeDecryptionMaterialsInput converted = new AWS.Cryptography.MaterialProviders.InitializeDecryptionMaterialsInput(); converted.AlgorithmSuiteId = (AWS.Cryptography.MaterialProviders.AlgorithmSuiteId)FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S34_InitializeDecryptionMaterialsInput__M16_algorithmSuiteId(concrete._algorithmSuiteId); @@ -2346,6 +2359,14 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types { return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_EncryptionMaterials(value); } + public static string FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded__M7_message(Dafny.ISequence value) + { + return FromDafny_N6_smithy__N3_api__S6_String(value); + } + public static Dafny.ISequence ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded__M7_message(string value) + { + return ToDafny_N6_smithy__N3_api__S6_String(value); + } public static AWS.Cryptography.MaterialProviders.AlgorithmSuiteId FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S34_InitializeDecryptionMaterialsInput__M16_algorithmSuiteId(software.amazon.cryptography.materialproviders.internaldafny.types._IAlgorithmSuiteId value) { return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S16_AlgorithmSuiteId(value); @@ -3899,6 +3920,8 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_EntryAlreadyExists(dafnyVal); case software.amazon.cryptography.materialproviders.internaldafny.types.Error_EntryDoesNotExist dafnyVal: return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S17_EntryDoesNotExist(dafnyVal); + case software.amazon.cryptography.materialproviders.internaldafny.types.Error_InFlightTTLExceeded dafnyVal: + return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded(dafnyVal); case software.amazon.cryptography.materialproviders.internaldafny.types.Error_InvalidAlgorithmSuiteInfo dafnyVal: return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S25_InvalidAlgorithmSuiteInfo(dafnyVal); case software.amazon.cryptography.materialproviders.internaldafny.types.Error_InvalidAlgorithmSuiteInfoOnDecrypt dafnyVal: @@ -3938,6 +3961,8 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_EntryAlreadyExists(exception); case AWS.Cryptography.MaterialProviders.EntryDoesNotExist exception: return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S17_EntryDoesNotExist(exception); + case AWS.Cryptography.MaterialProviders.InFlightTTLExceeded exception: + return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S19_InFlightTTLExceeded(exception); case AWS.Cryptography.MaterialProviders.InvalidAlgorithmSuiteInfo exception: return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S25_InvalidAlgorithmSuiteInfo(exception); case AWS.Cryptography.MaterialProviders.InvalidAlgorithmSuiteInfoOnDecrypt exception: