LibWeb: Make the node mutation algorithms more spec compliant

The mutation algorithms now more closely follow the spec and
fixes some assertion failures in tests such as Acid3 and Dromaeo.

The main thing that is missing right now is passing exceptions to the
bindings layer. This is because of issue #6075. I spent a while trying
to work it out and got so frustrated I just left it as a FIXME. Besides
that, the algorithms bail at the appropriate points.

This also makes the adopting steps in the document more spec compliant
as it's needed by the insertion algorithm. While I was at it, I added
the adoptNode IDL binding.

This adds a bunch of ancestor/descendant checks to TreeNode as well.
I moved the "remove_all_children" function to Node as it needs to use
the full remove algorithm instead of simply removing it from
the child list.

1 files changed, 2 insertions, 0 deletions

diff --git a/Userland/Libraries/LibWeb/DOM/Document.idl b/Userland/Libraries/LibWeb/DOM/Document.idl
index 2886bdcd3f..aacdae09f2 100644
--- a/Userland/Libraries/LibWeb/DOM/Document.idl
+++ b/Userland/Libraries/LibWeb/DOM/Document.idl
@@ -31,6 +31,8 @@ interface Document : Node {
     Comment createComment(DOMString data);
     Range createRange();
 
+    [CEReactions, ImplementedAs=adopt_node_binding] Node adoptNode(Node node);
+
     [ImplementedAs=style_sheets_for_bindings] readonly attribute StyleSheetList styleSheets;
 
     readonly attribute DOMString compatMode;