aboutsummaryrefslogtreecommitdiffstats
path: root/components/script/dom/htmlaudioelement.rs
diff options
context:
space:
mode:
authorbors-servo <metajack+bors@gmail.com>2015-01-04 12:12:48 -0700
committerbors-servo <metajack+bors@gmail.com>2015-01-04 12:12:48 -0700
commit2e17cae5d080db72d5f89733d19e0304857cfd34 (patch)
treeefa94bd87003d881a6f84110e1639b7abfbf57f5 /components/script/dom/htmlaudioelement.rs
parent076e28795d90a9a8bb523774b993f841602ae9e6 (diff)
parent50310968536c615f1331f3dc8b2b1352230816ee (diff)
downloadservo-2e17cae5d080db72d5f89733d19e0304857cfd34.tar.gz
servo-2e17cae5d080db72d5f89733d19e0304857cfd34.zip
auto merge of #4495 : MeghaGupta/servo/typeid, r=Ms2ger
Diffstat (limited to 'components/script/dom/htmlaudioelement.rs')
-rw-r--r--components/script/dom/htmlaudioelement.rs10
1 files changed, 7 insertions, 3 deletions
diff --git a/components/script/dom/htmlaudioelement.rs b/components/script/dom/htmlaudioelement.rs
index 20da3756e1f..36419faf54e 100644
--- a/components/script/dom/htmlaudioelement.rs
+++ b/components/script/dom/htmlaudioelement.rs
@@ -8,7 +8,8 @@ use dom::bindings::js::{JSRef, Temporary};
use dom::document::Document;
use dom::element::ElementTypeId;
use dom::eventtarget::{EventTarget, EventTargetTypeId};
-use dom::htmlmediaelement::HTMLMediaElement;
+use dom::htmlelement::HTMLElementTypeId;
+use dom::htmlmediaelement::{HTMLMediaElement, HTMLMediaElementTypeId};
use dom::node::{Node, NodeTypeId};
use servo_util::str::DOMString;
@@ -19,14 +20,17 @@ pub struct HTMLAudioElement {
impl HTMLAudioElementDerived for EventTarget {
fn is_htmlaudioelement(&self) -> bool {
- *self.type_id() == EventTargetTypeId::Node(NodeTypeId::Element(ElementTypeId::HTMLAudioElement))
+ *self.type_id() == EventTargetTypeId::Node(NodeTypeId::Element(
+ ElementTypeId::HTMLElement(
+ HTMLElementTypeId::HTMLMediaElement(
+ HTMLMediaElementTypeId::HTMLAudioElement))))
}
}
impl HTMLAudioElement {
fn new_inherited(localName: DOMString, prefix: Option<DOMString>, document: JSRef<Document>) -> HTMLAudioElement {
HTMLAudioElement {
- htmlmediaelement: HTMLMediaElement::new_inherited(ElementTypeId::HTMLAudioElement, localName, prefix, document)
+ htmlmediaelement: HTMLMediaElement::new_inherited(HTMLMediaElementTypeId::HTMLAudioElement, localName, prefix, document)
}
}