Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/go-release.yml
Original file line number Diff line number Diff line change
Expand Up @@ -89,5 +89,5 @@ jobs:

- name: print diff between development and release directory
run: |
DIFF_FILES=$(diff -qr $PROJECT_NAME/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
DIFF_FILES=$(diff -qr ${{ github.event.inputs.project-name }}/runtimes/go/ImplementationFromDafny-go releases/go/$RELEASE_DIR_NAME || true)
echo $DIFF_FILES
407 changes: 407 additions & 0 deletions releases/go/dynamodb-esdk/AttributeResolver/AttributeResolver.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

1,172 changes: 1,172 additions & 0 deletions releases/go/dynamodb-esdk/BaseBeacon/BaseBeacon.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

642 changes: 642 additions & 0 deletions releases/go/dynamodb-esdk/Canonize/Canonize.go

Large diffs are not rendered by default.

1,841 changes: 1,841 additions & 0 deletions releases/go/dynamodb-esdk/CompoundBeacon/CompoundBeacon.go

Large diffs are not rendered by default.

649 changes: 649 additions & 0 deletions releases/go/dynamodb-esdk/DdbMiddlewareConfig/DdbMiddlewareConfig.go

Large diffs are not rendered by default.

578 changes: 578 additions & 0 deletions releases/go/dynamodb-esdk/DdbStatement/DdbStatement.go

Large diffs are not rendered by default.

951 changes: 951 additions & 0 deletions releases/go/dynamodb-esdk/DdbVirtualFields/DdbVirtualFields.go

Large diffs are not rendered by default.

447 changes: 447 additions & 0 deletions releases/go/dynamodb-esdk/DeleteItemTransform/DeleteItemTransform.go

Large diffs are not rendered by default.

4,354 changes: 4,354 additions & 0 deletions releases/go/dynamodb-esdk/DynamoDBFilterExpr/DynamoDBFilterExpr.go

Large diffs are not rendered by default.

1,036 changes: 1,036 additions & 0 deletions releases/go/dynamodb-esdk/DynamoDBSupport/DynamoDBSupport.go

Large diffs are not rendered by default.

423 changes: 423 additions & 0 deletions releases/go/dynamodb-esdk/DynamoDbEncryption/DynamoDbEncryption.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

465 changes: 465 additions & 0 deletions releases/go/dynamodb-esdk/DynamoDbUpdateExpr/DynamoDbUpdateExpr.go

Large diffs are not rendered by default.

1,872 changes: 1,872 additions & 0 deletions releases/go/dynamodb-esdk/DynamoToStruct/DynamoToStruct.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

402 changes: 402 additions & 0 deletions releases/go/dynamodb-esdk/GetItemTransform/GetItemTransform.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

45 changes: 45 additions & 0 deletions releases/go/dynamodb-esdk/InternalLegacyOverride/extern.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
package InternalLegacyOverride

import (
"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
"github.com/aws/aws-database-encryption-sdk-dynamodb/releases/go/dynamodb-esdk/AwsCryptographyDbEncryptionSdkDynamoDbTypes"
"github.com/aws/aws-database-encryption-sdk-dynamodb/releases/go/dynamodb-esdk/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes"
)

var policy = AwsCryptographyDbEncryptionSdkDynamoDbTypes.Companion_LegacyPolicy_.Create_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT_()

func (InternalLegacyOverride) Policy() AwsCryptographyDbEncryptionSdkDynamoDbTypes.LegacyPolicy {
return policy
}

func (CompanionStruct_InternalLegacyOverride_) Build(config interface{}) Wrappers.Result {
// Go does not support the Legacy DDB-EC
if policy.Is_FORBID__LEGACY__ENCRYPT__FORBID__LEGACY__DECRYPT() {
return Wrappers.Companion_Result_.Create_Success_(Wrappers.Companion_Option_.Create_None_())
}
err := &awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes.DynamoDbItemEncryptorException{
Message: "Legacy configuration unsupported.",
}
return Wrappers.Companion_Result_.Create_Failure_(err)
}

func (InternalLegacyOverride) EncryptItem(config interface{}) Wrappers.Result {
// Go does not support the Legacy DDB-EC. So, this function will not be reached.
err := &awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes.DynamoDbItemEncryptorException{
Message: "Legacy configuration unsupported.",
}
return Wrappers.Companion_Result_.Create_Failure_(err)
}

func (InternalLegacyOverride) DecryptItem(config interface{}) Wrappers.Result {
// Go does not support the Legacy DDB-EC. So, this function will not be reached.
err := &awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes.DynamoDbItemEncryptorException{
Message: "Legacy configuration unsupported.",
}
return Wrappers.Companion_Result_.Create_Failure_(err)
}

func (InternalLegacyOverride) IsLegacyInput(config interface{}) bool {
// Go does not support the Legacy DDB-EC
return false
}
353 changes: 353 additions & 0 deletions releases/go/dynamodb-esdk/Maps_/Maps_.go

Large diffs are not rendered by default.

661 changes: 661 additions & 0 deletions releases/go/dynamodb-esdk/OptimizedMergeSort/OptimizedMergeSort.go

Large diffs are not rendered by default.

508 changes: 508 additions & 0 deletions releases/go/dynamodb-esdk/PutItemTransform/PutItemTransform.go

Large diffs are not rendered by default.

520 changes: 520 additions & 0 deletions releases/go/dynamodb-esdk/QueryTransform/QueryTransform.go

Large diffs are not rendered by default.

511 changes: 511 additions & 0 deletions releases/go/dynamodb-esdk/ScanTransform/ScanTransform.go

Large diffs are not rendered by default.

1,942 changes: 1,942 additions & 0 deletions releases/go/dynamodb-esdk/SearchConfigToInfo/SearchConfigToInfo.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

351 changes: 351 additions & 0 deletions releases/go/dynamodb-esdk/Sets/Sets.go

Large diffs are not rendered by default.

347 changes: 347 additions & 0 deletions releases/go/dynamodb-esdk/SortCanon/SortCanon.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

883 changes: 883 additions & 0 deletions releases/go/dynamodb-esdk/TermLoc/TermLoc.go

Large diffs are not rendered by default.

Large diffs are not rendered by default.

Large diffs are not rendered by default.

458 changes: 458 additions & 0 deletions releases/go/dynamodb-esdk/UpdateItemTransform/UpdateItemTransform.go

Large diffs are not rendered by default.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading