diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/driver.rs | 137 | ||||
| -rw-r--r-- | src/lib.rs | 6 | ||||
| -rw-r--r-- | src/serialize/mod.rs | 256 | ||||
| -rw-r--r-- | src/tree_builder/data.rs | 171 | ||||
| -rw-r--r-- | src/tree_builder/mod.rs | 1681 | ||||
| -rw-r--r-- | src/tree_builder/rules.rs | 1449 | ||||
| -rw-r--r-- | src/tree_builder/tag_sets.rs | 115 | ||||
| -rw-r--r-- | src/tree_builder/types.rs | 95 | ||||
| -rw-r--r-- | src/util/str.rs | 13 |
9 files changed, 0 insertions, 3923 deletions
diff --git a/src/driver.rs b/src/driver.rs deleted file mode 100644 index 26db9b8..0000000 --- a/src/driver.rs +++ /dev/null @@ -1,137 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -//! High-level interface to the parser. - -use crate::buffer_queue::BufferQueue; -use crate::tokenizer::{Tokenizer, TokenizerOpts, TokenizerResult}; -use crate::tree_builder::{create_element, TreeBuilder, TreeBuilderOpts, TreeSink}; -use crate::{Attribute, QualName}; - -use std::borrow::Cow; - -use crate::tendril; -use crate::tendril::stream::{TendrilSink, Utf8LossyDecoder}; -use crate::tendril::StrTendril; - -/// All-encompassing options struct for the parser. -#[derive(Clone, Default)] -pub struct ParseOpts { - /// Tokenizer options. - pub tokenizer: TokenizerOpts, - - /// Tree builder options. - pub tree_builder: TreeBuilderOpts, -} - -/// Parse an HTML document -/// -/// The returned value implements `tendril::TendrilSink` -/// so that Unicode input may be provided incrementally, -/// or all at once with the `one` method. -/// -/// If your input is bytes, use `Parser::from_utf8`. -pub fn parse_document<Sink>(sink: Sink, opts: ParseOpts) -> Parser<Sink> -where - Sink: TreeSink, -{ - let tb = TreeBuilder::new(sink, opts.tree_builder); - let tok = Tokenizer::new(tb, opts.tokenizer); - Parser { - tokenizer: tok, - input_buffer: BufferQueue::new(), - } -} - -/// Parse an HTML fragment -/// -/// The returned value implements `tendril::TendrilSink` -/// so that Unicode input may be provided incrementally, -/// or all at once with the `one` method. -/// -/// If your input is bytes, use `Parser::from_utf8`. -pub fn parse_fragment<Sink>( - mut sink: Sink, - opts: ParseOpts, - context_name: QualName, - context_attrs: Vec<Attribute>, -) -> Parser<Sink> -where - Sink: TreeSink, -{ - let context_elem = create_element(&mut sink, context_name, context_attrs); - parse_fragment_for_element(sink, opts, context_elem, None) -} - -/// Like `parse_fragment`, but with an existing context element -/// and optionally a form element. -pub fn parse_fragment_for_element<Sink>( - sink: Sink, - opts: ParseOpts, - context_element: Sink::Handle, - form_element: Option<Sink::Handle>, -) -> Parser<Sink> -where - Sink: TreeSink, -{ - let tb = TreeBuilder::new_for_fragment(sink, context_element, form_element, opts.tree_builder); - let tok_opts = TokenizerOpts { - initial_state: Some(tb.tokenizer_state_for_context_elem()), - ..opts.tokenizer - }; - let tok = Tokenizer::new(tb, tok_opts); - Parser { - tokenizer: tok, - input_buffer: BufferQueue::new(), - } -} - -/// An HTML parser, -/// ready to receive Unicode input through the `tendril::TendrilSink` trait’s methods. -pub struct Parser<Sink> -where - Sink: TreeSink, -{ - pub tokenizer: Tokenizer<TreeBuilder<Sink::Handle, Sink>>, - pub input_buffer: BufferQueue, -} - -impl<Sink: TreeSink> TendrilSink<tendril::fmt::UTF8> for Parser<Sink> { - fn process(&mut self, t: StrTendril) { - self.input_buffer.push_back(t); - // FIXME: Properly support </script> somehow. - while let TokenizerResult::Script(_) = self.tokenizer.feed(&mut self.input_buffer) {} - } - - // FIXME: Is it too noisy to report every character decoding error? - fn error(&mut self, desc: Cow<'static, str>) { - self.tokenizer.sink.sink.parse_error(desc) - } - - type Output = Sink::Output; - - fn finish(mut self) -> Self::Output { - // FIXME: Properly support </script> somehow. - while let TokenizerResult::Script(_) = self.tokenizer.feed(&mut self.input_buffer) {} - assert!(self.input_buffer.is_empty()); - self.tokenizer.end(); - self.tokenizer.sink.sink.finish() - } -} - -impl<Sink: TreeSink> Parser<Sink> { - /// Wrap this parser into a `TendrilSink` that accepts UTF-8 bytes. - /// - /// Use this when your input is bytes that are known to be in the UTF-8 encoding. - /// Decoding is lossy, like `String::from_utf8_lossy`. - #[allow(clippy::wrong_self_convention)] - pub fn from_utf8(self) -> Utf8LossyDecoder<Self> { - Utf8LossyDecoder::new(self) - } -} @@ -12,11 +12,8 @@ #![cfg_attr(test, deny(warnings))] #![allow(unused_parens)] -pub use driver::{parse_document, parse_fragment, ParseOpts, Parser}; pub use markup5ever::*; -pub use serialize::serialize; - #[macro_use] mod macros; @@ -24,7 +21,4 @@ mod util { pub mod str; } -pub mod driver; -pub mod serialize; pub mod tokenizer; -pub mod tree_builder; diff --git a/src/serialize/mod.rs b/src/serialize/mod.rs deleted file mode 100644 index 3a57b47..0000000 --- a/src/serialize/mod.rs +++ /dev/null @@ -1,256 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -use log::warn; -pub use markup5ever::serialize::{AttrRef, Serialize, Serializer, TraversalScope}; -use markup5ever::{local_name, namespace_url, ns}; -use std::default::Default; -use std::io::{self, Write}; - -use crate::{LocalName, QualName}; - -pub fn serialize<Wr, T>(writer: Wr, node: &T, opts: SerializeOpts) -> io::Result<()> -where - Wr: Write, - T: Serialize, -{ - let mut ser = HtmlSerializer::new(writer, opts.clone()); - node.serialize(&mut ser, opts.traversal_scope) -} - -#[derive(Clone)] -pub struct SerializeOpts { - /// Is scripting enabled? - pub scripting_enabled: bool, - - /// Serialize the root node? Default: ChildrenOnly - pub traversal_scope: TraversalScope, - - /// If the serializer is asked to serialize an invalid tree, the default - /// behavior is to panic in the event that an `end_elem` is created without a - /// matching `start_elem`. Setting this to true will prevent those panics by - /// creating a default parent on the element stack. No extra start elem will - /// actually be written. Default: false - pub create_missing_parent: bool, -} - -impl Default for SerializeOpts { - fn default() -> SerializeOpts { - SerializeOpts { - scripting_enabled: true, - traversal_scope: TraversalScope::ChildrenOnly(None), - create_missing_parent: false, - } - } -} - -#[derive(Default)] -struct ElemInfo { - html_name: Option<LocalName>, - ignore_children: bool -} - -pub struct HtmlSerializer<Wr: Write> { - pub writer: Wr, - opts: SerializeOpts, - stack: Vec<ElemInfo>, -} - -fn tagname(name: &QualName) -> LocalName { - match name.ns { - ns!(html) | ns!(mathml) | ns!(svg) => (), - ref ns => { - // FIXME(#122) - warn!("node with weird namespace {:?}", ns); - }, - } - - name.local.clone() -} - -impl<Wr: Write> HtmlSerializer<Wr> { - pub fn new(writer: Wr, opts: SerializeOpts) -> Self { - let html_name = match opts.traversal_scope { - TraversalScope::IncludeNode | TraversalScope::ChildrenOnly(None) => None, - TraversalScope::ChildrenOnly(Some(ref n)) => Some(tagname(n)), - }; - HtmlSerializer { - writer, - opts, - stack: vec![ElemInfo { - html_name, - ignore_children: false, - }], - } - } - - fn parent(&mut self) -> &mut ElemInfo { - if self.stack.is_empty() { - if self.opts.create_missing_parent { - warn!("ElemInfo stack empty, creating new parent"); - self.stack.push(Default::default()); - } else { - panic!("no parent ElemInfo") - } - } - self.stack.last_mut().unwrap() - } - - fn write_escaped(&mut self, text: &str, attr_mode: bool) -> io::Result<()> { - for c in text.chars() { - match c { - '&' => self.writer.write_all(b"&"), - '\u{00A0}' => self.writer.write_all(b" "), - '"' if attr_mode => self.writer.write_all(b"""), - '<' if !attr_mode => self.writer.write_all(b"<"), - '>' if !attr_mode => self.writer.write_all(b">"), - c => self.writer.write_fmt(format_args!("{}", c)), - }?; - } - Ok(()) - } -} - -impl<Wr: Write> Serializer for HtmlSerializer<Wr> { - fn start_elem<'a, AttrIter>(&mut self, name: QualName, attrs: AttrIter) -> io::Result<()> - where - AttrIter: Iterator<Item = AttrRef<'a>>, - { - let html_name = match name.ns { - ns!(html) => Some(name.local.clone()), - _ => None, - }; - - if self.parent().ignore_children { - self.stack.push(ElemInfo { - html_name, - ignore_children: true, - }); - return Ok(()); - } - - self.writer.write_all(b"<")?; - self.writer.write_all(tagname(&name).as_bytes())?; - for (name, value) in attrs { - self.writer.write_all(b" ")?; - - match name.ns { - ns!() => (), - ns!(xml) => self.writer.write_all(b"xml:")?, - ns!(xmlns) => { - if name.local != local_name!("xmlns") { - self.writer.write_all(b"xmlns:")?; - } - }, - ns!(xlink) => self.writer.write_all(b"xlink:")?, - ref ns => { - // FIXME(#122) - warn!("attr with weird namespace {:?}", ns); - self.writer.write_all(b"unknown_namespace:")?; - }, - } - - self.writer.write_all(name.local.as_bytes())?; - self.writer.write_all(b"=\"")?; - self.write_escaped(value, true)?; - self.writer.write_all(b"\"")?; - } - self.writer.write_all(b">")?; - - let ignore_children = name.ns == ns!(html) && - match name.local { - local_name!("area") | - local_name!("base") | - local_name!("basefont") | - local_name!("bgsound") | - local_name!("br") | - local_name!("col") | - local_name!("embed") | - local_name!("frame") | - local_name!("hr") | - local_name!("img") | - local_name!("input") | - local_name!("keygen") | - local_name!("link") | - local_name!("meta") | - local_name!("param") | - local_name!("source") | - local_name!("track") | - local_name!("wbr") => true, - _ => false, - }; - - self.stack.push(ElemInfo { - html_name, - ignore_children, - }); - - Ok(()) - } - - fn end_elem(&mut self, name: QualName) -> io::Result<()> { - let info = match self.stack.pop() { - Some(info) => info, - None if self.opts.create_missing_parent => { - warn!("missing ElemInfo, creating default."); - Default::default() - }, - _ => panic!("no ElemInfo"), - }; - if info.ignore_children { - return Ok(()); - } - - self.writer.write_all(b"</")?; - self.writer.write_all(tagname(&name).as_bytes())?; - self.writer.write_all(b">") - } - - fn write_text(&mut self, text: &str) -> io::Result<()> { - let escape = match self.parent().html_name { - Some(local_name!("style")) | - Some(local_name!("script")) | - Some(local_name!("xmp")) | - Some(local_name!("iframe")) | - Some(local_name!("noembed")) | - Some(local_name!("noframes")) | - Some(local_name!("plaintext")) => false, - - Some(local_name!("noscript")) => !self.opts.scripting_enabled, - - _ => true, - }; - - if escape { - self.write_escaped(text, false) - } else { - self.writer.write_all(text.as_bytes()) - } - } - - fn write_comment(&mut self, text: &str) -> io::Result<()> { - self.writer.write_all(b"<!--")?; - self.writer.write_all(text.as_bytes())?; - self.writer.write_all(b"-->") - } - - fn write_doctype(&mut self, name: &str) -> io::Result<()> { - self.writer.write_all(b"<!DOCTYPE ")?; - self.writer.write_all(name.as_bytes())?; - self.writer.write_all(b">") - } - - fn write_processing_instruction(&mut self, target: &str, data: &str) -> io::Result<()> { - self.writer.write_all(b"<?")?; - self.writer.write_all(target.as_bytes())?; - self.writer.write_all(b" ")?; - self.writer.write_all(data.as_bytes())?; - self.writer.write_all(b">") - } -} diff --git a/src/tree_builder/data.rs b/src/tree_builder/data.rs deleted file mode 100644 index 9d51a71..0000000 --- a/src/tree_builder/data.rs +++ /dev/null @@ -1,171 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -use crate::interface::{LimitedQuirks, NoQuirks, Quirks, QuirksMode}; -use crate::tendril::StrTendril; -use crate::tokenizer::Doctype; - -// These should all be lowercase, for ASCII-case-insensitive matching. -static QUIRKY_PUBLIC_PREFIXES: &'static [&'static str] = &[ - "-//advasoft ltd//dtd html 3.0 aswedit + extensions//", - "-//as//dtd html 3.0 aswedit + extensions//", - "-//ietf//dtd html 2.0 level 1//", - "-//ietf//dtd html 2.0 level 2//", - "-//ietf//dtd html 2.0 strict level 1//", - "-//ietf//dtd html 2.0 strict level 2//", - "-//ietf//dtd html 2.0 strict//", - "-//ietf//dtd html 2.0//", - "-//ietf//dtd html 2.1e//", - "-//ietf//dtd html 3.0//", - "-//ietf//dtd html 3.2 final//", - "-//ietf//dtd html 3.2//", - "-//ietf//dtd html 3//", - "-//ietf//dtd html level 0//", - "-//ietf//dtd html level 1//", - "-//ietf//dtd html level 2//", - "-//ietf//dtd html level 3//", - "-//ietf//dtd html strict level 0//", - "-//ietf//dtd html strict level 1//", - "-//ietf//dtd html strict level 2//", - "-//ietf//dtd html strict level 3//", - "-//ietf//dtd html strict//", - "-//ietf//dtd html//", - "-//metrius//dtd metrius presentational//", - "-//microsoft//dtd internet explorer 2.0 html strict//", - "-//microsoft//dtd internet explorer 2.0 html//", - "-//microsoft//dtd internet explorer 2.0 tables//", - "-//microsoft//dtd internet explorer 3.0 html strict//", - "-//microsoft//dtd internet explorer 3.0 html//", - "-//microsoft//dtd internet explorer 3.0 tables//", - "-//netscape comm. corp.//dtd html//", - "-//netscape comm. corp.//dtd strict html//", - "-//o'reilly and associates//dtd html 2.0//", - "-//o'reilly and associates//dtd html extended 1.0//", - "-//o'reilly and associates//dtd html extended relaxed 1.0//", - "-//softquad software//dtd hotmetal pro 6.0::19990601::extensions to html 4.0//", - "-//softquad//dtd hotmetal pro 4.0::19971010::extensions to html 4.0//", - "-//spyglass//dtd html 2.0 extended//", - "-//sq//dtd html 2.0 hotmetal + extensions//", - "-//sun microsystems corp.//dtd hotjava html//", - "-//sun microsystems corp.//dtd hotjava strict html//", - "-//w3c//dtd html 3 1995-03-24//", - "-//w3c//dtd html 3.2 draft//", - "-//w3c//dtd html 3.2 final//", - "-//w3c//dtd html 3.2//", - "-//w3c//dtd html 3.2s draft//", - "-//w3c//dtd html 4.0 frameset//", - "-//w3c//dtd html 4.0 transitional//", - "-//w3c//dtd html experimental 19960712//", - "-//w3c//dtd html experimental 970421//", - "-//w3c//dtd w3 html//", - "-//w3o//dtd w3 html 3.0//", - "-//webtechs//dtd mozilla html 2.0//", - "-//webtechs//dtd mozilla html//", -]; - -static QUIRKY_PUBLIC_MATCHES: &'static [&'static str] = &[ - "-//w3o//dtd w3 html strict 3.0//en//", - "-/w3c/dtd html 4.0 transitional/en", - "html", -]; - -static QUIRKY_SYSTEM_MATCHES: &'static [&'static str] = - &["http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd"]; - -static LIMITED_QUIRKY_PUBLIC_PREFIXES: &'static [&'static str] = &[ - "-//w3c//dtd xhtml 1.0 frameset//", - "-//w3c//dtd xhtml 1.0 transitional//", -]; - -static HTML4_PUBLIC_PREFIXES: &'static [&'static str] = &[ - "-//w3c//dtd html 4.01 frameset//", - "-//w3c//dtd html 4.01 transitional//", -]; - -pub fn doctype_error_and_quirks(doctype: &Doctype, iframe_srcdoc: bool) -> (bool, QuirksMode) { - fn opt_string_as_slice<'t>(x: &'t Option<String>) -> Option<&'t str> { - x.as_ref().map(|y| &y[..]) - } - - fn opt_tendril_as_slice<'t>(x: &'t Option<StrTendril>) -> Option<&'t str> { - match *x { - Some(ref t) => Some(t), - None => None, - } - } - - fn opt_to_ascii_lower(x: Option<&str>) -> Option<String> { - x.map(|y| y.to_ascii_lowercase()) - } - - let name = opt_tendril_as_slice(&doctype.name); - let public = opt_tendril_as_slice(&doctype.public_id); - let system = opt_tendril_as_slice(&doctype.system_id); - - let err = match (name, public, system) { - (Some("html"), None, None) | - (Some("html"), None, Some("about:legacy-compat")) | - (Some("html"), Some("-//W3C//DTD HTML 4.0//EN"), None) | - ( - Some("html"), - Some("-//W3C//DTD HTML 4.0//EN"), - Some("http://www.w3.org/TR/REC-html40/strict.dtd"), - ) | - (Some("html"), Some("-//W3C//DTD HTML 4.01//EN"), None) | - ( - Some("html"), - Some("-//W3C//DTD HTML 4.01//EN"), - Some("http://www.w3.org/TR/html4/strict.dtd"), - ) | - ( - Some("html"), - Some("-//W3C//DTD XHTML 1.0 Strict//EN"), - Some("http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"), - ) | - ( - Some("html"), - Some("-//W3C//DTD XHTML 1.1//EN"), - Some("http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd"), - ) => false, - - _ => true, - }; - - // FIXME: We could do something asymptotically faster here. - // But there aren't many strings, and this happens at most once per parse. - fn contains_pfx(haystack: &[&str], needle: &str) -> bool { - haystack.iter().any(|&x| needle.starts_with(x)) - } - - // Quirks-mode matches are case-insensitive. - let public = opt_to_ascii_lower(public); - let system = opt_to_ascii_lower(system); - - let quirk = match (opt_string_as_slice(&public), opt_string_as_slice(&system)) { - _ if doctype.force_quirks => Quirks, - _ if name != Some("html") => Quirks, - - _ if iframe_srcdoc => NoQuirks, - - (Some(ref p), _) if QUIRKY_PUBLIC_MATCHES.contains(p) => Quirks, - (_, Some(ref s)) if QUIRKY_SYSTEM_MATCHES.contains(s) => Quirks, - - (Some(p), _) if contains_pfx(QUIRKY_PUBLIC_PREFIXES, p) => Quirks, - (Some(p), _) if contains_pfx(LIMITED_QUIRKY_PUBLIC_PREFIXES, p) => LimitedQuirks, - - (Some(p), s) if contains_pfx(HTML4_PUBLIC_PREFIXES, p) => match s { - None => Quirks, - Some(_) => LimitedQuirks, - }, - - _ => NoQuirks, - }; - - (err, quirk) -} diff --git a/src/tree_builder/mod.rs b/src/tree_builder/mod.rs deleted file mode 100644 index a6fa8bf..0000000 --- a/src/tree_builder/mod.rs +++ /dev/null @@ -1,1681 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -#![allow(warnings)] - -//! The HTML5 tree builder. - -pub use crate::interface::{create_element, ElementFlags, NextParserState, Tracer, TreeSink}; -pub use crate::interface::{AppendNode, AppendText, Attribute, NodeOrText}; -pub use crate::interface::{LimitedQuirks, NoQuirks, Quirks, QuirksMode}; - -use self::types::*; - -use crate::tendril::StrTendril; -use crate::{ExpandedName, LocalName, Namespace, QualName}; - -use crate::tokenizer; -use crate::tokenizer::states as tok_state; -use crate::tokenizer::{Doctype, EndTag, StartTag, Tag, TokenSink, TokenSinkResult}; - -use crate::util::str::is_ascii_whitespace; - -use std::borrow::Cow::Borrowed; -use std::collections::VecDeque; -use std::default::Default; -use std::iter::{Enumerate, Rev}; -use std::mem::replace; -use std::{fmt, slice}; - -use crate::tokenizer::states::{RawData, RawKind}; -use crate::tree_builder::tag_sets::*; -use crate::tree_builder::types::*; -use crate::util::str::to_escaped_string; -use log::{debug, log_enabled, warn, Level}; -use mac::{_tt_as_expr_hack, format_if, matches}; - -pub use self::PushFlag::*; - -#[macro_use] -mod tag_sets; - -mod data; -mod types; - -include!(concat!(env!("OUT_DIR"), "/rules.rs")); - -/// Tree builder options, with an impl for Default. -#[derive(Copy, Clone)] -pub struct TreeBuilderOpts { - /// Report all parse errors described in the spec, at some - /// performance penalty? Default: false - pub exact_errors: bool, - - /// Is scripting enabled? - pub scripting_enabled: bool, - - /// Is this an `iframe srcdoc` document? - pub iframe_srcdoc: bool, - - /// Should we drop the DOCTYPE (if any) from the tree? - pub drop_doctype: bool, - - /// Obsolete, ignored. - pub ignore_missing_rules: bool, - - /// Initial TreeBuilder quirks mode. Default: NoQuirks - pub quirks_mode: QuirksMode, -} - -impl Default for TreeBuilderOpts { - fn default() -> TreeBuilderOpts { - TreeBuilderOpts { - exact_errors: false, - scripting_enabled: true, - iframe_srcdoc: false, - drop_doctype: false, - ignore_missing_rules: false, - quirks_mode: NoQuirks, - } - } -} - -/// The HTML tree builder. -pub struct TreeBuilder<Handle, Sink> { - /// Options controlling the behavior of the tree builder. - opts: TreeBuilderOpts, - - /// Consumer of tree modifications. - pub sink: Sink, - - /// Insertion mode. - mode: InsertionMode, - - /// Original insertion mode, used by Text and InTableText modes. - orig_mode: Option<InsertionMode>, - - /// Stack of template insertion modes. - template_modes: Vec<InsertionMode>, - - /// Pending table character tokens. - pending_table_text: Vec<(SplitStatus, StrTendril)>, - - /// Quirks mode as set by the parser. - /// FIXME: can scripts etc. change this? - quirks_mode: QuirksMode, - - /// The document node, which is created by the sink. - doc_handle: Handle, - - /// Stack of open elements, most recently added at end. - open_elems: Vec<Handle>, - - /// List of active formatting elements. - active_formatting: Vec<FormatEntry<Handle>>, - - //§ the-element-pointers - /// Head element pointer. - head_elem: Option<Handle>, - - /// Form element pointer. - form_elem: Option<Handle>, - //§ END - /// Frameset-ok flag. - frameset_ok: bool, - - /// Ignore a following U+000A LINE FEED? - ignore_lf: bool, - - /// Is foster parenting enabled? - foster_parenting: bool, - - /// The context element for the fragment parsing algorithm. - context_elem: Option<Handle>, - - /// Track current line - current_line: u64, - // WARNING: If you add new fields that contain Handles, you - // must add them to trace_handles() below to preserve memory - // safety! - // - // FIXME: Auto-generate the trace hooks like Servo does. -} - -impl<Handle, Sink> TreeBuilder<Handle, Sink> -where - Handle: Clone, - Sink: TreeSink<Handle = Handle>, -{ - /// Create a new tree builder which sends tree modifications to a particular `TreeSink`. - /// - /// The tree builder is also a `TokenSink`. - pub fn new(mut sink: Sink, opts: TreeBuilderOpts) -> TreeBuilder<Handle, Sink> { - let doc_handle = sink.get_document(); - TreeBuilder { - opts: opts, - sink: sink, - mode: Initial, - orig_mode: None, - template_modes: vec![], - pending_table_text: vec![], - quirks_mode: opts.quirks_mode, - doc_handle: doc_handle, - open_elems: vec![], - active_formatting: vec![], - head_elem: None, - form_elem: None, - frameset_ok: true, - ignore_lf: false, - foster_parenting: false, - context_elem: None, - current_line: 1, - } - } - - /// Create a new tree builder which sends tree modifications to a particular `TreeSink`. - /// This is for parsing fragments. - /// - /// The tree builder is also a `TokenSink`. - pub fn new_for_fragment( - mut sink: Sink, - context_elem: Handle, - form_elem: Option<Handle>, - opts: TreeBuilderOpts, - ) -> TreeBuilder<Handle, Sink> { - let doc_handle = sink.get_document(); - let context_is_template = sink.elem_name(&context_elem) == expanded_name!(html "template"); - let mut tb = TreeBuilder { - opts: opts, - sink: sink, - mode: Initial, - orig_mode: None, - template_modes: if context_is_template { - vec![InTemplate] - } else { - vec![] - }, - pending_table_text: vec![], - quirks_mode: opts.quirks_mode, - doc_handle: doc_handle, - open_elems: vec![], - active_formatting: vec![], - head_elem: None, - form_elem: form_elem, - frameset_ok: true, - ignore_lf: false, - foster_parenting: false, - context_elem: Some(context_elem), - current_line: 1, - }; - - // https://html.spec.whatwg.org/multipage/#parsing-html-fragments - // 5. Let root be a new html element with no attributes. - // 6. Append the element root to the Document node created above. - // 7. Set up the parser's stack of open elements so that it contains just the single element root. - tb.create_root(vec![]); - // 10. Reset the parser's insertion mode appropriately. - tb.mode = tb.reset_insertion_mode(); - - tb - } - - // https://html.spec.whatwg.org/multipage/#concept-frag-parse-context - // Step 4. Set the state of the HTML parser's tokenization stage as follows: - pub fn tokenizer_state_for_context_elem(&self) -> tok_state::State { - let elem = self.context_elem.as_ref().expect("no context element"); - let name = match self.sink.elem_name(elem) { - ExpandedName { - ns: &ns!(html), - local, - } => local, - _ => return tok_state::Data, - }; - match *name { - local_name!("title") | local_name!("textarea") => tok_state::RawData(tok_state::Rcdata), - - local_name!("style") | - local_name!("xmp") | - local_name!("iframe") | - local_name!("noembed") | - local_name!("noframes") => tok_state::RawData(tok_state::Rawtext), - - local_name!("script") => tok_state::RawData(tok_state::ScriptData), - - local_name!("noscript") => { - if self.opts.scripting_enabled { - tok_state::RawData(tok_state::Rawtext) - } else { - tok_state::Data - } - }, - - local_name!("plaintext") => tok_state::Plaintext, - - _ => tok_state::Data, - } - } - - /// Call the `Tracer`'s `trace_handle` method on every `Handle` in the tree builder's - /// internal state. This is intended to support garbage-collected DOMs. - pub fn trace_handles(&self, tracer: &Tracer<Handle = Handle>) { - tracer.trace_handle(&self.doc_handle); - for e in &self.open_elems { - tracer.trace_handle(e); - } - for e in &self.active_formatting { - match e { - &Element(ref h, _) => tracer.trace_handle(h), - _ => (), - } - } - self.head_elem.as_ref().map(|h| tracer.trace_handle(h)); - self.form_elem.as_ref().map(|h| tracer.trace_handle(h)); - self.context_elem.as_ref().map(|h| tracer.trace_handle(h)); - } - - #[allow(dead_code)] - fn dump_state(&self, label: String) { - println!("dump_state on {}", label); - print!(" open_elems:"); - for node in self.open_elems.iter() { - let name = self.sink.elem_name(node); - match *name.ns { - ns!(html) => print!(" {}", name.local), - _ => panic!(), - } - } - println!(""); - print!(" active_formatting:"); - for entry in self.active_formatting.iter() { - match entry { - &Marker => print!(" Marker"), - &Element(ref h, _) => { - let name = self.sink.elem_name(h); - match *name.ns { - ns!(html) => print!(" {}", name.local), - _ => panic!(), - } - }, - } - } - println!(""); - } - - fn debug_step(&self, mode: InsertionMode, token: &Token) { - if log_enabled!(Level::Debug) { - debug!( - "processing {} in insertion mode {:?}", - to_escaped_string(token), - mode - ); - } - } - - fn process_to_completion(&mut self, mut token: Token) -> TokenSinkResult<Handle> { - // Queue of additional tokens yet to be processed. - // This stays empty in the common case where we don't split whitespace. - let mut more_tokens = VecDeque::new(); - - loop { - let should_have_acknowledged_self_closing_flag = matches!( - token, - TagToken(Tag { - self_closing: true, - kind: StartTag, - .. - }) - ); - let result = if self.is_foreign(&token) { - self.step_foreign(token) - } else { - let mode = self.mode; - self.step(mode, token) - }; - match result { - Done => { - if should_have_acknowledged_self_closing_flag { - self.sink - .parse_error(Borrowed("Unacknowledged self-closing tag")); - } - token = unwrap_or_return!( - more_tokens.pop_front(), - tokenizer::TokenSinkResult::Continue - ); - }, - DoneAckSelfClosing => { - token = unwrap_or_return!( - more_tokens.pop_front(), - tokenizer::TokenSinkResult::Continue - ); - }, - Reprocess(m, t) => { - self.mode = m; - token = t; - }, - ReprocessForeign(t) => { - token = t; - }, - SplitWhitespace(mut buf) => { - let p = buf.pop_front_char_run(is_ascii_whitespace); - let (first, is_ws) = unwrap_or_return!(p, tokenizer::TokenSinkResult::Continue); - let status = if is_ws { Whitespace } else { NotWhitespace }; - token = CharacterTokens(status, first); - - if buf.len32() > 0 { - more_tokens.push_back(CharacterTokens(NotSplit, buf)); - } - }, - Script(node) => { - assert!(more_tokens.is_empty()); - return tokenizer::TokenSinkResult::Script(node); - }, - ToPlaintext => { - assert!(more_tokens.is_empty()); - return tokenizer::TokenSinkResult::Plaintext; - }, - ToRawData(k) => { - assert!(more_tokens.is_empty()); - return tokenizer::TokenSinkResult::RawData(k); - }, - } - } - } - - /// Are we parsing a HTML fragment? - pub fn is_fragment(&self) -> bool { - self.context_elem.is_some() - } - - /// https://html.spec.whatwg.org/multipage/#appropriate-place-for-inserting-a-node - fn appropriate_place_for_insertion( - &mut self, - override_target: Option<Handle>, - ) -> InsertionPoint<Handle> { - use self::tag_sets::*; - - declare_tag_set!(foster_target = "table" "tbody" "tfoot" "thead" "tr"); - let target = override_target.unwrap_or_else(|| self.current_node().clone()); - if !(self.foster_parenting && self.elem_in(&target, foster_target)) { - if self.html_elem_named(&target, local_name!("template")) { - // No foster parenting (inside template). - let contents = self.sink.get_template_contents(&target); - return LastChild(contents); - } else { - // No foster parenting (the common case). - return LastChild(target); - } - } - - // Foster parenting - let mut iter = self.open_elems.iter().rev().peekable(); - while let Some(elem) = iter.next() { - if self.html_elem_named(&elem, local_name!("template")) { - let contents = self.sink.get_template_contents(&elem); - return LastChild(contents); - } else if self.html_elem_named(&elem, local_name!("table")) { - return TableFosterParenting { - element: elem.clone(), - prev_element: (*iter.peek().unwrap()).clone(), - }; - } - } - let html_elem = self.html_elem(); - LastChild(html_elem.clone()) - } - - fn insert_at(&mut self, insertion_point: InsertionPoint<Handle>, child: NodeOrText<Handle>) { - match insertion_point { - LastChild(parent) => self.sink.append(&parent, child), - BeforeSibling(sibling) => self.sink.append_before_sibling(&sibling, child), - TableFosterParenting { - element, - prev_element, - } => self - .sink - .append_based_on_parent_node(&element, &prev_element, child), - } - } -} - -impl<Handle, Sink> TokenSink for TreeBuilder<Handle, Sink> -where - Handle: Clone, - Sink: TreeSink<Handle = Handle>, -{ - type Handle = Handle; - - fn process_token( - &mut self, - token: tokenizer::Token, - line_number: u64, - ) -> TokenSinkResult<Handle> { - if line_number != self.current_line { - self.sink.set_current_line(line_number); - } - let ignore_lf = replace(&mut self.ignore_lf, false); - - // Handle `ParseError` and `DoctypeToken`; convert everything else to the local `Token` type. - let token = match token { - tokenizer::ParseError(e) => { - self.sink.parse_error(e); - return tokenizer::TokenSinkResult::Continue; - }, - - tokenizer::DoctypeToken(dt) => { - if self.mode == Initial { - let (err, quirk) = data::doctype_error_and_quirks(&dt, self.opts.iframe_srcdoc); - if err { - self.sink.parse_error(format_if!( - self.opts.exact_errors, - "Bad DOCTYPE", - "Bad DOCTYPE: {:?}", - dt - )); - } - let Doctype { - name, - public_id, - system_id, - force_quirks: _, - } = dt; - if !self.opts.drop_doctype { - self.sink.append_doctype_to_document( - name.unwrap_or(StrTendril::new()), - public_id.unwrap_or(StrTendril::new()), - system_id.unwrap_or(StrTendril::new()), - ); - } - self.set_quirks_mode(quirk); - - self.mode = BeforeHtml; - return tokenizer::TokenSinkResult::Continue; - } else { - self.sink.parse_error(format_if!( - self.opts.exact_errors, - "DOCTYPE in body", - "DOCTYPE in insertion mode {:?}", - self.mode - )); - return tokenizer::TokenSinkResult::Continue; - } - }, - - tokenizer::TagToken(x) => TagToken(x), - tokenizer::CommentToken(x) => CommentToken(x), - tokenizer::NullCharacterToken => NullCharacterToken, - tokenizer::EOFToken => EOFToken, - - tokenizer::CharacterTokens(mut x) => { - if ignore_lf && x.starts_with("\n") { - x.pop_front(1); - } - if x.is_empty() { - return tokenizer::TokenSinkResult::Continue; - } - CharacterTokens(NotSplit, x) - }, - }; - - self.process_to_completion(token) - } - - fn end(&mut self) { - for elem in self.open_elems.drain(..).rev() { - self.sink.pop(&elem); - } - } - - fn adjusted_current_node_present_but_not_in_html_namespace(&self) -> bool { - !self.open_elems.is_empty() && - self.sink.elem_name(self.adjusted_current_node()).ns != &ns!(html) - } -} - -pub fn html_elem<Handle>(open_elems: &[Handle]) -> &Handle { - &open_elems[0] -} - -pub struct ActiveFormattingIter<'a, Handle: 'a> { - iter: Rev<Enumerate<slice::Iter<'a, FormatEntry<Handle>>>>, -} - -impl<'a, Handle> Iterator for ActiveFormattingIter<'a, Handle> { - type Item = (usize, &'a Handle, &'a Tag); - fn next(&mut self) -> Option<(usize, &'a Handle, &'a Tag)> { - match self.iter.next() { - None | Some((_, &Marker)) => None, - Some((i, &Element(ref h, ref t))) => Some((i, h, t)), - } - } -} - -pub enum PushFlag { - Push, - NoPush, -} - -enum Bookmark<Handle> { - Replace(Handle), - InsertAfter(Handle), -} - -macro_rules! qualname { - ("", $local:tt) => { - QualName { - prefix: None, - ns: ns!(), - local: local_name!($local), - } - }; - ($prefix: tt $ns:tt $local:tt) => { - QualName { - prefix: Some(namespace_prefix!($prefix)), - ns: ns!($ns), - local: local_name!($local), - } - }; -} - -#[doc(hidden)] -impl<Handle, Sink> TreeBuilder<Handle, Sink> -where - Handle: Clone, - Sink: TreeSink<Handle = Handle>, -{ - fn unexpected<T: fmt::Debug>(&mut self, _thing: &T) -> ProcessResult<Handle> { - self.sink.parse_error(format_if!( - self.opts.exact_errors, - "Unexpected token", - "Unexpected token {} in insertion mode {:?}", - to_escaped_string(_thing), - self.mode - )); - Done - } - - fn assert_named(&mut self, node: &Handle, name: LocalName) { - assert!(self.html_elem_named(&node, name)); - } - - /// Iterate over the active formatting elements (with index in the list) from the end - /// to the last marker, or the beginning if there are no markers. - fn active_formatting_end_to_marker<'a>(&'a self) -> ActiveFormattingIter<'a, Handle> { - ActiveFormattingIter { - iter: self.active_formatting.iter().enumerate().rev(), - } - } - - fn position_in_active_formatting(&self, element: &Handle) -> Option<usize> { - self.active_formatting.iter().position(|n| match n { - &Marker => false, - &Element(ref handle, _) => self.sink.same_node(handle, element), - }) - } - - fn set_quirks_mode(&mut self, mode: QuirksMode) { - self.quirks_mode = mode; - self.sink.set_quirks_mode(mode); - } - - fn stop_parsing(&mut self) -> ProcessResult<Handle> { - Done - } - - //§ parsing-elements-that-contain-only-text - // Switch to `Text` insertion mode, save the old mode, and - // switch the tokenizer to a raw-data state. - // The latter only takes effect after the current / next - // `process_token` of a start tag returns! - fn to_raw_text_mode(&mut self, k: RawKind) -> ProcessResult<Handle> { - self.orig_mode = Some(self.mode); - self.mode = Text; - ToRawData(k) - } - - // The generic raw text / RCDATA parsing algorithm. - fn parse_raw_data(&mut self, tag: Tag, k: RawKind) -> ProcessResult<Handle> { - self.insert_element_for(tag); - self.to_raw_text_mode(k) - } - //§ END - - fn current_node(&self) -> &Handle { - self.open_elems.last().expect("no current element") - } - - fn adjusted_current_node(&self) -> &Handle { - if self.open_elems.len() == 1 { - if let Some(ctx) = self.context_elem.as_ref() { - return ctx; - } - } - self.current_node() - } - - fn current_node_in<TagSet>(&self, set: TagSet) -> bool - where - TagSet: Fn(ExpandedName) -> bool, - { - set(self.sink.elem_name(self.current_node())) - } - - // Insert at the "appropriate place for inserting a node". - fn insert_appropriately(&mut self, child: NodeOrText<Handle>, override_target: Option<Handle>) { - let insertion_point = self.appropriate_place_for_insertion(override_target); - self.insert_at(insertion_point, child); - } - - fn adoption_agency(&mut self, subject: LocalName) { - // 1. - if self.current_node_named(subject.clone()) { - if self - .position_in_active_formatting(self.current_node()) - .is_none() - { - self.pop(); - return; - } - } - - // 2. 3. 4. - for _ in 0..8 { - // 5. - let (fmt_elem_index, fmt_elem, fmt_elem_tag) = unwrap_or_return!( - // We clone the Handle and Tag so they don't cause an immutable borrow of self. - self.active_formatting_end_to_marker() - .filter(|&(_, _, tag)| tag.name == subject) - .next() - .map(|(i, h, t)| (i, h.clone(), t.clone())), - { - self.process_end_tag_in_body(Tag { - kind: EndTag, - name: subject, - self_closing: false, - attrs: vec![], - }); - } - ); - - let fmt_elem_stack_index = unwrap_or_return!( - self.open_elems - .iter() - .rposition(|n| self.sink.same_node(n, &fmt_elem)), - { - self.sink - .parse_error(Borrowed("Formatting element not open")); - self.active_formatting.remove(fmt_elem_index); - } - ); - - // 7. - if !self.in_scope(default_scope, |n| self.sink.same_node(&n, &fmt_elem)) { - self.sink - .parse_error(Borrowed("Formatting element not in scope")); - return; - } - - // 8. - if !self.sink.same_node(self.current_node(), &fmt_elem) { - self.sink - .parse_error(Borrowed("Formatting element not current node")); - } - - // 9. - let (furthest_block_index, furthest_block) = unwrap_or_return!( - self.open_elems - .iter() - .enumerate() - .skip(fmt_elem_stack_index) - .filter(|&(_, open_element)| self.elem_in(open_element, special_tag)) - .next() - .map(|(i, h)| (i, h.clone())), - // 10. - { - self.open_elems.truncate(fmt_elem_stack_index); - self.active_formatting.remove(fmt_elem_index); - } - ); - - // 11. - let common_ancestor = self.open_elems[fmt_elem_stack_index - 1].clone(); - - // 12. - let mut bookmark = Bookmark::Replace(fmt_elem.clone()); - - // 13. - let mut node; - let mut node_index = furthest_block_index; - let mut last_node = furthest_block.clone(); - - // 13.1. - let mut inner_counter = 0; - loop { - // 13.2. - inner_counter += 1; - - // 13.3. - node_index -= 1; - node = self.open_elems[node_index].clone(); - - // 13.4. - if self.sink.same_node(&node, &fmt_elem) { - break; - } - - // 13.5. - if inner_counter > 3 { - self.position_in_active_formatting(&node) - .map(|position| self.active_formatting.remove(position)); - self.open_elems.remove(node_index); - continue; - } - - let node_formatting_index = unwrap_or_else!( - self.position_in_active_formatting(&node), - // 13.6. - { - self.open_elems.remove(node_index); - continue; - } - ); - - // 13.7. - let tag = match self.active_formatting[node_formatting_index] { - Element(ref h, ref t) => { - assert!(self.sink.same_node(h, &node)); - t.clone() - }, - Marker => panic!("Found marker during adoption agency"), - }; - // FIXME: Is there a way to avoid cloning the attributes twice here (once on their - // own, once as part of t.clone() above)? - let new_element = create_element( - &mut self.sink, - QualName::new(None, ns!(html), tag.name.clone()), - tag.attrs.clone(), - ); - self.open_elems[node_index] = new_element.clone(); - self.active_formatting[node_formatting_index] = Element(new_element.clone(), tag); - node = new_element; - - // 13.8. - if self.sink.same_node(&last_node, &furthest_block) { - bookmark = Bookmark::InsertAfter(node.clone()); - } - - // 13.9. - self.sink.remove_from_parent(&last_node); - self.sink.append(&node, AppendNode(last_node.clone())); - - // 13.10. - last_node = node.clone(); - - // 13.11. - } - - // 14. - self.sink.remove_from_parent(&last_node); - self.insert_appropriately(AppendNode(last_node.clone()), Some(common_ancestor)); - - // 15. - // FIXME: Is there a way to avoid cloning the attributes twice here (once on their own, - // once as part of t.clone() above)? - let new_element = create_element( - &mut self.sink, - QualName::new(None, ns!(html), fmt_elem_tag.name.clone()), - fmt_elem_tag.attrs.clone(), - ); - let new_entry = Element(new_element.clone(), fmt_elem_tag); - - // 16. - self.sink.reparent_children(&furthest_block, &new_element); - - // 17. - self.sink - .append(&furthest_block, AppendNode(new_element.clone())); - - // 18. - // FIXME: We could probably get rid of the position_in_active_formatting() calls here - // if we had a more clever Bookmark representation. - match bookmark { - Bookmark::Replace(to_replace) => { - let index = self - .position_in_active_formatting(&to_replace) - .expect("bookmark not found in active formatting elements"); - self.active_formatting[index] = new_entry; - }, - Bookmark::InsertAfter(previous) => { - let index = self - .position_in_active_formatting(&previous) - .expect("bookmark not found in active formatting elements") + - 1; - self.active_formatting.insert(index, new_entry); - let old_index = self - .position_in_active_formatting(&fmt_elem) - .expect("formatting element not found in active formatting elements"); - self.active_formatting.remove(old_index); - }, - } - - // 19. - self.remove_from_stack(&fmt_elem); - let new_furthest_block_index = self - .open_elems - .iter() - .position(|n| self.sink.same_node(n, &furthest_block)) - .expect("furthest block missing from open element stack"); - self.open_elems - .insert(new_furthest_block_index + 1, new_element); - - // 20. - } - } - - fn push(&mut self, elem: &Handle) { - self.open_elems.push(elem.clone()); - } - - fn pop(&mut self) -> Handle { - let elem = self.open_elems.pop().expect("no current element"); - self.sink.pop(&elem); - elem - } - - fn remove_from_stack(&mut self, elem: &Handle) { - let sink = &mut self.sink; - let position = self - .open_elems - .iter() - .rposition(|x| sink.same_node(elem, &x)); - if let Some(position) = position { - self.open_elems.remove(position); - sink.pop(elem); - } - } - - fn is_marker_or_open(&self, entry: &FormatEntry<Handle>) -> bool { - match *entry { - Marker => true, - Element(ref node, _) => self - .open_elems - .iter() - .rev() - .any(|n| self.sink.same_node(&n, &node)), - } - } - - /// Reconstruct the active formatting elements. - fn reconstruct_formatting(&mut self) { - { - let last = unwrap_or_return!(self.active_formatting.last(), ()); - if self.is_marker_or_open(last) { - return; - } - } - - let mut entry_index = self.active_formatting.len() - 1; - loop { - if entry_index == 0 { - break; - } - entry_index -= 1; - if self.is_marker_or_open(&self.active_formatting[entry_index]) { - entry_index += 1; - break; - } - } - - loop { - let tag = match self.active_formatting[entry_index] { - Element(_, ref t) => t.clone(), - Marker => panic!("Found marker during formatting element reconstruction"), - }; - - // FIXME: Is there a way to avoid cloning the attributes twice here (once on their own, - // once as part of t.clone() above)? - let new_element = - self.insert_element(Push, ns!(html), tag.name.clone(), tag.attrs.clone()); - self.active_formatting[entry_index] = Element(new_element, tag); - if entry_index == self.active_formatting.len() - 1 { - break; - } - entry_index += 1; - } - } - - /// Get the first element on the stack, which will be the <html> element. - fn html_elem(&self) -> &Handle { - &self.open_elems[0] - } - - /// Get the second element on the stack, if it's a HTML body element. - fn body_elem(&self) -> Option<&Handle> { - if self.open_elems.len() <= 1 { - return None; - } - - let node = &self.open_elems[1]; - if self.html_elem_named(node, local_name!("body")) { - Some(node) - } else { - None - } - } - - /// Signal an error depending on the state of the stack of open elements at - /// the end of the body. - fn check_body_end(&mut self) { - declare_tag_set!(body_end_ok = - "dd" "dt" "li" "optgroup" "option" "p" "rp" "rt" "tbody" "td" "tfoot" "th" - "thead" "tr" "body" "html"); - - for elem in self.open_elems.iter() { - let error; - { - let name = self.sink.elem_name(elem); - if body_end_ok(name) { - continue; - } - error = format_if!( - self.opts.exact_errors, - "Unexpected open tag at end of body", - "Unexpected open tag {:?} at end of body", - name - ); - } - self.sink.parse_error(error); - // FIXME: Do we keep checking after finding one bad tag? - // The spec suggests not. - return; - } - } - - fn in_scope<TagSet, Pred>(&self, scope: TagSet, pred: Pred) -> bool - where - TagSet: Fn(ExpandedName) -> bool, - Pred: Fn(Handle) -> bool, - { - for node in self.open_elems.iter().rev() { - if pred(node.clone()) { - return true; - } - if scope(self.sink.elem_name(node)) { - return false; - } - } - - // supposed to be impossible, because <html> is always in scope - - false - } - - fn elem_in<TagSet>(&self, elem: &Handle, set: TagSet) -> bool - where - TagSet: Fn(ExpandedName) -> bool, - { - set(self.sink.elem_name(elem)) - } - - fn html_elem_named(&self, elem: &Handle, name: LocalName) -> bool { - let expanded = self.sink.elem_name(elem); - *expanded.ns == ns!(html) && *expanded.local == name - } - - fn in_html_elem_named(&self, name: LocalName) -> bool { - self.open_elems - .iter() - .any(|elem| self.html_elem_named(elem, name.clone())) - } - - fn current_node_named(&self, name: LocalName) -> bool { - self.html_elem_named(self.current_node(), name) - } - - fn in_scope_named<TagSet>(&self, scope: TagSet, name: LocalName) -> bool - where - TagSet: Fn(ExpandedName) -> bool, - { - self.in_scope(scope, |elem| self.html_elem_named(&elem, name.clone())) - } - - //§ closing-elements-that-have-implied-end-tags - fn generate_implied_end<TagSet>(&mut self, set: TagSet) - where - TagSet: Fn(ExpandedName) -> bool, - { - loop { - { - let elem = unwrap_or_return!(self.open_elems.last(), ()); - let nsname = self.sink.elem_name(elem); - if !set(nsname) { - return; - } - } - self.pop(); - } - } - - fn generate_implied_end_except(&mut self, except: LocalName) { - self.generate_implied_end(|p| { - if *p.ns == ns!(html) && *p.local == except { - false - } else { - cursory_implied_end(p) - } - }); - } - //§ END - - // Pop elements until the current element is in the set. - fn pop_until_current<TagSet>(&mut self, pred: TagSet) - where - TagSet: Fn(ExpandedName) -> bool, - { - loop { - if self.current_node_in(|x| pred(x)) { - break; - } - self.open_elems.pop(); - } - } - - // Pop elements until an element from the set has been popped. Returns the - // number of elements popped. - fn pop_until<P>(&mut self, pred: P) -> usize - where - P: Fn(ExpandedName) -> bool, - { - let mut n = 0; - loop { - n += 1; - match self.open_elems.pop() { - None => break, - Some(elem) => { - if pred(self.sink.elem_name(&elem)) { - break; - } - }, - } - } - n - } - - fn pop_until_named(&mut self, name: LocalName) -> usize { - self.pop_until(|p| *p.ns == ns!(html) && *p.local == name) - } - - // Pop elements until one with the specified name has been popped. - // Signal an error if it was not the first one. - fn expect_to_close(&mut self, name: LocalName) { - if self.pop_until_named(name.clone()) != 1 { - self.sink.parse_error(format_if!( - self.opts.exact_errors, - "Unexpected open element", - "Unexpected open element while closing {:?}", - name - )); - } - } - - fn close_p_element(&mut self) { - declare_tag_set!(implied = [cursory_implied_end] - "p"); - self.generate_implied_end(implied); - self.expect_to_close(local_name!("p")); - } - - fn close_p_element_in_button_scope(&mut self) { - if self.in_scope_named(button_scope, local_name!("p")) { - self.close_p_element(); - } - } - - // Check <input> tags for type=hidden - fn is_type_hidden(&self, tag: &Tag) -> bool { - match tag - .attrs - .iter() - .find(|&at| at.name.expanded() == expanded_name!("", "type")) - { - None => false, - Some(at) => (&*at.value).eq_ignore_ascii_case("hidden"), - } - } - - fn foster_parent_in_body(&mut self, token: Token) -> ProcessResult<Handle> { - warn!("foster parenting not implemented"); - self.foster_parenting = true; - let res = self.step(InBody, token); - // FIXME: what if res is Reprocess? - self.foster_parenting = false; - res - } - - fn process_chars_in_table(&mut self, token: Token) -> ProcessResult<Handle> { - declare_tag_set!(table_outer = "table" "tbody" "tfoot" "thead" "tr"); - if self.current_node_in(table_outer) { - assert!(self.pending_table_text.is_empty()); - self.orig_mode = Some(self.mode); - Reprocess(InTableText, token) - } else { - self.sink.parse_error(format_if!( - self.opts.exact_errors, - "Unexpected characters in table", - "Unexpected characters {} in table", - to_escaped_string(&token) - )); - self.foster_parent_in_body(token) - } - } - - // https://html.spec.whatwg.org/multipage/#reset-the-insertion-mode-appropriately - fn reset_insertion_mode(&mut self) -> InsertionMode { - for (i, mut node) in self.open_elems.iter().enumerate().rev() { - let last = i == 0usize; - if let (true, Some(ctx)) = (last, self.context_elem.as_ref()) { - node = ctx; - } - let name = match self.sink.elem_name(node) { - ExpandedName { - ns: &ns!(html), - local, - } => local, - _ => continue, - }; - match *name { - local_name!("select") => { - for ancestor in self.open_elems[0..i].iter().rev() { - if self.html_elem_named(ancestor, local_name!("template")) { - return InSelect; - } else if self.html_elem_named(ancestor, local_name!("table")) { - return InSelectInTable; - } - } - return InSelect; - }, - local_name!("td") | local_name!("th") => { - if !last { - return InCell; - } - }, - local_name!("tr") => return InRow, - local_name!("tbody") | local_name!("thead") | local_name!("tfoot") => { - return InTableBody; - }, - local_name!("caption") => return InCaption, - local_name!("colgroup") => return InColumnGroup, - local_name!("table") => return InTable, - local_name!("template") => return *self.template_modes.last().unwrap(), - local_name!("head") => { - if !last { - return InHead; - } - }, - local_name!("body") => return InBody, - local_name!("frameset") => return InFrameset, - local_name!("html") => match self.head_elem { - None => return BeforeHead, - Some(_) => return AfterHead, - }, - - _ => (), - } - } - InBody - } - - fn close_the_cell(&mut self) { - self.generate_implied_end(cursory_implied_end); - if self.pop_until(td_th) != 1 { - self.sink - .parse_error(Borrowed("expected to close <td> or <th> with cell")); - } - self.clear_active_formatting_to_marker(); - } - - fn append_text(&mut self, text: StrTendril) -> ProcessResult<Handle> { - self.insert_appropriately(AppendText(text), None); - Done - } - - fn append_comment(&mut self, text: StrTendril) -> ProcessResult<Handle> { - let comment = self.sink.create_comment(text); - self.insert_appropriately(AppendNode(comment), None); - Done - } - - fn append_comment_to_doc(&mut self, text: StrTendril) -> ProcessResult<Handle> { - let comment = self.sink.create_comment(text); - self.sink.append(&self.doc_handle, AppendNode(comment)); - Done - } - - fn append_comment_to_html(&mut self, text: StrTendril) -> ProcessResult<Handle> { - let target = html_elem(&self.open_elems); - let comment = self.sink.create_comment(text); - self.sink.append(target, AppendNode(comment)); - Done - } - - //§ creating-and-inserting-nodes - fn create_root(&mut self, attrs: Vec<Attribute>) { - let elem = create_element( - &mut self.sink, - QualName::new(None, ns!(html), local_name!("html")), - attrs, - ); - self.push(&elem); - self.sink.append(&self.doc_handle, AppendNode(elem)); - // FIXME: application cache selection algorithm - } - - // https://html.spec.whatwg.org/multipage/#create-an-element-for-the-token - fn insert_element( - &mut self, - push: PushFlag, - ns: Namespace, - name: LocalName, - attrs: Vec<Attribute>, - ) -> Handle { - declare_tag_set!(form_associatable = - "button" "fieldset" "input" "object" - "output" "select" "textarea" "img"); - - declare_tag_set!(listed = [form_associatable] - "img"); - - // Step 7. - let qname = QualName::new(None, ns, name); - let elem = create_element(&mut self.sink, qname.clone(), attrs.clone()); - - let insertion_point = self.appropriate_place_for_insertion(None); - let (node1, node2) = match insertion_point { - LastChild(ref p) | BeforeSibling(ref p) => (p.clone(), None), - TableFosterParenting { - ref element, - ref prev_element, - } => (element.clone(), Some(prev_element.clone())), - }; - - // Step 12. - if form_associatable(qname.expanded()) && - self.form_elem.is_some() && - !self.in_html_elem_named(local_name!("template")) && - !(listed(qname.expanded()) && - attrs - .iter() - .any(|a| a.name.expanded() == expanded_name!("", "form"))) - { - let form = self.form_elem.as_ref().unwrap().clone(); - let node2 = match node2 { - Some(ref n) => Some(n), - None => None, - }; - self.sink.associate_with_form(&elem, &form, (&node1, node2)); - } - - self.insert_at(insertion_point, AppendNode(elem.clone())); - - match push { - Push => self.push(&elem), - NoPush => (), - } - // FIXME: Remove from the stack if we can't append? - elem - } - - fn insert_element_for(&mut self, tag: Tag) -> Handle { - self.insert_element(Push, ns!(html), tag.name, tag.attrs) - } - - fn insert_and_pop_element_for(&mut self, tag: Tag) -> Handle { - self.insert_element(NoPush, ns!(html), tag.name, tag.attrs) - } - - fn insert_phantom(&mut self, name: LocalName) -> Handle { - self.insert_element(Push, ns!(html), name, vec![]) - } - //§ END - - fn create_formatting_element_for(&mut self, tag: Tag) -> Handle { - // FIXME: This really wants unit tests. - let mut first_match = None; - let mut matches = 0usize; - for (i, _, old_tag) in self.active_formatting_end_to_marker() { - if tag.equiv_modulo_attr_order(old_tag) { - first_match = Some(i); - matches += 1; - } - } - - if matches >= 3 { - self.active_formatting - .remove(first_match.expect("matches with no index")); - } - - let elem = self.insert_element(Push, ns!(html), tag.name.clone(), tag.attrs.clone()); - self.active_formatting.push(Element(elem.clone(), tag)); - elem - } - - fn clear_active_formatting_to_marker(&mut self) { - loop { - match self.active_formatting.pop() { - None | Some(Marker) => break, - _ => (), - } - } - } - - fn process_end_tag_in_body(&mut self, tag: Tag) { - // Look back for a matching open element. - let mut match_idx = None; - for (i, elem) in self.open_elems.iter().enumerate().rev() { - if self.html_elem_named(elem, tag.name.clone()) { - match_idx = Some(i); - break; - } - - if self.elem_in(elem, special_tag) { - self.sink - .parse_error(Borrowed("Found special tag while closing generic tag")); - return; - } - } - - // Can't use unwrap_or_return!() due to rust-lang/rust#16617. - let match_idx = match match_idx { - None => { - // I believe this is impossible, because the root - // <html> element is in special_tag. - self.unexpected(&tag); - return; - }, - Some(x) => x, - }; - - self.generate_implied_end_except(tag.name.clone()); - - if match_idx != self.open_elems.len() - 1 { - // mis-nested tags - self.unexpected(&tag); - } - self.open_elems.truncate(match_idx); - } - - fn handle_misnested_a_tags(&mut self, tag: &Tag) { - let node = unwrap_or_return!( - self.active_formatting_end_to_marker() - .filter(|&(_, n, _)| self.html_elem_named(n, local_name!("a"))) - .next() - .map(|(_, n, _)| n.clone()), - () - ); - - self.unexpected(tag); - self.adoption_agency(local_name!("a")); - self.position_in_active_formatting(&node) - .map(|index| self.active_formatting.remove(index)); - self.remove_from_stack(&node); - } - - //§ tree-construction - fn is_foreign(&mut self, token: &Token) -> bool { - if let EOFToken = *token { - return false; - } - - if self.open_elems.is_empty() { - return false; - } - - let name = self.sink.elem_name(self.adjusted_current_node()); - if let ns!(html) = *name.ns { - return false; - } - - if mathml_text_integration_point(name) { - match *token { - CharacterTokens(..) | NullCharacterToken => return false, - TagToken(Tag { - kind: StartTag, - ref name, - .. - }) if !matches!(*name, local_name!("mglyph") | local_name!("malignmark")) => { - return false; - }, - _ => (), - } - } - - if svg_html_integration_point(name) { - match *token { - CharacterTokens(..) | NullCharacterToken => return false, - TagToken(Tag { kind: StartTag, .. }) => return false, - _ => (), - } - } - - if let expanded_name!(mathml "annotation-xml") = name { - match *token { - TagToken(Tag { - kind: StartTag, - name: local_name!("svg"), - .. - }) => return false, - CharacterTokens(..) | NullCharacterToken | TagToken(Tag { kind: StartTag, .. }) => { - return !self - .sink - .is_mathml_annotation_xml_integration_point(self.adjusted_current_node()); - }, - _ => {}, - }; - } - - true - } - //§ END - - fn enter_foreign(&mut self, mut tag: Tag, ns: Namespace) -> ProcessResult<Handle> { - match ns { - ns!(mathml) => self.adjust_mathml_attributes(&mut tag), - ns!(svg) => self.adjust_svg_attributes(&mut tag), - _ => (), - } - self.adjust_foreign_attributes(&mut tag); - - if tag.self_closing { - self.insert_element(NoPush, ns, tag.name, tag.attrs); - DoneAckSelfClosing - } else { - self.insert_element(Push, ns, tag.name, tag.attrs); - Done - } - } - - fn adjust_svg_tag_name(&mut self, tag: &mut Tag) { - let Tag { ref mut name, .. } = *tag; - match *name { - local_name!("altglyph") => *name = local_name!("altGlyph"), - local_name!("altglyphdef") => *name = local_name!("altGlyphDef"), - local_name!("altglyphitem") => *name = local_name!("altGlyphItem"), - local_name!("animatecolor") => *name = local_name!("animateColor"), - local_name!("animatemotion") => *name = local_name!("animateMotion"), - local_name!("animatetransform") => *name = local_name!("animateTransform"), - local_name!("clippath") => *name = local_name!("clipPath"), - local_name!("feblend") => *name = local_name!("feBlend"), - local_name!("fecolormatrix") => *name = local_name!("feColorMatrix"), - local_name!("fecomponenttransfer") => *name = local_name!("feComponentTransfer"), - local_name!("fecomposite") => *name = local_name!("feComposite"), - local_name!("feconvolvematrix") => *name = local_name!("feConvolveMatrix"), - local_name!("fediffuselighting") => *name = local_name!("feDiffuseLighting"), - local_name!("fedisplacementmap") => *name = local_name!("feDisplacementMap"), - local_name!("fedistantlight") => *name = local_name!("feDistantLight"), - local_name!("fedropshadow") => *name = local_name!("feDropShadow"), - local_name!("feflood") => *name = local_name!("feFlood"), - local_name!("fefunca") => *name = local_name!("feFuncA"), - local_name!("fefuncb") => *name = local_name!("feFuncB"), - local_name!("fefuncg") => *name = local_name!("feFuncG"), - local_name!("fefuncr") => *name = local_name!("feFuncR"), - local_name!("fegaussianblur") => *name = local_name!("feGaussianBlur"), - local_name!("feimage") => *name = local_name!("feImage"), - local_name!("femerge") => *name = local_name!("feMerge"), - local_name!("femergenode") => *name = local_name!("feMergeNode"), - local_name!("femorphology") => *name = local_name!("feMorphology"), - local_name!("feoffset") => *name = local_name!("feOffset"), - local_name!("fepointlight") => *name = local_name!("fePointLight"), - local_name!("fespecularlighting") => *name = local_name!("feSpecularLighting"), - local_name!("fespotlight") => *name = local_name!("feSpotLight"), - local_name!("fetile") => *name = local_name!("feTile"), - local_name!("feturbulence") => *name = local_name!("feTurbulence"), - local_name!("foreignobject") => *name = local_name!("foreignObject"), - local_name!("glyphref") => *name = local_name!("glyphRef"), - local_name!("lineargradient") => *name = local_name!("linearGradient"), - local_name!("radialgradient") => *name = local_name!("radialGradient"), - local_name!("textpath") => *name = local_name!("textPath"), - _ => (), - } - } - - fn adjust_attributes<F>(&mut self, tag: &mut Tag, mut map: F) - where - F: FnMut(LocalName) -> Option<QualName>, - { - for &mut Attribute { ref mut name, .. } in &mut tag.attrs { - if let Some(replacement) = map(name.local.clone()) { - *name = replacement; - } - } - } - - fn adjust_svg_attributes(&mut self, tag: &mut Tag) { - self.adjust_attributes(tag, |k| match k { - local_name!("attributename") => Some(qualname!("", "attributeName")), - local_name!("attributetype") => Some(qualname!("", "attributeType")), - local_name!("basefrequency") => Some(qualname!("", "baseFrequency")), - local_name!("baseprofile") => Some(qualname!("", "baseProfile")), - local_name!("calcmode") => Some(qualname!("", "calcMode")), - local_name!("clippathunits") => Some(qualname!("", "clipPathUnits")), - local_name!("diffuseconstant") => Some(qualname!("", "diffuseConstant")), - local_name!("edgemode") => Some(qualname!("", "edgeMode")), - local_name!("filterunits") => Some(qualname!("", "filterUnits")), - local_name!("glyphref") => Some(qualname!("", "glyphRef")), - local_name!("gradienttransform") => Some(qualname!("", "gradientTransform")), - local_name!("gradientunits") => Some(qualname!("", "gradientUnits")), - local_name!("kernelmatrix") => Some(qualname!("", "kernelMatrix")), - local_name!("kernelunitlength") => Some(qualname!("", "kernelUnitLength")), - local_name!("keypoints") => Some(qualname!("", "keyPoints")), - local_name!("keysplines") => Some(qualname!("", "keySplines")), - local_name!("keytimes") => Some(qualname!("", "keyTimes")), - local_name!("lengthadjust") => Some(qualname!("", "lengthAdjust")), - local_name!("limitingconeangle") => Some(qualname!("", "limitingConeAngle")), - local_name!("markerheight") => Some(qualname!("", "markerHeight")), - local_name!("markerunits") => Some(qualname!("", "markerUnits")), - local_name!("markerwidth") => Some(qualname!("", "markerWidth")), - local_name!("maskcontentunits") => Some(qualname!("", "maskContentUnits")), - local_name!("maskunits") => Some(qualname!("", "maskUnits")), - local_name!("numoctaves") => Some(qualname!("", "numOctaves")), - local_name!("pathlength") => Some(qualname!("", "pathLength")), - local_name!("patterncontentunits") => Some(qualname!("", "patternContentUnits")), - local_name!("patterntransform") => Some(qualname!("", "patternTransform")), - local_name!("patternunits") => Some(qualname!("", "patternUnits")), - local_name!("pointsatx") => Some(qualname!("", "pointsAtX")), - local_name!("pointsaty") => Some(qualname!("", "pointsAtY")), - local_name!("pointsatz") => Some(qualname!("", "pointsAtZ")), - local_name!("preservealpha") => Some(qualname!("", "preserveAlpha")), - local_name!("preserveaspectratio") => Some(qualname!("", "preserveAspectRatio")), - local_name!("primitiveunits") => Some(qualname!("", "primitiveUnits")), - local_name!("refx") => Some(qualname!("", "refX")), - local_name!("refy") => Some(qualname!("", "refY")), - local_name!("repeatcount") => Some(qualname!("", "repeatCount")), - local_name!("repeatdur") => Some(qualname!("", "repeatDur")), - local_name!("requiredextensions") => Some(qualname!("", "requiredExtensions")), - local_name!("requiredfeatures") => Some(qualname!("", "requiredFeatures")), - local_name!("specularconstant") => Some(qualname!("", "specularConstant")), - local_name!("specularexponent") => Some(qualname!("", "specularExponent")), - local_name!("spreadmethod") => Some(qualname!("", "spreadMethod")), - local_name!("startoffset") => Some(qualname!("", "startOffset")), - local_name!("stddeviation") => Some(qualname!("", "stdDeviation")), - local_name!("stitchtiles") => Some(qualname!("", "stitchTiles")), - local_name!("surfacescale") => Some(qualname!("", "surfaceScale")), - local_name!("systemlanguage") => Some(qualname!("", "systemLanguage")), - local_name!("tablevalues") => Some(qualname!("", "tableValues")), - local_name!("targetx") => Some(qualname!("", "targetX")), - local_name!("targety") => Some(qualname!("", "targetY")), - local_name!("textlength") => Some(qualname!("", "textLength")), - local_name!("viewbox") => Some(qualname!("", "viewBox")), - local_name!("viewtarget") => Some(qualname!("", "viewTarget")), - local_name!("xchannelselector") => Some(qualname!("", "xChannelSelector")), - local_name!("ychannelselector") => Some(qualname!("", "yChannelSelector")), - local_name!("zoomandpan") => Some(qualname!("", "zoomAndPan")), - _ => None, - }); - } - - fn adjust_mathml_attributes(&mut self, tag: &mut Tag) { - self.adjust_attributes(tag, |k| match k { - local_name!("definitionurl") => Some(qualname!("", "definitionURL")), - _ => None, - }); - } - - fn adjust_foreign_attributes(&mut self, tag: &mut Tag) { - self.adjust_attributes(tag, |k| match k { - local_name!("xlink:actuate") => Some(qualname!("xlink" xlink "actuate")), - local_name!("xlink:arcrole") => Some(qualname!("xlink" xlink "arcrole")), - local_name!("xlink:href") => Some(qualname!("xlink" xlink "href")), - local_name!("xlink:role") => Some(qualname!("xlink" xlink "role")), - local_name!("xlink:show") => Some(qualname!("xlink" xlink "show")), - local_name!("xlink:title") => Some(qualname!("xlink" xlink "title")), - local_name!("xlink:type") => Some(qualname!("xlink" xlink "type")), - local_name!("xml:base") => Some(qualname!("xml" xml "base")), - local_name!("xml:lang") => Some(qualname!("xml" xml "lang")), - local_name!("xml:space") => Some(qualname!("xml" xml "space")), - local_name!("xmlns") => Some(qualname!("" xmlns "xmlns")), - local_name!("xmlns:xlink") => Some(qualname!("xmlns" xmlns "xlink")), - _ => None, - }); - } - - fn foreign_start_tag(&mut self, mut tag: Tag) -> ProcessResult<Handle> { - let current_ns = self.sink.elem_name(self.adjusted_current_node()).ns.clone(); - match current_ns { - ns!(mathml) => self.adjust_mathml_attributes(&mut tag), - ns!(svg) => { - self.adjust_svg_tag_name(&mut tag); - self.adjust_svg_attributes(&mut tag); - }, - _ => (), - } - self.adjust_foreign_attributes(&mut tag); - if tag.self_closing { - // FIXME(#118): <script /> in SVG - self.insert_element(NoPush, current_ns, tag.name, tag.attrs); - DoneAckSelfClosing - } else { - self.insert_element(Push, current_ns, tag.name, tag.attrs); - Done - } - } - - fn unexpected_start_tag_in_foreign_content(&mut self, tag: Tag) -> ProcessResult<Handle> { - self.unexpected(&tag); - if self.is_fragment() { - self.foreign_start_tag(tag) - } else { - self.pop(); - while !self.current_node_in(|n| { - *n.ns == ns!(html) || - mathml_text_integration_point(n) || - svg_html_integration_point(n) - }) { - self.pop(); - } - ReprocessForeign(TagToken(tag)) - } - } -} diff --git a/src/tree_builder/rules.rs b/src/tree_builder/rules.rs deleted file mode 100644 index bdc8afd..0000000 --- a/src/tree_builder/rules.rs +++ /dev/null @@ -1,1449 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -// The tree builder rules, as a single, enormous nested match expression. - -use markup5ever::{expanded_name, local_name, namespace_prefix, namespace_url, ns}; -use crate::tokenizer::states::{Plaintext, Rawtext, Rcdata, ScriptData}; -use crate::tree_builder::tag_sets::*; -use crate::tree_builder::types::*; - -use std::borrow::ToOwned; - -use crate::tendril::SliceExt; - -fn any_not_whitespace(x: &StrTendril) -> bool { - // FIXME: this might be much faster as a byte scan - x.chars().any(|c| !is_ascii_whitespace(c)) -} - -fn current_node<Handle>(open_elems: &[Handle]) -> &Handle { - open_elems.last().expect("no current element") -} - -#[doc(hidden)] -impl<Handle, Sink> TreeBuilder<Handle, Sink> -where - Handle: Clone, - Sink: TreeSink<Handle = Handle>, -{ - fn step(&mut self, mode: InsertionMode, token: Token) -> ProcessResult<Handle> { - self.debug_step(mode, &token); - - match mode { - //§ the-initial-insertion-mode - Initial => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => Done, - CommentToken(text) => self.append_comment_to_doc(text), - token => { - if !self.opts.iframe_srcdoc { - self.unexpected(&token); - self.set_quirks_mode(Quirks); - } - Reprocess(BeforeHtml, token) - } - }), - - //§ the-before-html-insertion-mode - BeforeHtml => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => Done, - CommentToken(text) => self.append_comment_to_doc(text), - - tag @ <html> => { - self.create_root(tag.attrs); - self.mode = BeforeHead; - Done - } - - </head> </body> </html> </br> => else, - - tag @ </_> => self.unexpected(&tag), - - token => { - self.create_root(vec!()); - Reprocess(BeforeHead, token) - } - }), - - //§ the-before-head-insertion-mode - BeforeHead => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => Done, - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - tag @ <head> => { - self.head_elem = Some(self.insert_element_for(tag)); - self.mode = InHead; - Done - } - - </head> </body> </html> </br> => else, - - tag @ </_> => self.unexpected(&tag), - - token => { - self.head_elem = Some(self.insert_phantom(local_name!("head"))); - Reprocess(InHead, token) - } - }), - - //§ parsing-main-inhead - InHead => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, text) => self.append_text(text), - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - tag @ <base> <basefont> <bgsound> <link> <meta> => { - // FIXME: handle <meta charset=...> and <meta http-equiv="Content-Type"> - self.insert_and_pop_element_for(tag); - DoneAckSelfClosing - } - - tag @ <title> => { - self.parse_raw_data(tag, Rcdata) - } - - tag @ <noframes> <style> <noscript> => { - if (!self.opts.scripting_enabled) && (tag.name == local_name!("noscript")) { - self.insert_element_for(tag); - self.mode = InHeadNoscript; - Done - } else { - self.parse_raw_data(tag, Rawtext) - } - } - - tag @ <script> => { - let elem = create_element( - &mut self.sink, QualName::new(None, ns!(html), local_name!("script")), - tag.attrs); - if self.is_fragment() { - self.sink.mark_script_already_started(&elem); - } - self.insert_appropriately(AppendNode(elem.clone()), None); - self.open_elems.push(elem); - self.to_raw_text_mode(ScriptData) - } - - </head> => { - self.pop(); - self.mode = AfterHead; - Done - } - - </body> </html> </br> => else, - - tag @ <template> => { - self.insert_element_for(tag); - self.active_formatting.push(Marker); - self.frameset_ok = false; - self.mode = InTemplate; - self.template_modes.push(InTemplate); - Done - } - - tag @ </template> => { - if !self.in_html_elem_named(local_name!("template")) { - self.unexpected(&tag); - } else { - self.generate_implied_end(thorough_implied_end); - self.expect_to_close(local_name!("template")); - self.clear_active_formatting_to_marker(); - self.template_modes.pop(); - self.mode = self.reset_insertion_mode(); - } - Done - } - - <head> => self.unexpected(&token), - tag @ </_> => self.unexpected(&tag), - - token => { - self.pop(); - Reprocess(AfterHead, token) - } - }), - - //§ parsing-main-inheadnoscript - InHeadNoscript => match_token!(token { - <html> => self.step(InBody, token), - - </noscript> => { - self.pop(); - self.mode = InHead; - Done - }, - - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => self.step(InHead, token), - - CommentToken(_) => self.step(InHead, token), - - <basefont> <bgsound> <link> <meta> <noframes> <style> - => self.step(InHead, token), - - </br> => else, - - <head> <noscript> => self.unexpected(&token), - tag @ </_> => self.unexpected(&tag), - - token => { - self.unexpected(&token); - self.pop(); - Reprocess(InHead, token) - }, - }), - - //§ the-after-head-insertion-mode - AfterHead => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, text) => self.append_text(text), - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - tag @ <body> => { - self.insert_element_for(tag); - self.frameset_ok = false; - self.mode = InBody; - Done - } - - tag @ <frameset> => { - self.insert_element_for(tag); - self.mode = InFrameset; - Done - } - - <base> <basefont> <bgsound> <link> <meta> - <noframes> <script> <style> <template> <title> => { - self.unexpected(&token); - let head = self.head_elem.as_ref().expect("no head element").clone(); - self.push(&head); - let result = self.step(InHead, token); - self.remove_from_stack(&head); - result - } - - </template> => self.step(InHead, token), - - </body> </html> </br> => else, - - <head> => self.unexpected(&token), - tag @ </_> => self.unexpected(&tag), - - token => { - self.insert_phantom(local_name!("body")); - Reprocess(InBody, token) - } - }), - - //§ parsing-main-inbody - InBody => match_token!(token { - NullCharacterToken => self.unexpected(&token), - - CharacterTokens(_, text) => { - self.reconstruct_formatting(); - if any_not_whitespace(&text) { - self.frameset_ok = false; - } - self.append_text(text) - } - - CommentToken(text) => self.append_comment(text), - - tag @ <html> => { - self.unexpected(&tag); - if !self.in_html_elem_named(local_name!("template")) { - let top = html_elem(&self.open_elems); - self.sink.add_attrs_if_missing(top, tag.attrs); - } - Done - } - - <base> <basefont> <bgsound> <link> <meta> <noframes> - <script> <style> <template> <title> </template> => { - self.step(InHead, token) - } - - tag @ <body> => { - self.unexpected(&tag); - match self.body_elem().cloned() { - Some(ref node) if self.open_elems.len() != 1 && - !self.in_html_elem_named(local_name!("template")) => { - self.frameset_ok = false; - self.sink.add_attrs_if_missing(node, tag.attrs) - }, - _ => {} - } - Done - } - - tag @ <frameset> => { - self.unexpected(&tag); - if !self.frameset_ok { return Done; } - - let body = unwrap_or_return!(self.body_elem(), Done).clone(); - self.sink.remove_from_parent(&body); - - // FIXME: can we get here in the fragment case? - // What to do with the first element then? - self.open_elems.truncate(1); - self.insert_element_for(tag); - self.mode = InFrameset; - Done - } - - EOFToken => { - if !self.template_modes.is_empty() { - self.step(InTemplate, token) - } else { - self.check_body_end(); - self.stop_parsing() - } - } - - </body> => { - if self.in_scope_named(default_scope, local_name!("body")) { - self.check_body_end(); - self.mode = AfterBody; - } else { - self.sink.parse_error(Borrowed("</body> with no <body> in scope")); - } - Done - } - - </html> => { - if self.in_scope_named(default_scope, local_name!("body")) { - self.check_body_end(); - Reprocess(AfterBody, token) - } else { - self.sink.parse_error(Borrowed("</html> with no <body> in scope")); - Done - } - } - - tag @ <address> <article> <aside> <blockquote> <center> <details> <dialog> - <dir> <div> <dl> <fieldset> <figcaption> <figure> <footer> <header> - <hgroup> <main> <nav> <ol> <p> <section> <summary> <ul> => { - self.close_p_element_in_button_scope(); - self.insert_element_for(tag); - Done - } - - tag @ <menu> => { - self.close_p_element_in_button_scope(); - self.insert_element_for(tag); - Done - } - - tag @ <h1> <h2> <h3> <h4> <h5> <h6> => { - self.close_p_element_in_button_scope(); - if self.current_node_in(heading_tag) { - self.sink.parse_error(Borrowed("nested heading tags")); - self.pop(); - } - self.insert_element_for(tag); - Done - } - - tag @ <pre> <listing> => { - self.close_p_element_in_button_scope(); - self.insert_element_for(tag); - self.ignore_lf = true; - self.frameset_ok = false; - Done - } - - tag @ <form> => { - if self.form_elem.is_some() && - !self.in_html_elem_named(local_name!("template")) { - self.sink.parse_error(Borrowed("nested forms")); - } else { - self.close_p_element_in_button_scope(); - let elem = self.insert_element_for(tag); - if !self.in_html_elem_named(local_name!("template")) { - self.form_elem = Some(elem); - } - } - Done - } - - tag @ <li> <dd> <dt> => { - declare_tag_set!(close_list = "li"); - declare_tag_set!(close_defn = "dd" "dt"); - declare_tag_set!(extra_special = [special_tag] - "address" "div" "p"); - let list = match tag.name { - local_name!("li") => true, - local_name!("dd") | local_name!("dt") => false, - _ => unreachable!(), - }; - - self.frameset_ok = false; - - let mut to_close = None; - for node in self.open_elems.iter().rev() { - let name = self.sink.elem_name(node); - let can_close = if list { - close_list(name) - } else { - close_defn(name) - }; - if can_close { - to_close = Some(name.local.clone()); - break; - } - if extra_special(name) { - break; - } - } - - match to_close { - Some(name) => { - self.generate_implied_end_except(name.clone()); - self.expect_to_close(name); - } - None => (), - } - - self.close_p_element_in_button_scope(); - self.insert_element_for(tag); - Done - } - - tag @ <plaintext> => { - self.close_p_element_in_button_scope(); - self.insert_element_for(tag); - ToPlaintext - } - - tag @ <button> => { - if self.in_scope_named(default_scope, local_name!("button")) { - self.sink.parse_error(Borrowed("nested buttons")); - self.generate_implied_end(cursory_implied_end); - self.pop_until_named(local_name!("button")); - } - self.reconstruct_formatting(); - self.insert_element_for(tag); - self.frameset_ok = false; - Done - } - - tag @ </address> </article> </aside> </blockquote> </button> </center> - </details> </dialog> </dir> </div> </dl> </fieldset> </figcaption> - </figure> </footer> </header> </hgroup> </listing> </main> </menu> - </nav> </ol> </pre> </section> </summary> </ul> => { - if !self.in_scope_named(default_scope, tag.name.clone()) { - self.unexpected(&tag); - } else { - self.generate_implied_end(cursory_implied_end); - self.expect_to_close(tag.name); - } - Done - } - - </form> => { - if !self.in_html_elem_named(local_name!("template")) { - // Can't use unwrap_or_return!() due to rust-lang/rust#16617. - let node = match self.form_elem.take() { - None => { - self.sink.parse_error(Borrowed("Null form element pointer on </form>")); - return Done; - } - Some(x) => x, - }; - if !self.in_scope(default_scope, |n| self.sink.same_node(&node, &n)) { - self.sink.parse_error(Borrowed("Form element not in scope on </form>")); - return Done; - } - self.generate_implied_end(cursory_implied_end); - let current = self.current_node().clone(); - self.remove_from_stack(&node); - if !self.sink.same_node(¤t, &node) { - self.sink.parse_error(Borrowed("Bad open element on </form>")); - } - } else { - if !self.in_scope_named(default_scope, local_name!("form")) { - self.sink.parse_error(Borrowed("Form element not in scope on </form>")); - return Done; - } - self.generate_implied_end(cursory_implied_end); - if !self.current_node_named(local_name!("form")) { - self.sink.parse_error(Borrowed("Bad open element on </form>")); - } - self.pop_until_named(local_name!("form")); - } - Done - } - - </p> => { - if !self.in_scope_named(button_scope, local_name!("p")) { - self.sink.parse_error(Borrowed("No <p> tag to close")); - self.insert_phantom(local_name!("p")); - } - self.close_p_element(); - Done - } - - tag @ </li> </dd> </dt> => { - let in_scope = if tag.name == local_name!("li") { - self.in_scope_named(list_item_scope, tag.name.clone()) - } else { - self.in_scope_named(default_scope, tag.name.clone()) - }; - if in_scope { - self.generate_implied_end_except(tag.name.clone()); - self.expect_to_close(tag.name); - } else { - self.sink.parse_error(Borrowed("No matching tag to close")); - } - Done - } - - tag @ </h1> </h2> </h3> </h4> </h5> </h6> => { - if self.in_scope(default_scope, |n| self.elem_in(&n, heading_tag)) { - self.generate_implied_end(cursory_implied_end); - if !self.current_node_named(tag.name) { - self.sink.parse_error(Borrowed("Closing wrong heading tag")); - } - self.pop_until(heading_tag); - } else { - self.sink.parse_error(Borrowed("No heading tag to close")); - } - Done - } - - tag @ <a> => { - self.handle_misnested_a_tags(&tag); - self.reconstruct_formatting(); - self.create_formatting_element_for(tag); - Done - } - - tag @ <b> <big> <code> <em> <font> <i> <s> <small> <strike> <strong> <tt> <u> => { - self.reconstruct_formatting(); - self.create_formatting_element_for(tag); - Done - } - - tag @ <nobr> => { - self.reconstruct_formatting(); - if self.in_scope_named(default_scope, local_name!("nobr")) { - self.sink.parse_error(Borrowed("Nested <nobr>")); - self.adoption_agency(local_name!("nobr")); - self.reconstruct_formatting(); - } - self.create_formatting_element_for(tag); - Done - } - - tag @ </a> </b> </big> </code> </em> </font> </i> </nobr> - </s> </small> </strike> </strong> </tt> </u> => { - self.adoption_agency(tag.name); - Done - } - - tag @ <applet> <marquee> <object> => { - self.reconstruct_formatting(); - self.insert_element_for(tag); - self.active_formatting.push(Marker); - self.frameset_ok = false; - Done - } - - tag @ </applet> </marquee> </object> => { - if !self.in_scope_named(default_scope, tag.name.clone()) { - self.unexpected(&tag); - } else { - self.generate_implied_end(cursory_implied_end); - self.expect_to_close(tag.name); - self.clear_active_formatting_to_marker(); - } - Done - } - - tag @ <table> => { - if self.quirks_mode != Quirks { - self.close_p_element_in_button_scope(); - } - self.insert_element_for(tag); - self.frameset_ok = false; - self.mode = InTable; - Done - } - - tag @ </br> => { - self.unexpected(&tag); - self.step(InBody, TagToken(Tag { - kind: StartTag, - attrs: vec!(), - ..tag - })) - } - - tag @ <area> <br> <embed> <img> <keygen> <wbr> <input> => { - let keep_frameset_ok = match tag.name { - local_name!("input") => self.is_type_hidden(&tag), - _ => false, - }; - self.reconstruct_formatting(); - self.insert_and_pop_element_for(tag); - if !keep_frameset_ok { - self.frameset_ok = false; - } - DoneAckSelfClosing - } - - tag @ <param> <source> <track> => { - self.insert_and_pop_element_for(tag); - DoneAckSelfClosing - } - - tag @ <hr> => { - self.close_p_element_in_button_scope(); - self.insert_and_pop_element_for(tag); - self.frameset_ok = false; - DoneAckSelfClosing - } - - tag @ <image> => { - self.unexpected(&tag); - self.step(InBody, TagToken(Tag { - name: local_name!("img"), - ..tag - })) - } - - tag @ <textarea> => { - self.ignore_lf = true; - self.frameset_ok = false; - self.parse_raw_data(tag, Rcdata) - } - - tag @ <xmp> => { - self.close_p_element_in_button_scope(); - self.reconstruct_formatting(); - self.frameset_ok = false; - self.parse_raw_data(tag, Rawtext) - } - - tag @ <iframe> => { - self.frameset_ok = false; - self.parse_raw_data(tag, Rawtext) - } - - tag @ <noembed> => { - self.parse_raw_data(tag, Rawtext) - } - - // <noscript> handled in wildcard case below - - tag @ <select> => { - self.reconstruct_formatting(); - self.insert_element_for(tag); - self.frameset_ok = false; - // NB: mode == InBody but possibly self.mode != mode, if - // we're processing "as in the rules for InBody". - self.mode = match self.mode { - InTable | InCaption | InTableBody - | InRow | InCell => InSelectInTable, - _ => InSelect, - }; - Done - } - - tag @ <optgroup> <option> => { - if self.current_node_named(local_name!("option")) { - self.pop(); - } - self.reconstruct_formatting(); - self.insert_element_for(tag); - Done - } - - tag @ <rb> <rtc> => { - if self.in_scope_named(default_scope, local_name!("ruby")) { - self.generate_implied_end(cursory_implied_end); - } - if !self.current_node_named(local_name!("ruby")) { - self.unexpected(&tag); - } - self.insert_element_for(tag); - Done - } - - tag @ <rp> <rt> => { - if self.in_scope_named(default_scope, local_name!("ruby")) { - self.generate_implied_end_except(local_name!("rtc")); - } - if !self.current_node_named(local_name!("rtc")) && !self.current_node_named(local_name!("ruby")) { - self.unexpected(&tag); - } - self.insert_element_for(tag); - Done - } - - tag @ <math> => self.enter_foreign(tag, ns!(mathml)), - - tag @ <svg> => self.enter_foreign(tag, ns!(svg)), - - <caption> <col> <colgroup> <frame> <head> - <tbody> <td> <tfoot> <th> <thead> <tr> => { - self.unexpected(&token); - Done - } - - tag @ <_> => { - if self.opts.scripting_enabled && tag.name == local_name!("noscript") { - self.parse_raw_data(tag, Rawtext) - } else { - self.reconstruct_formatting(); - self.insert_element_for(tag); - Done - } - } - - tag @ </_> => { - self.process_end_tag_in_body(tag); - Done - } - - // FIXME: This should be unreachable, but match_token requires a - // catch-all case. - _ => panic!("impossible case in InBody mode"), - }), - - //§ parsing-main-incdata - Text => match_token!(token { - CharacterTokens(_, text) => self.append_text(text), - - EOFToken => { - self.unexpected(&token); - if self.current_node_named(local_name!("script")) { - let current = current_node(&self.open_elems); - self.sink.mark_script_already_started(current); - } - self.pop(); - Reprocess(self.orig_mode.take().unwrap(), token) - } - - tag @ </_> => { - let node = self.pop(); - self.mode = self.orig_mode.take().unwrap(); - if tag.name == local_name!("script") { - return Script(node); - } - Done - } - - // The spec doesn't say what to do here. - // Other tokens are impossible? - _ => panic!("impossible case in Text mode"), - }), - - //§ parsing-main-intable - InTable => match_token!(token { - // FIXME: hack, should implement pat | pat for match_token instead - NullCharacterToken => self.process_chars_in_table(token), - - CharacterTokens(..) => self.process_chars_in_table(token), - - CommentToken(text) => self.append_comment(text), - - tag @ <caption> => { - self.pop_until_current(table_scope); - self.active_formatting.push(Marker); - self.insert_element_for(tag); - self.mode = InCaption; - Done - } - - tag @ <colgroup> => { - self.pop_until_current(table_scope); - self.insert_element_for(tag); - self.mode = InColumnGroup; - Done - } - - <col> => { - self.pop_until_current(table_scope); - self.insert_phantom(local_name!("colgroup")); - Reprocess(InColumnGroup, token) - } - - tag @ <tbody> <tfoot> <thead> => { - self.pop_until_current(table_scope); - self.insert_element_for(tag); - self.mode = InTableBody; - Done - } - - <td> <th> <tr> => { - self.pop_until_current(table_scope); - self.insert_phantom(local_name!("tbody")); - Reprocess(InTableBody, token) - } - - <table> => { - self.unexpected(&token); - if self.in_scope_named(table_scope, local_name!("table")) { - self.pop_until_named(local_name!("table")); - Reprocess(self.reset_insertion_mode(), token) - } else { - Done - } - } - - </table> => { - if self.in_scope_named(table_scope, local_name!("table")) { - self.pop_until_named(local_name!("table")); - self.mode = self.reset_insertion_mode(); - } else { - self.unexpected(&token); - } - Done - } - - </body> </caption> </col> </colgroup> </html> - </tbody> </td> </tfoot> </th> </thead> </tr> => - self.unexpected(&token), - - <style> <script> <template> </template> - => self.step(InHead, token), - - tag @ <input> => { - self.unexpected(&tag); - if self.is_type_hidden(&tag) { - self.insert_and_pop_element_for(tag); - DoneAckSelfClosing - } else { - self.foster_parent_in_body(TagToken(tag)) - } - } - - tag @ <form> => { - self.unexpected(&tag); - if !self.in_html_elem_named(local_name!("template")) && self.form_elem.is_none() { - self.form_elem = Some(self.insert_and_pop_element_for(tag)); - } - Done - } - - EOFToken => self.step(InBody, token), - - token => { - self.unexpected(&token); - self.foster_parent_in_body(token) - } - }), - - //§ parsing-main-intabletext - InTableText => match_token!(token { - NullCharacterToken => self.unexpected(&token), - - CharacterTokens(split, text) => { - self.pending_table_text.push((split, text)); - Done - } - - token => { - let pending = replace(&mut self.pending_table_text, vec!()); - let contains_nonspace = pending.iter().any(|&(split, ref text)| { - match split { - Whitespace => false, - NotWhitespace => true, - NotSplit => any_not_whitespace(text), - } - }); - - if contains_nonspace { - self.sink.parse_error(Borrowed("Non-space table text")); - for (split, text) in pending.into_iter() { - match self.foster_parent_in_body(CharacterTokens(split, text)) { - Done => (), - _ => panic!("not prepared to handle this!"), - } - } - } else { - for (_, text) in pending.into_iter() { - self.append_text(text); - } - } - - Reprocess(self.orig_mode.take().unwrap(), token) - } - }), - - //§ parsing-main-incaption - InCaption => match_token!(token { - tag @ <caption> <col> <colgroup> <tbody> <td> <tfoot> - <th> <thead> <tr> </table> </caption> => { - if self.in_scope_named(table_scope, local_name!("caption")) { - self.generate_implied_end(cursory_implied_end); - self.expect_to_close(local_name!("caption")); - self.clear_active_formatting_to_marker(); - match tag { - Tag { kind: EndTag, name: local_name!("caption"), .. } => { - self.mode = InTable; - Done - } - _ => Reprocess(InTable, TagToken(tag)) - } - } else { - self.unexpected(&tag); - Done - } - } - - </body> </col> </colgroup> </html> </tbody> - </td> </tfoot> </th> </thead> </tr> => self.unexpected(&token), - - token => self.step(InBody, token), - }), - - //§ parsing-main-incolgroup - InColumnGroup => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, text) => self.append_text(text), - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - tag @ <col> => { - self.insert_and_pop_element_for(tag); - DoneAckSelfClosing - } - - </colgroup> => { - if self.current_node_named(local_name!("colgroup")) { - self.pop(); - self.mode = InTable; - } else { - self.unexpected(&token); - } - Done - } - - </col> => self.unexpected(&token), - - <template> </template> => self.step(InHead, token), - - EOFToken => self.step(InBody, token), - - token => { - if self.current_node_named(local_name!("colgroup")) { - self.pop(); - Reprocess(InTable, token) - } else { - self.unexpected(&token) - } - } - }), - - //§ parsing-main-intbody - InTableBody => match_token!(token { - tag @ <tr> => { - self.pop_until_current(table_body_context); - self.insert_element_for(tag); - self.mode = InRow; - Done - } - - <th> <td> => { - self.unexpected(&token); - self.pop_until_current(table_body_context); - self.insert_phantom(local_name!("tr")); - Reprocess(InRow, token) - } - - tag @ </tbody> </tfoot> </thead> => { - if self.in_scope_named(table_scope, tag.name.clone()) { - self.pop_until_current(table_body_context); - self.pop(); - self.mode = InTable; - } else { - self.unexpected(&tag); - } - Done - } - - <caption> <col> <colgroup> <tbody> <tfoot> <thead> </table> => { - declare_tag_set!(table_outer = "table" "tbody" "tfoot"); - if self.in_scope(table_scope, |e| self.elem_in(&e, table_outer)) { - self.pop_until_current(table_body_context); - self.pop(); - Reprocess(InTable, token) - } else { - self.unexpected(&token) - } - } - - </body> </caption> </col> </colgroup> </html> </td> </th> </tr> - => self.unexpected(&token), - - token => self.step(InTable, token), - }), - - //§ parsing-main-intr - InRow => match_token!(token { - tag @ <th> <td> => { - self.pop_until_current(table_row_context); - self.insert_element_for(tag); - self.mode = InCell; - self.active_formatting.push(Marker); - Done - } - - </tr> => { - if self.in_scope_named(table_scope, local_name!("tr")) { - self.pop_until_current(table_row_context); - let node = self.pop(); - self.assert_named(&node, local_name!("tr")); - self.mode = InTableBody; - } else { - self.unexpected(&token); - } - Done - } - - <caption> <col> <colgroup> <tbody> <tfoot> <thead> <tr> </table> => { - if self.in_scope_named(table_scope, local_name!("tr")) { - self.pop_until_current(table_row_context); - let node = self.pop(); - self.assert_named(&node, local_name!("tr")); - Reprocess(InTableBody, token) - } else { - self.unexpected(&token) - } - } - - tag @ </tbody> </tfoot> </thead> => { - if self.in_scope_named(table_scope, tag.name.clone()) { - if self.in_scope_named(table_scope, local_name!("tr")) { - self.pop_until_current(table_row_context); - let node = self.pop(); - self.assert_named(&node, local_name!("tr")); - Reprocess(InTableBody, TagToken(tag)) - } else { - Done - } - } else { - self.unexpected(&tag) - } - } - - </body> </caption> </col> </colgroup> </html> </td> </th> - => self.unexpected(&token), - - token => self.step(InTable, token), - }), - - //§ parsing-main-intd - InCell => match_token!(token { - tag @ </td> </th> => { - if self.in_scope_named(table_scope, tag.name.clone()) { - self.generate_implied_end(cursory_implied_end); - self.expect_to_close(tag.name); - self.clear_active_formatting_to_marker(); - self.mode = InRow; - } else { - self.unexpected(&tag); - } - Done - } - - <caption> <col> <colgroup> <tbody> <td> <tfoot> <th> <thead> <tr> => { - if self.in_scope(table_scope, |n| self.elem_in(&n, td_th)) { - self.close_the_cell(); - Reprocess(InRow, token) - } else { - self.unexpected(&token) - } - } - - </body> </caption> </col> </colgroup> </html> - => self.unexpected(&token), - - tag @ </table> </tbody> </tfoot> </thead> </tr> => { - if self.in_scope_named(table_scope, tag.name.clone()) { - self.close_the_cell(); - Reprocess(InRow, TagToken(tag)) - } else { - self.unexpected(&tag) - } - } - - token => self.step(InBody, token), - }), - - //§ parsing-main-inselect - InSelect => match_token!(token { - NullCharacterToken => self.unexpected(&token), - CharacterTokens(_, text) => self.append_text(text), - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - tag @ <option> => { - if self.current_node_named(local_name!("option")) { - self.pop(); - } - self.insert_element_for(tag); - Done - } - - tag @ <optgroup> => { - if self.current_node_named(local_name!("option")) { - self.pop(); - } - if self.current_node_named(local_name!("optgroup")) { - self.pop(); - } - self.insert_element_for(tag); - Done - } - - </optgroup> => { - if self.open_elems.len() >= 2 - && self.current_node_named(local_name!("option")) - && self.html_elem_named(&self.open_elems[self.open_elems.len() - 2], - local_name!("optgroup")) { - self.pop(); - } - if self.current_node_named(local_name!("optgroup")) { - self.pop(); - } else { - self.unexpected(&token); - } - Done - } - - </option> => { - if self.current_node_named(local_name!("option")) { - self.pop(); - } else { - self.unexpected(&token); - } - Done - } - - tag @ <select> </select> => { - let in_scope = self.in_scope_named(select_scope, local_name!("select")); - - if !in_scope || tag.kind == StartTag { - self.unexpected(&tag); - } - - if in_scope { - self.pop_until_named(local_name!("select")); - self.mode = self.reset_insertion_mode(); - } - Done - } - - <input> <keygen> <textarea> => { - self.unexpected(&token); - if self.in_scope_named(select_scope, local_name!("select")) { - self.pop_until_named(local_name!("select")); - Reprocess(self.reset_insertion_mode(), token) - } else { - Done - } - } - - <script> <template> </template> => self.step(InHead, token), - - EOFToken => self.step(InBody, token), - - token => self.unexpected(&token), - }), - - //§ parsing-main-inselectintable - InSelectInTable => match_token!(token { - <caption> <table> <tbody> <tfoot> <thead> <tr> <td> <th> => { - self.unexpected(&token); - self.pop_until_named(local_name!("select")); - Reprocess(self.reset_insertion_mode(), token) - } - - tag @ </caption> </table> </tbody> </tfoot> </thead> </tr> </td> </th> => { - self.unexpected(&tag); - if self.in_scope_named(table_scope, tag.name.clone()) { - self.pop_until_named(local_name!("select")); - Reprocess(self.reset_insertion_mode(), TagToken(tag)) - } else { - Done - } - } - - token => self.step(InSelect, token), - }), - - //§ parsing-main-intemplate - InTemplate => match_token!(token { - CharacterTokens(_, _) => self.step(InBody, token), - CommentToken(_) => self.step(InBody, token), - - <base> <basefont> <bgsound> <link> <meta> <noframes> <script> - <style> <template> <title> </template> => { - self.step(InHead, token) - } - - <caption> <colgroup> <tbody> <tfoot> <thead> => { - self.template_modes.pop(); - self.template_modes.push(InTable); - Reprocess(InTable, token) - } - - <col> => { - self.template_modes.pop(); - self.template_modes.push(InColumnGroup); - Reprocess(InColumnGroup, token) - } - - <tr> => { - self.template_modes.pop(); - self.template_modes.push(InTableBody); - Reprocess(InTableBody, token) - } - - <td> <th> => { - self.template_modes.pop(); - self.template_modes.push(InRow); - Reprocess(InRow, token) - } - - EOFToken => { - if !self.in_html_elem_named(local_name!("template")) { - self.stop_parsing() - } else { - self.unexpected(&token); - self.pop_until_named(local_name!("template")); - self.clear_active_formatting_to_marker(); - self.template_modes.pop(); - self.mode = self.reset_insertion_mode(); - Reprocess(self.reset_insertion_mode(), token) - } - } - - tag @ <_> => { - self.template_modes.pop(); - self.template_modes.push(InBody); - Reprocess(InBody, TagToken(tag)) - } - - token => self.unexpected(&token), - }), - - //§ parsing-main-afterbody - AfterBody => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => self.step(InBody, token), - CommentToken(text) => self.append_comment_to_html(text), - - <html> => self.step(InBody, token), - - </html> => { - if self.is_fragment() { - self.unexpected(&token); - } else { - self.mode = AfterAfterBody; - } - Done - } - - EOFToken => self.stop_parsing(), - - token => { - self.unexpected(&token); - Reprocess(InBody, token) - } - }), - - //§ parsing-main-inframeset - InFrameset => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, text) => self.append_text(text), - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - tag @ <frameset> => { - self.insert_element_for(tag); - Done - } - - </frameset> => { - if self.open_elems.len() == 1 { - self.unexpected(&token); - } else { - self.pop(); - if !self.is_fragment() && !self.current_node_named(local_name!("frameset")) { - self.mode = AfterFrameset; - } - } - Done - } - - tag @ <frame> => { - self.insert_and_pop_element_for(tag); - DoneAckSelfClosing - } - - <noframes> => self.step(InHead, token), - - EOFToken => { - if self.open_elems.len() != 1 { - self.unexpected(&token); - } - self.stop_parsing() - } - - token => self.unexpected(&token), - }), - - //§ parsing-main-afterframeset - AfterFrameset => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, text) => self.append_text(text), - CommentToken(text) => self.append_comment(text), - - <html> => self.step(InBody, token), - - </html> => { - self.mode = AfterAfterFrameset; - Done - } - - <noframes> => self.step(InHead, token), - - EOFToken => self.stop_parsing(), - - token => self.unexpected(&token), - }), - - //§ the-after-after-body-insertion-mode - AfterAfterBody => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => self.step(InBody, token), - CommentToken(text) => self.append_comment_to_doc(text), - - <html> => self.step(InBody, token), - - EOFToken => self.stop_parsing(), - - token => { - self.unexpected(&token); - Reprocess(InBody, token) - } - }), - - //§ the-after-after-frameset-insertion-mode - AfterAfterFrameset => match_token!(token { - CharacterTokens(NotSplit, text) => SplitWhitespace(text), - CharacterTokens(Whitespace, _) => self.step(InBody, token), - CommentToken(text) => self.append_comment_to_doc(text), - - <html> => self.step(InBody, token), - - EOFToken => self.stop_parsing(), - - <noframes> => self.step(InHead, token), - - token => self.unexpected(&token), - }), - //§ END - } - } - - fn step_foreign(&mut self, token: Token) -> ProcessResult<Handle> { - match_token!(token { - NullCharacterToken => { - self.unexpected(&token); - self.append_text("\u{fffd}".to_tendril()) - } - - CharacterTokens(_, text) => { - if any_not_whitespace(&text) { - self.frameset_ok = false; - } - self.append_text(text) - } - - CommentToken(text) => self.append_comment(text), - - tag @ <b> <big> <blockquote> <body> <br> <center> <code> <dd> <div> <dl> - <dt> <em> <embed> <h1> <h2> <h3> <h4> <h5> <h6> <head> <hr> <i> - <img> <li> <listing> <menu> <meta> <nobr> <ol> <p> <pre> <ruby> - <s> <small> <span> <strong> <strike> <sub> <sup> <table> <tt> - <u> <ul> <var> => self.unexpected_start_tag_in_foreign_content(tag), - - tag @ <font> => { - let unexpected = tag.attrs.iter().any(|attr| { - matches!(attr.name.expanded(), - expanded_name!("", "color") | - expanded_name!("", "face") | - expanded_name!("", "size")) - }); - if unexpected { - self.unexpected_start_tag_in_foreign_content(tag) - } else { - self.foreign_start_tag(tag) - } - } - - tag @ <_> => self.foreign_start_tag(tag), - - // FIXME(#118): </script> in SVG - - tag @ </_> => { - let mut first = true; - let mut stack_idx = self.open_elems.len() - 1; - loop { - if stack_idx == 0 { - return Done; - } - - let html; - let eq; - { - let node_name = self.sink.elem_name(&self.open_elems[stack_idx]); - html = *node_name.ns == ns!(html); - eq = node_name.local.eq_ignore_ascii_case(&tag.name); - } - if !first && html { - let mode = self.mode; - return self.step(mode, TagToken(tag)); - } - - if eq { - self.open_elems.truncate(stack_idx); - return Done; - } - - if first { - self.unexpected(&tag); - first = false; - } - stack_idx -= 1; - } - } - - // FIXME: This should be unreachable, but match_token requires a - // catch-all case. - _ => panic!("impossible case in foreign content"), - }) - } -} diff --git a/src/tree_builder/tag_sets.rs b/src/tree_builder/tag_sets.rs deleted file mode 100644 index 377b34c..0000000 --- a/src/tree_builder/tag_sets.rs +++ /dev/null @@ -1,115 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -//! Various sets of HTML tag names, and macros for declaring them. - -use crate::ExpandedName; -use mac::{_tt_as_expr_hack, matches}; -use markup5ever::{expanded_name, local_name, namespace_prefix, namespace_url, ns}; - -macro_rules! declare_tag_set_impl ( ($param:ident, $b:ident, $supr:ident, $($tag:tt)+) => ( - match $param { - $( expanded_name!(html $tag) => $b, )+ - p => $supr(p), - } -)); - -macro_rules! declare_tag_set_body ( - ($param:ident = [$supr:ident] - $($tag:tt)+) - => ( declare_tag_set_impl!($param, false, $supr, $($tag)+) ); - - ($param:ident = [$supr:ident] + $($tag:tt)+) - => ( declare_tag_set_impl!($param, true, $supr, $($tag)+) ); - - ($param:ident = $($tag:tt)+) - => ( declare_tag_set_impl!($param, true, empty_set, $($tag)+) ); -); - -macro_rules! declare_tag_set ( - (pub $name:ident = $($toks:tt)+) => ( - pub fn $name(p: crate::ExpandedName) -> bool { - declare_tag_set_body!(p = $($toks)+) - } - ); - - ($name:ident = $($toks:tt)+) => ( - fn $name(p: crate::ExpandedName) -> bool { - declare_tag_set_body!(p = $($toks)+) - } - ); -); - -#[inline(always)] -pub fn empty_set(_: ExpandedName) -> bool { - false -} -#[inline(always)] -pub fn full_set(_: ExpandedName) -> bool { - true -} - -declare_tag_set!(pub html_default_scope = - "applet" "caption" "html" "table" "td" "th" "marquee" "object" "template"); - -#[inline(always)] -pub fn default_scope(name: ExpandedName) -> bool { - html_default_scope(name) || - mathml_text_integration_point(name) || - svg_html_integration_point(name) -} - -declare_tag_set!(pub list_item_scope = [default_scope] + "ol" "ul"); -declare_tag_set!(pub button_scope = [default_scope] + "button"); -declare_tag_set!(pub table_scope = "html" "table" "template"); -declare_tag_set!(pub select_scope = [full_set] - "optgroup" "option"); - -declare_tag_set!(pub table_body_context = "tbody" "tfoot" "thead" "template" "html"); -declare_tag_set!(pub table_row_context = "tr" "template" "html"); -declare_tag_set!(pub td_th = "td" "th"); - -declare_tag_set!(pub cursory_implied_end = - "dd" "dt" "li" "option" "optgroup" "p" "rb" "rp" "rt" "rtc"); - -declare_tag_set!(pub thorough_implied_end = [cursory_implied_end] - + "caption" "colgroup" "tbody" "td" "tfoot" "th" "thead" "tr"); - -declare_tag_set!(pub heading_tag = "h1" "h2" "h3" "h4" "h5" "h6"); - -declare_tag_set!(pub special_tag = - "address" "applet" "area" "article" "aside" "base" "basefont" "bgsound" "blockquote" "body" - "br" "button" "caption" "center" "col" "colgroup" "dd" "details" "dir" "div" "dl" "dt" "embed" - "fieldset" "figcaption" "figure" "footer" "form" "frame" "frameset" "h1" "h2" "h3" "h4" "h5" - "h6" "head" "header" "hgroup" "hr" "html" "iframe" "img" "input" "isindex" "li" "link" - "listing" "main" "marquee" "menu" "meta" "nav" "noembed" "noframes" "noscript" - "object" "ol" "p" "param" "plaintext" "pre" "script" "section" "select" "source" "style" - "summary" "table" "tbody" "td" "template" "textarea" "tfoot" "th" "thead" "title" "tr" "track" - "ul" "wbr" "xmp"); -//§ END - -pub fn mathml_text_integration_point(p: ExpandedName) -> bool { - matches!( - p, - expanded_name!(mathml "mi") | - expanded_name!(mathml "mo") | - expanded_name!(mathml "mn") | - expanded_name!(mathml "ms") | - expanded_name!(mathml "mtext") - ) -} - -/// https://html.spec.whatwg.org/multipage/#html-integration-point -pub fn svg_html_integration_point(p: ExpandedName) -> bool { - // annotation-xml are handle in another place - matches!( - p, - expanded_name!(svg "foreignObject") | - expanded_name!(svg "desc") | - expanded_name!(svg "title") - ) -} diff --git a/src/tree_builder/types.rs b/src/tree_builder/types.rs deleted file mode 100644 index e47d69b..0000000 --- a/src/tree_builder/types.rs +++ /dev/null @@ -1,95 +0,0 @@ -// Copyright 2014-2017 The html5ever Project Developers. See the -// COPYRIGHT file at the top-level directory of this distribution. -// -// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or -// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license -// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your -// option. This file may not be copied, modified, or distributed -// except according to those terms. - -//! Types used within the tree builder code. Not exported to users. - -use crate::tokenizer::states::RawKind; -use crate::tokenizer::Tag; - -use crate::tendril::StrTendril; - -pub use self::FormatEntry::*; -pub use self::InsertionMode::*; -pub use self::InsertionPoint::*; -pub use self::ProcessResult::*; -pub use self::SplitStatus::*; -pub use self::Token::*; - -#[derive(PartialEq, Eq, Copy, Clone, Debug)] -pub enum InsertionMode { - Initial, - BeforeHtml, - BeforeHead, - InHead, - InHeadNoscript, - AfterHead, - InBody, - Text, - InTable, - InTableText, - InCaption, - InColumnGroup, - InTableBody, - InRow, - InCell, - InSelect, - InSelectInTable, - InTemplate, - AfterBody, - InFrameset, - AfterFrameset, - AfterAfterBody, - AfterAfterFrameset, -} - -#[derive(PartialEq, Eq, Copy, Clone, Debug)] -pub enum SplitStatus { - NotSplit, - Whitespace, - NotWhitespace, -} - -/// A subset/refinement of `tokenizer::Token`. Everything else is handled -/// specially at the beginning of `process_token`. -#[derive(PartialEq, Eq, Clone, Debug)] -pub enum Token { - TagToken(Tag), - CommentToken(StrTendril), - CharacterTokens(SplitStatus, StrTendril), - NullCharacterToken, - EOFToken, -} - -pub enum ProcessResult<Handle> { - Done, - DoneAckSelfClosing, - SplitWhitespace(StrTendril), - Reprocess(InsertionMode, Token), - ReprocessForeign(Token), - Script(Handle), - ToPlaintext, - ToRawData(RawKind), -} - -pub enum FormatEntry<Handle> { - Element(Handle, Tag), - Marker, -} - -pub enum InsertionPoint<Handle> { - /// Insert as last child in this parent. - LastChild(Handle), - /// Insert before this following sibling. - BeforeSibling(Handle), - /// Insertion point is decided based on existence of element's parent node. - TableFosterParenting { - element: Handle, - prev_element: Handle, - }, -} diff --git a/src/util/str.rs b/src/util/str.rs index b2eb41a..c0f89f0 100644 --- a/src/util/str.rs +++ b/src/util/str.rs @@ -8,13 +8,6 @@ // except according to those terms. use mac::{_tt_as_expr_hack, matches}; -use std::fmt; - -pub fn to_escaped_string<T: fmt::Debug>(x: &T) -> String { - // FIXME: don't allocate twice - let string = format!("{:?}", x); - string.chars().flat_map(|c| c.escape_default()).collect() -} /// If `c` is an ASCII letter, return the corresponding lowercase /// letter, otherwise None. @@ -31,12 +24,6 @@ pub fn is_ascii_alnum(c: char) -> bool { matches!(c, '0'..='9' | 'a'..='z' | 'A'..='Z') } -/// ASCII whitespace characters, as defined by -/// tree construction modes that treat them specially. -pub fn is_ascii_whitespace(c: char) -> bool { - matches!(c, '\t' | '\r' | '\n' | '\x0C' | ' ') -} - #[cfg(test)] #[allow(non_snake_case)] mod test { |