mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2024-09-21 18:37:58 +03:00
112 lines
2.8 KiB
C++
112 lines
2.8 KiB
C++
/*
|
|
* Copyright (c) 2021, the SerenityOS developers.
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <AK/Optional.h>
|
|
#include <AK/StdLibExtras.h>
|
|
#include <LibJS/Runtime/VM.h>
|
|
#include <LibWeb/DOM/ExceptionOr.h>
|
|
|
|
namespace Web::Bindings {
|
|
|
|
template<typename>
|
|
constexpr bool IsExceptionOr = false;
|
|
|
|
template<typename T>
|
|
constexpr bool IsExceptionOr<DOM::ExceptionOr<T>> = true;
|
|
|
|
template<typename>
|
|
constexpr bool IsThrowCompletionOr = false;
|
|
|
|
template<typename T>
|
|
constexpr bool IsThrowCompletionOr<JS::ThrowCompletionOr<T>> = true;
|
|
|
|
namespace Detail {
|
|
|
|
template<typename T>
|
|
struct ExtractExceptionOrValueType {
|
|
using Type = T;
|
|
};
|
|
|
|
template<typename T>
|
|
struct ExtractExceptionOrValueType<DOM::ExceptionOr<T>> {
|
|
using Type = T;
|
|
};
|
|
|
|
template<typename T>
|
|
struct ExtractExceptionOrValueType<JS::ThrowCompletionOr<T>> {
|
|
using Type = T;
|
|
};
|
|
|
|
template<>
|
|
struct ExtractExceptionOrValueType<void> {
|
|
using Type = JS::Value;
|
|
};
|
|
|
|
template<>
|
|
struct ExtractExceptionOrValueType<DOM::ExceptionOr<Empty>> {
|
|
using Type = JS::Value;
|
|
};
|
|
|
|
template<>
|
|
struct ExtractExceptionOrValueType<DOM::ExceptionOr<void>> {
|
|
using Type = JS::Value;
|
|
};
|
|
|
|
ALWAYS_INLINE JS::Completion dom_exception_to_throw_completion(auto&& vm, auto&& exception)
|
|
{
|
|
return exception.visit(
|
|
[&](DOM::SimpleException const& exception) {
|
|
switch (exception.type) {
|
|
#define E(x) \
|
|
case DOM::SimpleExceptionType::x: \
|
|
return vm.template throw_completion<JS::x>(exception.message);
|
|
|
|
ENUMERATE_SIMPLE_WEBIDL_EXCEPTION_TYPES(E)
|
|
|
|
#undef E
|
|
default:
|
|
VERIFY_NOT_REACHED();
|
|
}
|
|
},
|
|
[&](JS::NonnullGCPtr<DOM::DOMException> const& exception) {
|
|
return throw_completion(exception);
|
|
});
|
|
}
|
|
|
|
}
|
|
|
|
template<typename T>
|
|
using ExtractExceptionOrValueType = typename Detail::ExtractExceptionOrValueType<T>::Type;
|
|
|
|
// Return type depends on the return type of 'fn' (when invoked with no args):
|
|
// void or ExceptionOr<void>: JS::ThrowCompletionOr<JS::Value>, always returns JS::js_undefined()
|
|
// ExceptionOr<T>: JS::ThrowCompletionOr<T>
|
|
// T: JS::ThrowCompletionOr<T>
|
|
template<typename F, typename T = decltype(declval<F>()()), typename Ret = Conditional<!IsExceptionOr<T> && !IsVoid<T> && !IsThrowCompletionOr<T>, T, ExtractExceptionOrValueType<T>>>
|
|
JS::ThrowCompletionOr<Ret> throw_dom_exception_if_needed(auto&& vm, F&& fn)
|
|
{
|
|
if constexpr (IsExceptionOr<T>) {
|
|
auto&& result = fn();
|
|
|
|
if (result.is_exception())
|
|
return Detail::dom_exception_to_throw_completion(vm, result.exception());
|
|
|
|
if constexpr (requires(T v) { v.value(); })
|
|
return result.value();
|
|
else
|
|
return JS::js_undefined();
|
|
} else if constexpr (IsVoid<T>) {
|
|
fn();
|
|
return JS::js_undefined();
|
|
} else {
|
|
return fn();
|
|
}
|
|
}
|
|
|
|
}
|