ComAmazonawsDynamodb is a library written to convert between Dafny generated code and native .NET code that interacts with AWS DynamoDBv2.
$ dotnet add package AWS.Cryptography.Internal.ComAmazonawsDynamodbThe AWS Cryptographic Internal ComAmazonawsDynamodb is a modeled library used in the AWS Cryptographic Material Providers Library. This internal library makes no guarantees that functionality will be added or removed between minor versions.
DO NOT take a standalone dependency on this library.
If you discover a potential security issue in this project we ask that you notify AWS/Amazon Security via our vulnerability reporting page. Please do not create a public GitHub issue.
This directory contains the DDB smithy model, but with a couple adjustments:
The following operations defined in the model have colliding input and output structures.
DisableKinesisStreamingDestinationEnableKinesisStreamingDestinationBoth opertations are defined to use the input and output structures
KinesisStreamingDestinationInputKinesisStreamingDestiantinOutputIn the aws sdk net v3 of the AWS SDK NET for DynamoDB, the Kinesis Streaming Destination operations do not share input and output structures; however, the model definition did not change for backwards compatability reasons.
Our code generation did not know how to make this distinction. In order to support DynamoDBv2, we changed the model definition to better reflect this change. NOTE: The original KinesisStreamingDestinationInput/Output structures were not deleted from the model
We modified the Operations input/output structures as follows:
"com.amazonaws.dynamodb#DisableKinesisStreamingDestination": {
...
"input": { "target": "com.amazonaws.dynamodb#DisableKinesisStreamingDestinationInput"},
"output": { "target": "com.amazonaws.dynamodb#DisableKinesisStreamingDestinationOutput"},
...
},
"com.amazonaws.dynamodb#EnableKinesisStreamingDestination": {
...
"input": { "target": "com.amazonaws.dynamodb#EnableKinesisStreamingDestinationInput"},
"output": { "target": "com.amazonaws.dynamodb#EnableKinesisStreamingDestinationOutput"},
...
}
The new modeled structures:
Have the same definition as: