m

smithy-lang · Nov 3, 2024 · 4d864a8 · 4d864a8
1 parent af0fab3
commit 4d864a8
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.../src/main/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToDafnyAwsV2.java b/.../src/main/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToDafnyAwsV2.java
@@ -705,7 +705,7 @@ MethodSpec generateConvertOpaqueServiceError() {
         "nativeValue"
       )
       .addStatement(
-        "return $T.create_OpaqueWithText(nativeValue, dafny.DafnySequence.asString(nativeValue.toString()))",
+        "return $T.create_OpaqueWithText(nativeValue, dafny.DafnySequence.asString(nativeValue.getMessage()))",
         subject.dafnyNameResolver.abstractClassForError()
       )
       .build();
@@ -731,7 +731,7 @@ MethodSpec generateConvertOpaqueError() {
         "Which would allow Dafny developers to treat the two differently."
       )
       .addStatement(
-        "return $T.create_OpaqueWithText(nativeValue, dafny.DafnySequence.asString(nativeValue.toString()))",
+        "return $T.create_OpaqueWithText(nativeValue, dafny.DafnySequence.asString(nativeValue.getMessage()))",
         subject.dafnyNameResolver.abstractClassForError()
       )
       .build();

diff --git a/.../java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToDafnyAwsV2Constants.java b/.../java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToDafnyAwsV2Constants.java
@@ -115,7 +115,7 @@ public static software.amazon.cryptography.services.kms.internaldafny.types.Erro
       // An un-modeled Service Error is different from a Java Heap Exhaustion error.
       // In the future, Smithy-Dafny MAY allow for this distinction.
       // Which would allow Dafny developers to treat the two differently.
-      return software.amazon.cryptography.services.kms.internaldafny.types.Error.create_Opaque(nativeValue);
+      return software.amazon.cryptography.services.kms.internaldafny.types.Error.create_OpaqueWithText(nativeValue, dafny.DafnySequence.asString(nativeValue.getMessage()));
     }
     """;
 
@@ -129,7 +129,7 @@ public static software.amazon.cryptography.services.kms.internaldafny.types.Erro
       // An un-modeled Service Error is different from a Java Heap Exhaustion error.
       // In the future, Smithy-Dafny MAY allow for this distinction.
       // Which would allow Dafny developers to treat the two differently.
-      return software.amazon.cryptography.services.kms.internaldafny.types.Error.create_Opaque(nativeValue);
+      return software.amazon.cryptography.services.kms.internaldafny.types.Error.create_OpaqueWithText(nativeValue, dafny.DafnySequence.asString(nativeValue.getMessage()));
     }
     """;