m

Lucas McDonald · Lucas McDonald · commit 9c9446c0cd47 · 2025-04-17T12:05:49.000-07:00
diff --git a/TestVectors/runtimes/java/src/main/java/CreateWrappedItemEncryptor_Compile/__default.java b/TestVectors/runtimes/java/src/main/java/CreateWrappedItemEncryptor_Compile/__default.java
@@ -12,7 +12,7 @@
 public class __default {
 
   public static Result<IDynamoDbItemEncryptorClient, Error> CreateWrappedItemEncryptor(
-    software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.DynamoDbItemEncryptorConfig config
+    software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types.DynamoDbItemEncryptorConfig config
   ) {
     try {
       final DynamoDbItemEncryptorConfig nativeConfig =
diff --git a/TestVectors/runtimes/net/Extern/CreateWrappedItemEncryptor.cs b/TestVectors/runtimes/net/Extern/CreateWrappedItemEncryptor.cs
@@ -1,5 +1,5 @@
 using AWS.Cryptography.DbEncryptionSDK.DynamoDb.ItemEncryptor;
-using AWS.Cryptography.DbEncryptionSDK.Dynamodb;
+using AWS.Cryptography.DbEncryptionSDK.DynamoDb;
 using software.amazon.cryptography.services.dynamodb.internaldafny;
 using software.amazon.cryptography.services.dynamodb.internaldafny.types;
 using Wrappers_Compile;
@@ -9,8 +9,8 @@ namespace CreateWrappedItemEncryptor_Compile
 {
     public partial class __default
     {
-        public static _IResult<IItemEncryptor, _IError> CreateWrappedItemEncryptor(
-            software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IDynamoDbItemEncryptorConfig config)
+        public static _IResult<IDynamoDbItemEncryptorClient, _IError> CreateWrappedItemEncryptor(
+            software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types._IDynamoDbItemEncryptorConfig config)
         {
             var nativeConfig = AWS.Cryptography.DbEncryptionSDK.DynamoDb.Transforms.TypeConversion
                 .FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S30_DynamoDbItemEncryptorConfig(

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`using AWS.Cryptography.DbEncryptionSDK.DynamoDb.ItemEncryptor;`
`2`		`-using AWS.Cryptography.DbEncryptionSDK.Dynamodb;`
	`2`	`+using AWS.Cryptography.DbEncryptionSDK.DynamoDb;`
`3`	`3`	`using software.amazon.cryptography.services.dynamodb.internaldafny;`
`4`	`4`	`using software.amazon.cryptography.services.dynamodb.internaldafny.types;`
`5`	`5`	`using Wrappers_Compile;`
`@@ -9,8 +9,8 @@ namespace CreateWrappedItemEncryptor_Compile`
`9`	`9`	`{`
`10`	`10`	`public partial class __default`
`11`	`11`	`{`
`12`		`- public static _IResult<IItemEncryptor, _IError> CreateWrappedItemEncryptor(`
`13`		`- software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IDynamoDbItemEncryptorConfig config)`
	`12`	`+ public static _IResult<IDynamoDbItemEncryptorClient, _IError> CreateWrappedItemEncryptor(`
	`13`	`+ software.amazon.cryptography.dbencryptionsdk.dynamodb.itemencryptor.internaldafny.types._IDynamoDbItemEncryptorConfig config)`
`14`	`14`	`{`
`15`	`15`	`var nativeConfig = AWS.Cryptography.DbEncryptionSDK.DynamoDb.Transforms.TypeConversion`
`16`	`16`	`.FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S30_DynamoDbItemEncryptorConfig(`