Skip to content

Commit 4498ca1

Browse files
lucasmcdonald3lucasmcdonald3
committed
m
1 parent 4851473 commit 4498ca1

File tree

2 files changed

+5
-102
lines changed

2 files changed

+5
-102
lines changed

‎.github/actions/polymorph_codegen/action.yml

-1
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,6 @@ runs:
104104
working-directory: ./${{ inputs.library }}
105105
shell: bash
106106
run: |
107-
dotnet --version
108107
make polymorph_dafny ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
109108
110109
- name: Set up prettier in MPL

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

+5-101
Original file line numberDiff line numberDiff line change
@@ -1,35 +1,8 @@
11
diff --git b/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs a/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs
2-
index 043049f3..d517f861 100644
2+
index 009ce943..d517f861 100644
33
--- b/TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs
44
+++ 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
5+
@@ -918,11 +918,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
336
converted.StormTracking = FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M13_StormTracking(concrete.dtor_StormTracking);
347
return converted;
358
}
@@ -41,7 +14,7 @@ index 043049f3..d517f861 100644
4114
throw new System.ArgumentException("Invalid AWS.Cryptography.MaterialProviders.CacheType state");
4215
}
4316
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
17+
@@ -947,10 +942,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
4518
{
4619
return software.amazon.cryptography.materialproviders.internaldafny.types.CacheType.create_StormTracking(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M13_StormTracking(value.StormTracking));
4720
}
@@ -51,21 +24,8 @@ index 043049f3..d517f861 100644
5124
- }
5225
throw new System.ArgumentException("Invalid AWS.Cryptography.MaterialProviders.CacheType state");
5326
}
54-
-
55-
- [Obsolete]
5627
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
28+
@@ -1123,14 +1114,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
6929
{
7030
return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache(value);
7131
}
@@ -80,7 +40,7 @@ index 043049f3..d517f861 100644
8040
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S14_AttributeValue__M1_S(Dafny.ISequence<char> value)
8141
{
8242
return FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_StringAttributeValue(value);
83-
@@ -1311,20 +1284,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
43+
@@ -1301,18 +1284,6 @@ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped
8444
int? var_entryPruningTailSize = value.IsSetEntryPruningTailSize() ? value.EntryPruningTailSize : (int?)null;
8545
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));
8646
}
@@ -96,62 +56,6 @@ index 043049f3..d517f861 100644
9656
- // Therefore it defers to the dependant module for conversion
9757
- return AWS.Cryptography.MaterialProviders.TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
9858
- }
99-
-
100-
- [Obsolete]
10159
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_StringAttributeValue(Dafny.ISequence<char> value)
10260
{
10361
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)