Skip to content

Commit 8f4c453

Browse files
robin-awsrobin-aws
committed
Regenerate code after merge
1 parent 89eb30e commit 8f4c453

File tree

18 files changed

+4400
-3464
lines changed

18 files changed

+4400
-3464
lines changed

‎DynamoDbEncryption/dafny/DynamoDbEncryption/Model/AwsCryptographyDbEncryptionSdkDynamoDbTypes.dfy

+531-531
Large diffs are not rendered by default.

‎DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/Model/AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes.dfy

+1,736-1,778
Large diffs are not rendered by default.

‎DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes.dfy

+298-298
Large diffs are not rendered by default.

‎DynamoDbEncryption/dafny/StructuredEncryption/Model/AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes.dfy

+332-332
Large diffs are not rendered by default.

‎DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/DynamoDbEncryption.java

+29-12
Original file line numberDiff line numberDiff line change
@@ -14,12 +14,15 @@
1414
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.DynamoDbEncryptionConfig;
1515

1616
public class DynamoDbEncryption {
17+
1718
private final IDynamoDbEncryptionClient _impl;
1819

1920
protected DynamoDbEncryption(BuilderImpl builder) {
2021
DynamoDbEncryptionConfig input = builder.DynamoDbEncryptionConfig();
21-
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.DynamoDbEncryptionConfig dafnyValue = ToDafny.DynamoDbEncryptionConfig(input);
22-
Result<IDynamoDbEncryptionClient, Error> result = __default.DynamoDbEncryption(dafnyValue);
22+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.DynamoDbEncryptionConfig dafnyValue =
23+
ToDafny.DynamoDbEncryptionConfig(input);
24+
Result<IDynamoDbEncryptionClient, Error> result =
25+
__default.DynamoDbEncryption(dafnyValue);
2326
if (result.is_Failure()) {
2427
throw ToNative.Error(result.dtor_error());
2528
}
@@ -41,34 +44,46 @@ public static Builder builder() {
4144
* @return Outputs for creating a Branch Key Supplier from a DynamoDB Key Branch Key Id Supplier
4245
*/
4346
public CreateDynamoDbEncryptionBranchKeyIdSupplierOutput CreateDynamoDbEncryptionBranchKeyIdSupplier(
44-
CreateDynamoDbEncryptionBranchKeyIdSupplierInput input) {
45-
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.CreateDynamoDbEncryptionBranchKeyIdSupplierInput dafnyValue = ToDafny.CreateDynamoDbEncryptionBranchKeyIdSupplierInput(input);
46-
Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput, Error> result = this._impl.CreateDynamoDbEncryptionBranchKeyIdSupplier(dafnyValue);
47+
CreateDynamoDbEncryptionBranchKeyIdSupplierInput input
48+
) {
49+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.CreateDynamoDbEncryptionBranchKeyIdSupplierInput dafnyValue =
50+
ToDafny.CreateDynamoDbEncryptionBranchKeyIdSupplierInput(input);
51+
Result<
52+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput,
53+
Error
54+
> result =
55+
this._impl.CreateDynamoDbEncryptionBranchKeyIdSupplier(dafnyValue);
4756
if (result.is_Failure()) {
4857
throw ToNative.Error(result.dtor_error());
4958
}
50-
return ToNative.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(result.dtor_value());
59+
return ToNative.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(
60+
result.dtor_value()
61+
);
5162
}
5263

5364
protected IDynamoDbEncryptionClient impl() {
5465
return this._impl;
5566
}
5667

5768
public interface Builder {
58-
Builder DynamoDbEncryptionConfig(DynamoDbEncryptionConfig DynamoDbEncryptionConfig);
69+
Builder DynamoDbEncryptionConfig(
70+
DynamoDbEncryptionConfig DynamoDbEncryptionConfig
71+
);
5972

6073
DynamoDbEncryptionConfig DynamoDbEncryptionConfig();
6174

6275
DynamoDbEncryption build();
6376
}
6477

6578
static class BuilderImpl implements Builder {
79+
6680
protected DynamoDbEncryptionConfig DynamoDbEncryptionConfig;
6781

68-
protected BuilderImpl() {
69-
}
82+
protected BuilderImpl() {}
7083

71-
public Builder DynamoDbEncryptionConfig(DynamoDbEncryptionConfig DynamoDbEncryptionConfig) {
84+
public Builder DynamoDbEncryptionConfig(
85+
DynamoDbEncryptionConfig DynamoDbEncryptionConfig
86+
) {
7287
this.DynamoDbEncryptionConfig = DynamoDbEncryptionConfig;
7388
return this;
7489
}
@@ -78,8 +93,10 @@ public DynamoDbEncryptionConfig DynamoDbEncryptionConfig() {
7893
}
7994

8095
public DynamoDbEncryption build() {
81-
if (Objects.isNull(this.DynamoDbEncryptionConfig())) {
82-
throw new IllegalArgumentException("Missing value for required field `DynamoDbEncryptionConfig`");
96+
if (Objects.isNull(this.DynamoDbEncryptionConfig())) {
97+
throw new IllegalArgumentException(
98+
"Missing value for required field `DynamoDbEncryptionConfig`"
99+
);
83100
}
84101
return new DynamoDbEncryption(this);
85102
}

‎DynamoDbEncryption/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/DynamoDbItemEncryptor.java

+28-12
Original file line numberDiff line numberDiff line change
@@ -16,12 +16,15 @@
1616
import software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.model.EncryptItemOutput;
1717

1818
public class DynamoDbItemEncryptor {
19+
1920
private final IDynamoDbItemEncryptorClient _impl;
2021

2122
protected DynamoDbItemEncryptor(BuilderImpl builder) {
2223
DynamoDbItemEncryptorConfig input = builder.DynamoDbItemEncryptorConfig();
23-
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DynamoDbItemEncryptorConfig dafnyValue = ToDafny.DynamoDbItemEncryptorConfig(input);
24-
Result<IDynamoDbItemEncryptorClient, Error> result = __default.DynamoDbItemEncryptor(dafnyValue);
24+
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DynamoDbItemEncryptorConfig dafnyValue =
25+
ToDafny.DynamoDbItemEncryptorConfig(input);
26+
Result<IDynamoDbItemEncryptorClient, Error> result =
27+
__default.DynamoDbItemEncryptor(dafnyValue);
2528
if (result.is_Failure()) {
2629
throw ToNative.Error(result.dtor_error());
2730
}
@@ -43,8 +46,12 @@ public static Builder builder() {
4346
* @return Outputs for decrypting a DynamoDB Item.
4447
*/
4548
public DecryptItemOutput DecryptItem(DecryptItemInput input) {
46-
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DecryptItemInput dafnyValue = ToDafny.DecryptItemInput(input);
47-
Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DecryptItemOutput, Error> result = this._impl.DecryptItem(dafnyValue);
49+
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DecryptItemInput dafnyValue =
50+
ToDafny.DecryptItemInput(input);
51+
Result<
52+
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DecryptItemOutput,
53+
Error
54+
> result = this._impl.DecryptItem(dafnyValue);
4855
if (result.is_Failure()) {
4956
throw ToNative.Error(result.dtor_error());
5057
}
@@ -58,8 +65,12 @@ public DecryptItemOutput DecryptItem(DecryptItemInput input) {
5865
* @return Outputs for encrypting a DynamoDB Item.
5966
*/
6067
public EncryptItemOutput EncryptItem(EncryptItemInput input) {
61-
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.EncryptItemInput dafnyValue = ToDafny.EncryptItemInput(input);
62-
Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.EncryptItemOutput, Error> result = this._impl.EncryptItem(dafnyValue);
68+
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.EncryptItemInput dafnyValue =
69+
ToDafny.EncryptItemInput(input);
70+
Result<
71+
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.EncryptItemOutput,
72+
Error
73+
> result = this._impl.EncryptItem(dafnyValue);
6374
if (result.is_Failure()) {
6475
throw ToNative.Error(result.dtor_error());
6576
}
@@ -74,7 +85,9 @@ public interface Builder {
7485
/**
7586
* @param DynamoDbItemEncryptorConfig The configuration for the client-side encryption of DynamoDB items.
7687
*/
77-
Builder DynamoDbItemEncryptorConfig(DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig);
88+
Builder DynamoDbItemEncryptorConfig(
89+
DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig
90+
);
7891

7992
/**
8093
* @return The configuration for the client-side encryption of DynamoDB items.
@@ -85,13 +98,14 @@ public interface Builder {
8598
}
8699

87100
static class BuilderImpl implements Builder {
101+
88102
protected DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig;
89103

90-
protected BuilderImpl() {
91-
}
104+
protected BuilderImpl() {}
92105

93106
public Builder DynamoDbItemEncryptorConfig(
94-
DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig) {
107+
DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig
108+
) {
95109
this.DynamoDbItemEncryptorConfig = DynamoDbItemEncryptorConfig;
96110
return this;
97111
}
@@ -101,8 +115,10 @@ public DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig() {
101115
}
102116

103117
public DynamoDbItemEncryptor build() {
104-
if (Objects.isNull(this.DynamoDbItemEncryptorConfig())) {
105-
throw new IllegalArgumentException("Missing value for required field `DynamoDbItemEncryptorConfig`");
118+
if (Objects.isNull(this.DynamoDbItemEncryptorConfig())) {
119+
throw new IllegalArgumentException(
120+
"Missing value for required field `DynamoDbItemEncryptorConfig`"
121+
);
106122
}
107123
return new DynamoDbItemEncryptor(this);
108124
}

0 commit comments

Comments
 (0)