diff options
Diffstat (limited to 'src/components/script/dom/htmlpreelement.rs')
-rw-r--r-- | src/components/script/dom/htmlpreelement.rs | 25 |
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) } } |