Skip to main content
.NETFramework4.8net6.0

ComAmazonawsDynamodb is a library written to convert between Dafny generated code and native .NET code that interacts with AWS DynamoDBv2.

Published
Jul 2, 2024
2y ago
Total Downloads
1.3M
1,290,244

Install

dotnet add package AWS.Cryptography.Internal.ComAmazonawsDynamodb --version 1.5.0
ProductVersions
.NET
net6.0
Other
.NETFramework4.8

README

AWS Cryptographic Internal ComAmazonawsDynamodb

The 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.

Security issue notifications

Security

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.

DDB Model

This directory contains the DDB smithy model, but with a couple adjustments:

Operation Changes

The following operations defined in the model have colliding input and output structures.

  • DisableKinesisStreamingDestination
  • EnableKinesisStreamingDestination

Both opertations are defined to use the input and output structures

  • KinesisStreamingDestinationInput
  • KinesisStreamingDestiantinOutput

In 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:

  • DisableKinesisStreamingDestinationInput
  • DisableKinesisStreamingDestinationOutput
  • EnableKinesisStreamingDestinationInput
  • EnableKinesisStreamingDestinationOutput

Have the same definition as:

  • KinesisStreamingDestinationInput
  • KinesisStreamingDestinationOutput

Changes from Previous Version

No structural changes between v1.4.0 and v1.5.0.

Adoption Assessment

A verified publisher signal is available. Assess fit from the package's supported frameworks, license and dependency graph rather than popularity alone.

Compatibility metadata lists 2 target frameworks; confirm the exact target used by your application.

Related Guides & Workflows

Learn how to evaluate, integrate, or audit this package in your .NET project.