Skip to content

Commit d72193e

Browse files
rishav-karanjitrishav-karanjit
committed
Add smithy generated java files
1 parent 7de56f3 commit d72193e

File tree

7 files changed

+477
-0
lines changed

7 files changed

+477
-0
lines changed

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

+12
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,8 @@
1212
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.CreateDynamoDbEncryptionBranchKeyIdSupplierInput;
1313
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput;
1414
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.DynamoDbEncryptionConfig;
15+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionInput;
16+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionOutput;
1517

1618
public class DynamoDbEncryption {
1719
private final IDynamoDbEncryptionClient _impl;
@@ -50,6 +52,16 @@ public CreateDynamoDbEncryptionBranchKeyIdSupplierOutput CreateDynamoDbEncryptio
5052
return ToNative.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(result.dtor_value());
5153
}
5254

55+
public GetEncryptedDataKeyDescriptionOutput GetEncryptedDataKeyDescription(
56+
GetEncryptedDataKeyDescriptionInput input) {
57+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionInput dafnyValue = ToDafny.GetEncryptedDataKeyDescriptionInput(input);
58+
Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionOutput, Error> result = this._impl.GetEncryptedDataKeyDescription(dafnyValue);
59+
if (result.is_Failure()) {
60+
throw ToNative.Error(result.dtor_error());
61+
}
62+
return ToNative.GetEncryptedDataKeyDescriptionOutput(result.dtor_value());
63+
}
64+
5365
protected IDynamoDbEncryptionClient impl() {
5466
return this._impl;
5567
}

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

+56
Original file line numberDiff line numberDiff line change
@@ -27,11 +27,15 @@
2727
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.DynamoDbEncryptionConfig;
2828
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.DynamoDbTableEncryptionConfig;
2929
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.DynamoDbTablesEncryptionConfig;
30+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedDataKeyDescriptionOutput;
3031
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedPart;
3132
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error;
3233
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_DynamoDbEncryptionException;
3334
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetBranchKeyIdFromDdbKeyInput;
3435
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetBranchKeyIdFromDdbKeyOutput;
36+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionInput;
37+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionOutput;
38+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionUnion;
3539
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetPrefix;
3640
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetSegment;
3741
import software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetSegments;
@@ -238,6 +242,25 @@ public static DynamoDbTablesEncryptionConfig DynamoDbTablesEncryptionConfig(
238242
return new DynamoDbTablesEncryptionConfig(tableEncryptionConfigs);
239243
}
240244

245+
public static EncryptedDataKeyDescriptionOutput EncryptedDataKeyDescriptionOutput(
246+
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.EncryptedDataKeyDescriptionOutput nativeValue) {
247+
DafnySequence<? extends Character> keyProviderId;
248+
keyProviderId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyProviderId());
249+
Option<DafnySequence<? extends Character>> keyProviderInfo;
250+
keyProviderInfo = Objects.nonNull(nativeValue.keyProviderInfo()) ?
251+
Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.keyProviderInfo()))
252+
: Option.create_None();
253+
Option<DafnySequence<? extends Character>> branchKeyId;
254+
branchKeyId = Objects.nonNull(nativeValue.branchKeyId()) ?
255+
Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyId()))
256+
: Option.create_None();
257+
Option<DafnySequence<? extends Character>> branchKeyVersion;
258+
branchKeyVersion = Objects.nonNull(nativeValue.branchKeyVersion()) ?
259+
Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.branchKeyVersion()))
260+
: Option.create_None();
261+
return new EncryptedDataKeyDescriptionOutput(keyProviderId, keyProviderInfo, branchKeyId, branchKeyVersion);
262+
}
263+
241264
public static EncryptedPart EncryptedPart(
242265
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.EncryptedPart nativeValue) {
243266
DafnySequence<? extends Character> name;
@@ -261,6 +284,20 @@ public static GetBranchKeyIdFromDdbKeyOutput GetBranchKeyIdFromDdbKeyOutput(
261284
return new GetBranchKeyIdFromDdbKeyOutput(branchKeyId);
262285
}
263286

287+
public static GetEncryptedDataKeyDescriptionInput GetEncryptedDataKeyDescriptionInput(
288+
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionInput nativeValue) {
289+
GetEncryptedDataKeyDescriptionUnion input;
290+
input = ToDafny.GetEncryptedDataKeyDescriptionUnion(nativeValue.input());
291+
return new GetEncryptedDataKeyDescriptionInput(input);
292+
}
293+
294+
public static GetEncryptedDataKeyDescriptionOutput GetEncryptedDataKeyDescriptionOutput(
295+
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionOutput nativeValue) {
296+
DafnySequence<? extends EncryptedDataKeyDescriptionOutput> encryptedDataKeyDescriptionOutput;
297+
encryptedDataKeyDescriptionOutput = ToDafny.EncryptedDataKeyDescriptionList(nativeValue.EncryptedDataKeyDescriptionOutput());
298+
return new GetEncryptedDataKeyDescriptionOutput(encryptedDataKeyDescriptionOutput);
299+
}
300+
264301
public static GetPrefix GetPrefix(
265302
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetPrefix nativeValue) {
266303
Integer length;
@@ -506,6 +543,17 @@ public static BeaconStyle BeaconStyle(
506543
throw new IllegalArgumentException("Cannot convert " + nativeValue + " to software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.BeaconStyle.");
507544
}
508545

546+
public static GetEncryptedDataKeyDescriptionUnion GetEncryptedDataKeyDescriptionUnion(
547+
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionUnion nativeValue) {
548+
if (Objects.nonNull(nativeValue.header())) {
549+
return GetEncryptedDataKeyDescriptionUnion.create_header(software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.header()));
550+
}
551+
if (Objects.nonNull(nativeValue.plaintextItem())) {
552+
return GetEncryptedDataKeyDescriptionUnion.create_plaintextItem(software.amazon.cryptography.services.dynamodb.internaldafny.ToDafny.AttributeMap(nativeValue.plaintextItem()));
553+
}
554+
throw new IllegalArgumentException("Cannot convert " + nativeValue + " to software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionUnion.");
555+
}
556+
509557
public static VirtualTransform VirtualTransform(
510558
software.amazon.cryptography.dbencryptionsdk.dynamodb.model.VirtualTransform nativeValue) {
511559
if (Objects.nonNull(nativeValue.upper())) {
@@ -567,6 +615,14 @@ public static DafnySequence<? extends ConstructorPart> ConstructorPartList(
567615
ConstructorPart._typeDescriptor());
568616
}
569617

618+
public static DafnySequence<? extends EncryptedDataKeyDescriptionOutput> EncryptedDataKeyDescriptionList(
619+
List<software.amazon.cryptography.dbencryptionsdk.dynamodb.model.EncryptedDataKeyDescriptionOutput> nativeValue) {
620+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
621+
nativeValue,
622+
software.amazon.cryptography.dbencryptionsdk.dynamodb.ToDafny::EncryptedDataKeyDescriptionOutput,
623+
EncryptedDataKeyDescriptionOutput._typeDescriptor());
624+
}
625+
570626
public static DafnySequence<? extends EncryptedPart> EncryptedPartsList(
571627
List<software.amazon.cryptography.dbencryptionsdk.dynamodb.model.EncryptedPart> nativeValue) {
572628
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(

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

+53
Original file line numberDiff line numberDiff line change
@@ -30,9 +30,13 @@
3030
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.DynamoDbEncryptionException;
3131
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.DynamoDbTableEncryptionConfig;
3232
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.DynamoDbTablesEncryptionConfig;
33+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.EncryptedDataKeyDescriptionOutput;
3334
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.EncryptedPart;
3435
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetBranchKeyIdFromDdbKeyInput;
3536
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetBranchKeyIdFromDdbKeyOutput;
37+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionInput;
38+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionOutput;
39+
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetEncryptedDataKeyDescriptionUnion;
3640
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetPrefix;
3741
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetSegment;
3842
import software.amazon.cryptography.dbencryptionsdk.dynamodb.model.GetSegments;
@@ -231,6 +235,22 @@ public static DynamoDbTablesEncryptionConfig DynamoDbTablesEncryptionConfig(
231235
return nativeBuilder.build();
232236
}
233237

238+
public static EncryptedDataKeyDescriptionOutput EncryptedDataKeyDescriptionOutput(
239+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedDataKeyDescriptionOutput dafnyValue) {
240+
EncryptedDataKeyDescriptionOutput.Builder nativeBuilder = EncryptedDataKeyDescriptionOutput.builder();
241+
nativeBuilder.keyProviderId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyProviderId()));
242+
if (dafnyValue.dtor_keyProviderInfo().is_Some()) {
243+
nativeBuilder.keyProviderInfo(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_keyProviderInfo().dtor_value()));
244+
}
245+
if (dafnyValue.dtor_branchKeyId().is_Some()) {
246+
nativeBuilder.branchKeyId(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyId().dtor_value()));
247+
}
248+
if (dafnyValue.dtor_branchKeyVersion().is_Some()) {
249+
nativeBuilder.branchKeyVersion(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_branchKeyVersion().dtor_value()));
250+
}
251+
return nativeBuilder.build();
252+
}
253+
234254
public static EncryptedPart EncryptedPart(
235255
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedPart dafnyValue) {
236256
EncryptedPart.Builder nativeBuilder = EncryptedPart.builder();
@@ -253,6 +273,20 @@ public static GetBranchKeyIdFromDdbKeyOutput GetBranchKeyIdFromDdbKeyOutput(
253273
return nativeBuilder.build();
254274
}
255275

276+
public static GetEncryptedDataKeyDescriptionInput GetEncryptedDataKeyDescriptionInput(
277+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionInput dafnyValue) {
278+
GetEncryptedDataKeyDescriptionInput.Builder nativeBuilder = GetEncryptedDataKeyDescriptionInput.builder();
279+
nativeBuilder.input(ToNative.GetEncryptedDataKeyDescriptionUnion(dafnyValue.dtor_input()));
280+
return nativeBuilder.build();
281+
}
282+
283+
public static GetEncryptedDataKeyDescriptionOutput GetEncryptedDataKeyDescriptionOutput(
284+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionOutput dafnyValue) {
285+
GetEncryptedDataKeyDescriptionOutput.Builder nativeBuilder = GetEncryptedDataKeyDescriptionOutput.builder();
286+
nativeBuilder.EncryptedDataKeyDescriptionOutput(ToNative.EncryptedDataKeyDescriptionList(dafnyValue.dtor_EncryptedDataKeyDescriptionOutput()));
287+
return nativeBuilder.build();
288+
}
289+
256290
public static GetPrefix GetPrefix(
257291
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetPrefix dafnyValue) {
258292
GetPrefix.Builder nativeBuilder = GetPrefix.builder();
@@ -471,6 +505,18 @@ public static BeaconStyle BeaconStyle(
471505
return nativeBuilder.build();
472506
}
473507

508+
public static GetEncryptedDataKeyDescriptionUnion GetEncryptedDataKeyDescriptionUnion(
509+
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.GetEncryptedDataKeyDescriptionUnion dafnyValue) {
510+
GetEncryptedDataKeyDescriptionUnion.Builder nativeBuilder = GetEncryptedDataKeyDescriptionUnion.builder();
511+
if (dafnyValue.is_header()) {
512+
nativeBuilder.header(software.amazon.smithy.dafny.conversion.ToNative.Simple.ByteBuffer(dafnyValue.dtor_header()));
513+
}
514+
if (dafnyValue.is_plaintextItem()) {
515+
nativeBuilder.plaintextItem(software.amazon.cryptography.services.dynamodb.internaldafny.ToNative.AttributeMap(dafnyValue.dtor_plaintextItem()));
516+
}
517+
return nativeBuilder.build();
518+
}
519+
474520
public static VirtualTransform VirtualTransform(
475521
software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.VirtualTransform dafnyValue) {
476522
VirtualTransform.Builder nativeBuilder = VirtualTransform.builder();
@@ -529,6 +575,13 @@ public static List<ConstructorPart> ConstructorPartList(
529575
software.amazon.cryptography.dbencryptionsdk.dynamodb.ToNative::ConstructorPart);
530576
}
531577

578+
public static List<EncryptedDataKeyDescriptionOutput> EncryptedDataKeyDescriptionList(
579+
DafnySequence<? extends software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedDataKeyDescriptionOutput> dafnyValue) {
580+
return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList(
581+
dafnyValue,
582+
software.amazon.cryptography.dbencryptionsdk.dynamodb.ToNative::EncryptedDataKeyDescriptionOutput);
583+
}
584+
532585
public static List<EncryptedPart> EncryptedPartsList(
533586
DafnySequence<? extends software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.EncryptedPart> dafnyValue) {
534587
return software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList(

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

+130
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,130 @@
1+
// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
2+
// SPDX-License-Identifier: Apache-2.0
3+
// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
4+
package software.amazon.cryptography.dbencryptionsdk.dynamodb.model;
5+
6+
import java.util.Objects;
7+
8+
public class EncryptedDataKeyDescriptionOutput {
9+
private final String keyProviderId;
10+
11+
private final String keyProviderInfo;
12+
13+
private final String branchKeyId;
14+
15+
private final String branchKeyVersion;
16+
17+
protected EncryptedDataKeyDescriptionOutput(BuilderImpl builder) {
18+
this.keyProviderId = builder.keyProviderId();
19+
this.keyProviderInfo = builder.keyProviderInfo();
20+
this.branchKeyId = builder.branchKeyId();
21+
this.branchKeyVersion = builder.branchKeyVersion();
22+
}
23+
24+
public String keyProviderId() {
25+
return this.keyProviderId;
26+
}
27+
28+
public String keyProviderInfo() {
29+
return this.keyProviderInfo;
30+
}
31+
32+
public String branchKeyId() {
33+
return this.branchKeyId;
34+
}
35+
36+
public String branchKeyVersion() {
37+
return this.branchKeyVersion;
38+
}
39+
40+
public Builder toBuilder() {
41+
return new BuilderImpl(this);
42+
}
43+
44+
public static Builder builder() {
45+
return new BuilderImpl();
46+
}
47+
48+
public interface Builder {
49+
Builder keyProviderId(String keyProviderId);
50+
51+
String keyProviderId();
52+
53+
Builder keyProviderInfo(String keyProviderInfo);
54+
55+
String keyProviderInfo();
56+
57+
Builder branchKeyId(String branchKeyId);
58+
59+
String branchKeyId();
60+
61+
Builder branchKeyVersion(String branchKeyVersion);
62+
63+
String branchKeyVersion();
64+
65+
EncryptedDataKeyDescriptionOutput build();
66+
}
67+
68+
static class BuilderImpl implements Builder {
69+
protected String keyProviderId;
70+
71+
protected String keyProviderInfo;
72+
73+
protected String branchKeyId;
74+
75+
protected String branchKeyVersion;
76+
77+
protected BuilderImpl() {
78+
}
79+
80+
protected BuilderImpl(EncryptedDataKeyDescriptionOutput model) {
81+
this.keyProviderId = model.keyProviderId();
82+
this.keyProviderInfo = model.keyProviderInfo();
83+
this.branchKeyId = model.branchKeyId();
84+
this.branchKeyVersion = model.branchKeyVersion();
85+
}
86+
87+
public Builder keyProviderId(String keyProviderId) {
88+
this.keyProviderId = keyProviderId;
89+
return this;
90+
}
91+
92+
public String keyProviderId() {
93+
return this.keyProviderId;
94+
}
95+
96+
public Builder keyProviderInfo(String keyProviderInfo) {
97+
this.keyProviderInfo = keyProviderInfo;
98+
return this;
99+
}
100+
101+
public String keyProviderInfo() {
102+
return this.keyProviderInfo;
103+
}
104+
105+
public Builder branchKeyId(String branchKeyId) {
106+
this.branchKeyId = branchKeyId;
107+
return this;
108+
}
109+
110+
public String branchKeyId() {
111+
return this.branchKeyId;
112+
}
113+
114+
public Builder branchKeyVersion(String branchKeyVersion) {
115+
this.branchKeyVersion = branchKeyVersion;
116+
return this;
117+
}
118+
119+
public String branchKeyVersion() {
120+
return this.branchKeyVersion;
121+
}
122+
123+
public EncryptedDataKeyDescriptionOutput build() {
124+
if (Objects.isNull(this.keyProviderId())) {
125+
throw new IllegalArgumentException("Missing value for required field `keyProviderId`");
126+
}
127+
return new EncryptedDataKeyDescriptionOutput(this);
128+
}
129+
}
130+
}

0 commit comments

Comments
 (0)