Add something on extern

Author: rishav-karanjit

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/InternalLegacyOverride/extern.go

@@ -0,0 +1,17 @@
+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/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes"
+)
+
+// var Companion_InternalLegacyOverride_ = CompanionStruct_Default___{}
+
+func (CompanionStruct_InternalLegacyOverride_) Build(config interface{}) Wrappers.Result {
+	// Create error for unsupported legacy configuration
+	err := &awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes.DynamoDbItemEncryptorException{
+		Message: "Legacy configuration unsupported.",
+	}
+	// Create and return a failure result
+	return Wrappers.Companion_Result_.Create_Failure_(err)
+}

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/go.mod

@@ -0,0 +1,47 @@
+module github.com/aws/aws-database-encryption-sdk-dynamodb
+
+go 1.23.2
+
+replace (
+	github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../submodules/MaterialProviders/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../submodules/MaterialProviders/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../submodules/MaterialProviders/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../submodules/MaterialProviders/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
+)
+
+require (
+	github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.1.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.1.0
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.1.0
+	github.com/aws/aws-database-encryption-sdk-dynamodb v0.0.0
+	github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
+	github.com/aws/smithy-go v1.22.1
+	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
+)
+
+require (
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1 // indirect
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1 // indirect
+	github.com/aws/aws-sdk-go-v2 v1.32.8 // indirect
+	github.com/aws/aws-sdk-go-v2/config v1.28.10 // indirect
+	github.com/aws/aws-sdk-go-v2/credentials v1.17.51 // indirect
+	github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.23 // indirect
+	github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.27 // indirect
+	github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.27 // indirect
+	github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1 // indirect
+	github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.12.1 // indirect
+	github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.10.8 // indirect
+	github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.12.8 // indirect
+	github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 // indirect
+	github.com/aws/aws-sdk-go-v2/service/sso v1.24.9 // indirect
+	github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.8 // indirect
+	github.com/aws/aws-sdk-go-v2/service/sts v1.33.6 // indirect
+	github.com/google/uuid v1.6.0 // indirect
+	github.com/jmespath/go-jmespath v0.4.0 // indirect
+)