From f1b0945353f4e01157a7114c0b50112043b8a1d4 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 3 Jun 2025 15:06:34 -0700 Subject: [PATCH 1/5] auto commit --- .../dbesdkmiddleware/middleware.go | 200 +++++++++--------- 1 file changed, 100 insertions(+), 100 deletions(-) diff --git a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go index e3f7b0955..92d0b7f96 100644 --- a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go +++ b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go @@ -100,46 +100,46 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - case *dynamodb.BatchExecuteStatementInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput - case *dynamodb.DeleteItemInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput - case *dynamodb.ExecuteStatementInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput - case *dynamodb.ExecuteTransactionInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput + // case *dynamodb.BatchExecuteStatementInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput + // case *dynamodb.DeleteItemInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput + // case *dynamodb.ExecuteStatementInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput + // case *dynamodb.ExecuteTransactionInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput case *dynamodb.QueryInput: ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 @@ -180,16 +180,16 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - case *dynamodb.UpdateItemInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput + // case *dynamodb.UpdateItemInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput } return ctx, nil } @@ -255,46 +255,46 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - case *dynamodb.BatchExecuteStatementOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput - case *dynamodb.DeleteItemOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput - case *dynamodb.ExecuteStatementOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput - case *dynamodb.ExecuteTransactionOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput + // case *dynamodb.BatchExecuteStatementOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput + // case *dynamodb.DeleteItemOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput + // case *dynamodb.ExecuteStatementOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput + // case *dynamodb.ExecuteTransactionOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput case *dynamodb.QueryOutput: // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 transformedRequest, err := m.client.QueryOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.QueryOutputTransformInput{ @@ -335,16 +335,16 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - case *dynamodb.UpdateItemOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput + // case *dynamodb.UpdateItemOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput } return nil } From 907f54035e4b86df34d5d58c356ff7626b25a78f Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 3 Jun 2025 15:08:43 -0700 Subject: [PATCH 2/5] Revert "auto commit" This reverts commit f1b0945353f4e01157a7114c0b50112043b8a1d4. --- .../dbesdkmiddleware/middleware.go | 200 +++++++++--------- 1 file changed, 100 insertions(+), 100 deletions(-) diff --git a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go index 92d0b7f96..e3f7b0955 100644 --- a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go +++ b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go @@ -100,46 +100,46 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - // case *dynamodb.BatchExecuteStatementInput: - // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{ - // SdkInput: *v, - // }) - // if err != nil { - // return nil, err - // } - // *v = transformedRequest.TransformedInput - // case *dynamodb.DeleteItemInput: - // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{ - // SdkInput: *v, - // }) - // if err != nil { - // return nil, err - // } - // *v = transformedRequest.TransformedInput - // case *dynamodb.ExecuteStatementInput: - // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{ - // SdkInput: *v, - // }) - // if err != nil { - // return nil, err - // } - // *v = transformedRequest.TransformedInput - // case *dynamodb.ExecuteTransactionInput: - // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{ - // SdkInput: *v, - // }) - // if err != nil { - // return nil, err - // } - // *v = transformedRequest.TransformedInput + case *dynamodb.BatchExecuteStatementInput: + ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{ + SdkInput: *v, + }) + if err != nil { + return nil, err + } + *v = transformedRequest.TransformedInput + case *dynamodb.DeleteItemInput: + ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{ + SdkInput: *v, + }) + if err != nil { + return nil, err + } + *v = transformedRequest.TransformedInput + case *dynamodb.ExecuteStatementInput: + ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{ + SdkInput: *v, + }) + if err != nil { + return nil, err + } + *v = transformedRequest.TransformedInput + case *dynamodb.ExecuteTransactionInput: + ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{ + SdkInput: *v, + }) + if err != nil { + return nil, err + } + *v = transformedRequest.TransformedInput case *dynamodb.QueryInput: ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 @@ -180,16 +180,16 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - // case *dynamodb.UpdateItemInput: - // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ - // SdkInput: *v, - // }) - // if err != nil { - // return nil, err - // } - // *v = transformedRequest.TransformedInput + case *dynamodb.UpdateItemInput: + ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ + SdkInput: *v, + }) + if err != nil { + return nil, err + } + *v = transformedRequest.TransformedInput } return ctx, nil } @@ -255,46 +255,46 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - // case *dynamodb.BatchExecuteStatementOutput: - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{ - // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput), - // SdkOutput: *v, - // }) - // if err != nil { - // return err - // } - // *v = transformedRequest.TransformedOutput - // case *dynamodb.DeleteItemOutput: - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{ - // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput), - // SdkOutput: *v, - // }) - // if err != nil { - // return err - // } - // *v = transformedRequest.TransformedOutput - // case *dynamodb.ExecuteStatementOutput: - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{ - // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput), - // SdkOutput: *v, - // }) - // if err != nil { - // return err - // } - // *v = transformedRequest.TransformedOutput - // case *dynamodb.ExecuteTransactionOutput: - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{ - // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput), - // SdkOutput: *v, - // }) - // if err != nil { - // return err - // } - // *v = transformedRequest.TransformedOutput + case *dynamodb.BatchExecuteStatementOutput: + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{ + OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput), + SdkOutput: *v, + }) + if err != nil { + return err + } + *v = transformedRequest.TransformedOutput + case *dynamodb.DeleteItemOutput: + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{ + OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput), + SdkOutput: *v, + }) + if err != nil { + return err + } + *v = transformedRequest.TransformedOutput + case *dynamodb.ExecuteStatementOutput: + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{ + OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput), + SdkOutput: *v, + }) + if err != nil { + return err + } + *v = transformedRequest.TransformedOutput + case *dynamodb.ExecuteTransactionOutput: + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{ + OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput), + SdkOutput: *v, + }) + if err != nil { + return err + } + *v = transformedRequest.TransformedOutput case *dynamodb.QueryOutput: // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 transformedRequest, err := m.client.QueryOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.QueryOutputTransformInput{ @@ -335,16 +335,16 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - // case *dynamodb.UpdateItemOutput: - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ - // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), - // SdkOutput: *v, - // }) - // if err != nil { - // return err - // } - // *v = transformedRequest.TransformedOutput + case *dynamodb.UpdateItemOutput: + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ + OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), + SdkOutput: *v, + }) + if err != nil { + return err + } + *v = transformedRequest.TransformedOutput } return nil } From 2947905dfd111e136e7e11d158fad25b3f06a720 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 3 Jun 2025 15:09:27 -0700 Subject: [PATCH 3/5] auto commit --- .../dbesdkmiddleware/middleware.go | 40 +++++++++---------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go index e3f7b0955..fc6ca1b42 100644 --- a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go +++ b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go @@ -180,16 +180,16 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - case *dynamodb.UpdateItemInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput + // case *dynamodb.UpdateItemInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput } return ctx, nil } @@ -335,16 +335,16 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - case *dynamodb.UpdateItemOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput + // case *dynamodb.UpdateItemOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput } return nil } From 9b2c9b2f15f3758fe2a435cf840ee423fdd0d8bf Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 3 Jun 2025 15:11:09 -0700 Subject: [PATCH 4/5] Revert "auto commit" This reverts commit 2947905dfd111e136e7e11d158fad25b3f06a720. --- .../dbesdkmiddleware/middleware.go | 40 +++++++++---------- 1 file changed, 20 insertions(+), 20 deletions(-) diff --git a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go index fc6ca1b42..e3f7b0955 100644 --- a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go +++ b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go @@ -180,16 +180,16 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - // case *dynamodb.UpdateItemInput: - // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ - // SdkInput: *v, - // }) - // if err != nil { - // return nil, err - // } - // *v = transformedRequest.TransformedInput + case *dynamodb.UpdateItemInput: + ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ + SdkInput: *v, + }) + if err != nil { + return nil, err + } + *v = transformedRequest.TransformedInput } return ctx, nil } @@ -335,16 +335,16 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - // case *dynamodb.UpdateItemOutput: - // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - // transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ - // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), - // SdkOutput: *v, - // }) - // if err != nil { - // return err - // } - // *v = transformedRequest.TransformedOutput + case *dynamodb.UpdateItemOutput: + // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ + OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), + SdkOutput: *v, + }) + if err != nil { + return err + } + *v = transformedRequest.TransformedOutput } return nil } From 2cfe6286a9594ddf01dd6c23542ab23886db5cfe Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 3 Jun 2025 15:11:43 -0700 Subject: [PATCH 5/5] Revert "Revert "auto commit"" This reverts commit 907f54035e4b86df34d5d58c356ff7626b25a78f. --- .../dbesdkmiddleware/middleware.go | 200 +++++++++--------- 1 file changed, 100 insertions(+), 100 deletions(-) diff --git a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go index e3f7b0955..92d0b7f96 100644 --- a/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go +++ b/DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go @@ -100,46 +100,46 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - case *dynamodb.BatchExecuteStatementInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput - case *dynamodb.DeleteItemInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput - case *dynamodb.ExecuteStatementInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput - case *dynamodb.ExecuteTransactionInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput + // case *dynamodb.BatchExecuteStatementInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput + // case *dynamodb.DeleteItemInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput + // case *dynamodb.ExecuteStatementInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput + // case *dynamodb.ExecuteTransactionInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput case *dynamodb.QueryInput: ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 @@ -180,16 +180,16 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request return nil, err } *v = transformedRequest.TransformedInput - case *dynamodb.UpdateItemInput: - ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ - SdkInput: *v, - }) - if err != nil { - return nil, err - } - *v = transformedRequest.TransformedInput + // case *dynamodb.UpdateItemInput: + // ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v) + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{ + // SdkInput: *v, + // }) + // if err != nil { + // return nil, err + // } + // *v = transformedRequest.TransformedInput } return ctx, nil } @@ -255,46 +255,46 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - case *dynamodb.BatchExecuteStatementOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput - case *dynamodb.DeleteItemOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput - case *dynamodb.ExecuteStatementOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput - case *dynamodb.ExecuteTransactionOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput + // case *dynamodb.BatchExecuteStatementOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput + // case *dynamodb.DeleteItemOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput + // case *dynamodb.ExecuteStatementOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput + // case *dynamodb.ExecuteTransactionOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput case *dynamodb.QueryOutput: // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 transformedRequest, err := m.client.QueryOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.QueryOutputTransformInput{ @@ -335,16 +335,16 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon return err } *v = transformedRequest.TransformedOutput - case *dynamodb.UpdateItemOutput: - // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 - transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ - OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), - SdkOutput: *v, - }) - if err != nil { - return err - } - *v = transformedRequest.TransformedOutput + // case *dynamodb.UpdateItemOutput: + // // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403 + // transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{ + // OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput), + // SdkOutput: *v, + // }) + // if err != nil { + // return err + // } + // *v = transformedRequest.TransformedOutput } return nil }