feat(DDB-Model): update DDB Model #2121
Annotations
10 errors and 11 warnings
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.DeleteResourcePolicy(_IDeleteResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.GetResourcePolicy(_IGetResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.PutResourcePolicy(_IPutResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.UpdateKinesisStreamingDestination(_IUpdateKinesisStreamingDestinationInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.DeleteResourcePolicy(_IDeleteResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.GetResourcePolicy(_IGetResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.PutResourcePolicy(_IPutResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.UpdateKinesisStreamingDestination(_IUpdateKinesisStreamingDestinationInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.DeleteResourcePolicy(_IDeleteResourcePolicyInput)'
|
Create Manifests:
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs#L9
'DynamoDBv2Shim' does not implement interface member 'IDynamoDBClient.GetResourcePolicy(_IGetResourcePolicyInput)'
|
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-dotnet@v3, dafny-lang/[email protected], aws-actions/configure-aws-credentials@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Create Manifests:
StandardLibrary/runtimes/net/Extern/UTF8.cs#L25
The variable 'e' is declared but never used
|
Create Manifests:
StandardLibrary/runtimes/net/Extern/UTF8.cs#L30
The variable 'e' is declared but never used
|
Create Manifests:
StandardLibrary/runtimes/net/Extern/UTF8.cs#L45
The variable 'e' is declared but never used
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16287
Unreachable code detected
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16328
Unreachable code detected
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16440
Unreachable code detected
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16126
Unreachable code detected
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16454
Unreachable code detected
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L16167
Unreachable code detected
|
Create Manifests:
StandardLibrary/runtimes/net/ImplementationFromDafny.cs#L17268
Unreachable code detected
|
Loading