Fix: local-service-test in smithy and add dotnet generated files

Author: rishav-karanjit

SharedMakefile.mk

@@ -231,7 +231,7 @@ _polymorph:
 	$(patsubst %, --dependent-model $(PROJECT_ROOT)/%/Model, $($(service_deps_var))) \
 	--namespace $($(namespace_var)) \
 	$(AWS_SDK_CMD) \
-	$(OUTPUT_LOCAL_SERVICE) \
+	$(OUTPUT_LOCAL_SERVICE_$(SERVICE)) \
 	";
 
 # Generates all target runtime code for all namespaces in this project.

TestVectors/runtimes/net/Generated/DDBEncryption/DynamoDbEncryptionShim.cs

@@ -0,0 +1,44 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
+using System;
+ using System.Collections.Generic;
+ using System.IO;
+ using System.Linq; namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped {
+ public class DynamoDbEncryptionShim : software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.IDynamoDbEncryptionClient {
+ public AWS.Cryptography.DbEncryptionSDK.DynamoDb.DynamoDbEncryption _impl;
+ public DynamoDbEncryptionShim(AWS.Cryptography.DbEncryptionSDK.DynamoDb.DynamoDbEncryption impl) {
+    this._impl = impl;
+}
+ public Wrappers_Compile._IResult<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ICreateDynamoDbEncryptionBranchKeyIdSupplierOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError> CreateDynamoDbEncryptionBranchKeyIdSupplier(software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ICreateDynamoDbEncryptionBranchKeyIdSupplierInput request) {
+ AWS.Cryptography.DbEncryptionSDK.DynamoDb.CreateDynamoDbEncryptionBranchKeyIdSupplierInput unWrappedRequest = TypeConversion.FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S48_CreateDynamoDbEncryptionBranchKeyIdSupplierInput(request); try {
+ AWS.Cryptography.DbEncryptionSDK.DynamoDb.CreateDynamoDbEncryptionBranchKeyIdSupplierOutput wrappedResponse =
+ this._impl.CreateDynamoDbEncryptionBranchKeyIdSupplier(unWrappedRequest);
+ return Wrappers_Compile.Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ICreateDynamoDbEncryptionBranchKeyIdSupplierOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError>.create_Success(TypeConversion.ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S49_CreateDynamoDbEncryptionBranchKeyIdSupplierOutput(wrappedResponse));
+} catch (System.Exception ex) {
+    return Wrappers_Compile.Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._ICreateDynamoDbEncryptionBranchKeyIdSupplierOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError>.create_Failure(this.ConvertError(ex));
+}
+
+}
+ private software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError ConvertError(System.Exception error) {
+
+ switch (error) {
+ case AWS.Cryptography.DbEncryptionSDK.DynamoDb.DynamoDbEncryptionException e:
+    return TypeConversion.ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S27_DynamoDbEncryptionException(e);
+
+ case CollectionOfErrors collectionOfErrors:
+   return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_CollectionOfErrors(
+     Dafny.Sequence<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError>
+       .FromArray(
+         collectionOfErrors.list.Select
+             (x => TypeConversion.ToDafny_CommonError(x))
+           .ToArray()),
+     Dafny.Sequence<char>.FromString(collectionOfErrors.Message)
+   );
+ default:
+    return new software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.Error_Opaque(error);
+
+}
+}
+}
+}

TestVectors/runtimes/net/Generated/DDBEncryption/TypeConversion.cs

@@ -0,0 +1,45 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
+// ReSharper disable RedundantUsingDirective
+// ReSharper disable RedundantNameQualifier
+// ReSharper disable SuggestVarOrType_SimpleTypes
+ using System;
+ using _System;
+ using Wrappers_Compile;
+
+ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped {
+ internal class WrappedNativeWrapper_DynamoDbKeyBranchKeyIdSupplier : software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.IDynamoDbKeyBranchKeyIdSupplier 
+ {
+ internal readonly DynamoDbKeyBranchKeyIdSupplierBase _impl;
+ public WrappedNativeWrapper_DynamoDbKeyBranchKeyIdSupplier(DynamoDbKeyBranchKeyIdSupplierBase nativeImpl)
+ {
+ _impl = nativeImpl;
+}
+ public Wrappers_Compile._IResult<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IGetBranchKeyIdFromDdbKeyOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError> GetBranchKeyIdFromDdbKey(software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IGetBranchKeyIdFromDdbKeyInput input)
+ {
+ void validateOutput(AWS.Cryptography.DbEncryptionSDK.DynamoDb.GetBranchKeyIdFromDdbKeyOutput nativeOutput) {
+ try { nativeOutput.Validate(); } catch (ArgumentException e)
+ {
+ var message = $"Output of {_impl}._GetBranchKeyIdFromDdbKey is invalid. {e.Message}";
+ throw new DynamoDbEncryptionException(message);
+}
+}
+ AWS.Cryptography.DbEncryptionSDK.DynamoDb.GetBranchKeyIdFromDdbKeyInput nativeInput = TypeConversion.FromDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S29_GetBranchKeyIdFromDdbKeyInput(input);
+ try {
+ AWS.Cryptography.DbEncryptionSDK.DynamoDb.GetBranchKeyIdFromDdbKeyOutput nativeOutput = _impl.GetBranchKeyIdFromDdbKey(nativeInput);
+ _ = nativeOutput ?? throw new DynamoDbEncryptionException($"{_impl}._GetBranchKeyIdFromDdbKey returned null, should be {typeof(AWS.Cryptography.DbEncryptionSDK.DynamoDb.GetBranchKeyIdFromDdbKeyOutput)}");
+ validateOutput(nativeOutput);
+ return Wrappers_Compile.Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IGetBranchKeyIdFromDdbKeyOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError>.create_Success(TypeConversion.ToDafny_N3_aws__N12_cryptography__N15_dbEncryptionSdk__N8_dynamoDb__S30_GetBranchKeyIdFromDdbKeyOutput(nativeOutput));
+}
+ catch(Exception e)
+ {
+ return Wrappers_Compile.Result<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IGetBranchKeyIdFromDdbKeyOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError>.create_Failure(TypeConversion.ToDafny_CommonError(e));
+}
+}
+ public Wrappers_Compile._IResult<software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IGetBranchKeyIdFromDdbKeyOutput, software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IError> GetBranchKeyIdFromDdbKey_k(software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types._IGetBranchKeyIdFromDdbKeyInput input)
+ {
+ throw new DynamoDbEncryptionException("Not supported at this time.");
+}
+}
+}

TestVectors/runtimes/net/Generated/DDBEncryption/WrappedNativeWrapper_DynamoDbKeyBranchKeyIdSupplier.cs

@@ -0,0 +1,21 @@
+// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+// SPDX-License-Identifier: Apache-2.0
+// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
+// ReSharper disable RedundantUsingDirective
+// ReSharper disable RedundantNameQualifier
+// ReSharper disable SuggestVarOrType_SimpleTypes
+ using System;
+ using _System;
+ using Wrappers_Compile;
+
+ namespace AWS.Cryptography.DbEncryptionSDK.DynamoDb.Wrapped {
+ internal class WrappedNativeWrapper_LegacyDynamoDbEncryptor : software.amazon.cryptography.dbencryptionsdk.dynamodb.internaldafny.types.ILegacyDynamoDbEncryptor 
+ {
+ internal readonly LegacyDynamoDbEncryptorBase _impl;
+ public WrappedNativeWrapper_LegacyDynamoDbEncryptor(LegacyDynamoDbEncryptorBase nativeImpl)
+ {
+ _impl = nativeImpl;
+}
+ 
+}
+}