aboutsummaryrefslogtreecommitdiffstats
path: root/src/components/script/dom/htmlpreelement.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/components/script/dom/htmlpreelement.rs')
-rw-r--r--src/components/script/dom/htmlpreelement.rs25
1 files changed, 19 insertions, 6 deletions
diff --git a/src/components/script/dom/htmlpreelement.rs b/src/components/script/dom/htmlpreelement.rs
index c2bf04464f3..33f5b1a7247 100644
--- a/src/components/script/dom/htmlpreelement.rs
+++ b/src/components/script/dom/htmlpreelement.rs
@@ -3,27 +3,40 @@
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
use dom::bindings::codegen::HTMLPreElementBinding;
+use dom::bindings::codegen::InheritTypes::HTMLPreElementDerived;
+use dom::bindings::js::JS;
use dom::bindings::utils::{ErrorResult};
-use dom::document::AbstractDocument;
+use dom::document::Document;
use dom::element::HTMLPreElementTypeId;
+use dom::eventtarget::{EventTarget, NodeTargetTypeId};
use dom::htmlelement::HTMLElement;
-use dom::node::{AbstractNode, Node};
+use dom::node::{Node, ElementNodeTypeId};
use servo_util::str::DOMString;
+#[deriving(Encodable)]
pub struct HTMLPreElement {
htmlelement: HTMLElement,
}
+impl HTMLPreElementDerived for EventTarget {
+ fn is_htmlpreelement(&self) -> bool {
+ match self.type_id {
+ NodeTargetTypeId(ElementNodeTypeId(HTMLPreElementTypeId)) => true,
+ _ => false
+ }
+ }
+}
+
impl HTMLPreElement {
- pub fn new_inherited(localName: DOMString, document: AbstractDocument) -> HTMLPreElement {
+ pub fn new_inherited(localName: DOMString, document: JS<Document>) -> HTMLPreElement {
HTMLPreElement {
htmlelement: HTMLElement::new_inherited(HTMLPreElementTypeId, localName, document)
}
}
- pub fn new(localName: DOMString, document: AbstractDocument) -> AbstractNode {
- let element = HTMLPreElement::new_inherited(localName, document);
- Node::reflect_node(@mut element, document, HTMLPreElementBinding::Wrap)
+ pub fn new(localName: DOMString, document: &JS<Document>) -> JS<HTMLPreElement> {
+ let element = HTMLPreElement::new_inherited(localName, document.clone());
+ Node::reflect_node(~element, document, HTMLPreElementBinding::Wrap)
}
}