Skip to content

Commit

Permalink
m
Browse files Browse the repository at this point in the history
  • Loading branch information
@ajewellamz
ajewellamz committed Nov 2, 2023
1 parent 829c067 commit 5b3e127
Show file tree
Hide file tree
Showing 4 changed files with 21 additions and 33 deletions.
14 changes: 3 additions & 11 deletions DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryption/TypeConversion.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1361,25 +1361,17 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyMaterialProviders
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyPrimitives
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
dafnyVal._ComAmazonawsDynamodb
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_AwsCryptographyPrimitives dafnyVal:
return AWS.Cryptography.Primitives.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyPrimitives
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
dafnyVal._ComAmazonawsDynamodb
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_DynamoDbEncryptionException dafnyVal:
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_DynamoDbEncryptionException(dafnyVal);
Expand Down
22 changes: 9 additions & 13 deletions DynamoDbEncryption/runtimes/net/Generated/DynamoDbEncryptionTransforms/TypeConversion.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6483,13 +6483,13 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
{
switch (value)
{
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyMaterialProviders
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptor dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.DynamoDb.ItemEncryptor.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptor
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
dafnyVal._ComAmazonawsDynamodb
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkDynamoDb dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.DynamoDb.TypeConversion.FromDafny_CommonError(
Expand All @@ -6499,13 +6499,9 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
return AWS.Cryptography.DbEncryptionSDK.DynamoDb.ItemEncryptor.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptor
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
dafnyVal._ComAmazonawsDynamodb
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_AwsCryptographyMaterialProviders dafnyVal:
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyMaterialProviders
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.transforms.internaldafny.types.Error_DynamoDbEncryptionTransformsException dafnyVal:
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__N10_transforms__S37_DynamoDbEncryptionTransformsException(dafnyVal);
Expand Down
6 changes: 3 additions & 3 deletions DynamoDbEncryption/runtimes/net/Generated/DynamoDbItemEncryptor/TypeConversion.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -922,9 +922,9 @@ public static System.Exception FromDafny_CommonError(software.amazon.cryptograph
return AWS.Cryptography.MaterialProviders.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyMaterialProviders
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_AwsCryptographyDbEncryptionSdkStructuredEncryption dafnyVal:
return AWS.Cryptography.DbEncryptionSDK.StructuredEncryption.TypeConversion.FromDafny_CommonError(
dafnyVal._AwsCryptographyDbEncryptionSdkStructuredEncryption
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_ComAmazonawsDynamodb dafnyVal:
return Com.Amazonaws.Dynamodb.TypeConversion.FromDafny_CommonError(
dafnyVal._ComAmazonawsDynamodb
);
case software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.Error_DynamoDbItemEncryptorException dafnyVal:
return FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__N13_itemEncryptor__S30_DynamoDbItemEncryptorException(dafnyVal);
Expand Down
12 changes: 6 additions & 6 deletions Examples/runtimes/net/src/searchableencryption/BeaconStylesSearchableEncryptionExample.cs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,28 +63,28 @@ public static async Task PutItemQueryItemWithBeaconStyles(String branchKeyId)
// The basket beacon allows searching on the encrypted basket attribute
// basket is used as a Set, and therefore needs a beacon style to reflect that.
// Further, we need to be able to compare the items in basket to the fruit attribute
// so we `twin` this beacon to `fruit`.
// Since we need both of these things, we use the TwinnedSet style.
// so we `share` this beacon with `fruit`.
// Since we need both of these things, we use the SharedSet style.
new StandardBeacon
{
Name = "basket",
Length = 30,
Style = new BeaconStyle
{
TwinnedSet = new TwinnedSet { Other = "fruit" }
SharedSet = new SharedSet { Other = "fruit" }
}
},

// The dessert beacon allows searching on the encrypted dessert attribute
// We need to be able to compare the dessert attribute to the fruit attribute
// so we `twin` this beacon to `fruit`.
// so we `share` this beacon with `fruit`.
new StandardBeacon
{
Name = "dessert",
Length = 30,
Style = new BeaconStyle
{
Twinned = new Twinned { Other = "fruit" }
Shared = new Shared { Other = "fruit" }
}
}
};
Expand Down Expand Up @@ -268,7 +268,7 @@ public static async Task PutItemQueryItemWithBeaconStyles(String branchKeyId)
Debug.Assert(scanResponse.Items.Count == 1);
Debug.Assert(scanResponse.Items[0]["work_id"].S == item2["work_id"].S);

// Test a Twinned search. Select records where the dessert attribute matches the fruit attribute
// Test a Shared search. Select records where the dessert attribute matches the fruit attribute
scanRequest = new ScanRequest
{
TableName = ddbTableName,
Expand Down

0 comments on commit 5b3e127

Please sign in to comment.