Revert "comment PutItem"

This reverts commit 060f5e1.

Author: rishav-karanjit

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware/middleware.go

@@ -60,16 +60,16 @@ func (m DBEsdkMiddleware) createRequestInterceptor() middleware.InitializeMiddle
 // handleRequestInterception handles the interception logic before the DynamoDB operation
 func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request interface{}) (context.Context, error) {
 	switch v := request.(type) {
-	// case *dynamodb.PutItemInput:
-	// 	ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
-	// 	// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
-	// 	transformedRequest, err := m.client.PutItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.PutItemInputTransformInput{
-	// 		SdkInput: *v,
-	// 	})
-	// 	if err != nil {
-	// 		return nil, err
-	// 	}
-	// 	*v = transformedRequest.TransformedInput
+	case *dynamodb.PutItemInput:
+		ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
+		// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
+		transformedRequest, err := m.client.PutItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.PutItemInputTransformInput{
+			SdkInput: *v,
+		})
+		if err != nil {
+			return nil, err
+		}
+		*v = transformedRequest.TransformedInput
 	case *dynamodb.GetItemInput:
 		ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
 		// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
@@ -215,16 +215,16 @@ func (m DBEsdkMiddleware) createResponseInterceptor() middleware.FinalizeMiddlew
 // handleResponseInterception handles the interception logic after the DynamoDB operation
 func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, response interface{}) error {
 	switch v := response.(type) {
-	// case *dynamodb.PutItemOutput:
-	// 	// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
-	// 	transformedRequest, err := m.client.PutItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.PutItemOutputTransformInput{
-	// 		OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.PutItemInput),
-	// 		SdkOutput:     *v,
-	// 	})
-	// 	if err != nil {
-	// 		return err
-	// 	}
-	// 	*v = transformedRequest.TransformedOutput
+	case *dynamodb.PutItemOutput:
+		// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
+		transformedRequest, err := m.client.PutItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.PutItemOutputTransformInput{
+			OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.PutItemInput),
+			SdkOutput:     *v,
+		})
+		if err != nil {
+			return err
+		}
+		*v = transformedRequest.TransformedOutput
 	case *dynamodb.GetItemOutput:
 		// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
 		transformedRequest, err := m.client.GetItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.GetItemOutputTransformInput{