cs poly

aws · Nov 19, 2024 · f80cbd7 · f80cbd7
1 parent 71e121d
commit f80cbd7
Show file tree

Hide file tree

Showing 2 changed files with 28 additions and 0 deletions.
diff --git a/...ted/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs b/...ted/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/...ers/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs b/...ers/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<char> value)
+    {
+      return FromDafny_N6_smithy__N3_api__S6_String(value);
+    }
+    public static Dafny.ISequence<char> 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: