Skip to content

Commit 0d6f48c

Browse files
rishav-karanjitrishav-karanjit
committed
fix comment
1 parent dd2f1cb commit 0d6f48c

File tree

1 file changed

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

1 file changed

+26
-26
lines changed

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

Lines changed: 26 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
6262
switch v := request.(type) {
6363
case *dynamodb.PutItemInput:
6464
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
65-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
65+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
6666
transformedRequest, err := m.client.PutItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.PutItemInputTransformInput{
6767
SdkInput: *v,
6868
})
@@ -72,7 +72,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
7272
*v = transformedRequest.TransformedInput
7373
case *dynamodb.GetItemInput:
7474
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
75-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
75+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
7676
transformedRequest, err := m.client.GetItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.GetItemInputTransformInput{
7777
SdkInput: *v,
7878
})
@@ -82,7 +82,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
8282
*v = transformedRequest.TransformedInput
8383
case *dynamodb.BatchGetItemInput:
8484
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
85-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
85+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
8686
transformedRequest, err := m.client.BatchGetItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchGetItemInputTransformInput{
8787
SdkInput: *v,
8888
})
@@ -92,7 +92,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
9292
*v = transformedRequest.TransformedInput
9393
case *dynamodb.BatchWriteItemInput:
9494
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
95-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
95+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
9696
transformedRequest, err := m.client.BatchWriteItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchWriteItemInputTransformInput{
9797
SdkInput: *v,
9898
})
@@ -102,7 +102,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
102102
*v = transformedRequest.TransformedInput
103103
case *dynamodb.BatchExecuteStatementInput:
104104
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
105+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
106106
transformedRequest, err := m.client.BatchExecuteStatementInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementInputTransformInput{
107107
SdkInput: *v,
108108
})
@@ -112,7 +112,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
112112
*v = transformedRequest.TransformedInput
113113
case *dynamodb.DeleteItemInput:
114114
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
115+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
116116
transformedRequest, err := m.client.DeleteItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemInputTransformInput{
117117
SdkInput: *v,
118118
})
@@ -122,7 +122,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
122122
*v = transformedRequest.TransformedInput
123123
case *dynamodb.ExecuteStatementInput:
124124
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
125+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
126126
transformedRequest, err := m.client.ExecuteStatementInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementInputTransformInput{
127127
SdkInput: *v,
128128
})
@@ -132,7 +132,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
132132
*v = transformedRequest.TransformedInput
133133
case *dynamodb.ExecuteTransactionInput:
134134
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
135+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
136136
transformedRequest, err := m.client.ExecuteTransactionInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionInputTransformInput{
137137
SdkInput: *v,
138138
})
@@ -142,7 +142,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
142142
*v = transformedRequest.TransformedInput
143143
case *dynamodb.QueryInput:
144144
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
145-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
145+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
146146
transformedRequest, err := m.client.QueryInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.QueryInputTransformInput{
147147
SdkInput: *v,
148148
})
@@ -152,7 +152,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
152152
*v = transformedRequest.TransformedInput
153153
case *dynamodb.ScanInput:
154154
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
155-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
155+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
156156
transformedRequest, err := m.client.ScanInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ScanInputTransformInput{
157157
SdkInput: *v,
158158
})
@@ -162,7 +162,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
162162
*v = transformedRequest.TransformedInput
163163
case *dynamodb.TransactGetItemsInput:
164164
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
165-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
165+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
166166
transformedRequest, err := m.client.TransactGetItemsInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.TransactGetItemsInputTransformInput{
167167
SdkInput: *v,
168168
})
@@ -172,7 +172,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
172172
*v = transformedRequest.TransformedInput
173173
case *dynamodb.TransactWriteItemsInput:
174174
ctx = middleware.WithStackValue(ctx, ContextKeyOriginalInput, *v)
175-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
175+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
176176
transformedRequest, err := m.client.TransactWriteItemsInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.TransactWriteItemsInputTransformInput{
177177
SdkInput: *v,
178178
})
@@ -182,7 +182,7 @@ func (m DBEsdkMiddleware) handleRequestInterception(ctx context.Context, request
182182
*v = transformedRequest.TransformedInput
183183
case *dynamodb.UpdateItemInput:
184184
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
185+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
186186
transformedRequest, err := m.client.UpdateItemInputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemInputTransformInput{
187187
SdkInput: *v,
188188
})
@@ -216,7 +216,7 @@ func (m DBEsdkMiddleware) createResponseInterceptor() middleware.FinalizeMiddlew
216216
func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, response interface{}) error {
217217
switch v := response.(type) {
218218
case *dynamodb.PutItemOutput:
219-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
219+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
220220
transformedRequest, err := m.client.PutItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.PutItemOutputTransformInput{
221221
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.PutItemInput),
222222
SdkOutput: *v,
@@ -226,7 +226,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
226226
}
227227
*v = transformedRequest.TransformedOutput
228228
case *dynamodb.GetItemOutput:
229-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
229+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
230230
transformedRequest, err := m.client.GetItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.GetItemOutputTransformInput{
231231
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.GetItemInput),
232232
SdkOutput: *v,
@@ -236,7 +236,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
236236
}
237237
*v = transformedRequest.TransformedOutput
238238
case *dynamodb.BatchGetItemOutput:
239-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
239+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
240240
transformedRequest, err := m.client.BatchGetItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchGetItemOutputTransformInput{
241241
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchGetItemInput),
242242
SdkOutput: *v,
@@ -246,7 +246,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
246246
}
247247
*v = transformedRequest.TransformedOutput
248248
case *dynamodb.BatchWriteItemOutput:
249-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
249+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
250250
transformedRequest, err := m.client.BatchWriteItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchWriteItemOutputTransformInput{
251251
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchWriteItemInput),
252252
SdkOutput: *v,
@@ -256,7 +256,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
256256
}
257257
*v = transformedRequest.TransformedOutput
258258
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
259+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
260260
transformedRequest, err := m.client.BatchExecuteStatementOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.BatchExecuteStatementOutputTransformInput{
261261
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.BatchExecuteStatementInput),
262262
SdkOutput: *v,
@@ -266,7 +266,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
266266
}
267267
*v = transformedRequest.TransformedOutput
268268
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
269+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
270270
transformedRequest, err := m.client.DeleteItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.DeleteItemOutputTransformInput{
271271
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.DeleteItemInput),
272272
SdkOutput: *v,
@@ -276,7 +276,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
276276
}
277277
*v = transformedRequest.TransformedOutput
278278
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
279+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
280280
transformedRequest, err := m.client.ExecuteStatementOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteStatementOutputTransformInput{
281281
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteStatementInput),
282282
SdkOutput: *v,
@@ -286,7 +286,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
286286
}
287287
*v = transformedRequest.TransformedOutput
288288
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
289+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
290290
transformedRequest, err := m.client.ExecuteTransactionOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ExecuteTransactionOutputTransformInput{
291291
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ExecuteTransactionInput),
292292
SdkOutput: *v,
@@ -296,7 +296,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
296296
}
297297
*v = transformedRequest.TransformedOutput
298298
case *dynamodb.QueryOutput:
299-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
299+
// 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{
301301
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.QueryInput),
302302
SdkOutput: *v,
@@ -306,7 +306,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
306306
}
307307
*v = transformedRequest.TransformedOutput
308308
case *dynamodb.ScanOutput:
309-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
309+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
310310
transformedRequest, err := m.client.ScanOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.ScanOutputTransformInput{
311311
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.ScanInput),
312312
SdkOutput: *v,
@@ -316,7 +316,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
316316
}
317317
*v = transformedRequest.TransformedOutput
318318
case *dynamodb.TransactGetItemsOutput:
319-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
319+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
320320
transformedRequest, err := m.client.TransactGetItemsOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.TransactGetItemsOutputTransformInput{
321321
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.TransactGetItemsInput),
322322
SdkOutput: *v,
@@ -326,7 +326,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
326326
}
327327
*v = transformedRequest.TransformedOutput
328328
case *dynamodb.TransactWriteItemsOutput:
329-
// Note: this context is not propagated downstream into dafny layer so it's left as context.TODO() https://issues.amazon.com/CrypTool-5403
329+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
330330
transformedRequest, err := m.client.TransactWriteItemsOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.TransactWriteItemsOutputTransformInput{
331331
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.TransactWriteItemsInput),
332332
SdkOutput: *v,
@@ -336,7 +336,7 @@ func (m DBEsdkMiddleware) handleResponseInterception(ctx context.Context, respon
336336
}
337337
*v = transformedRequest.TransformedOutput
338338
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
339+
// Note: this context is not propagated downstream into dafny layer https://issues.amazon.com/CrypTool-5403
340340
transformedRequest, err := m.client.UpdateItemOutputTransform(ctx, awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes.UpdateItemOutputTransformInput{
341341
OriginalInput: middleware.GetStackValue(ctx, ContextKeyOriginalInput).(dynamodb.UpdateItemInput),
342342
SdkOutput: *v,

0 commit comments

Comments
 (0)