mirror of
https://github.com/servo/servo.git
synced 2025-06-08 16:43:28 +00:00
f87c2a8d76
In a later PR, DomRoot<T> will become a type alias of Root<Dom<T>>, where Root<T> will be able to handle all the things that need to be rooted that have a stable traceable address that doesn't move for the whole lifetime of the root. Stay tuned.
34 lines
1.2 KiB
Rust
34 lines
1.2 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 http://mozilla.org/MPL/2.0/. */
|
|
|
|
use dom::bindings::codegen::Bindings::HTMLVideoElementBinding;
|
|
use dom::bindings::root::DomRoot;
|
|
use dom::document::Document;
|
|
use dom::htmlmediaelement::HTMLMediaElement;
|
|
use dom::node::Node;
|
|
use dom_struct::dom_struct;
|
|
use html5ever::{LocalName, Prefix};
|
|
|
|
#[dom_struct]
|
|
pub struct HTMLVideoElement {
|
|
htmlmediaelement: HTMLMediaElement
|
|
}
|
|
|
|
impl HTMLVideoElement {
|
|
fn new_inherited(local_name: LocalName, prefix: Option<Prefix>, document: &Document) -> HTMLVideoElement {
|
|
HTMLVideoElement {
|
|
htmlmediaelement:
|
|
HTMLMediaElement::new_inherited(local_name, prefix, document)
|
|
}
|
|
}
|
|
|
|
#[allow(unrooted_must_root)]
|
|
pub fn new(local_name: LocalName,
|
|
prefix: Option<Prefix>,
|
|
document: &Document) -> DomRoot<HTMLVideoElement> {
|
|
Node::reflect_node(box HTMLVideoElement::new_inherited(local_name, prefix, document),
|
|
document,
|
|
HTMLVideoElementBinding::Wrap)
|
|
}
|
|
}
|