/src/html5ever/markup5ever/interface/mod.rs
Line | Count | Source |
1 | | // Copyright 2014-2017 The html5ever Project Developers. See the |
2 | | // COPYRIGHT file at the top-level directory of this distribution. |
3 | | // |
4 | | // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or |
5 | | // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license |
6 | | // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your |
7 | | // option. This file may not be copied, modified, or distributed |
8 | | // except according to those terms. |
9 | | //! Types for tag and attribute names, and tree-builder functionality. |
10 | | |
11 | | use std::cell::Ref; |
12 | | use std::fmt; |
13 | | use tendril::StrTendril; |
14 | | use web_atoms::{LocalName, Namespace, Prefix}; |
15 | | |
16 | | pub use self::tree_builder::{create_element, AppendNode, AppendText, ElementFlags, NodeOrText}; |
17 | | pub use self::tree_builder::{ElemName, Tracer, TreeSink}; |
18 | | pub use self::tree_builder::{LimitedQuirks, NoQuirks, Quirks, QuirksMode}; |
19 | | |
20 | | /// An [expanded name], containing the tag and the namespace. |
21 | | /// |
22 | | /// [expanded name]: https://www.w3.org/TR/REC-xml-names/#dt-expname |
23 | | #[derive(Copy, Clone, Eq, Hash, PartialEq)] |
24 | | pub struct ExpandedName<'a> { |
25 | | pub ns: &'a Namespace, |
26 | | pub local: &'a LocalName, |
27 | | } |
28 | | |
29 | | impl ElemName for ExpandedName<'_> { |
30 | | #[inline(always)] |
31 | 628M | fn ns(&self) -> &Namespace { |
32 | 628M | self.ns |
33 | 628M | } |
34 | | |
35 | | #[inline(always)] |
36 | 630M | fn local_name(&self) -> &LocalName { |
37 | 630M | self.local |
38 | 630M | } |
39 | | } |
40 | | |
41 | | impl<'a> ElemName for Ref<'a, ExpandedName<'a>> { |
42 | | #[inline(always)] |
43 | | fn ns(&self) -> &Namespace { |
44 | | self.ns |
45 | | } |
46 | | |
47 | | #[inline(always)] |
48 | | fn local_name(&self) -> &LocalName { |
49 | | self.local |
50 | | } |
51 | | } |
52 | | |
53 | | impl fmt::Debug for ExpandedName<'_> { |
54 | 0 | fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result { |
55 | 0 | if self.ns.is_empty() { |
56 | 0 | write!(f, "{}", self.local) |
57 | | } else { |
58 | 0 | write!(f, "{{{}}}:{}", self.ns, self.local) |
59 | | } |
60 | 0 | } |
61 | | } |
62 | | |
63 | | #[must_use] |
64 | | #[derive(Debug, PartialEq)] |
65 | | pub enum TokenizerResult<Handle> { |
66 | | Done, |
67 | | Script(Handle), |
68 | | } |
69 | | |
70 | | /// Helper to quickly create an expanded name. |
71 | | /// |
72 | | /// Can be used with no namespace as `expanded_name!("", "some_name")` |
73 | | /// or with a namespace as `expanded_name!(ns "some_name")`. In the |
74 | | /// latter case, `ns` is one of the symbols which the [`ns!`][ns] |
75 | | /// macro accepts; note the lack of a comma between the `ns` and |
76 | | /// `"some_name"`. |
77 | | /// |
78 | | /// [ns]: macro.ns.html |
79 | | /// |
80 | | /// # Examples |
81 | | /// |
82 | | /// ``` |
83 | | /// # #[macro_use] extern crate markup5ever; |
84 | | /// |
85 | | /// # fn main() { |
86 | | /// use markup5ever::ExpandedName; |
87 | | /// |
88 | | /// assert_eq!( |
89 | | /// expanded_name!("", "div"), |
90 | | /// ExpandedName { |
91 | | /// ns: &ns!(), |
92 | | /// local: &local_name!("div") |
93 | | /// } |
94 | | /// ); |
95 | | /// |
96 | | /// assert_eq!( |
97 | | /// expanded_name!(html "div"), |
98 | | /// ExpandedName { |
99 | | /// ns: &ns!(html), |
100 | | /// local: &local_name!("div") |
101 | | /// } |
102 | | /// ); |
103 | | /// # } |
104 | | #[macro_export] |
105 | | macro_rules! expanded_name { |
106 | | ("", $local: tt) => { |
107 | | $crate::interface::ExpandedName { |
108 | | ns: &ns!(), |
109 | | local: &local_name!($local), |
110 | | } |
111 | | }; |
112 | | ($ns: ident $local: tt) => { |
113 | | $crate::interface::ExpandedName { |
114 | | ns: &ns!($ns), |
115 | | local: &local_name!($local), |
116 | | } |
117 | | }; |
118 | | } |
119 | | |
120 | | pub mod tree_builder; |
121 | | |
122 | | /// A fully qualified name (with a namespace), used to depict names of tags and attributes. |
123 | | /// |
124 | | /// Namespaces can be used to differentiate between similar XML fragments. For example: |
125 | | /// |
126 | | /// ```text |
127 | | /// // HTML |
128 | | /// <table> |
129 | | /// <tr> |
130 | | /// <td>Apples</td> |
131 | | /// <td>Bananas</td> |
132 | | /// </tr> |
133 | | /// </table> |
134 | | /// |
135 | | /// // Furniture XML |
136 | | /// <table> |
137 | | /// <name>African Coffee Table</name> |
138 | | /// <width>80</width> |
139 | | /// <length>120</length> |
140 | | /// </table> |
141 | | /// ``` |
142 | | /// |
143 | | /// Without XML namespaces, we can't use those two fragments in the same document |
144 | | /// at the same time. However if we declare a namespace we could instead say: |
145 | | /// |
146 | | /// ```text |
147 | | /// |
148 | | /// // Furniture XML |
149 | | /// <furn:table xmlns:furn="https://furniture.rs"> |
150 | | /// <furn:name>African Coffee Table</furn:name> |
151 | | /// <furn:width>80</furn:width> |
152 | | /// <furn:length>120</furn:length> |
153 | | /// </furn:table> |
154 | | /// ``` |
155 | | /// |
156 | | /// and bind the prefix `furn` to a different namespace. |
157 | | /// |
158 | | /// For this reason we parse names that contain a colon in the following way: |
159 | | /// |
160 | | /// ```text |
161 | | /// <furn:table> |
162 | | /// | | |
163 | | /// | +- local name |
164 | | /// | |
165 | | /// prefix (when resolved gives namespace_url `https://furniture.rs`) |
166 | | /// ``` |
167 | | /// |
168 | | /// NOTE: `Prefix`, `LocalName` and `Prefix` all implement `Deref<str>`. |
169 | | /// |
170 | | #[derive(PartialEq, Eq, PartialOrd, Ord, Hash, Debug, Clone)] |
171 | | pub struct QualName { |
172 | | /// The prefix of qualified (e.g. `furn` in `<furn:table>` above). |
173 | | /// Optional (since some namespaces can be empty or inferred), and |
174 | | /// only useful for namespace resolution (since different prefix |
175 | | /// can still resolve to same namespace) |
176 | | /// |
177 | | /// ``` |
178 | | /// |
179 | | /// # fn main() { |
180 | | /// use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
181 | | /// |
182 | | /// let qual = QualName::new( |
183 | | /// Some(Prefix::from("furn")), |
184 | | /// Namespace::from("https://furniture.rs"), |
185 | | /// LocalName::from("table"), |
186 | | /// ); |
187 | | /// |
188 | | /// assert_eq!("furn", &qual.prefix.unwrap()); |
189 | | /// |
190 | | /// # } |
191 | | /// ``` |
192 | | pub prefix: Option<Prefix>, |
193 | | /// The namespace after resolution (e.g. `https://furniture.rs` in example above). |
194 | | /// |
195 | | /// ``` |
196 | | /// # use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
197 | | /// |
198 | | /// # fn main() { |
199 | | /// # let qual = QualName::new( |
200 | | /// # Some(Prefix::from("furn")), |
201 | | /// # Namespace::from("https://furniture.rs"), |
202 | | /// # LocalName::from("table"), |
203 | | /// # ); |
204 | | /// |
205 | | /// assert_eq!("https://furniture.rs", &qual.ns); |
206 | | /// # } |
207 | | /// ``` |
208 | | /// |
209 | | /// When matching namespaces used by HTML we can use `ns!` macro. |
210 | | /// Although keep in mind that ns! macro only works with namespaces |
211 | | /// that are present in HTML spec (like `html`, `xmlns`, `svg`, etc.). |
212 | | /// |
213 | | /// ``` |
214 | | /// #[macro_use] extern crate markup5ever; |
215 | | /// |
216 | | /// # use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
217 | | /// |
218 | | /// let html_table = QualName::new( |
219 | | /// None, |
220 | | /// ns!(html), |
221 | | /// LocalName::from("table"), |
222 | | /// ); |
223 | | /// |
224 | | /// assert!( |
225 | | /// match html_table.ns { |
226 | | /// ns!(html) => true, |
227 | | /// _ => false, |
228 | | /// } |
229 | | /// ); |
230 | | /// |
231 | | /// ``` |
232 | | pub ns: Namespace, |
233 | | /// The local name (e.g. `table` in `<furn:table>` above). |
234 | | /// |
235 | | /// ``` |
236 | | /// # use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
237 | | /// |
238 | | /// # fn main() { |
239 | | /// # let qual = QualName::new( |
240 | | /// # Some(Prefix::from("furn")), |
241 | | /// # Namespace::from("https://furniture.rs"), |
242 | | /// # LocalName::from("table"), |
243 | | /// # ); |
244 | | /// |
245 | | /// assert_eq!("table", &qual.local); |
246 | | /// # } |
247 | | /// ``` |
248 | | /// When matching local name we can also use the `local_name!` macro: |
249 | | /// |
250 | | /// ``` |
251 | | /// #[macro_use] extern crate markup5ever; |
252 | | /// |
253 | | /// # use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
254 | | /// |
255 | | /// # let qual = QualName::new( |
256 | | /// # Some(Prefix::from("furn")), |
257 | | /// # Namespace::from("https://furniture.rs"), |
258 | | /// # LocalName::from("table"), |
259 | | /// # ); |
260 | | /// |
261 | | /// // Initialize qual to furniture example |
262 | | /// |
263 | | /// assert!( |
264 | | /// match qual.local { |
265 | | /// local_name!("table") => true, |
266 | | /// _ => false, |
267 | | /// } |
268 | | /// ); |
269 | | /// |
270 | | /// ``` |
271 | | pub local: LocalName, |
272 | | } |
273 | | |
274 | | impl ElemName for Ref<'_, QualName> { |
275 | | #[inline(always)] |
276 | | fn ns(&self) -> &Namespace { |
277 | | &self.ns |
278 | | } |
279 | | |
280 | | #[inline(always)] |
281 | | fn local_name(&self) -> &LocalName { |
282 | | &self.local |
283 | | } |
284 | | } |
285 | | |
286 | | impl ElemName for &QualName { |
287 | | #[inline(always)] |
288 | | fn ns(&self) -> &Namespace { |
289 | | &self.ns |
290 | | } |
291 | | |
292 | | #[inline(always)] |
293 | | fn local_name(&self) -> &LocalName { |
294 | | &self.local |
295 | | } |
296 | | } |
297 | | |
298 | | impl QualName { |
299 | | /// Basic constructor function. |
300 | | /// |
301 | | /// First let's try it for the following example where `QualName` |
302 | | /// is defined as: |
303 | | /// ```text |
304 | | /// <furn:table> <!-- namespace url is https://furniture.rs --> |
305 | | /// ``` |
306 | | /// |
307 | | /// Given this definition, we can define `QualName` using strings. |
308 | | /// |
309 | | /// ``` |
310 | | /// use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
311 | | /// |
312 | | /// # fn main() { |
313 | | /// let qual_name = QualName::new( |
314 | | /// Some(Prefix::from("furn")), |
315 | | /// Namespace::from("https://furniture.rs"), |
316 | | /// LocalName::from("table"), |
317 | | /// ); |
318 | | /// # } |
319 | | /// ``` |
320 | | /// |
321 | | /// If we were instead to construct this element instead: |
322 | | /// |
323 | | /// ```text |
324 | | /// |
325 | | /// <table> |
326 | | /// ^^^^^---- no prefix and thus default html namespace |
327 | | /// |
328 | | /// ``` |
329 | | /// |
330 | | /// Or could define it using macros, like so: |
331 | | /// |
332 | | /// ``` |
333 | | /// #[macro_use] extern crate markup5ever; |
334 | | /// use markup5ever::{QualName, Namespace, LocalName, Prefix}; |
335 | | /// |
336 | | /// # fn main() { |
337 | | /// let qual_name = QualName::new( |
338 | | /// None, |
339 | | /// ns!(html), |
340 | | /// local_name!("table") |
341 | | /// ); |
342 | | /// # } |
343 | | /// ``` |
344 | | /// |
345 | | /// Let's analyse the above example. |
346 | | /// Since we have no prefix its value is None. Second we have html namespace. |
347 | | /// In html5ever html namespaces are supported out of the box, |
348 | | /// we can write `ns!(html)` instead of typing `Namespace::from("http://www.w3.org/1999/xhtml")`. |
349 | | /// Local name is also one of the HTML elements local names, so can |
350 | | /// use `local_name!("table")` macro. |
351 | | /// |
352 | | #[inline] |
353 | 5.16M | pub fn new(prefix: Option<Prefix>, ns: Namespace, local: LocalName) -> QualName { |
354 | 5.16M | QualName { prefix, ns, local } |
355 | 5.16M | } |
356 | | |
357 | | /// Take a reference of `self` as an `ExpandedName`, dropping the unresolved prefix. |
358 | | /// |
359 | | /// In XML and HTML prefixes are only used to extract the relevant namespace URI. |
360 | | /// Expanded name only contains resolved namespace and tag name, which are only |
361 | | /// relevant parts of an XML or HTML tag and attribute name respectively. |
362 | | /// |
363 | | /// In lieu of our XML Namespace example |
364 | | /// |
365 | | /// ```text |
366 | | /// <furn:table> <!-- namespace url is https://furniture.rs --> |
367 | | /// ``` |
368 | | /// For it the expanded name would become roughly equivalent to: |
369 | | /// |
370 | | /// ```text |
371 | | /// ExpandedName { |
372 | | /// ns: "https://furniture.rs", |
373 | | /// local: "table", |
374 | | /// } |
375 | | /// ``` |
376 | | /// |
377 | | #[inline] |
378 | 1.26G | pub fn expanded(&self) -> ExpandedName<'_> { |
379 | 1.26G | ExpandedName { |
380 | 1.26G | ns: &self.ns, |
381 | 1.26G | local: &self.local, |
382 | 1.26G | } |
383 | 1.26G | } <markup5ever::interface::QualName>::expanded Line | Count | Source | 378 | 631M | pub fn expanded(&self) -> ExpandedName<'_> { | 379 | 631M | ExpandedName { | 380 | 631M | ns: &self.ns, | 381 | 631M | local: &self.local, | 382 | 631M | } | 383 | 631M | } |
<markup5ever::interface::QualName>::expanded Line | Count | Source | 378 | 630M | pub fn expanded(&self) -> ExpandedName<'_> { | 379 | 630M | ExpandedName { | 380 | 630M | ns: &self.ns, | 381 | 630M | local: &self.local, | 382 | 630M | } | 383 | 630M | } |
|
384 | | } |
385 | | |
386 | | /// A tag attribute, e.g. `class="test"` in `<div class="test" ...>`. |
387 | | /// |
388 | | /// The namespace on the attribute name is almost always ns!(""). |
389 | | /// The tokenizer creates all attributes this way, but the tree |
390 | | /// builder will adjust certain attribute names inside foreign |
391 | | /// content (MathML, SVG). |
392 | | #[derive(PartialEq, Eq, PartialOrd, Ord, Clone, Debug)] |
393 | | pub struct Attribute { |
394 | | /// The name of the attribute (e.g. the `class` in `<div class="test">`) |
395 | | pub name: QualName, |
396 | | /// The value of the attribute (e.g. the `"test"` in `<div class="test">`) |
397 | | pub value: StrTendril, |
398 | | } |
399 | | |
400 | | #[cfg(test)] |
401 | | mod tests { |
402 | | use web_atoms::{ns, Namespace}; |
403 | | |
404 | | #[test] |
405 | | fn ns_macro() { |
406 | | assert_eq!(ns!(), Namespace::from("")); |
407 | | |
408 | | assert_eq!(ns!(html), Namespace::from("http://www.w3.org/1999/xhtml")); |
409 | | assert_eq!( |
410 | | ns!(xml), |
411 | | Namespace::from("http://www.w3.org/XML/1998/namespace") |
412 | | ); |
413 | | assert_eq!(ns!(xmlns), Namespace::from("http://www.w3.org/2000/xmlns/")); |
414 | | assert_eq!(ns!(xlink), Namespace::from("http://www.w3.org/1999/xlink")); |
415 | | assert_eq!(ns!(svg), Namespace::from("http://www.w3.org/2000/svg")); |
416 | | assert_eq!( |
417 | | ns!(mathml), |
418 | | Namespace::from("http://www.w3.org/1998/Math/MathML") |
419 | | ); |
420 | | } |
421 | | } |