public static RuntimeException Error()

in ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java [8703:8825]


  public static RuntimeException Error(Error dafnyValue) {
    if (dafnyValue.is_BackupInUseException()) {
      return ToNative.Error((Error_BackupInUseException) dafnyValue);
    }
    if (dafnyValue.is_BackupNotFoundException()) {
      return ToNative.Error((Error_BackupNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_ConditionalCheckFailedException()) {
      return ToNative.Error((Error_ConditionalCheckFailedException) dafnyValue);
    }
    if (dafnyValue.is_ContinuousBackupsUnavailableException()) {
      return ToNative.Error(
        (Error_ContinuousBackupsUnavailableException) dafnyValue
      );
    }
    if (dafnyValue.is_DuplicateItemException()) {
      return ToNative.Error((Error_DuplicateItemException) dafnyValue);
    }
    if (dafnyValue.is_ExportConflictException()) {
      return ToNative.Error((Error_ExportConflictException) dafnyValue);
    }
    if (dafnyValue.is_ExportNotFoundException()) {
      return ToNative.Error((Error_ExportNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_GlobalTableAlreadyExistsException()) {
      return ToNative.Error(
        (Error_GlobalTableAlreadyExistsException) dafnyValue
      );
    }
    if (dafnyValue.is_GlobalTableNotFoundException()) {
      return ToNative.Error((Error_GlobalTableNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_IdempotentParameterMismatchException()) {
      return ToNative.Error(
        (Error_IdempotentParameterMismatchException) dafnyValue
      );
    }
    if (dafnyValue.is_ImportConflictException()) {
      return ToNative.Error((Error_ImportConflictException) dafnyValue);
    }
    if (dafnyValue.is_ImportNotFoundException()) {
      return ToNative.Error((Error_ImportNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_IndexNotFoundException()) {
      return ToNative.Error((Error_IndexNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_InternalServerError()) {
      return ToNative.Error((Error_InternalServerError) dafnyValue);
    }
    if (dafnyValue.is_InvalidExportTimeException()) {
      return ToNative.Error((Error_InvalidExportTimeException) dafnyValue);
    }
    if (dafnyValue.is_InvalidRestoreTimeException()) {
      return ToNative.Error((Error_InvalidRestoreTimeException) dafnyValue);
    }
    if (dafnyValue.is_ItemCollectionSizeLimitExceededException()) {
      return ToNative.Error(
        (Error_ItemCollectionSizeLimitExceededException) dafnyValue
      );
    }
    if (dafnyValue.is_LimitExceededException()) {
      return ToNative.Error((Error_LimitExceededException) dafnyValue);
    }
    if (dafnyValue.is_PointInTimeRecoveryUnavailableException()) {
      return ToNative.Error(
        (Error_PointInTimeRecoveryUnavailableException) dafnyValue
      );
    }
    if (dafnyValue.is_PolicyNotFoundException()) {
      return ToNative.Error((Error_PolicyNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_ProvisionedThroughputExceededException()) {
      return ToNative.Error(
        (Error_ProvisionedThroughputExceededException) dafnyValue
      );
    }
    if (dafnyValue.is_ReplicaAlreadyExistsException()) {
      return ToNative.Error((Error_ReplicaAlreadyExistsException) dafnyValue);
    }
    if (dafnyValue.is_ReplicaNotFoundException()) {
      return ToNative.Error((Error_ReplicaNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_RequestLimitExceeded()) {
      return ToNative.Error((Error_RequestLimitExceeded) dafnyValue);
    }
    if (dafnyValue.is_ResourceInUseException()) {
      return ToNative.Error((Error_ResourceInUseException) dafnyValue);
    }
    if (dafnyValue.is_ResourceNotFoundException()) {
      return ToNative.Error((Error_ResourceNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_TableAlreadyExistsException()) {
      return ToNative.Error((Error_TableAlreadyExistsException) dafnyValue);
    }
    if (dafnyValue.is_TableInUseException()) {
      return ToNative.Error((Error_TableInUseException) dafnyValue);
    }
    if (dafnyValue.is_TableNotFoundException()) {
      return ToNative.Error((Error_TableNotFoundException) dafnyValue);
    }
    if (dafnyValue.is_TransactionCanceledException()) {
      return ToNative.Error((Error_TransactionCanceledException) dafnyValue);
    }
    if (dafnyValue.is_TransactionConflictException()) {
      return ToNative.Error((Error_TransactionConflictException) dafnyValue);
    }
    if (dafnyValue.is_TransactionInProgressException()) {
      return ToNative.Error((Error_TransactionInProgressException) 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(
      String.format(
        "Unknown error thrown while calling service. %s",
        dafnyValue
      )
    );
  }