From fae37dd1d2742ad9e24797029be6b41994a2c2e0 Mon Sep 17 00:00:00 2001 From: Shubham Chaturvedi Date: Mon, 23 Dec 2024 14:47:40 -0800 Subject: [PATCH] Rename fetchAddress to referenceType (#754) --- .../smithygo/localservice/DafnyLocalServiceGenerator.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java index 90a5c497e..c8f42f114 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java @@ -1133,7 +1133,7 @@ void generateNativeResourceWrapper( "" ); boolean deReferenceRequired = true; - boolean fetchAddress = false; + boolean referenceType = false; if (outputShape.hasTrait(PositionalTrait.class)) { final MemberShape postionalMemShape = outputShape .getAllMembers() @@ -1151,7 +1151,7 @@ void generateNativeResourceWrapper( ); // If shape is pointer type, we need to fetch its address // because conversion function will have pointer as input - fetchAddress = + referenceType = context .symbolProvider() .toSymbol(outputShape) @@ -1176,7 +1176,7 @@ void generateNativeResourceWrapper( returnResponse = "%s(%snative_response)".formatted( toDafnyConvMethodNameForOutput, - deReferenceRequired ? "*" : (fetchAddress ? "&" : "") + deReferenceRequired ? "*" : (referenceType ? "&" : "") ); } writer.write(