mirrors/ladybird
0
0
Fork 0
mirror of https://github.com/LadybirdBrowser/ladybird.git synced 2025-08-09 17:49:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

LibWeb: Fix is_allowed_child_of_node() for non-element parent node

Browse source 
When passing a DOM::Node that is not a DOM::Element, this method would
always try to cast to a DOM::Element.
This commit is contained in:
Jelle Raaijmakers 2024-12-03 17:04:58 +01:00 • committed by Jelle Raaijmakers
commit 2e29d3fb57
Notes: github-actions[bot] 2024-12-04 05:53:15 +00:00
1 changed files with 29 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

53
Libraries/LibWeb/Editing/Internal/Algorithms.cpp
View file

@ -481,27 +481,34 @@ bool is_allowed_child_of_node(Variant<GC::Ref<DOM::Node>, FlyString> child, Vari
if (child.has<GC::Ref<DOM::Node>>()) if (child.has<GC::Ref<DOM::Node>>())
child_node = child.get<GC::Ref<DOM::Node>>(); child_node = child.get<GC::Ref<DOM::Node>>();
// 1. If parent is "colgroup", "table", "tbody", "tfoot", "thead", "tr", or an HTML element with local name equal to GC::Ptr<DOM::Node> parent_node;
// one of those, and child is a Text node whose data does not consist solely of space characters, return false. if (parent.has<GC::Ref<DOM::Node>>())
auto parent_local_name = parent.visit( parent_node = parent.get<GC::Ref<DOM::Node>>();
[](FlyString local_name) { return local_name; },
[](DOM::Node const* node) { return static_cast<DOM::Element const*>(node)->local_name(); }); if (parent.has<FlyString>() || is<DOM::Element>(parent_node.ptr())) {
auto parent_is_table_like = parent_local_name.is_one_of(HTML::TagNames::colgroup, HTML::TagNames::table, auto parent_local_name = parent.visit(
HTML::TagNames::tbody, HTML::TagNames::tfoot, HTML::TagNames::thead, HTML::TagNames::tr); [](FlyString local_name) { return local_name; },
if (parent_is_table_like && is<DOM::Text>(child_node.ptr())) { [](GC::Ref<DOM::Node> node) { return static_cast<DOM::Element&>(*node).local_name(); });
auto child_text_content = child_node->text_content().release_value();
if (!all_of(child_text_content.bytes_as_string_view(), Infra::is_ascii_whitespace)) // 1. If parent is "colgroup", "table", "tbody", "tfoot", "thead", "tr", or an HTML element with local name equal to
// one of those, and child is a Text node whose data does not consist solely of space characters, return false.
auto parent_is_table_like = parent_local_name.is_one_of(HTML::TagNames::colgroup, HTML::TagNames::table,
HTML::TagNames::tbody, HTML::TagNames::tfoot, HTML::TagNames::thead, HTML::TagNames::tr);
if (parent_is_table_like && is<DOM::Text>(child_node.ptr())) {
auto child_text_content = child_node->text_content().release_value();
if (!all_of(child_text_content.bytes_as_string_view(), Infra::is_ascii_whitespace))
return false;
}
// 2. If parent is "script", "style", "plaintext", or "xmp", or an HTML element with local name equal to one of
// those, and child is not a Text node, return false.
if ((child.has<FlyString>() || !is<DOM::Text>(child_node.ptr()))
&& parent_local_name.is_one_of(HTML::TagNames::script, HTML::TagNames::style, HTML::TagNames::plaintext, HTML::TagNames::xmp))
return false; return false;
} }
// 2. If parent is "script", "style", "plaintext", or "xmp", or an HTML element with local name equal to one of
// those, and child is not a Text node, return false.
if ((child.has<FlyString>() || !is<DOM::Text>(*child_node))
&& parent_local_name.is_one_of(HTML::TagNames::script, HTML::TagNames::style, HTML::TagNames::plaintext, HTML::TagNames::xmp))
return false;
// 3. If child is a document, DocumentFragment, or DocumentType, return false. // 3. If child is a document, DocumentFragment, or DocumentType, return false.
if (child_node && (is<DOM::Document>(*child_node) || is<DOM::DocumentFragment>(*child_node) || is<DOM::DocumentType>(*child_node))) if (is<DOM::Document>(child_node.ptr()) || is<DOM::DocumentFragment>(child_node.ptr()) || is<DOM::DocumentType>(child_node.ptr()))
return false; return false;
// 4. If child is an HTML element, set child to the local name of child. // 4. If child is an HTML element, set child to the local name of child.
@ -523,7 +530,7 @@ bool is_allowed_child_of_node(Variant<GC::Ref<DOM::Node>, FlyString> child, Vari
HTML::TagNames::h5, HTML::TagNames::h5,
HTML::TagNames::h6); HTML::TagNames::h6);
}; };
if (parent.has<GC::Ref<DOM::Node>>() && is<HTML::HTMLElement>(*parent.get<GC::Ref<DOM::Node>>())) { if (is<HTML::HTMLElement>(parent_node.ptr())) {
auto& parent_html_element = static_cast<HTML::HTMLElement&>(*parent.get<GC::Ref<DOM::Node>>()); auto& parent_html_element = static_cast<HTML::HTMLElement&>(*parent.get<GC::Ref<DOM::Node>>());
// 1. If child is "a", and parent or some ancestor of parent is an a, return false. // 1. If child is "a", and parent or some ancestor of parent is an a, return false.
@ -560,19 +567,17 @@ bool is_allowed_child_of_node(Variant<GC::Ref<DOM::Node>, FlyString> child, Vari
// 4. Let parent be the local name of parent. // 4. Let parent be the local name of parent.
parent = parent_html_element.local_name(); parent = parent_html_element.local_name();
parent_node = {};
} }
// 7. If parent is an Element or DocumentFragment, return true. // 7. If parent is an Element or DocumentFragment, return true.
if (parent.has<GC::Ref<DOM::Node>>()) { if (is<DOM::Element>(parent_node.ptr()) || is<DOM::DocumentFragment>(parent_node.ptr()))
auto parent_element = parent.get<GC::Ref<DOM::Node>>(); return true;
if (is<DOM::Element>(*parent_element) || is<DOM::DocumentFragment>(*parent_element))
return true;
}
// 8. If parent is not a string, return false. // 8. If parent is not a string, return false.
if (!parent.has<FlyString>()) if (!parent.has<FlyString>())
return false; return false;
parent_local_name = parent.get<FlyString>(); auto parent_local_name = parent.get<FlyString>();
// 9. If parent is on the left-hand side of an entry on the following list, then return true if child is listed on // 9. If parent is on the left-hand side of an entry on the following list, then return true if child is listed on
// the right-hand side of that entry, and false otherwise. // the right-hand side of that entry, and false otherwise.