forked from mirrors/gecko-dev
		
	 333cc6c59d
			
		
	
	
		333cc6c59d
		
	
	
	
	
		
			
			Part of https://github.com/servo/servo/issues/6041 Source-Repo: https://github.com/servo/servo Source-Revision: 542519ebfd073662bc9421ac5fa0aa01ebc0d6fe
		
			
				
	
	
		
			46 lines
		
	
	
	
		
			1.8 KiB
		
	
	
	
		
			Rust
		
	
	
	
	
	
			
		
		
	
	
			46 lines
		
	
	
	
		
			1.8 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::codegen::InheritTypes::HTMLVideoElementDerived;
 | |
| use dom::bindings::js::{JSRef, Temporary};
 | |
| use dom::document::Document;
 | |
| use dom::element::ElementTypeId;
 | |
| use dom::eventtarget::{EventTarget, EventTargetTypeId};
 | |
| use dom::htmlelement::HTMLElementTypeId;
 | |
| use dom::htmlmediaelement::{HTMLMediaElement, HTMLMediaElementTypeId};
 | |
| use dom::node::{Node, NodeTypeId};
 | |
| use util::str::DOMString;
 | |
| 
 | |
| #[dom_struct]
 | |
| pub struct HTMLVideoElement {
 | |
|     htmlmediaelement: HTMLMediaElement
 | |
| }
 | |
| 
 | |
| impl HTMLVideoElementDerived for EventTarget {
 | |
|     fn is_htmlvideoelement(&self) -> bool {
 | |
|         *self.type_id() == EventTargetTypeId::Node(NodeTypeId::Element(
 | |
|                                                    ElementTypeId::HTMLElement(
 | |
|                                                    HTMLElementTypeId::HTMLMediaElement(
 | |
|                                                    HTMLMediaElementTypeId::HTMLVideoElement))))
 | |
|     }
 | |
| }
 | |
| 
 | |
| impl HTMLVideoElement {
 | |
|     fn new_inherited(localName: DOMString, prefix: Option<DOMString>, document: JSRef<Document>) -> HTMLVideoElement {
 | |
|         HTMLVideoElement {
 | |
|             htmlmediaelement:
 | |
|                 HTMLMediaElement::new_inherited(HTMLMediaElementTypeId::HTMLVideoElement, localName, prefix, document)
 | |
|         }
 | |
|     }
 | |
| 
 | |
|     #[allow(unrooted_must_root)]
 | |
|     pub fn new(localName: DOMString,
 | |
|                prefix: Option<DOMString>,
 | |
|                document: JSRef<Document>) -> Temporary<HTMLVideoElement> {
 | |
|         let element = HTMLVideoElement::new_inherited(localName, prefix, document);
 | |
|         Node::reflect_node(box element, document, HTMLVideoElementBinding::Wrap)
 | |
|     }
 | |
| }
 | |
| 
 |