m

smithy-lang · Nov 3, 2024 · 8aaa3a4 · 8aaa3a4
1 parent 1ec4d90
commit 8aaa3a4
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/...src/main/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeAwsV2.java b/...src/main/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeAwsV2.java
@@ -527,7 +527,8 @@ protected MethodSpec modeledUnion(final UnionShape shape) {
 
   protected MethodSpec errorOpaque() {
     final String methodName = "Error";
-    final TypeName inputType = subject.dafnyNameResolver.classForOpaqueWithTextError();
+    final TypeName inputType =
+      subject.dafnyNameResolver.classForOpaqueWithTextError();
     final ClassName returnType = ClassName.get(RuntimeException.class);
     return initializeMethodSpec(methodName, inputType, returnType)
       .addComment("While the first two cases are logically identical,")

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()));
     }
     """;