Skip to content

Commit 907f540

Browse files
rishav-karanjitrishav-karanjit
committed
Revert "auto commit"
This reverts commit f1b0945.
1 parent f1b0945 commit 907f540

File tree

1 file changed

+100
-100
lines changed
  • DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/dbesdkmiddleware

1 file changed

+100
-100
lines changed

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

Lines changed: 100 additions & 100 deletions
Original file line numberDiff line numberDiff line change
@@ -100,46 +100,46 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
100100
return nil, err
101101
}
102102
*v = transformedRequest.TransformedInput
103-
// case *dynamodb.BatchExecuteStatementInput:
104-
// ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
105-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
106-
// transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{
107-
// SdkInput: *v,
108-
// })
109-
// if err != nil {
110-
// return nil, err
111-
// }
112-
// *v = transformedRequest.TransformedInput
113-
// case *dynamodb.DeleteItemInput:
114-
// ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
115-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
116-
// transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{
117-
// SdkInput: *v,
118-
// })
119-
// if err != nil {
120-
// return nil, err
121-
// }
122-
// *v = transformedRequest.TransformedInput
123-
// case *dynamodb.ExecuteStatementInput:
124-
// ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
125-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
126-
// transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{
127-
// SdkInput: *v,
128-
// })
129-
// if err != nil {
130-
// return nil, err
131-
// }
132-
// *v = transformedRequest.TransformedInput
133-
// case *dynamodb.ExecuteTransactionInput:
134-
// ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
135-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
136-
// transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{
137-
// SdkInput: *v,
138-
// })
139-
// if err != nil {
140-
// return nil, err
141-
// }
142-
// *v = transformedRequest.TransformedInput
103+
case *dynamodb.BatchExecuteStatementInput:
104+
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
105+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
106+
transformedRequest, err := m.client.BatchExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{
107+
SdkInput: *v,
108+
})
109+
if err != nil {
110+
return nil, err
111+
}
112+
*v = transformedRequest.TransformedInput
113+
case *dynamodb.DeleteItemInput:
114+
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
115+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
116+
transformedRequest, err := m.client.DeleteItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{
117+
SdkInput: *v,
118+
})
119+
if err != nil {
120+
return nil, err
121+
}
122+
*v = transformedRequest.TransformedInput
123+
case *dynamodb.ExecuteStatementInput:
124+
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
125+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
126+
transformedRequest, err := m.client.ExecuteStatementInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{
127+
SdkInput: *v,
128+
})
129+
if err != nil {
130+
return nil, err
131+
}
132+
*v = transformedRequest.TransformedInput
133+
case *dynamodb.ExecuteTransactionInput:
134+
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
135+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
136+
transformedRequest, err := m.client.ExecuteTransactionInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{
137+
SdkInput: *v,
138+
})
139+
if err != nil {
140+
return nil, err
141+
}
142+
*v = transformedRequest.TransformedInput
143143
case *dynamodb.QueryInput:
144144
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
145145
// 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
180180
return nil, err
181181
}
182182
*v = transformedRequest.TransformedInput
183-
// case *dynamodb.UpdateItemInput:
184-
// ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
185-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
186-
// transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{
187-
// SdkInput: *v,
188-
// })
189-
// if err != nil {
190-
// return nil, err
191-
// }
192-
// *v = transformedRequest.TransformedInput
183+
case *dynamodb.UpdateItemInput:
184+
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
185+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
186+
transformedRequest, err := m.client.UpdateItemInputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{
187+
SdkInput: *v,
188+
})
189+
if err != nil {
190+
return nil, err
191+
}
192+
*v = transformedRequest.TransformedInput
193193
}
194194
return ctx, nil
195195
}
@@ -255,46 +255,46 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
255255
return err
256256
}
257257
*v = transformedRequest.TransformedOutput
258-
// case *dynamodb.BatchExecuteStatementOutput:
259-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
260-
// transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{
261-
// OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput),
262-
// SdkOutput: *v,
263-
// })
264-
// if err != nil {
265-
// return err
266-
// }
267-
// *v = transformedRequest.TransformedOutput
268-
// case *dynamodb.DeleteItemOutput:
269-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
270-
// transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{
271-
// OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput),
272-
// SdkOutput: *v,
273-
// })
274-
// if err != nil {
275-
// return err
276-
// }
277-
// *v = transformedRequest.TransformedOutput
278-
// case *dynamodb.ExecuteStatementOutput:
279-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
280-
// transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{
281-
// OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput),
282-
// SdkOutput: *v,
283-
// })
284-
// if err != nil {
285-
// return err
286-
// }
287-
// *v = transformedRequest.TransformedOutput
288-
// case *dynamodb.ExecuteTransactionOutput:
289-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
290-
// transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{
291-
// OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput),
292-
// SdkOutput: *v,
293-
// })
294-
// if err != nil {
295-
// return err
296-
// }
297-
// *v = transformedRequest.TransformedOutput
258+
case *dynamodb.BatchExecuteStatementOutput:
259+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
260+
transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{
261+
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput),
262+
SdkOutput: *v,
263+
})
264+
if err != nil {
265+
return err
266+
}
267+
*v = transformedRequest.TransformedOutput
268+
case *dynamodb.DeleteItemOutput:
269+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
270+
transformedRequest, err := m.client.DeleteItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{
271+
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput),
272+
SdkOutput: *v,
273+
})
274+
if err != nil {
275+
return err
276+
}
277+
*v = transformedRequest.TransformedOutput
278+
case *dynamodb.ExecuteStatementOutput:
279+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
280+
transformedRequest, err := m.client.ExecuteStatementOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{
281+
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput),
282+
SdkOutput: *v,
283+
})
284+
if err != nil {
285+
return err
286+
}
287+
*v = transformedRequest.TransformedOutput
288+
case *dynamodb.ExecuteTransactionOutput:
289+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
290+
transformedRequest, err := m.client.ExecuteTransactionOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{
291+
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput),
292+
SdkOutput: *v,
293+
})
294+
if err != nil {
295+
return err
296+
}
297+
*v = transformedRequest.TransformedOutput
298298
case *dynamodb.QueryOutput:
299299
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
300300
transformedRequest, err := m.client.QueryOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.QueryOutputTransformInput{
@@ -335,16 +335,16 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
335335
return err
336336
}
337337
*v = transformedRequest.TransformedOutput
338-
// case *dynamodb.UpdateItemOutput:
339-
// // Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
340-
// transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{
341-
// OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput),
342-
// SdkOutput: *v,
343-
// })
344-
// if err != nil {
345-
// return err
346-
// }
347-
// *v = transformedRequest.TransformedOutput
338+
case *dynamodb.UpdateItemOutput:
339+
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
340+
transformedRequest, err := m.client.UpdateItemOutputTransform(context.TODO(), awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{
341+
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput),
342+
SdkOutput: *v,
343+
})
344+
if err != nil {
345+
return err
346+
}
347+
*v = transformedRequest.TransformedOutput
348348
}
349349
return nil
350350
}

0 commit comments

Comments
 (0)