Skip to content

Commit 4df92d4

Browse files
rishav-karanjitrishav-karanjit
committed
auto commit
1 parent 7a98eb6 commit 4df92d4

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 https://issues.amazon.com/CrypTool-5403
106-
transformedRequest, err := m.client.BatchExecuteStatementInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
116-
transformedRequest, err := m.client.DeleteItemInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
126-
transformedRequest, err := m.client.ExecuteStatementInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
136-
transformedRequest, err := m.client.ExecuteTransactionInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
106+
// transformedRequest, err := m.client.BatchExecuteStatementInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
116+
// transformedRequest, err := m.client.DeleteItemInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
126+
// transformedRequest, err := m.client.ExecuteStatementInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
136+
// transformedRequest, err := m.client.ExecuteTransactionInputTransform(ctx, 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 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 https://issues.amazon.com/CrypTool-5403
186-
transformedRequest, err := m.client.UpdateItemInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
186+
// transformedRequest, err := m.client.UpdateItemInputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
260-
transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
270-
transformedRequest, err := m.client.DeleteItemOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
280-
transformedRequest, err := m.client.ExecuteStatementOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
290-
transformedRequest, err := m.client.ExecuteTransactionOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
260+
// transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
270+
// transformedRequest, err := m.client.DeleteItemOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
280+
// transformedRequest, err := m.client.ExecuteStatementOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
290+
// transformedRequest, err := m.client.ExecuteTransactionOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
300300
transformedRequest, err := m.client.QueryOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
340-
transformedRequest, err := m.client.UpdateItemOutputTransform(ctx, 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 https://issues.amazon.com/CrypTool-5403
340+
// transformedRequest, err := m.client.UpdateItemOutputTransform(ctx, 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)