Skip to content

Commit b4959f6

Browse files
lucasmcdonald3lucasmcdonald3
committed
m
1 parent 3f8ae26 commit b4959f6

File tree

1 file changed

+0
-53
lines changed

1 file changed

+0
-53
lines changed

‎TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs

Lines changed: 0 additions & 53 deletions
Original file line numberDiff line numberDiff line change
@@ -573,8 +573,6 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types
573573
// Therefore it defers to the dependant module for conversion
574574
return AWS.Cryptography.MaterialProviders.TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S28_BranchKeyIdSupplierReference(value);
575575
}
576-
577-
[Obsolete]
578576
public static string FromDafny_N6_smithy__N3_api__S6_String(Dafny.ISequence<char> value)
579577
{
580578
return new string(value.Elements);
@@ -593,8 +591,6 @@ public static Dafny.ISequence<char> ToDafny_N6_smithy__N3_api__S6_String(string
593591
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))
594592
));
595593
}
596-
597-
[Obsolete]
598594
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)
599595
{
600596
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));
@@ -603,8 +599,6 @@ public static Dafny.ISequence<char> ToDafny_N6_smithy__N3_api__S6_String(string
603599
{
604600
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());
605601
}
606-
607-
[Obsolete]
608602
public static System.IO.MemoryStream FromDafny_N6_smithy__N3_api__S4_Blob(Dafny.ISequence<byte> value)
609603
{
610604
return new System.IO.MemoryStream(value.Elements);
@@ -924,11 +918,6 @@ public static AWS.Cryptography.MaterialProviders.CacheType FromDafny_N3_aws__N12
924918
converted.StormTracking = FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M13_StormTracking(concrete.dtor_StormTracking);
925919
return converted;
926920
}
927-
if (value.is_Shared)
928-
{
929-
converted.Shared = FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M6_Shared(concrete.dtor_Shared);
930-
return converted;
931-
}
932921
throw new System.ArgumentException("Invalid AWS.Cryptography.MaterialProviders.CacheType state");
933922
}
934923
public static software.amazon.cryptography.materialproviders.internaldafny.types._ICacheType ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType(AWS.Cryptography.MaterialProviders.CacheType value)
@@ -953,14 +942,8 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types
953942
{
954943
return software.amazon.cryptography.materialproviders.internaldafny.types.CacheType.create_StormTracking(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M13_StormTracking(value.StormTracking));
955944
}
956-
if (value.IsSetShared())
957-
{
958-
return software.amazon.cryptography.materialproviders.internaldafny.types.CacheType.create_Shared(ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S9_CacheType__M6_Shared(value.Shared));
959-
}
960945
throw new System.ArgumentException("Invalid AWS.Cryptography.MaterialProviders.CacheType state");
961946
}
962-
963-
[Obsolete]
964947
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S13_AttributeName(Dafny.ISequence<char> value)
965948
{
966949
return new string(value.Elements);
@@ -1083,8 +1066,6 @@ public static software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafn
10831066
string var_branchKeyVersion = value.IsSetBranchKeyVersion() ? value.BranchKeyVersion : (string)null;
10841067
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));
10851068
}
1086-
1087-
[Obsolete]
10881069
public static string FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S4_Char(Dafny.ISequence<char> value)
10891070
{
10901071
return new string(value.Elements);
@@ -1133,14 +1114,6 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types
11331114
{
11341115
return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S18_StormTrackingCache(value);
11351116
}
1136-
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)
1137-
{
1138-
return FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
1139-
}
1140-
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)
1141-
{
1142-
return ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
1143-
}
11441117
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S14_AttributeValue__M1_S(Dafny.ISequence<char> value)
11451118
{
11461119
return FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_StringAttributeValue(value);
@@ -1311,20 +1284,6 @@ public static software.amazon.cryptography.materialproviders.internaldafny.types
13111284
int? var_entryPruningTailSize = value.IsSetEntryPruningTailSize() ? value.EntryPruningTailSize : (int?)null;
13121285
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));
13131286
}
1314-
public static AWS.Cryptography.MaterialProviders.ICryptographicMaterialsCache FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache value)
1315-
{
1316-
// This is converting a reference type in a dependant module.
1317-
// Therefore it defers to the dependant module for conversion
1318-
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
1319-
}
1320-
public static software.amazon.cryptography.materialproviders.internaldafny.types.ICryptographicMaterialsCache ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(AWS.Cryptography.MaterialProviders.ICryptographicMaterialsCache value)
1321-
{
1322-
// This is converting a reference type in a dependant module.
1323-
// Therefore it defers to the dependant module for conversion
1324-
return AWS.Cryptography.MaterialProviders.TypeConversion.ToDafny_N3_aws__N12_cryptography__N17_materialProviders__S36_CryptographicMaterialsCacheReference(value);
1325-
}
1326-
1327-
[Obsolete]
13281287
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_StringAttributeValue(Dafny.ISequence<char> value)
13291288
{
13301289
return new string(value.Elements);
@@ -1333,8 +1292,6 @@ public static Dafny.ISequence<char> ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S
13331292
{
13341293
return Dafny.Sequence<char>.FromString(value);
13351294
}
1336-
1337-
[Obsolete]
13381295
public static string FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_NumberAttributeValue(Dafny.ISequence<char> value)
13391296
{
13401297
return new string(value.Elements);
@@ -1343,8 +1300,6 @@ public static Dafny.ISequence<char> ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S
13431300
{
13441301
return Dafny.Sequence<char>.FromString(value);
13451302
}
1346-
1347-
[Obsolete]
13481303
public static System.IO.MemoryStream FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S20_BinaryAttributeValue(Dafny.ISequence<byte> value)
13491304
{
13501305
return new System.IO.MemoryStream(value.Elements);
@@ -1358,8 +1313,6 @@ public static Dafny.ISequence<byte> ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S
13581313
return Dafny.Sequence<byte>.FromArray(value.ToArray());
13591314

13601315
}
1361-
1362-
[Obsolete]
13631316
public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_StringSetAttributeValue(Dafny.ISequence<Dafny.ISequence<char>> value)
13641317
{
13651318
return new System.Collections.Generic.List<string>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_StringSetAttributeValue__M6_member));
@@ -1368,8 +1321,6 @@ public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazo
13681321
{
13691322
return Dafny.Sequence<Dafny.ISequence<char>>.FromArray(value.Select(ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_StringSetAttributeValue__M6_member).ToArray());
13701323
}
1371-
1372-
[Obsolete]
13731324
public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_NumberSetAttributeValue(Dafny.ISequence<Dafny.ISequence<char>> value)
13741325
{
13751326
return new System.Collections.Generic.List<string>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_NumberSetAttributeValue__M6_member));
@@ -1378,8 +1329,6 @@ public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazo
13781329
{
13791330
return Dafny.Sequence<Dafny.ISequence<char>>.FromArray(value.Select(ToDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_NumberSetAttributeValue__M6_member).ToArray());
13801331
}
1381-
1382-
[Obsolete]
13831332
public static System.Collections.Generic.List<System.IO.MemoryStream> FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_BinarySetAttributeValue(Dafny.ISequence<Dafny.ISequence<byte>> value)
13841333
{
13851334
return new System.Collections.Generic.List<System.IO.MemoryStream>(value.Elements.Select(FromDafny_N3_com__N9_amazonaws__N8_dynamodb__S23_BinarySetAttributeValue__M6_member));
@@ -1398,8 +1347,6 @@ public static System.Collections.Generic.List<string> FromDafny_N3_com__N9_amazo
13981347
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))
13991348
));
14001349
}
1401-
1402-
[Obsolete]
14031350
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)
14041351
{
14051352
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)