Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit dda196a

Browse files
rishav-karanjitrishav-karanjit
committedMar 27, 2024
Add some more generated dotnet
1 parent ee7ba8d commit dda196a

File tree

4 files changed

+30
-30
lines changed

4 files changed

+30
-30
lines changed
 

‎DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryption/TypeConversion.cs

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1534,17 +1534,17 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
15341534
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
15351535
dafnyVal._ComAmazonawsDynamodb
15361536
);
1537-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
1538-
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
1539-
dafnyVal._AwsCryptographyPrimitives
1537+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
1538+
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
1539+
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
15401540
);
15411541
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
15421542
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
15431543
dafnyVal._AwsCryptographyMaterialProviders
15441544
);
1545-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
1546-
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
1547-
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
1545+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
1546+
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
1547+
dafnyVal._AwsCryptographyPrimitives
15481548
);
15491549
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_DynamoDbEncryptionException dafnyVal:
15501550
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_DynamoDbEncryptionException(dafnyVal);

‎DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs

Lines changed: 11 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -6485,26 +6485,26 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
64856485
{
64866486
switch (value)
64876487
{
6488-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
6489-
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
6490-
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
6488+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
6489+
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
6490+
dafnyVal._ComAmazonawsDynamodb
6491+
);
6492+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
6493+
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
6494+
dafnyVal._AwsCryptographyMaterialProviders
64916495
);
64926496
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkDynamoDb dafnyVal:
64936497
return AWS.Cryptography.DbEncryptionSDK.DynamoDb.TypeConversion.FromDafny_CommonError(
64946498
dafnyVal._AwsCryptographyDbEncryptionSdkDynamoDb
64956499
);
6500+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
6501+
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
6502+
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
6503+
);
64966504
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptor dafnyVal:
64976505
return AWS.Cryptography.DbEncryptionSDK.DynamoDb.ItemEncryptor.TypeConversion.FromDafny_CommonError(
64986506
dafnyVal._AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptor
64996507
);
6500-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
6501-
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
6502-
dafnyVal._ComAmazonawsDynamodb
6503-
);
6504-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
6505-
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
6506-
dafnyVal._AwsCryptographyMaterialProviders
6507-
);
65086508
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_DynamoDbEncryptionTransformsException dafnyVal:
65096509
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__N10_transforms__S37_DynamoDbEncryptionTransformsException(dafnyVal);
65106510
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_CollectionOfErrors dafnyVal:

‎DynamoDbEncryption/runtimes/net/Generated/DynamoDbItemEncryptor/TypeConversion.cs

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -952,25 +952,25 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
952952
{
953953
switch (value)
954954
{
955-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
956-
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
957-
dafnyVal._AwsCryptographyMaterialProviders
955+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
956+
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
957+
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
958958
);
959959
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
960960
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
961961
dafnyVal._ComAmazonawsDynamodb
962962
);
963-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
964-
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
965-
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
963+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
964+
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
965+
dafnyVal._AwsCryptographyPrimitives
966966
);
967967
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkDynamoDb dafnyVal:
968968
return AWS.Cryptography.DbEncryptionSDK.DynamoDb.TypeConversion.FromDafny_CommonError(
969969
dafnyVal._AwsCryptographyDbEncryptionSdkDynamoDb
970970
);
971-
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
972-
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
973-
dafnyVal._AwsCryptographyPrimitives
971+
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
972+
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
973+
dafnyVal._AwsCryptographyMaterialProviders
974974
);
975975
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_DynamoDbItemEncryptorException dafnyVal:
976976
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__N13_itemEncryptor__S30_DynamoDbItemEncryptorException(dafnyVal);

‎DynamoDbEncryption/runtimes/net/Generated/StructuredEncryption/TypeConversion.cs

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -921,14 +921,14 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
921921
{
922922
switch (value)
923923
{
924-
case software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
925-
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
926-
dafnyVal._AwsCryptographyPrimitives
927-
);
928924
case software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
929925
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
930926
dafnyVal._AwsCryptographyMaterialProviders
931927
);
928+
case software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
929+
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
930+
dafnyVal._AwsCryptographyPrimitives
931+
);
932932
case software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.Error_StructuredEncryptionException dafnyVal:
933933
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N20_structuredEncryption__S29_StructuredEncryptionException(dafnyVal);
934934
case software.amazon.cryptography.dbencryptionsdk.structuredencryption.internaldafny.types.Error_CollectionOfErrors dafnyVal:

0 commit comments

Comments
 (0)
Please sign in to comment.