Auto merge of #5777 - tamird:ICE-attr-prefix-atom, r=jdm

Rebase of https://github.com/Ms2ger/servo/commits/ICE-attr-prefix-atom

Some of the changes weren't necessary since the internals had been refactored some in the interim. In any case, I was unable to reproduce the ICE reported in https://github.com/rust-lang/rust/issues/18957.

@Ms2ger

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/5777)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2015-04-27 14:37:38 -05:00
commit b0a7d1bf86
5 changed files with 20 additions and 22 deletions

View file

@ -101,7 +101,7 @@ pub struct Attr {
value: DOMRefCell<AttrValue>, value: DOMRefCell<AttrValue>,
name: Atom, name: Atom,
namespace: Namespace, namespace: Namespace,
prefix: Option<DOMString>, prefix: Option<Atom>,
/// the element that owns this attribute. /// the element that owns this attribute.
owner: MutNullableHeap<JS<Element>>, owner: MutNullableHeap<JS<Element>>,
@ -109,7 +109,7 @@ pub struct Attr {
impl Attr { impl Attr {
fn new_inherited(local_name: Atom, value: AttrValue, name: Atom, namespace: Namespace, fn new_inherited(local_name: Atom, value: AttrValue, name: Atom, namespace: Namespace,
prefix: Option<DOMString>, owner: Option<JSRef<Element>>) -> Attr { prefix: Option<Atom>, owner: Option<JSRef<Element>>) -> Attr {
Attr { Attr {
reflector_: Reflector::new(), reflector_: Reflector::new(),
local_name: local_name, local_name: local_name,
@ -123,7 +123,7 @@ impl Attr {
pub fn new(window: JSRef<Window>, local_name: Atom, value: AttrValue, pub fn new(window: JSRef<Window>, local_name: Atom, value: AttrValue,
name: Atom, namespace: Namespace, name: Atom, namespace: Namespace,
prefix: Option<DOMString>, owner: Option<JSRef<Element>>) -> Temporary<Attr> { prefix: Option<Atom>, owner: Option<JSRef<Element>>) -> Temporary<Attr> {
reflect_dom_object( reflect_dom_object(
box Attr::new_inherited(local_name, value, name, namespace, prefix, owner), box Attr::new_inherited(local_name, value, name, namespace, prefix, owner),
GlobalRef::Window(window), GlobalRef::Window(window),
@ -141,7 +141,7 @@ impl Attr {
} }
#[inline] #[inline]
pub fn prefix<'a>(&'a self) -> &'a Option<DOMString> { pub fn prefix<'a>(&'a self) -> &'a Option<Atom> {
&self.prefix &self.prefix
} }
} }
@ -205,7 +205,7 @@ impl<'a> AttrMethods for JSRef<'a, Attr> {
// https://dom.spec.whatwg.org/#dom-attr-prefix // https://dom.spec.whatwg.org/#dom-attr-prefix
fn GetPrefix(self) -> Option<DOMString> { fn GetPrefix(self) -> Option<DOMString> {
self.prefix.clone() self.prefix().as_ref().map(|p| (**p).to_owned())
} }
// https://dom.spec.whatwg.org/#dom-attr-ownerelement // https://dom.spec.whatwg.org/#dom-attr-ownerelement

View file

@ -17,7 +17,6 @@ use util::str::DOMString;
use libc; use libc;
use libc::c_uint; use libc::c_uint;
use std::borrow::ToOwned;
use std::boxed; use std::boxed;
use std::cell::Cell; use std::cell::Cell;
use std::ffi::CString; use std::ffi::CString;
@ -628,7 +627,7 @@ pub fn validate_qualified_name(qualified_name: &str) -> ErrorResult {
/// Validate a namespace and qualified name and extract their parts. /// Validate a namespace and qualified name and extract their parts.
/// See https://dom.spec.whatwg.org/#validate-and-extract for details. /// See https://dom.spec.whatwg.org/#validate-and-extract for details.
pub fn validate_and_extract(namespace: Option<DOMString>, qualified_name: &str) pub fn validate_and_extract(namespace: Option<DOMString>, qualified_name: &str)
-> Fallible<(Namespace, Option<DOMString>, Atom)> { -> Fallible<(Namespace, Option<Atom>, Atom)> {
// Step 1. // Step 1.
let namespace = namespace::from_domstring(namespace); let namespace = namespace::from_domstring(namespace);
@ -667,7 +666,7 @@ pub fn validate_and_extract(namespace: Option<DOMString>, qualified_name: &str)
}, },
(ns, p) => { (ns, p) => {
// Step 10. // Step 10.
Ok((ns, p.map(|s| s.to_owned()), Atom::from_slice(local_name))) Ok((ns, p.map(Atom::from_slice), Atom::from_slice(local_name)))
} }
} }
} }

View file

@ -76,15 +76,15 @@ use dom::htmlulistelement::HTMLUListElement;
use dom::htmlunknownelement::HTMLUnknownElement; use dom::htmlunknownelement::HTMLUnknownElement;
use dom::htmlvideoelement::HTMLVideoElement; use dom::htmlvideoelement::HTMLVideoElement;
use util::str::DOMString; use string_cache::{Atom, QualName};
use string_cache::QualName;
use std::borrow::ToOwned; use std::borrow::ToOwned;
pub fn create_element(name: QualName, prefix: Option<DOMString>, pub fn create_element(name: QualName, prefix: Option<Atom>,
document: JSRef<Document>, creator: ElementCreator) document: JSRef<Document>, creator: ElementCreator)
-> Temporary<Element> { -> Temporary<Element> {
let prefix = prefix.map(|p| (*p).to_owned());
if name.ns != ns!(HTML) { if name.ns != ns!(HTML) {
return Element::new((*name.local).to_owned(), name.ns, prefix, document); return Element::new((*name.local).to_owned(), name.ns, prefix, document);
} }

View file

@ -120,7 +120,7 @@ pub enum ElementCreator {
// Element methods // Element methods
// //
impl Element { impl Element {
pub fn create(name: QualName, prefix: Option<DOMString>, pub fn create(name: QualName, prefix: Option<Atom>,
document: JSRef<Document>, creator: ElementCreator) document: JSRef<Document>, creator: ElementCreator)
-> Temporary<Element> { -> Temporary<Element> {
create_element(name, prefix, document, creator) create_element(name, prefix, document, creator)
@ -670,12 +670,12 @@ pub trait AttributeHandlers {
fn set_attribute_from_parser(self, fn set_attribute_from_parser(self,
name: QualName, name: QualName,
value: DOMString, value: DOMString,
prefix: Option<DOMString>); prefix: Option<Atom>);
fn set_attribute(self, name: &Atom, value: AttrValue); fn set_attribute(self, name: &Atom, value: AttrValue);
fn set_custom_attribute(self, name: DOMString, value: DOMString) -> ErrorResult; fn set_custom_attribute(self, name: DOMString, value: DOMString) -> ErrorResult;
fn do_set_attribute<F>(self, local_name: Atom, value: AttrValue, fn do_set_attribute<F>(self, local_name: Atom, value: AttrValue,
name: Atom, namespace: Namespace, name: Atom, namespace: Namespace,
prefix: Option<DOMString>, cb: F) prefix: Option<Atom>, cb: F)
where F: Fn(JSRef<Attr>) -> bool; where F: Fn(JSRef<Attr>) -> bool;
fn parse_attribute(self, namespace: &Namespace, local_name: &Atom, fn parse_attribute(self, namespace: &Namespace, local_name: &Atom,
value: DOMString) -> AttrValue; value: DOMString) -> AttrValue;
@ -743,7 +743,7 @@ impl<'a> AttributeHandlers for JSRef<'a, Element> {
fn set_attribute_from_parser(self, fn set_attribute_from_parser(self,
qname: QualName, qname: QualName,
value: DOMString, value: DOMString,
prefix: Option<DOMString>) { prefix: Option<Atom>) {
// Don't set if the attribute already exists, so we can handle add_attrs_if_missing // Don't set if the attribute already exists, so we can handle add_attrs_if_missing
if self.attrs.borrow().iter().map(|attr| attr.root()) if self.attrs.borrow().iter().map(|attr| attr.root())
.any(|a| *a.r().local_name() == qname.local && *a.r().namespace() == qname.ns) { .any(|a| *a.r().local_name() == qname.local && *a.r().namespace() == qname.ns) {
@ -753,7 +753,7 @@ impl<'a> AttributeHandlers for JSRef<'a, Element> {
let name = match prefix { let name = match prefix {
None => qname.local.clone(), None => qname.local.clone(),
Some(ref prefix) => { Some(ref prefix) => {
let name = format!("{}:{}", *prefix, &*qname.local); let name = format!("{}:{}", &**prefix, &*qname.local);
Atom::from_slice(&name) Atom::from_slice(&name)
}, },
}; };
@ -791,7 +791,7 @@ impl<'a> AttributeHandlers for JSRef<'a, Element> {
value: AttrValue, value: AttrValue,
name: Atom, name: Atom,
namespace: Namespace, namespace: Namespace,
prefix: Option<DOMString>, prefix: Option<Atom>,
cb: F) cb: F)
where F: Fn(JSRef<Attr>) -> bool where F: Fn(JSRef<Attr>) -> bool
{ {
@ -1099,8 +1099,7 @@ impl<'a> ElementMethods for JSRef<'a, Element> {
let qualified_name = Atom::from_slice(&qualified_name); let qualified_name = Atom::from_slice(&qualified_name);
let value = self.parse_attribute(&namespace, &local_name, value); let value = self.parse_attribute(&namespace, &local_name, value);
self.do_set_attribute(local_name.clone(), value, qualified_name, self.do_set_attribute(local_name.clone(), value, qualified_name,
namespace.clone(), prefix.map(|s| s.to_owned()), namespace.clone(), prefix, |attr| {
|attr| {
*attr.local_name() == local_name && *attr.local_name() == local_name &&
*attr.namespace() == namespace *attr.namespace() == namespace
}); });

View file

@ -70,7 +70,7 @@ use std::iter::{FilterMap, Peekable};
use std::mem; use std::mem;
use std::sync::Arc; use std::sync::Arc;
use uuid; use uuid;
use string_cache::QualName; use string_cache::{Atom, QualName};
// //
// The basic Node structure // The basic Node structure
@ -1735,7 +1735,7 @@ impl Node {
local: element.local_name().clone() local: element.local_name().clone()
}; };
let element = Element::create(name, let element = Element::create(name,
element.prefix().as_ref().map(|p| (**p).to_owned()), element.prefix().as_ref().map(|p| Atom::from_slice(&p)),
document.r(), ElementCreator::ScriptCreated); document.r(), ElementCreator::ScriptCreated);
NodeCast::from_temporary(element) NodeCast::from_temporary(element)
}, },