Rename fetchAddress to referenceType (#754)

smithy-lang · Dec 23, 2024 · fae37dd · fae37dd
1 parent 630096f
commit fae37dd
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/...main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java b/...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(