mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
48 lines
1.4 KiB
Rust
48 lines
1.4 KiB
Rust
/* This Source Code Form is subject to the terms of the Mozilla Public
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
* file, You can obtain one at https://mozilla.org/MPL/2.0/. */
|
|
|
|
use crate::dom::bindings::inheritance::Castable;
|
|
use crate::dom::bindings::root::DomRoot;
|
|
use crate::dom::document::Document;
|
|
use crate::dom::htmlareaelement::HTMLAreaElement;
|
|
use crate::dom::htmlelement::HTMLElement;
|
|
use crate::dom::node::{Node, ShadowIncluding};
|
|
use dom_struct::dom_struct;
|
|
use html5ever::{LocalName, Prefix};
|
|
|
|
#[dom_struct]
|
|
pub struct HTMLMapElement {
|
|
htmlelement: HTMLElement,
|
|
}
|
|
|
|
impl HTMLMapElement {
|
|
fn new_inherited(
|
|
local_name: LocalName,
|
|
prefix: Option<Prefix>,
|
|
document: &Document,
|
|
) -> HTMLMapElement {
|
|
HTMLMapElement {
|
|
htmlelement: HTMLElement::new_inherited(local_name, prefix, document),
|
|
}
|
|
}
|
|
|
|
#[allow(unrooted_must_root)]
|
|
pub fn new(
|
|
local_name: LocalName,
|
|
prefix: Option<Prefix>,
|
|
document: &Document,
|
|
) -> DomRoot<HTMLMapElement> {
|
|
Node::reflect_node(
|
|
Box::new(HTMLMapElement::new_inherited(local_name, prefix, document)),
|
|
document,
|
|
)
|
|
}
|
|
|
|
pub fn get_area_elements(&self) -> Vec<DomRoot<HTMLAreaElement>> {
|
|
self.upcast::<Node>()
|
|
.traverse_preorder(ShadowIncluding::No)
|
|
.filter_map(DomRoot::downcast::<HTMLAreaElement>)
|
|
.collect()
|
|
}
|
|
}
|