#include <LibJS/Runtime/AbstractOperations.h>
#include <LibJS/Runtime/Error.h>
#include <LibJS/Runtime/Object.h>
#include <LibJS/Runtime/Realm.h>
#include <LibJS/Runtime/VM.h>
#include <LibJS/Runtime/Value.h>
#include <LibJS/Runtime/ValueInlines.h>
#include <LibWeb/Bindings/DOMPointReadOnly.h>
#include <LibWeb/Bindings/DOMQuad.h>
#include <LibWeb/Bindings/DOMRectReadOnly.h>
#include <LibWeb/Bindings/ExceptionOrUtils.h>
#include <LibWeb/Bindings/Intrinsics.h>
#include <LibWeb/Geometry/DOMPoint.h>
#include <LibWeb/Geometry/DOMQuad.h>
#include <LibWeb/Geometry/DOMRect.h>
#include <LibWeb/WebIDL/Tracing.h>

namespace Web::Bindings {

void DOMQuadConstructor::initialize(JS::Realm& realm, JS::NativeFunction& object)
{
    auto& vm = realm.vm();
    [[maybe_unused]] u8 default_attributes = JS::Attribute::Enumerable;

    
    object.define_direct_property(vm.names.length, JS::Value(0), JS::Attribute::Configurable);
    object.define_direct_property(vm.names.name, JS::PrimitiveString::create(vm, "DOMQuad"_utf16), JS::Attribute::Configurable);
    object.define_direct_property(vm.names.prototype, &ensure_web_prototype<DOMQuadPrototype>(realm, "DOMQuad"_fly_string), 0);
    object.define_native_function(realm, "fromRect"_utf16_fly_string, from_rect, 0, JS::Attribute::Enumerable | JS::Attribute::Configurable | JS::Attribute::Writable);

    object.define_native_function(realm, "fromQuad"_utf16_fly_string, from_quad, 0, JS::Attribute::Enumerable | JS::Attribute::Configurable | JS::Attribute::Writable);

}

JS::ThrowCompletionOr<GC::Ref<JS::Object>> DOMQuadConstructor::construct([[maybe_unused]] InterfaceConstructor& constructor, [[maybe_unused]] JS::FunctionObject& new_target)
{
    WebIDL::log_trace(constructor.vm(), "DOMQuadConstructor::construct");
    auto& vm = constructor.vm();
    [[maybe_unused]] auto& realm = *vm.current_realm();

    // To internally create a new object implementing the interface DOMQuad:

    // 3.2. Let prototype be ? Get(newTarget, "prototype").
    auto prototype = TRY(new_target.get(vm.names.prototype));

    // 3.3. If Type(prototype) is not Object, then:
    if (!prototype.is_object()) {
        // 1. Let targetRealm be ? GetFunctionRealm(newTarget).
        auto* target_realm = TRY(JS::get_function_realm(vm, new_target));

        // 2. Set prototype to the interface prototype object for interface in targetRealm.
        VERIFY(target_realm);
        prototype = &Bindings::ensure_web_prototype<DOMQuadPrototype>(*target_realm, "DOMQuad"_fly_string);
    }

    auto arg0 = vm.argument(0);
    DOMPointInit p1 = DOMPointInit {};
    if (!arg0.is_undefined())
        p1 = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, arg0); }));

    auto arg1 = vm.argument(1);
    DOMPointInit p2 = DOMPointInit {};
    if (!arg1.is_undefined())
        p2 = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, arg1); }));

    auto arg2 = vm.argument(2);
    DOMPointInit p3 = DOMPointInit {};
    if (!arg2.is_undefined())
        p3 = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, arg2); }));

    auto arg3 = vm.argument(3);
    DOMPointInit p4 = DOMPointInit {};
    if (!arg3.is_undefined())
        p4 = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, arg3); }));

    auto impl = TRY(throw_dom_exception_if_needed(vm, [&] { return Geometry::DOMQuad::construct_impl(realm, p1, p2, p3, p4); }));

    // 7. Set instance.[[Prototype]] to prototype.
    VERIFY(prototype.is_object());
    impl->set_prototype(&prototype.as_object());

    // FIXME: Steps 8...11. of the "internally create a new object implementing the interface DOMQuad" algorithm
    // (https://webidl.spec.whatwg.org/#js-platform-objects) are currently not handled, or are handled within Geometry::DOMQuad::construct_impl().

    return *impl;
}

void DOMQuadPrototype::initialize(JS::Realm& realm, JS::Object& object)
{
    [[maybe_unused]] auto& vm = realm.vm();
    [[maybe_unused]] u8 default_attributes = JS::Attribute::Enumerable | JS::Attribute::Configurable | JS::Attribute::Writable;

    object.set_prototype(realm.intrinsics().object_prototype());

    auto p1_id = "p1"_utf16_fly_string;
    auto native_p1_getter = JS::NativeFunction::create(realm, p1_getter, 0, p1_id, &realm, "get"sv);
    GC::Ptr<JS::NativeFunction> native_p1_setter;

    // 4. Let configurable be false if attr is unforgeable and true otherwise.
    auto p1_attributes = default_attributes;

    // 5. Let desc be the PropertyDescriptor{[[Get]]: getter, [[Set]]: setter, [[Enumerable]]: true, [[Configurable]]: configurable}.

    // 7. Perform ! DefinePropertyOrThrow(target, id, desc).
    object.define_direct_accessor(p1_id, native_p1_getter, native_p1_setter, p1_attributes);

    // 8. FIXME: If attr’s type is an observable array type with type argument T, then set target’s backing observable array exotic object for attr to the result of creating an observable array exotic object in realm, given T, attr’s set an indexed value algorithm, and attr’s delete an indexed value algorithm.
    auto p2_id = "p2"_utf16_fly_string;
    auto native_p2_getter = JS::NativeFunction::create(realm, p2_getter, 0, p2_id, &realm, "get"sv);
    GC::Ptr<JS::NativeFunction> native_p2_setter;

    // 4. Let configurable be false if attr is unforgeable and true otherwise.
    auto p2_attributes = default_attributes;

    // 5. Let desc be the PropertyDescriptor{[[Get]]: getter, [[Set]]: setter, [[Enumerable]]: true, [[Configurable]]: configurable}.

    // 7. Perform ! DefinePropertyOrThrow(target, id, desc).
    object.define_direct_accessor(p2_id, native_p2_getter, native_p2_setter, p2_attributes);

    // 8. FIXME: If attr’s type is an observable array type with type argument T, then set target’s backing observable array exotic object for attr to the result of creating an observable array exotic object in realm, given T, attr’s set an indexed value algorithm, and attr’s delete an indexed value algorithm.
    auto p3_id = "p3"_utf16_fly_string;
    auto native_p3_getter = JS::NativeFunction::create(realm, p3_getter, 0, p3_id, &realm, "get"sv);
    GC::Ptr<JS::NativeFunction> native_p3_setter;

    // 4. Let configurable be false if attr is unforgeable and true otherwise.
    auto p3_attributes = default_attributes;

    // 5. Let desc be the PropertyDescriptor{[[Get]]: getter, [[Set]]: setter, [[Enumerable]]: true, [[Configurable]]: configurable}.

    // 7. Perform ! DefinePropertyOrThrow(target, id, desc).
    object.define_direct_accessor(p3_id, native_p3_getter, native_p3_setter, p3_attributes);

    // 8. FIXME: If attr’s type is an observable array type with type argument T, then set target’s backing observable array exotic object for attr to the result of creating an observable array exotic object in realm, given T, attr’s set an indexed value algorithm, and attr’s delete an indexed value algorithm.
    auto p4_id = "p4"_utf16_fly_string;
    auto native_p4_getter = JS::NativeFunction::create(realm, p4_getter, 0, p4_id, &realm, "get"sv);
    GC::Ptr<JS::NativeFunction> native_p4_setter;

    // 4. Let configurable be false if attr is unforgeable and true otherwise.
    auto p4_attributes = default_attributes;

    // 5. Let desc be the PropertyDescriptor{[[Get]]: getter, [[Set]]: setter, [[Enumerable]]: true, [[Configurable]]: configurable}.

    // 7. Perform ! DefinePropertyOrThrow(target, id, desc).
    object.define_direct_accessor(p4_id, native_p4_getter, native_p4_setter, p4_attributes);

    // 8. FIXME: If attr’s type is an observable array type with type argument T, then set target’s backing observable array exotic object for attr to the result of creating an observable array exotic object in realm, given T, attr’s set an indexed value algorithm, and attr’s delete an indexed value algorithm.
    object.define_native_function(realm, "getBounds"_utf16_fly_string, get_bounds, 0, default_attributes);

    object.define_native_function(realm, "toJSON"_utf16_fly_string, to_json, 0, default_attributes);

    object.define_direct_property(vm.well_known_symbol_to_string_tag(), JS::PrimitiveString::create(vm, "DOMQuad"_utf16), JS::Attribute::Configurable);
}

void DOMQuadPrototype::define_unforgeable_attributes(JS::Realm& realm, [[maybe_unused]] JS::Object& object)
{
    [[maybe_unused]] auto& vm = realm.vm();
    [[maybe_unused]] u8 default_attributes = JS::Attribute::Enumerable;
}

[[maybe_unused]] static JS::ThrowCompletionOr<Geometry::DOMQuad*> impl_from(JS::VM& vm, JS::Value js_value)
{

    if (auto impl = js_value.as_if<Geometry::DOMQuad>())
        return impl.ptr();
    return vm.throw_completion<JS::TypeError>(JS::ErrorType::NotAnObjectOfType, "DOMQuad");
}

[[maybe_unused]] static JS::ThrowCompletionOr<Geometry::DOMQuad*> impl_from(JS::VM& vm)
{
    auto this_value = vm.this_value();
    if (this_value.is_nullish())
        this_value = &vm.current_realm()->global_object();
    return impl_from(vm, this_value);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadConstructor::from_rect)
{
    WebIDL::log_trace(vm, "DOMQuadConstructor::from_rect");
    [[maybe_unused]] auto& realm = *vm.current_realm();
    auto arg0 = vm.argument(0);
    DOMRectInit other = DOMRectInit {};
    if (!arg0.is_undefined())
        other = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_rect_init(vm, arg0); }));

    [[maybe_unused]] auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return Geometry::DOMQuad::from_rect(vm, other); }));
    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadConstructor::from_quad)
{
    WebIDL::log_trace(vm, "DOMQuadConstructor::from_quad");
    [[maybe_unused]] auto& realm = *vm.current_realm();
    auto arg0 = vm.argument(0);
    DOMQuadInit other = DOMQuadInit {};
    if (!arg0.is_undefined())
        other = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_quad_init(vm, arg0); }));

    [[maybe_unused]] auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return Geometry::DOMQuad::from_quad(vm, other); }));
    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadPrototype::p1_getter)
{
    WebIDL::log_trace(vm, "DOMQuadPrototype::p1_getter");
    [[maybe_unused]] auto& realm = *vm.current_realm();

    auto* idl_object = TRY(impl_from(vm));


    auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p1(); }));

    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadPrototype::p2_getter)
{
    WebIDL::log_trace(vm, "DOMQuadPrototype::p2_getter");
    [[maybe_unused]] auto& realm = *vm.current_realm();

    auto* idl_object = TRY(impl_from(vm));


    auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p2(); }));

    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadPrototype::p3_getter)
{
    WebIDL::log_trace(vm, "DOMQuadPrototype::p3_getter");
    [[maybe_unused]] auto& realm = *vm.current_realm();

    auto* idl_object = TRY(impl_from(vm));


    auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p3(); }));

    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadPrototype::p4_getter)
{
    WebIDL::log_trace(vm, "DOMQuadPrototype::p4_getter");
    [[maybe_unused]] auto& realm = *vm.current_realm();

    auto* idl_object = TRY(impl_from(vm));


    auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p4(); }));

    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadPrototype::get_bounds)
{
    WebIDL::log_trace(vm, "DOMQuadPrototype::get_bounds");
    [[maybe_unused]] auto& realm = *vm.current_realm();
    [[maybe_unused]] Geometry::DOMQuad* idl_object = TRY(impl_from(vm));

    [[maybe_unused]] auto R = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->get_bounds(); }));
    return JS::Value(R);
}

JS_DEFINE_NATIVE_FUNCTION(DOMQuadPrototype::to_json)
{
    WebIDL::log_trace(vm, "DOMQuadPrototype::to_json");
    auto& realm = *vm.current_realm();

    [[maybe_unused]] auto* idl_object = TRY(impl_from(vm));

    // 4. Let result be OrdinaryObjectCreate(%Object.prototype%).
    auto result = JS::Object::create(realm, realm.intrinsics().object_prototype());

    // 5. For each key → value of map:
    auto p1_0_value = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p1(); }));

    // 1. Let k be key converted to a JavaScript value.
    auto p1_0_key = "p1"_utf16_fly_string;

    // 2. Let v be value converted to a JavaScript value.
    auto p1_0_value_js = JS::Value(p1_0_value);

    // 3. Perform ! CreateDataPropertyOrThrow(result, k, v).
    MUST(result->create_data_property(p1_0_key, p1_0_value_js));
    auto p2_1_value = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p2(); }));

    // 1. Let k be key converted to a JavaScript value.
    auto p2_1_key = "p2"_utf16_fly_string;

    // 2. Let v be value converted to a JavaScript value.
    auto p2_1_value_js = JS::Value(p2_1_value);

    // 3. Perform ! CreateDataPropertyOrThrow(result, k, v).
    MUST(result->create_data_property(p2_1_key, p2_1_value_js));
    auto p3_2_value = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p3(); }));

    // 1. Let k be key converted to a JavaScript value.
    auto p3_2_key = "p3"_utf16_fly_string;

    // 2. Let v be value converted to a JavaScript value.
    auto p3_2_value_js = JS::Value(p3_2_value);

    // 3. Perform ! CreateDataPropertyOrThrow(result, k, v).
    MUST(result->create_data_property(p3_2_key, p3_2_value_js));
    auto p4_3_value = TRY(throw_dom_exception_if_needed(vm, [&] { return idl_object->p4(); }));

    // 1. Let k be key converted to a JavaScript value.
    auto p4_3_key = "p4"_utf16_fly_string;

    // 2. Let v be value converted to a JavaScript value.
    auto p4_3_value_js = JS::Value(p4_3_value);

    // 3. Perform ! CreateDataPropertyOrThrow(result, k, v).
    MUST(result->create_data_property(p4_3_key, p4_3_value_js));

    // 6. Return result.
    return result;
}

// https://webidl.spec.whatwg.org/#es-dictionary
JS::ThrowCompletionOr<DOMQuadInit> convert_to_idl_value_for_dom_quad_init(JS::VM& vm, JS::Value js_dict)
{
    // 1. If jsDict is not an Object and jsDict is neither undefined nor null, then throw a TypeError.
    if (!js_dict.is_object() && !js_dict.is_nullish())
        return vm.throw_completion<JS::TypeError>(JS::ErrorType::NotAnObjectOfType, "DOMQuadInit");

    // 2. Let idlDict be an empty ordered map, representing a dictionary of type D.
    // 3. Let dictionaries be a list consisting of D and all of D’s inherited dictionaries, in order from least to most derived.
    // 4. For each dictionary dictionary in dictionaries, in order:
    // NB: We defer construction until the return initializer because some members may not be default-constructible. Inherited dictionaries are represented by the generated C++ struct inheritance.

    // 5. Return idlDict.
    return DOMQuadInit {
        .p1 = TRY([&]() -> JS::ThrowCompletionOr<Optional<DOMPointInit>> {
            // 1. Let key be the identifier of member.
            // 2. If jsDict is either undefined or null, then:
            //     1. Let jsMemberValue be undefined.
            // 3. Otherwise,
            //     1. Let jsMemberValue be ? Get(jsDict, key).
            auto js_member_value = JS::js_undefined();
            if (js_dict.is_object())
                js_member_value = TRY(js_dict.as_object().get("p1"_utf16_fly_string));

            // 4. If jsMemberValue is not undefined, then:
            if (!js_member_value.is_undefined()) {
                // 1. Let idlMemberValue be the result of converting jsMemberValue to an IDL value whose type is the type member is declared to be of.
                auto idl_member_value = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, js_member_value); }));

                // 2. Set idlDict[key] to idlMemberValue.
                return idl_member_value;
            }
            // 7. Otherwise, jsMemberValue is undefined and the member is optional.
            return OptionalNone {};
        }()),
        .p2 = TRY([&]() -> JS::ThrowCompletionOr<Optional<DOMPointInit>> {
            // 1. Let key be the identifier of member.
            // 2. If jsDict is either undefined or null, then:
            //     1. Let jsMemberValue be undefined.
            // 3. Otherwise,
            //     1. Let jsMemberValue be ? Get(jsDict, key).
            auto js_member_value = JS::js_undefined();
            if (js_dict.is_object())
                js_member_value = TRY(js_dict.as_object().get("p2"_utf16_fly_string));

            // 4. If jsMemberValue is not undefined, then:
            if (!js_member_value.is_undefined()) {
                // 1. Let idlMemberValue be the result of converting jsMemberValue to an IDL value whose type is the type member is declared to be of.
                auto idl_member_value = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, js_member_value); }));

                // 2. Set idlDict[key] to idlMemberValue.
                return idl_member_value;
            }
            // 7. Otherwise, jsMemberValue is undefined and the member is optional.
            return OptionalNone {};
        }()),
        .p3 = TRY([&]() -> JS::ThrowCompletionOr<Optional<DOMPointInit>> {
            // 1. Let key be the identifier of member.
            // 2. If jsDict is either undefined or null, then:
            //     1. Let jsMemberValue be undefined.
            // 3. Otherwise,
            //     1. Let jsMemberValue be ? Get(jsDict, key).
            auto js_member_value = JS::js_undefined();
            if (js_dict.is_object())
                js_member_value = TRY(js_dict.as_object().get("p3"_utf16_fly_string));

            // 4. If jsMemberValue is not undefined, then:
            if (!js_member_value.is_undefined()) {
                // 1. Let idlMemberValue be the result of converting jsMemberValue to an IDL value whose type is the type member is declared to be of.
                auto idl_member_value = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, js_member_value); }));

                // 2. Set idlDict[key] to idlMemberValue.
                return idl_member_value;
            }
            // 7. Otherwise, jsMemberValue is undefined and the member is optional.
            return OptionalNone {};
        }()),
        .p4 = TRY([&]() -> JS::ThrowCompletionOr<Optional<DOMPointInit>> {
            // 1. Let key be the identifier of member.
            // 2. If jsDict is either undefined or null, then:
            //     1. Let jsMemberValue be undefined.
            // 3. Otherwise,
            //     1. Let jsMemberValue be ? Get(jsDict, key).
            auto js_member_value = JS::js_undefined();
            if (js_dict.is_object())
                js_member_value = TRY(js_dict.as_object().get("p4"_utf16_fly_string));

            // 4. If jsMemberValue is not undefined, then:
            if (!js_member_value.is_undefined()) {
                // 1. Let idlMemberValue be the result of converting jsMemberValue to an IDL value whose type is the type member is declared to be of.
                auto idl_member_value = TRY(throw_dom_exception_if_needed(vm, [&] { return convert_to_idl_value_for_dom_point_init(vm, js_member_value); }));

                // 2. Set idlDict[key] to idlMemberValue.
                return idl_member_value;
            }
            // 7. Otherwise, jsMemberValue is undefined and the member is optional.
            return OptionalNone {};
        }()),
    };
}

} // namespace Web::Bindings