Implement declarative shadow DOM

html5ever/src/tree_builder/mod.rs

@@ -1378,6 +1378,50 @@ where
     }
     //§ END
 
+    fn try_attach_declarative_shadow(&self, tag: &Tag) -> Result<(), String> {
+        let adjusted_insertion_location = self.appropriate_place_for_insertion(None);
+
+        let (intended_parent, _node2) = match adjusted_insertion_location {
+            LastChild(ref p) | BeforeSibling(ref p) => (p.clone(), None),
+            TableFosterParenting {
+                ref element,
+                ref prev_element,
+            } => (element.clone(), Some(prev_element.clone())),
+        };
+
+        // template start tag's shadowrootmode is not in the none state
+        let is_shadow_root_mode = tag.attrs.iter().any(|attr| {
+            attr.name.local == local_name!("shadowrootmode")
+            && (attr.value.to_string() == String::from("open") || attr.value.to_string() == String::from("close"))
+        });
+
+        // document's allow declarative shadow roots is true
+        // will be actually checked later
+        let allow_declarative_shadow_roots = true;
+
+        // the adjusted current node is not the topmost element in the stack of open elements
+        let adjusted_current_node_not_topmost = match self.open_elems.borrow().first() {
+            // The stack grows downwards; the topmost node on the stack is the first one added to the stack
+            // The current node is the bottommost node in this stack of open elements.
+            //
+            // (1) The adjusted current node is the context element if the parser was created as part of the HTML fragment parsing algorithm
+            // and the stack of open elements has only one element in it (fragment case);
+            // (2) otherwise, the adjusted current node is the current node (the bottomost node)
+            //
+            // => adjusted current node != topmost element in the stack when the stack size > 1
+            Some(_) => self.open_elems.borrow().len() > 1,
+            None => true,
+        };
+
+        if (!is_shadow_root_mode || !allow_declarative_shadow_roots || !adjusted_current_node_not_topmost) {
+            return Err(String::from("Declarative shadow root is not enabled"));
+        }
+
+        // all conditions are true for creating a new declarative shadow root
+        let qname = QualName::new(None, ns!(html), tag.name.clone());
+        self.sink.attach_declarative_shadow(self.open_elems.borrow().last().unwrap(), &intended_parent, qname, tag.attrs.clone())
+    }
+
     fn create_formatting_element_for(&self, tag: Tag) -> Handle {
         // FIXME: This really wants unit tests.
         let mut first_match = None;

html5ever/src/tree_builder/rules.rs

@@ -105,6 +105,7 @@ where
             }),
 
             //§ parsing-main-inhead
+            // https://html.spec.whatwg.org/multipage/parsing.html#parsing-main-inhead
             InHead => match_token!(token {
                 CharacterTokens(NotSplit, text) => SplitWhitespace(text),
                 CharacterTokens(Whitespace, text) => self.append_text(text),
@@ -153,11 +154,18 @@ where
                 </body> </html> </br> => else,
 
                 tag @ <template> => {
-                    self.insert_element_for(tag);
                     self.active_formatting.borrow_mut().push(Marker);
                     self.frameset_ok.set(false);
                     self.mode.set(InTemplate);
                     self.template_modes.borrow_mut().push(InTemplate);
+
+                    let res = self.try_attach_declarative_shadow(&tag);
+
+                    match res {
+                        Ok(_) => {},
+                        Err(_) => { self.insert_element_for(tag); },
+                    };
+
                     Done
                 }
 

markup5ever/interface/tree_builder.rs

@@ -260,6 +260,17 @@ pub trait TreeSink {
     fn complete_script(&self, _node: &Self::Handle) -> NextParserState {
         NextParserState::Continue
     }
+
+    /// Attach declarative shadow
+    fn attach_declarative_shadow(
+        &self,
+        _location: &Self::Handle,
+        _intended_parent: &Self::Handle,
+        _name: QualName,
+        _attrs: Vec<Attribute>,
+    ) -> Result<(), String> {
+        Err(String::from("No implementation for attach_declarative_shadow"))
+    }
 }
 
 /// Trace hooks for a garbage-collected DOM.

markup5ever/local_names.txt

@@ -849,6 +849,10 @@ separator
 separators
 set
 setdiff
+shadowrootclonable
+shadowrootdelegatesfocus
+shadowrootmode
+shadowrootserializable
 shape
 shape-rendering
 show