Golang/reviewed (#668)

* feat: copy over raw smithy-go codegen (#655) Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: remove not required codegen features (#657) Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * fix: prettier formatting (#659) Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: modify smithy-go for smithy-dafny (#658) * feat: modify smithy-go for smithy-dafny * Update codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/AddOperationShapes.java Co-authored-by: Lucas McDonald <lucasmcdonald3@gmail.com> --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> Co-authored-by: Lucas McDonald <lucasmcdonald3@gmail.com> * feat: Go nameresolvers (#667) Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: Adds shape visitors for local service (#672) * feat: Adds shape visitors for local service * fix: PR Comments * fix: PR Comments --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: Adds local service generators (#681) Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: adds aws-sdk shapevisitors (#679) * feat: Adds shape visitors for local service * fix: PR Comments * fix: PR Comments * feat: adds aws-sdk shape visitors * fix: Remove timestamp shape from localservice visitors * fix: PR comments --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: adds aws-sdk service generators (#721) * feat: Adds shape visitors for local service * fix: PR Comments * fix: PR Comments * feat: adds aws-sdk shape visitors * fix: Remove timestamp shape from localservice visitors * fix: PR comments * feat: adds aws-sdk service generators --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: Merge from Golang/dev (#732) Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> * feat: smithy-go (#734) * feat: Merge from Golang/dev * feat: smithy-go * Update codegen/smithy-dafny-codegen/build.gradle.kts Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * Update codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/ValidationGenerator.java Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * Update codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/ValidationGenerator.java Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * fix: PR comments --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * feat: smithy-go TestModels (#735) * feat: smithy-go TestModels * feat: smithy-go TestModels * feat: smithy-go (#734) * feat: Merge from Golang/dev * feat: smithy-go * Update codegen/smithy-dafny-codegen/build.gradle.kts Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * Update codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/ValidationGenerator.java Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * Update codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/codegen/ValidationGenerator.java Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * fix: PR comments --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * fix: PR comments --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> * feat: Go Tests, CI, and Makefile (#736) * feat: Go Tests, CI, and Makefile * Update .github/workflows/test_models_go_tests.yml Co-authored-by: Robin Salkeld <salkeldr@amazon.com> * fix: PR comments * fix: enable aws-sdk/*v2 tests --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> Co-authored-by: Robin Salkeld <salkeldr@amazon.com> * fix: PR comments --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com> Co-authored-by: Lucas McDonald <lucasmcdonald3@gmail.com> Co-authored-by: Tony Knapp <5892063+texastony@users.noreply.github.com> Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
smithy-lang · Dec 6, 2024 · b0ea467 · b0ea467
1 parent c06e2c0
commit b0ea467
Show file tree

Hide file tree

Showing 203 changed files with 18,483 additions and 75 deletions.
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
@@ -32,3 +32,7 @@ jobs:
     uses: ./.github/workflows/test_models_python_tests.yml
     with:
       dafny: ${{ inputs.dafny }}
+  manual-ci-go:
+    uses: ./.github/workflows/test_models_go_tests.yml
+    with:
+      dafny: ${{ inputs.dafny }}
diff --git a/.github/workflows/pull.yml b/.github/workflows/pull.yml
@@ -66,6 +66,15 @@ jobs:
     uses: ./.github/workflows/test_models_python_tests.yml
     with:
       dafny: ${{ matrix.dafny-version }}
+  pr-ci-go:
+    needs: pr-populate-dafny-versions
+    strategy:
+      fail-fast: false
+      matrix:
+        dafny-version: ${{ fromJson(needs.pr-populate-dafny-versions.outputs.only-new-dafny-version-list) }}
+    uses: ./.github/workflows/test_models_go_tests.yml
+    with:
+      dafny: ${{ matrix.dafny-version }}
 
   pr-ci-all-required:
     if: always()
@@ -75,6 +84,7 @@ jobs:
       - pr-ci-net
       - pr-ci-rust
       - pr-ci-python
+      - pr-ci-go
     runs-on: ubuntu-latest
     steps:
       - name: Verify all required jobs passed

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -13,7 +13,7 @@ jobs:
       - name: Populate Dafny versions list
         id: populate-dafny-versions-list
         run: echo "dafny-versions-list=['4.5.0','4.8.0']" >> $GITHUB_OUTPUT
-      - name: Populate Dafny versions list for "only new versions" languages (Python)
+      - name: Populate Dafny versions list for "only new versions" languages (Python, Go)
         id: populate-only-new-dafny-versions-list
         run: echo "only-new-dafny-versions-list=['4.8.0']" >> $GITHUB_OUTPUT
     outputs:
@@ -68,3 +68,12 @@ jobs:
     uses: ./.github/workflows/test_models_python_tests.yml
     with:
       dafny: ${{ matrix.dafny-version }}
+  push-ci-go:
+    needs: pr-populate-dafny-versions
+    strategy:
+      fail-fast: false
+      matrix:
+        dafny-version: ${{ fromJson(needs.pr-populate-dafny-versions.outputs.only-new-dafny-version-list) }}
+    uses: ./.github/workflows/test_models_go_tests.yml
+    with:
+      dafny: ${{ matrix.dafny-version }}
diff --git a/.github/workflows/test_models_go_tests.yml b/.github/workflows/test_models_go_tests.yml
@@ -0,0 +1,90 @@
+name: Library Go tests
+
+on:
+  workflow_call:
+    inputs:
+      dafny:
+        description: "The Dafny version to run"
+        required: true
+        type: string
+      num_shards:
+        required: false
+        type: number
+        default: 5
+
+jobs:
+  populate-matrix-dimensions:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Populate shard list
+        id: populate-shard-list
+        run: echo "shard-list=[`seq -s , 1 ${{ inputs.num_shards }}`]" >> $GITHUB_OUTPUT
+    outputs:
+      shard-list: ${{ steps.populate-shard-list.outputs.shard-list }}
+  testGo:
+    needs: populate-matrix-dimensions
+    strategy:
+      fail-fast: false # at least for development; see all errors
+      matrix:
+        shard: ${{ fromJson(needs.populate-matrix-dimensions.outputs.shard-list) }}
+    runs-on: "ubuntu-latest"
+    permissions:
+      id-token: write
+      contents: read
+    env:
+      DOTNET_CLI_TELEMETRY_OPTOUT: 1
+      DOTNET_NOLOGO: 1
+    steps:
+      - name: Support longpaths on Git checkout
+        run: |
+          git config --global core.longpaths true
+
+      - name: Configure AWS Credentials
+        uses: aws-actions/configure-aws-credentials@v1
+        with:
+          aws-region: us-west-2
+          role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-PolymorphTestModels-Role-us-west-2
+          role-session-name: PythonTests
+
+      - uses: actions/checkout@v3
+        with:
+          submodules: recursive
+
+      # TODO: Use the released version once all the Dafny issues aew fixed.
+      - name: Setup Dafny
+        uses: dafny-lang/setup-dafny-action@v1.7.0
+        with:
+          dafny-version: "nightly-2024-12-04-bf1aac6"
+
+      - name: Install Go
+        uses: actions/setup-go@v2
+        with:
+          go-version: "1.23"
+
+      - name: Install Go imports
+        run: |
+          go install golang.org/x/tools/cmd/goimports@latest
+
+      - name: Setup Java 17 for codegen
+        uses: actions/setup-java@v3
+        with:
+          distribution: "corretto"
+          java-version: 17
+
+      - name: Install Smithy-Dafny codegen dependencies
+        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
+
+      - name: Install smithy-dafny-codegen locally
+        uses: gradle/gradle-build-action@v2
+        with:
+          arguments: :smithy-dafny-codegen:pTML
+          build-root-directory: codegen
+
+      - name: Execute smithy-dafny-codegen-test tests
+        uses: gradle/gradle-build-action@v2
+        env:
+          JUNIT_SHARD: ${{ matrix.shard }}
+          JUNIT_SHARD_COUNT: ${{ inputs.num_shards }}
+        with:
+          arguments: :smithy-dafny-codegen-test:test --tests '*smithygo*' --info
+          build-root-directory: codegen
diff --git a/SmithyDafnyMakefile.mk b/SmithyDafnyMakefile.mk
@@ -245,6 +245,7 @@ transpile_test:
 		$(if $(strip $(STD_LIBRARY)) , --library:$(PROJECT_ROOT)/$(STD_LIBRARY)/src/Index.dfy, ) \
 		$(TRANSLATION_RECORD) \
 		$(SOURCE_TRANSLATION_RECORD) \
+		$(TRANSPILE_MODULE_NAME) \
 		$(TRANSPILE_DEPENDENCIES) \
 
 # If we are not the StandardLibrary, transpile the StandardLibrary.
@@ -284,6 +285,7 @@ _polymorph:
 	$(OUTPUT_JAVA) \
 	$(OUTPUT_JAVA_TEST) \
 	$(OUTPUT_DOTNET) \
+	$(OUTPUT_GO) \
 	$(OUTPUT_PYTHON) \
 	$(MODULE_NAME) \
 	$(OUTPUT_RUST) \
@@ -295,7 +297,7 @@ _polymorph:
 	$(OUTPUT_LOCAL_SERVICE_$(SERVICE)) \
 	$(AWS_SDK_CMD) \
 	$(POLYMORPH_OPTIONS) \
-	";
+    ";
 
 _polymorph_wrapped: mvn_local_deploy_polymorph_dependencies
 _polymorph_wrapped:
@@ -308,6 +310,7 @@ _polymorph_wrapped:
 	$(OUTPUT_DAFNY_WRAPPED) \
 	$(OUTPUT_DOTNET_WRAPPED) \
 	$(OUTPUT_JAVA_WRAPPED) \
+	$(OUTPUT_GO_WRAPPED) \
 	$(OUTPUT_PYTHON_WRAPPED) \
 	$(MODULE_NAME) \
 	$(OUTPUT_RUST_WRAPPED) \
@@ -347,6 +350,7 @@ _polymorph_code_gen: INPUT_DAFNY=\
 _polymorph_code_gen: OUTPUT_DOTNET=\
     $(if $(DIR_STRUCTURE_V2), --output-dotnet $(LIBRARY_ROOT)/runtimes/net/Generated/$(SERVICE)/, --output-dotnet $(LIBRARY_ROOT)/runtimes/net/Generated/)
 _polymorph_code_gen: OUTPUT_JAVA=--output-java $(LIBRARY_ROOT)/runtimes/java/src/main/smithy-generated
+_polymorph_code_gen: OUTPUT_GO=--output-go $(LIBRARY_ROOT)/runtimes/go/
 _polymorph_code_gen: OUTPUT_JAVA_TEST=--output-java-test $(LIBRARY_ROOT)/runtimes/java/src/test/smithy-generated
 _polymorph_code_gen: OUTPUT_RUST=--output-rust $(LIBRARY_ROOT)/runtimes/rust
 _polymorph_code_gen: _polymorph
@@ -447,6 +451,39 @@ _polymorph_rust: OUTPUT_RUST=--output-rust $(LIBRARY_ROOT)/runtimes/rust
 # For those, make polymorph_rust should just be a no-op.
 _polymorph_rust: $(if $(RUST_BENERATED), , _polymorph)
 
+###########################
+
+.PHONY: polymorph_go
+polymorph_go: POLYMORPH_LANGUAGE_TARGET=go
+polymorph_go: _polymorph_dependencies
+polymorph_go:
+	set -e; for service in $(PROJECT_SERVICES) ; do \
+		export service_deps_var=SERVICE_DEPS_$${service} ; \
+		export namespace_var=SERVICE_NAMESPACE_$${service} ; \
+		export SERVICE=$${service} ; \
+		$(MAKE) _polymorph_go ; \
+	done
+
+_polymorph_go: OUTPUT_GO=--output-go $(LIBRARY_ROOT)/runtimes/go/
+_polymorph_go: MODULE_NAME=--library-name $(GO_MODULE_NAME)
+_polymorph_go: DEPENDENCY_MODULE_NAMES = $(GO_DEPENDENCY_MODULE_NAMES)
+# TODO: run_goimports should be an independent command. Right now it is required because of import issues in polymorph_go
+_polymorph_go: _polymorph _mv_polymorph_go run_goimports
+
+run_goimports:
+	cd runtimes/go/ImplementationFromDafny-go && goimports -w .
+	@if [ -d runtimes/go/TestsFromDafny-go ]; then \
+		cd runtimes/go/TestsFromDafny-go && goimports -w . ; \
+	fi
+
+_mv_polymorph_go:
+	@for dir in $(LIBRARY_ROOT)/runtimes/go/* ; do \
+        if [ "$$(basename $$dir)" != "ImplementationFromDafny-go" ] && [ "$$(basename $$dir)" != "TestsFromDafny-go" ]; then \
+			cp -Rf $$dir runtimes/go/ImplementationFromDafny-go/; \
+			cp -Rf $$dir runtimes/go/TestsFromDafny-go/; \
+			rm -r $$dir; \
+		fi \
+    done
 ########################## .NET targets
 
 net: polymorph_dafny transpile_net polymorph_dotnet test_net
@@ -615,6 +652,37 @@ _clean:
 
 clean: _clean
 
+########################## Go targets
+transpile_go: $(if $(ENABLE_EXTERN_PROCESSING), _no_extern_pre_transpile, )
+transpile_go: | transpile_dependencies_go transpile_implementation_go transpile_test_go
+transpile_go: $(if $(ENABLE_EXTERN_PROCESSING), _no_extern_post_transpile, )
+
+transpile_implementation_go: TARGET=go
+transpile_implementation_go: OUT=runtimes/go/ImplementationFromDafny
+transpile_implementation_go: DAFNY_OPTIONS=--allow-warnings
+transpile_implementation_go: TRANSPILE_DEPENDENCIES=$(patsubst %, --library:$(PROJECT_ROOT)/%, $(PROJECT_INDEX))
+transpile_implementation_go: TRANSLATION_RECORD=$(patsubst %, --translation-record:$(PROJECT_ROOT)/%, $(TRANSLATION_RECORD_GO))
+transpile_implementation_go: TRANSPILE_MODULE_NAME=--go-module-name $(GO_MODULE_NAME)
+transpile_implementation_go: _transpile_implementation_all
+
+transpile_test_go: TARGET=go
+transpile_test_go: OUT=runtimes/go/TestsFromDafny
+transpile_test_go: DAFNY_OPTIONS=--allow-warnings --include-test-runner
+transpile_test_go: TRANSPILE_DEPENDENCIES=$(patsubst %, --library:$(PROJECT_ROOT)/%, $(PROJECT_INDEX))
+transpile_test_go: TRANSLATION_RECORD=$(patsubst %, --translation-record:$(PROJECT_ROOT)/%, $(TRANSLATION_RECORD_GO)) $(patsubst %, --translation-record:$(LIBRARY_ROOT)/%, runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr)
+transpile_test_go: TRANSPILE_MODULE_NAME=--go-module-name $(GO_MODULE_NAME)/test
+transpile_test_go: _transpile_test_all
+
+transpile_dependencies_go: LANG=go
+transpile_dependencies_go: transpile_dependencies
+
+clean_go:
+	rm -rf $(LIBRARY_ROOT)/runtimes/go/ImplementationFromDafny-go
+	rm -rf $(LIBRARY_ROOT)/runtimes/go/TestsFromDafny-go
+
+test_go:
+	cd runtimes/go/TestsFromDafny-go && go mod tidy && go run TestsFromDafny.go
+
 ########################## Python targets
 
 # Install packages via `python3 -m pip`,

diff --git a/TestModels/Aggregate/Makefile b/TestModels/Aggregate/Makefile
@@ -23,6 +23,11 @@ SERVICE_DEPS_SimpleAggregate :=
 
 SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
 
+GO_MODULE_NAME="github.com/smithy-lang/smithy-dafny/TestModels/Aggregate"
+
+TRANSLATION_RECORD_GO := \
+    dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr
+
 # This project has no dependencies 
 # DEPENDENT-MODELS:= 
 

diff --git a/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -0,0 +1,9 @@
+module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate
+
+go 1.23.0
+
+require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+
+require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
+
+replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod
@@ -0,0 +1,13 @@
+module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate/test
+
+go 1.23.0
+
+require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
+
+require (
+	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
+	github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0
+)
+
+replace github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0 => ../ImplementationFromDafny-go
+replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/TestModels/Aggregate/src/Index.dfy b/TestModels/Aggregate/src/Index.dfy
@@ -27,4 +27,4 @@ module {:extern "simple.aggregate.internaldafny"} SimpleAggregate refines Abstra
             Modifies := Operations.ModifiesInternalConfig(config) + {History};
         }
     }
-}
+}
diff --git a/TestModels/Aggregate/src/WrappedSimpleAggregateImpl.dfy b/TestModels/Aggregate/src/WrappedSimpleAggregateImpl.dfy
@@ -7,4 +7,4 @@ module {:extern "simple.aggregate.internaldafny.wrapped"} WrappedSimpleAggregate
     function method WrappedDefaultSimpleAggregateConfig(): SimpleAggregateConfig {
         SimpleAggregateConfig
     }
-}
+}
diff --git a/TestModels/AggregateReferences/Makefile b/TestModels/AggregateReferences/Makefile
@@ -16,10 +16,14 @@ SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
 
 OUTPUT_DAFNY=--output-dafny $(LIBRARY_ROOT)/Model --include-dafny $(PROJECT_ROOT)/$(STD_LIBRARY)/src/Index.dfy
 
+GO_MODULE_NAME="github.com/smithy-lang/smithy-dafny/TestModels/AggregateReferences"
+
 # Override wrapped target, since wrapping isn't supported for this module
 _polymorph_wrapped :
 	echo Skipping wrapped service for aggregate references
 
+TRANSLATION_RECORD_GO := \
+    dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr
 # This project has no dependencies 
 # DEPENDENT-MODELS:= 
 
diff --git a/TestModels/CallingAWSSDKFromLocalService/Makefile b/TestModels/CallingAWSSDKFromLocalService/Makefile
@@ -0,0 +1,57 @@
+# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0
+
+CORES=2
+
+ENABLE_EXTERN_PROCESSING=1
+
+include ../SharedMakefile.mk
+
+PROJECT_SERVICES := \
+	SimpleCallingawssdkfromlocalservice
+
+PROJECT_DEPENDENCIES := \
+	aws-sdks/kmsv2 \
+	aws-sdks/ddbv2 
+
+PROJECT_INDEX := \
+	aws-sdks/kmsv2/src/Index.dfy \
+	aws-sdks/ddbv2/src/Index.dfy
+
+SERVICE_NAMESPACE_SimpleCallingawssdkfromlocalservice=simple.callingawssdkfromlocalservice
+
+SERVICE_DEPS_SimpleCallingawssdkfromlocalservice := \
+	aws-sdks/kmsv2 \
+	aws-sdks/ddbv2
+
+SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
+
+# Constants for languages that drop extern names (Python, Go)
+
+TYPES_FILE_PATH=Model/SimpleCallingawssdkfromlocalserviceTypes.dfy
+TYPES_FILE_WITH_EXTERN_STRING="module {:extern \"simple.callingawssdkfromlocalservice.internaldafny.types\" } SimpleCallingawssdkfromlocalserviceTypes"
+TYPES_FILE_WITHOUT_EXTERN_STRING="module SimpleCallingawssdkfromlocalserviceTypes"
+
+INDEX_FILE_PATH=src/Index.dfy
+INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"simple.callingawssdkfromlocalservice.internaldafny\" } SimpleCallingawssdkfromlocalservice refines AbstractSimpleCallingawssdkfromlocalserviceService {"
+INDEX_FILE_WITHOUT_EXTERN_STRING="module SimpleCallingawssdkfromlocalservice refines AbstractSimpleCallingawssdkfromlocalserviceService {"
+
+WRAPPED_INDEX_FILE_PATH=src/WrappedSimpleCallingawssdkfromlocalserviceImpl.dfy
+WRAPPED_INDEX_FILE_WITH_EXTERN_STRING="module {:extern \"simple.callingawssdkfromlocalservice.internaldafny.wrapped\"} WrappedSimpleCallingawssdkfromlocalserviceService refines WrappedAbstractSimpleCallingawssdkfromlocalserviceService {"
+WRAPPED_INDEX_FILE_WITHOUT_EXTERN_STRING="module WrappedSimpleCallingawssdkfromlocalserviceService refines WrappedAbstractSimpleCallingawssdkfromlocalserviceService {"
+
+# Go
+
+GO_DEPENDENCY_MODULE_NAMES := \
+	--dependency-library-name=com.amazonaws.kms=github.com/smithy-lang/smithy-dafny/kmsv2 \
+	--dependency-library-name=com.amazonaws.dynamodb=github.com/smithy-lang/smithy-dafny/ddbv2 \
+	--dependency-library-name=sdk.com.amazonaws.dynamodb=github.com/aws/aws-sdk-go-v2/service/dynamodb \
+	--dependency-library-name=sdk.com.amazonaws.kms=github.com/aws/aws-sdk-go-v2/service/kms
+
+GO_MODULE_NAME="github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalService"
+
+TRANSLATION_RECORD_GO := \
+	dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \
+	aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \
+	aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr 
+
-Original file line number
+Diff line change
@@ Expand Up @@
                 Modifies := Operations.ModifiesInternalConfig(config) + {History};
             }
         }
-    }
+    }