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