Skip to content

Commit 4a386ba

Browse files
lucasmcdonald3lucasmcdonald3
committed
m
1 parent dbc0893 commit 4a386ba

File tree

1 file changed

+157
-0
lines changed

1 file changed

+157
-0
lines changed

‎TestVectors/codegen-patches/DDBEncryption/dotnet/dafny-4.8.0.patch

+157
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,157 @@
1+
diff --git b/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs a/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs
2+
index 043049f3..d517f861 100644
3+
--- b/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs
4+
+++ a/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs
5+
@@ -573,8 +573,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
6+
// Therefore it defers to the dependant module for conversion
7+
return AWS.Cryptography.MaterialProviders.TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S28_BranchKeyIdSupplierReference(value);
8+
}
9+
-
10+
- [Obsolete]
11+
public static string FromDafny_N6_smithy__N3_api__S6_String(Dafny.ISequence<char> value)
12+
{
13+
return new string(value.Elements);
14+
@@ -593,8 +591,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
15+
new Dafny.Pair<Dafny.ISequence<char>, software.amazon.cryptography.services.dynamodb.internaldafny.types._IAttributeValue>(ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S3_Key__M3_key(pair.Key), ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S3_Key__M5_value(pair.Value))
16+
));
17+
}
18+
-
19+
- [Obsolete]
20+
public static System.Collections.Generic.List<AWS.Cryptography.DbEncryptionSDK.DynamoDb.EncryptedDataKeyDescription> FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S31_EncryptedDataKeyDescriptionList(Dafny.ISequence<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IEncryptedDataKeyDescription> value)
21+
{
22+
return new System.Collections.Generic.List<AWS.Cryptography.DbEncryptionSDK.DynamoDb.EncryptedDataKeyDescription>(value.Elements.Select(FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S31_EncryptedDataKeyDescriptionList__M6_member));
23+
@@ -603,8 +599,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
24+
{
25+
return Dafny.Sequence<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IEncryptedDataKeyDescription>.FromArray(value.Select(ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S31_EncryptedDataKeyDescriptionList__M6_member).ToArray());
26+
}
27+
-
28+
- [Obsolete]
29+
public static System.IO.MemoryStream FromDafny_N6_smithy__N3_api__S4_Blob(Dafny.ISequence<byte> value)
30+
{
31+
return new System.IO.MemoryStream(value.Elements);
32+
@@ -924,11 +918,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
33+
converted.StormTracking = FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M13_StormTracking(concrete.dtor_StormTracking);
34+
return converted;
35+
}
36+
- if (value.is_Shared)
37+
- {
38+
- converted.Shared = FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M6_Shared(concrete.dtor_Shared);
39+
- return converted;
40+
- }
41+
throw new System.ArgumentException("Invalid AWS.Cryptography.MaterialProviders.CacheType state");
42+
}
43+
public static software.amazon.cryptography.materialproviders.internaldafny.types._ICacheType ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType(AWS.Cryptography.MaterialProviders.CacheType value)
44+
@@ -953,14 +942,8 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
45+
{
46+
return software.amazon.cryptography.materialproviders.internaldafny.types.CacheType.create_StormTracking(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M13_StormTracking(value.StormTracking));
47+
}
48+
- if (value.IsSetShared())
49+
- {
50+
- return software.amazon.cryptography.materialproviders.internaldafny.types.CacheType.create_Shared(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M6_Shared(value.Shared));
51+
- }
52+
throw new System.ArgumentException("Invalid AWS.Cryptography.MaterialProviders.CacheType state");
53+
}
54+
-
55+
- [Obsolete]
56+
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S13_AttributeName(Dafny.ISequence<char> value)
57+
{
58+
return new string(value.Elements);
59+
@@ -1083,8 +1066,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
60+
string var_branchKeyVersion = value.IsSetBranchKeyVersion() ? value.BranchKeyVersion : (string)null;
61+
return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedDataKeyDescription(ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_EncryptedDataKeyDescription__M13_keyProviderId(value.KeyProviderId), ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_EncryptedDataKeyDescription__M15_keyProviderInfo(var_keyProviderInfo), ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_EncryptedDataKeyDescription__M11_branchKeyId(var_branchKeyId), ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_EncryptedDataKeyDescription__M16_branchKeyVersion(var_branchKeyVersion));
62+
}
63+
-
64+
- [Obsolete]
65+
public static string FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S4_Char(Dafny.ISequence<char> value)
66+
{
67+
return new string(value.Elements);
68+
@@ -1133,14 +1114,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
69+
{
70+
return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache(value);
71+
}
72+
- public static AWS.Cryptography.MaterialProviders.ICryptographicMaterialsCache FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M6_Shared(software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache value)
73+
- {
74+
- return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
75+
- }
76+
- public static software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M6_Shared(AWS.Cryptography.MaterialProviders.ICryptographicMaterialsCache value)
77+
- {
78+
- return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
79+
- }
80+
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S14_AttributeValue__M1_S(Dafny.ISequence<char> value)
81+
{
82+
return FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_StringAttributeValue(value);
83+
@@ -1311,20 +1284,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
84+
int? var_entryPruningTailSize = value.IsSetEntryPruningTailSize() ? value.EntryPruningTailSize : (int?)null;
85+
return new software.amazon.cryptography.materialproviders.internaldafny.types.StormTrackingCache(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M13_entryCapacity(value.EntryCapacity), ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M20_entryPruningTailSize(var_entryPruningTailSize), ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M11_gracePeriod(value.GracePeriod), ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M13_graceInterval(value.GraceInterval), ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M6_fanOut(value.FanOut), ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M11_inFlightTTL(value.InFlightTTL), ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache__M10_sleepMilli(value.SleepMilli));
86+
}
87+
- public static AWS.Cryptography.MaterialProviders.ICryptographicMaterialsCache FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache value)
88+
- {
89+
- // This is converting a reference type in a dependant module.
90+
- // Therefore it defers to the dependant module for conversion
91+
- return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
92+
- }
93+
- public static software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(AWS.Cryptography.MaterialProviders.ICryptographicMaterialsCache value)
94+
- {
95+
- // This is converting a reference type in a dependant module.
96+
- // Therefore it defers to the dependant module for conversion
97+
- return AWS.Cryptography.MaterialProviders.TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
98+
- }
99+
-
100+
- [Obsolete]
101+
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_StringAttributeValue(Dafny.ISequence<char> value)
102+
{
103+
return new string(value.Elements);
104+
@@ -1333,8 +1292,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
105+
{
106+
return Dafny.Sequence<char>.FromString(value);
107+
}
108+
-
109+
- [Obsolete]
110+
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_NumberAttributeValue(Dafny.ISequence<char> value)
111+
{
112+
return new string(value.Elements);
113+
@@ -1343,8 +1300,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
114+
{
115+
return Dafny.Sequence<char>.FromString(value);
116+
}
117+
-
118+
- [Obsolete]
119+
public static System.IO.MemoryStream FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_BinaryAttributeValue(Dafny.ISequence<byte> value)
120+
{
121+
return new System.IO.MemoryStream(value.Elements);
122+
@@ -1358,8 +1313,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
123+
return Dafny.Sequence<byte>.FromArray(value.ToArray());
124+
125+
}
126+
-
127+
- [Obsolete]
128+
public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_StringSetAttributeValue(Dafny.ISequence<Dafny.ISequence<char>> value)
129+
{
130+
return new System.Collections.Generic.List<string>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_StringSetAttributeValue__M6_member));
131+
@@ -1368,8 +1321,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
132+
{
133+
return Dafny.Sequence<Dafny.ISequence<char>>.FromArray(value.Select(ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_StringSetAttributeValue__M6_member).ToArray());
134+
}
135+
-
136+
- [Obsolete]
137+
public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_NumberSetAttributeValue(Dafny.ISequence<Dafny.ISequence<char>> value)
138+
{
139+
return new System.Collections.Generic.List<string>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_NumberSetAttributeValue__M6_member));
140+
@@ -1378,8 +1329,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
141+
{
142+
return Dafny.Sequence<Dafny.ISequence<char>>.FromArray(value.Select(ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_NumberSetAttributeValue__M6_member).ToArray());
143+
}
144+
-
145+
- [Obsolete]
146+
public static System.Collections.Generic.List<System.IO.MemoryStream> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_BinarySetAttributeValue(Dafny.ISequence<Dafny.ISequence<byte>> value)
147+
{
148+
return new System.Collections.Generic.List<System.IO.MemoryStream>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_BinarySetAttributeValue__M6_member));
149+
@@ -1398,8 +1347,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
150+
new Dafny.Pair<Dafny.ISequence<char>, software.amazon.cryptography.services.dynamodb.internaldafny.types._IAttributeValue>(ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S17_MapAttributeValue__M3_key(pair.Key), ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S17_MapAttributeValue__M5_value(pair.Value))
151+
));
152+
}
153+
-
154+
- [Obsolete]
155+
public static System.Collections.Generic.List<Amazon.DynamoDBv2.Model.AttributeValue> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S18_ListAttributeValue(Dafny.ISequence<software.amazon.cryptography.services.dynamodb.internaldafny.types._IAttributeValue> value)
156+
{
157+
return new System.Collections.Generic.List<Amazon.DynamoDBv2.Model.AttributeValue>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S18_ListAttributeValue__M6_member));

0 commit comments

Comments
 (0)