Skip to content

Commit 1f9ff95

Browse files
robin-awsrobin-aws
authored
chore: Account for smithy dafny conversion library renaming (#194)
1 parent d561310 commit 1f9ff95

File tree

11 files changed

+141
-139
lines changed

11 files changed

+141
-139
lines changed

‎DynamoDbEncryption/runtimes/java/build.gradle.kts

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -65,7 +65,7 @@ val dynamodb by configurations.creating
6565

6666
dependencies {
6767
implementation("org.dafny:DafnyRuntime:4.1.0")
68-
implementation("software.amazon.dafny:conversion:1.0-SNAPSHOT")
68+
implementation("software.amazon.smithy.dafny:conversion:1.0-SNAPSHOT")
6969
implementation("software.amazon.cryptography:StandardLibrary:1.0-SNAPSHOT")
7070
implementation("software.amazon.cryptography:AwsCryptographyPrimitives:1.0-SNAPSHOT")
7171
implementation("software.amazon.cryptography:AwsCryptographicMaterialProviders:1.0-SNAPSHOT")

‎DynamoDbEncryption/runtimes/java/src/main/java/software/amazon/cryptography/dbencryptionsdk/dynamodb/itemencryptor/internal/InternalLegacyConfig.java

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -54,13 +54,15 @@ private InternalLegacyConfig(
5454
// have been customized by the customer.
5555
this.materialDescriptionFieldName = software
5656
.amazon
57+
.smithy
5758
.dafny
5859
.conversion
5960
.ToDafny
6061
.Simple
6162
.CharacterSequence(encryptor.getMaterialDescriptionFieldName());
6263
this.signatureFieldName = software
6364
.amazon
65+
.smithy
6466
.dafny
6567
.conversion
6668
.ToDafny
@@ -238,7 +240,7 @@ public static Result<Option<InternalLegacyConfig>, Error> Build(
238240
// Everything below this point is an implementation detail
239241

240242
public static <T> Result<T, Error>createFailure(String message) {
241-
final DafnySequence<Character> dafnyMessage = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(message);
243+
final DafnySequence<Character> dafnyMessage = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(message);
242244
final Error dafnyEx = Error.create_DynamoDbItemEncryptorException(dafnyMessage);
243245
return Result.create_Failure(dafnyEx);
244246
}
@@ -252,12 +254,12 @@ public static boolean isDynamoDBEncryptor(
252254

253255
public static String ToNativeString(DafnySequence< ? extends Character> s)
254256
{
255-
return software.amazon.dafny.conversion.ToNative.Simple.String(s);
257+
return software.amazon.smithy.dafny.conversion.ToNative.Simple.String(s);
256258
}
257259

258260
public static DafnySequence<Character> ToDafnyString(String s)
259261
{
260-
return software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(s);
262+
return software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(s);
261263
}
262264

263265
public static Result<EncryptionContext, Error> legacyEncryptionContext(

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

Lines changed: 38 additions & 38 deletions
Large diffs are not rendered by default.

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

Lines changed: 38 additions & 38 deletions
Large diffs are not rendered by default.

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ public static Error Error(OpaqueError nativeValue) {
5050
}
5151

5252
public static Error Error(CollectionOfErrors nativeValue) {
53-
DafnySequence<? extends Error> list = software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
53+
DafnySequence<? extends Error> list = software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
5454
nativeValue.list(),
5555
ToDafny::Error,
5656
Error._typeDescriptor());
@@ -78,12 +78,12 @@ public static DecryptItemOutput DecryptItemOutput(
7878
public static DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig(
7979
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.model.DynamoDbItemEncryptorConfig nativeValue) {
8080
DafnySequence<? extends Character> logicalTableName;
81-
logicalTableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.logicalTableName());
81+
logicalTableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.logicalTableName());
8282
DafnySequence<? extends Character> partitionKeyName;
83-
partitionKeyName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.partitionKeyName());
83+
partitionKeyName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.partitionKeyName());
8484
Option<DafnySequence<? extends Character>> sortKeyName;
8585
sortKeyName = Objects.nonNull(nativeValue.sortKeyName()) ?
86-
Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.sortKeyName()))
86+
Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.sortKeyName()))
8787
: Option.create_None();
8888
DafnyMap<? extends DafnySequence<? extends Character>, ? extends CryptoAction> attributeActions;
8989
attributeActions = software.amazon.cryptography.dbencryptionsdk.dynamodb.ToDafny.AttributeActions(nativeValue.attributeActions());
@@ -93,7 +93,7 @@ public static DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig(
9393
: Option.create_None();
9494
Option<DafnySequence<? extends Character>> allowedUnauthenticatedAttributePrefix;
9595
allowedUnauthenticatedAttributePrefix = Objects.nonNull(nativeValue.allowedUnauthenticatedAttributePrefix()) ?
96-
Option.create_Some(software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.allowedUnauthenticatedAttributePrefix()))
96+
Option.create_Some(software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.allowedUnauthenticatedAttributePrefix()))
9797
: Option.create_None();
9898
Option<DBEAlgorithmSuiteId> algorithmSuiteId;
9999
algorithmSuiteId = Objects.nonNull(nativeValue.algorithmSuiteId()) ?
@@ -151,7 +151,7 @@ public static ParsedHeader ParsedHeader(
151151

152152
public static Error Error(DynamoDbItemEncryptorException nativeValue) {
153153
DafnySequence<? extends Character> message;
154-
message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message());
154+
message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message());
155155
return new Error_DynamoDbItemEncryptorException(message);
156156
}
157157

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ public static OpaqueError Error(Error_Opaque dafnyValue) {
2929
public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) {
3030
CollectionOfErrors.Builder nativeBuilder = CollectionOfErrors.builder();
3131
nativeBuilder.list(
32-
software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList(
32+
software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList(
3333
dafnyValue.dtor_list(),
3434
ToNative::Error));
3535
return nativeBuilder.build();
@@ -38,7 +38,7 @@ public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) {
3838
public static DynamoDbItemEncryptorException Error(
3939
Error_DynamoDbItemEncryptorException dafnyValue) {
4040
DynamoDbItemEncryptorException.Builder nativeBuilder = DynamoDbItemEncryptorException.builder();
41-
nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message()));
41+
nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message()));
4242
return nativeBuilder.build();
4343
}
4444

@@ -89,17 +89,17 @@ public static DecryptItemOutput DecryptItemOutput(
8989
public static DynamoDbItemEncryptorConfig DynamoDbItemEncryptorConfig(
9090
software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DynamoDbItemEncryptorConfig dafnyValue) {
9191
DynamoDbItemEncryptorConfig.Builder nativeBuilder = DynamoDbItemEncryptorConfig.builder();
92-
nativeBuilder.logicalTableName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_logicalTableName()));
93-
nativeBuilder.partitionKeyName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_partitionKeyName()));
92+
nativeBuilder.logicalTableName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_logicalTableName()));
93+
nativeBuilder.partitionKeyName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_partitionKeyName()));
9494
if (dafnyValue.dtor_sortKeyName().is_Some()) {
95-
nativeBuilder.sortKeyName(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_sortKeyName().dtor_value()));
95+
nativeBuilder.sortKeyName(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_sortKeyName().dtor_value()));
9696
}
9797
nativeBuilder.attributeActions(software.amazon.cryptography.dbencryptionsdk.dynamodb.ToNative.AttributeActions(dafnyValue.dtor_attributeActions()));
9898
if (dafnyValue.dtor_allowedUnauthenticatedAttributes().is_Some()) {
9999
nativeBuilder.allowedUnauthenticatedAttributes(software.amazon.cryptography.services.dynamodb.internaldafny.ToNative.AttributeNameList(dafnyValue.dtor_allowedUnauthenticatedAttributes().dtor_value()));
100100
}
101101
if (dafnyValue.dtor_allowedUnauthenticatedAttributePrefix().is_Some()) {
102-
nativeBuilder.allowedUnauthenticatedAttributePrefix(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_allowedUnauthenticatedAttributePrefix().dtor_value()));
102+
nativeBuilder.allowedUnauthenticatedAttributePrefix(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_allowedUnauthenticatedAttributePrefix().dtor_value()));
103103
}
104104
if (dafnyValue.dtor_algorithmSuiteId().is_Some()) {
105105
nativeBuilder.algorithmSuiteId(software.amazon.cryptography.materialproviders.ToNative.DBEAlgorithmSuiteId(dafnyValue.dtor_algorithmSuiteId().dtor_value()));

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -128,7 +128,7 @@ public static Error Error(OpaqueError nativeValue) {
128128
}
129129

130130
public static Error Error(CollectionOfErrors nativeValue) {
131-
DafnySequence<? extends Error> list = software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
131+
DafnySequence<? extends Error> list = software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
132132
nativeValue.list(),
133133
ToDafny::Error,
134134
Error._typeDescriptor());
@@ -617,7 +617,7 @@ public static UpdateTableOutputTransformOutput UpdateTableOutputTransformOutput(
617617

618618
public static Error Error(DynamoDbEncryptionTransformsException nativeValue) {
619619
DafnySequence<? extends Character> message;
620-
message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message());
620+
message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message());
621621
return new Error_DynamoDbEncryptionTransformsException(message);
622622
}
623623

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -87,7 +87,7 @@ public static OpaqueError Error(Error_Opaque dafnyValue) {
8787
public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) {
8888
CollectionOfErrors.Builder nativeBuilder = CollectionOfErrors.builder();
8989
nativeBuilder.list(
90-
software.amazon.dafny.conversion.ToNative.Aggregate.GenericToList(
90+
software.amazon.smithy.dafny.conversion.ToNative.Aggregate.GenericToList(
9191
dafnyValue.dtor_list(),
9292
ToNative::Error));
9393
return nativeBuilder.build();
@@ -96,7 +96,7 @@ public static CollectionOfErrors Error(Error_CollectionOfErrors dafnyValue) {
9696
public static DynamoDbEncryptionTransformsException Error(
9797
Error_DynamoDbEncryptionTransformsException dafnyValue) {
9898
DynamoDbEncryptionTransformsException.Builder nativeBuilder = DynamoDbEncryptionTransformsException.builder();
99-
nativeBuilder.message(software.amazon.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message()));
99+
nativeBuilder.message(software.amazon.smithy.dafny.conversion.ToNative.Simple.String(dafnyValue.dtor_message()));
100100
return nativeBuilder.build();
101101
}
102102

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

Lines changed: 21 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -58,7 +58,7 @@ public static Error Error(OpaqueError nativeValue) {
5858
}
5959

6060
public static Error Error(CollectionOfErrors nativeValue) {
61-
DafnySequence<? extends Error> list = software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
61+
DafnySequence<? extends Error> list = software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
6262
nativeValue.list(),
6363
ToDafny::Error,
6464
Error._typeDescriptor());
@@ -90,7 +90,7 @@ public static CryptoSchema CryptoSchema(
9090
public static DecryptStructureInput DecryptStructureInput(
9191
software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.DecryptStructureInput nativeValue) {
9292
DafnySequence<? extends Character> tableName;
93-
tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName());
93+
tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName());
9494
StructuredData encryptedStructure;
9595
encryptedStructure = ToDafny.StructuredData(nativeValue.encryptedStructure());
9696
AuthenticateSchema authenticateSchema;
@@ -116,7 +116,7 @@ public static DecryptStructureOutput DecryptStructureOutput(
116116
public static EncryptStructureInput EncryptStructureInput(
117117
software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.EncryptStructureInput nativeValue) {
118118
DafnySequence<? extends Character> tableName;
119-
tableName = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName());
119+
tableName = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.tableName());
120120
StructuredData plaintextStructure;
121121
plaintextStructure = ToDafny.StructuredData(nativeValue.plaintextStructure());
122122
CryptoSchema cryptoSchema;
@@ -170,9 +170,9 @@ public static StructuredData StructuredData(
170170
public static StructuredDataTerminal StructuredDataTerminal(
171171
software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.StructuredDataTerminal nativeValue) {
172172
DafnySequence<? extends Byte> value;
173-
value = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.value());
173+
value = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.value());
174174
DafnySequence<? extends Byte> typeId;
175-
typeId = software.amazon.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.typeId());
175+
typeId = software.amazon.smithy.dafny.conversion.ToDafny.Simple.ByteSequence(nativeValue.typeId());
176176
return new StructuredDataTerminal(value, typeId);
177177
}
178178

@@ -183,7 +183,7 @@ public static StructuredEncryptionConfig StructuredEncryptionConfig(
183183

184184
public static Error Error(StructuredEncryptionException nativeValue) {
185185
DafnySequence<? extends Character> message;
186-
message = software.amazon.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message());
186+
message = software.amazon.smithy.dafny.conversion.ToDafny.Simple.CharacterSequence(nativeValue.message());
187187
return new Error_StructuredEncryptionException(message);
188188
}
189189

@@ -264,73 +264,73 @@ public static StructuredDataContent StructuredDataContent(
264264

265265
public static DafnySequence<? extends AuthenticateSchema> AuthenticateSchemaList(
266266
List<software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.AuthenticateSchema> nativeValue) {
267-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
267+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
268268
nativeValue,
269269
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::AuthenticateSchema,
270270
AuthenticateSchema._typeDescriptor());
271271
}
272272

273273
public static DafnySequence<? extends CryptoSchema> CryptoSchemaList(
274274
List<software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.CryptoSchema> nativeValue) {
275-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
275+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
276276
nativeValue,
277277
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::CryptoSchema,
278278
CryptoSchema._typeDescriptor());
279279
}
280280

281281
public static DafnySequence<? extends StructuredData> StructuredDataList(
282282
List<software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.StructuredData> nativeValue) {
283-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
283+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToSequence(
284284
nativeValue,
285285
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::StructuredData,
286286
StructuredData._typeDescriptor());
287287
}
288288

289289
public static DafnyMap<? extends DafnySequence<? extends Character>, ? extends AuthenticateAction> AuthenticateSchemaAttributes(
290290
Map<String, software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.AuthenticateAction> nativeValue) {
291-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap(
291+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap(
292292
nativeValue,
293-
software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence,
293+
software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence,
294294
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::AuthenticateAction);
295295
}
296296

297297
public static DafnyMap<? extends DafnySequence<? extends Character>, ? extends AuthenticateSchema> AuthenticateSchemaMap(
298298
Map<String, software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.AuthenticateSchema> nativeValue) {
299-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap(
299+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap(
300300
nativeValue,
301-
software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence,
301+
software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence,
302302
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::AuthenticateSchema);
303303
}
304304

305305
public static DafnyMap<? extends DafnySequence<? extends Character>, ? extends AuthenticateAction> CryptoSchemaAttributes(
306306
Map<String, software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.AuthenticateAction> nativeValue) {
307-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap(
307+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap(
308308
nativeValue,
309-
software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence,
309+
software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence,
310310
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::AuthenticateAction);
311311
}
312312

313313
public static DafnyMap<? extends DafnySequence<? extends Character>, ? extends CryptoSchema> CryptoSchemaMap(
314314
Map<String, software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.CryptoSchema> nativeValue) {
315-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap(
315+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap(
316316
nativeValue,
317-
software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence,
317+
software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence,
318318
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::CryptoSchema);
319319
}
320320

321321
public static DafnyMap<? extends DafnySequence<? extends Character>, ? extends StructuredDataTerminal> StructuredDataAttributes(
322322
Map<String, software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.StructuredDataTerminal> nativeValue) {
323-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap(
323+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap(
324324
nativeValue,
325-
software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence,
325+
software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence,
326326
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::StructuredDataTerminal);
327327
}
328328

329329
public static DafnyMap<? extends DafnySequence<? extends Character>, ? extends StructuredData> StructuredDataMap(
330330
Map<String, software.amazon.cryptography.dbencryptionsdk.structuredencryption.model.StructuredData> nativeValue) {
331-
return software.amazon.dafny.conversion.ToDafny.Aggregate.GenericToMap(
331+
return software.amazon.smithy.dafny.conversion.ToDafny.Aggregate.GenericToMap(
332332
nativeValue,
333-
software.amazon.dafny.conversion.ToDafny.Simple::CharacterSequence,
333+
software.amazon.smithy.dafny.conversion.ToDafny.Simple::CharacterSequence,
334334
software.amazon.cryptography.dbencryptionsdk.structuredencryption.ToDafny::StructuredData);
335335
}
336336

0 commit comments

Comments
 (0)