m

smithy-lang · Nov 3, 2024 · 85ed378 · 85ed378
1 parent 2580e98
commit 85ed378
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/...test/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeConstants.java b/...test/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeConstants.java
@@ -139,7 +139,7 @@ public static KmsClient KeyManagementService(IKeyManagementServiceClient dafnyVa
            return ((Shim) dafnyValue).impl();
        }
 
-       public static RuntimeException Error(Error_Opaque dafnyValue) {
+       public static RuntimeException Error(Error_OpaqueWithText dafnyValue) {
          // While the first two cases are logically identical,
          // there is a semantic distinction.
          // An un-modeled Service Error is different from a Java Heap Exhaustion error.
@@ -157,8 +157,8 @@ public static RuntimeException Error(Error dafnyValue) {
          if (dafnyValue.is_DependencyTimeoutException()) {
            return ToNative.Error((Error_DependencyTimeoutException) dafnyValue);
          }
-         if (dafnyValue.is_Opaque()) {
-           return ToNative.Error((Error_Opaque) dafnyValue);
+         if (dafnyValue.is_OpaqueWithText()) {
+           return ToNative.Error((Error_OpaqueWithText) dafnyValue);
          }
          // TODO This should indicate a codegen bug; every error Should have been taken care of.
          return new IllegalStateException(

diff --git a/.../src/test/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeTest.java b/.../src/test/java/software/amazon/polymorph/smithyjava/generator/awssdk/v2/ToNativeTest.java
@@ -354,11 +354,6 @@ public void generate() {
     final Path actualPath = actual.keySet().toArray(temp)[0];
     assertEquals(expectedPath, actualPath);
     final String actualSource = actual.get(actualPath).toString();
-    System.err.println("*******");
-    System.err.println(actualSource);
-    System.err.println("*******");
-    System.err.println(ToNativeConstants.KMS_A_STRING_OPERATION_JAVA_FILE);
-    System.err.println("*******");
     tokenizeAndAssertEqual(
       ToNativeConstants.KMS_A_STRING_OPERATION_JAVA_FILE,
       actualSource