LibWeb: Add spec comments to EventDispatcher

1 files changed, 96 insertions, 10 deletions

diff --git a/Userland/Libraries/LibWeb/DOM/EventDispatcher.cpp b/Userland/Libraries/LibWeb/DOM/EventDispatcher.cpp
index bcc6fd8435..8f2a552855 100644
--- a/Userland/Libraries/LibWeb/DOM/EventDispatcher.cpp
+++ b/Userland/Libraries/LibWeb/DOM/EventDispatcher.cpp
@@ -33,18 +33,24 @@ namespace Web::DOM {
 //        When moving this function, it needs to be generalized. https://dom.spec.whatwg.org/#retarget
 static EventTarget* retarget(EventTarget* left, EventTarget* right)
 {
+    // To retarget an object A against an object B, repeat these steps until they return an object:
     for (;;) {
+        // 1. If one of the following is true then return A.
+        // 1.1 A is not a node
         if (!is<Node>(left))
             return left;
 
+        // 1.2 A’s root is not a shadow root
         auto* left_node = verify_cast<Node>(left);
         auto& left_root = left_node->root();
         if (!is<ShadowRoot>(left_root))
             return left;
 
+        // B is a node and A’s root is a shadow-including inclusive ancestor of B
         if (is<Node>(right) && left_root.is_shadow_including_inclusive_ancestor_of(verify_cast<Node>(*right)))
             return left;
 
+        // 2. Set A to A’s root’s host.
         auto& left_shadow_root = verify_cast<ShadowRoot>(left_root);
         left = left_shadow_root.host();
     }
@@ -146,24 +152,40 @@ void EventDispatcher::invoke(Event::PathEntry& struct_, Event& event, Event::Pha
 
     VERIFY(last_valid_shadow_adjusted_target.has_value());
 
+    // 1. Set event’s target to the shadow-adjusted target of the last struct in event’s path,
+    // that is either struct or preceding struct, whose shadow-adjusted target is non-null.
     event.set_target(last_valid_shadow_adjusted_target.value().shadow_adjusted_target);
+
+    // 2. Set event’s relatedTarget to struct’s relatedTarget.
     event.set_related_target(struct_.related_target);
+
+    // 3. Set event’s touch target list to struct’s touch target list.
     event.set_touch_target_list(struct_.touch_target_list);
 
+    // 4. If event’s stop propagation flag is set, then return.
     if (event.should_stop_propagation())
         return;
 
+    // 5. Initialize event’s currentTarget attribute to struct’s invocation target.
     event.set_current_target(struct_.invocation_target);
 
-    // NOTE: This is an intentional copy. Any event listeners added after this point will not be invoked.
+    // 6. Let listeners be a clone of event’s currentTarget attribute value’s event listener list.
+    // NOTE: This avoids event listeners added after this point from being run. Note that removal still has an effect due to the removed field.
     auto listeners = event.current_target()->event_listener_list();
+
+    // 7. Let invocationTargetInShadowTree be struct’s invocation-target-in-shadow-tree.
     bool invocation_target_in_shadow_tree = struct_.invocation_target_in_shadow_tree;
 
+    // 8. Let found be the result of running inner invoke with event, listeners, phase, invocationTargetInShadowTree, and legacyOutputDidListenersThrowFlag if given.
     bool found = inner_invoke(event, listeners, phase, invocation_target_in_shadow_tree);
 
+    // 9. If found is false and event’s isTrusted attribute is true, then:
     if (!found && event.is_trusted()) {
+        // 9.1 Let originalEventType be event’s type attribute value.
         auto original_event_type = event.type();
 
+        // 9.2 If event’s type attribute value is a match for any of the strings in the first column in the following table,
+        // set event’s type attribute value to the string in the second column on the same row as the matching string, and return otherwise.
         if (event.type() == "animationend")
             event.set_type("webkitAnimationEnd");
         else if (event.type() == "animationiteration")
@@ -175,7 +197,10 @@ void EventDispatcher::invoke(Event::PathEntry& struct_, Event& event, Event::Pha
         else
             return;
 
+        // 9.3 Inner invoke with event, listeners, phase, invocationTargetInShadowTree, and legacyOutputDidListenersThrowFlag if given.
         inner_invoke(event, listeners, phase, invocation_target_in_shadow_tree);
+
+        // 9.4 Set event’s type attribute value to originalEventType.
         event.set_type(original_event_type);
     }
 }
@@ -183,82 +208,116 @@ void EventDispatcher::invoke(Event::PathEntry& struct_, Event& event, Event::Pha
 // https://dom.spec.whatwg.org/#concept-event-dispatch
 bool EventDispatcher::dispatch(NonnullRefPtr<EventTarget> target, NonnullRefPtr<Event> event, bool legacy_target_override)
 {
+    // 1. Set event’s dispatch flag.
     event->set_dispatched(true);
-    RefPtr<EventTarget> target_override;
 
+    // 2. Let targetOverride be target, if legacy target override flag is not given, and target’s associated Document otherwise. [HTML]
+    // NOTE: legacy target override flag is only used by HTML and only when target is a Window object.
+    RefPtr<EventTarget> target_override;
     if (!legacy_target_override) {
         target_override = target;
     } else {
-        // NOTE: This can be done because legacy_target_override is only set for events targeted at Window.
         target_override = verify_cast<HTML::Window>(*target).associated_document();
     }
 
+    // 3. Let activationTarget be null.
     RefPtr<EventTarget> activation_target;
+
+    // 4. Let relatedTarget be the result of retargeting event’s relatedTarget against target.
     RefPtr<EventTarget> related_target = retarget(event->related_target(), target);
 
     bool clear_targets = false;
-
+    // 5. If target is not relatedTarget or target is event’s relatedTarget, then:
     if (related_target != target || event->related_target() == target) {
+        // 5.1 Let touchTargets be a new list.
         Event::TouchTargetList touch_targets;
 
+        // 5.2 For each touchTarget of event’s touch target list, append the result of retargeting touchTarget against target to touchTargets.
         for (auto& touch_target : event->touch_target_list()) {
             touch_targets.append(retarget(touch_target, target));
         }
 
+        // 5.3 Append to an event path with event, target, targetOverride, relatedTarget, touchTargets, and false.
         event->append_to_path(*target, target_override, related_target, touch_targets, false);
 
+        // 5.4 Let isActivationEvent be true, if event is a MouseEvent object and event’s type attribute is "click"; otherwise false.
         bool is_activation_event = is<UIEvents::MouseEvent>(*event) && event->type() == HTML::EventNames::click;
 
+        // 5.5 If isActivationEvent is true and target has activation behavior, then set activationTarget to target.
         if (is_activation_event && target->activation_behavior)
             activation_target = target;
 
-        // FIXME: Let slottable be target, if target is a slottable and is assigned, and null otherwise.
+        // 5.6 FIXME: Let slottable be target, if target is a slottable and is assigned, and null otherwise.
 
+        // 5.7 Let slot-in-closed-tree be false
         bool slot_in_closed_tree = false;
+
+        // 5.8 Let parent be the result of invoking target’s get the parent with event.
         auto* parent = target->get_parent(event);
 
+        // 5.9 While parent is non-null:
         while (parent) {
-            // FIXME: If slottable is non-null:
-
-            // FIXME: If parent is a slottable and is assigned, then set slottable to parent.
-
+            // FIXME:
+            // 5.9.1 If slottable is non-null:
+            // 5.9.1.1 Assert: parent is a slot.
+            // 5.9.1.2 Set slottable to null.
+            // 5.9.1.3 If parent’s root is a shadow root whose mode is "closed", then set slot-in-closed-tree to true.
+            // 5.9.2 If parent is a slottable and is assigned, then set slottable to parent.
+
+            // 5.9.3 Let relatedTarget be the result of retargeting event’s relatedTarget against parent.
             related_target = retarget(event->related_target(), parent);
+
+            // 5.9.4 Let touchTargets be a new list.
             touch_targets.clear();
 
+            // 5.9.5 For each touchTarget of event’s touch target list, append the result of retargeting touchTarget against parent to touchTargets.
             for (auto& touch_target : event->touch_target_list()) {
                 touch_targets.append(retarget(touch_target, parent));
             }
 
+            // 5.9.6 If parent is a Window object, or parent is a node and target’s root is a shadow-including inclusive ancestor of parent, then:
             if (is<HTML::Window>(parent)
                 || (is<Node>(parent) && verify_cast<Node>(*target).root().is_shadow_including_inclusive_ancestor_of(verify_cast<Node>(*parent)))) {
+                // 5.9.6.1 If isActivationEvent is true, event’s bubbles attribute is true, activationTarget is null, and parent has activation behavior, then set activationTarget to parent.
                 if (is_activation_event && event->bubbles() && !activation_target && parent->activation_behavior)
                     activation_target = parent;
 
+                // 5.9.6.2 Append to an event path with event, parent, null, relatedTarget, touchTargets, and slot-in-closed-tree.
                 event->append_to_path(*parent, nullptr, related_target, touch_targets, slot_in_closed_tree);
+
             } else if (related_target == parent) {
+                // 5.9.7 Otherwise, if parent is relatedTarget, then set parent to null.
                 parent = nullptr;
             } else {
+                // 5.9.8 Otherwise, set target to parent and then:
                 target = *parent;
 
+                // 5.9.8.1 If isActivationEvent is true, activationTarget is null, and target has activation behavior, then set activationTarget to target.
                 if (is_activation_event && !activation_target && target->activation_behavior)
                     activation_target = target;
 
+                // 5.9.8.2 Append to an event path with event, parent, target, relatedTarget, touchTargets, and slot-in-closed-tree.
                 event->append_to_path(*parent, target, related_target, touch_targets, slot_in_closed_tree);
             }
 
+            // 5.9.9 If parent is non-null, then set parent to the result of invoking parent’s get the parent with event.
             if (parent) {
                 parent = parent->get_parent(event);
             }
 
+            // 5.9.10 Set slot-in-closed-tree to false.
             slot_in_closed_tree = false;
         }
 
+        // 5.10 Let clearTargetsStruct be the last struct in event’s path whose shadow-adjusted target is non-null.
         auto clear_targets_struct = event->path().last_matching([](auto& entry) {
             return !entry.shadow_adjusted_target.is_null();
         });
 
         VERIFY(clear_targets_struct.has_value());
 
+        // 5.11 Let clearTargets be true if clearTargetsStruct’s shadow-adjusted target, clearTargetsStruct’s relatedTarget,
+        // or an EventTarget object in clearTargetsStruct’s touch target list is a node and its root is a shadow root; otherwise false.
         if (is<Node>(clear_targets_struct.value().shadow_adjusted_target.ptr())) {
             auto& shadow_adjusted_target_node = verify_cast<Node>(*clear_targets_struct.value().shadow_adjusted_target);
             if (is<ShadowRoot>(shadow_adjusted_target_node.root()))
@@ -283,55 +342,82 @@ bool EventDispatcher::dispatch(NonnullRefPtr<EventTarget> target, NonnullRefPtr<
             }
         }
 
+        // 5.12 If activationTarget is non-null and activationTarget has legacy-pre-activation behavior, then run activationTarget’s legacy-pre-activation behavior.
         if (activation_target)
             activation_target->legacy_pre_activation_behavior();
 
+        // 5.13 For each struct in event’s path, in reverse order:
         for (auto& entry : event->path().in_reverse()) {
+            // 5.13.1 If struct’s shadow-adjusted target is non-null, then set event’s eventPhase attribute to AT_TARGET.
             if (entry.shadow_adjusted_target)
                 event->set_phase(Event::Phase::AtTarget);
             else
+                // 5.13.2 Otherwise, set event’s eventPhase attribute to CAPTURING_PHASE.
                 event->set_phase(Event::Phase::CapturingPhase);
 
+            // 5.13.3 Invoke with struct, event, "capturing", and legacyOutputDidListenersThrowFlag if given.
             invoke(entry, event, Event::Phase::CapturingPhase);
         }
 
+        // 5.14 For each struct in event’s path:
         for (auto& entry : event->path()) {
+            // 5.14.1 If struct’s shadow-adjusted target is non-null, then set event’s eventPhase attribute to AT_TARGET.
             if (entry.shadow_adjusted_target) {
                 event->set_phase(Event::Phase::AtTarget);
             } else {
+                // 5.14.2 Otherwise:
+                // 5.14.2.1 If event’s bubbles attribute is false, then continue.
                 if (!event->bubbles())
                     continue;
 
+                // 5.14.2.2 Set event’s eventPhase attribute to BUBBLING_PHASE.
                 event->set_phase(Event::Phase::BubblingPhase);
             }
 
+            // 5.14.3 Invoke with struct, event, "bubbling", and legacyOutputDidListenersThrowFlag if given.
             invoke(entry, event, Event::Phase::BubblingPhase);
         }
     }
 
+    // 6. Set event’s eventPhase attribute to NONE.
     event->set_phase(Event::Phase::None);
+
+    // 7. Set event’s currentTarget attribute to null.
     event->set_current_target(nullptr);
+
+    // 8. Set event’s path to the empty list.
     event->clear_path();
+
+    // 9. Unset event’s dispatch flag, stop propagation flag, and stop immediate propagation flag.
     event->set_dispatched(false);
     event->set_stop_propagation(false);
     event->set_stop_immediate_propagation(false);
 
+    // 10. If clearTargets, then:
     if (clear_targets) {
+        // 10.1 Set event’s target to null.
         event->set_target(nullptr);
+
+        // 10.2 Set event’s relatedTarget to null.
         event->set_related_target(nullptr);
+
+        // 10.3 Set event’s touch target list to the empty list.
         event->clear_touch_target_list();
     }
 
+    // 11. If activationTarget is non-null, then:
     if (activation_target) {
+        // 11.1 If event’s canceled flag is unset, then run activationTarget’s activation behavior with event.
         if (!event->cancelled()) {
-            // NOTE: Since activation_target is set, it will have activation behavior.
             activation_target->activation_behavior(event);
             activation_target->legacy_cancelled_activation_behavior_was_not_called();
         } else {
+            // 11.2 Otherwise, if activationTarget has legacy-canceled-activation behavior, then run activationTarget’s legacy-canceled-activation behavior.
             activation_target->legacy_cancelled_activation_behavior();
         }
     }
 
+    // 12. Return false if event’s canceled flag is set; otherwise true.
     return !event->cancelled();
 }