Merge pull request #3501 from zwarich/telement-lifetimes

Remove the 'static lifetime parameters from TElement methods

Reviewed-by: jdm
This commit is contained in:
bors-servo 2014-09-27 17:09:28 -06:00
commit c9c8d63727
6 changed files with 52 additions and 46 deletions

View file

@ -1077,9 +1077,9 @@ impl<'ln> NodeUtils for ThreadSafeLayoutNode<'ln> {
} }
/// Methods for interacting with HTMLObjectElement nodes /// Methods for interacting with HTMLObjectElement nodes
trait ObjectElement { trait ObjectElement<'a> {
/// Returns None if this node is not matching attributes. /// Returns None if this node is not matching attributes.
fn get_type_and_data(&self) -> (Option<&'static str>, Option<&'static str>); fn get_type_and_data(&self) -> (Option<&'a str>, Option<&'a str>);
/// Returns true if this node has object data that is correct uri. /// Returns true if this node has object data that is correct uri.
fn has_object_data(&self) -> bool; fn has_object_data(&self) -> bool;
@ -1088,8 +1088,8 @@ trait ObjectElement {
fn get_object_data(&self) -> Option<Url>; fn get_object_data(&self) -> Option<Url>;
} }
impl<'ln> ObjectElement for ThreadSafeLayoutNode<'ln> { impl<'ln> ObjectElement<'ln> for ThreadSafeLayoutNode<'ln> {
fn get_type_and_data(&self) -> (Option<&'static str>, Option<&'static str>) { fn get_type_and_data(&self) -> (Option<&'ln str>, Option<&'ln str>) {
let elem = self.as_element(); let elem = self.as_element();
(elem.get_attr(&namespace::Null, "type"), elem.get_attr(&namespace::Null, "data")) (elem.get_attr(&namespace::Null, "type"), elem.get_attr(&namespace::Null, "data"))
} }

View file

@ -242,7 +242,7 @@ impl<'ln> LayoutNode<'ln> {
} }
} }
impl<'ln> TNode<LayoutElement<'ln>> for LayoutNode<'ln> { impl<'ln> TNode<'ln, LayoutElement<'ln>> for LayoutNode<'ln> {
fn parent_node(&self) -> Option<LayoutNode<'ln>> { fn parent_node(&self) -> Option<LayoutNode<'ln>> {
unsafe { unsafe {
self.node.parent_node_ref().map(|node| self.new_with_this_lifetime(&node)) self.node.parent_node_ref().map(|node| self.new_with_this_lifetime(&node))
@ -389,7 +389,7 @@ impl<'le> LayoutElement<'le> {
} }
} }
impl<'le> TElement for LayoutElement<'le> { impl<'le> TElement<'le> for LayoutElement<'le> {
#[inline] #[inline]
fn get_local_name<'a>(&'a self) -> &'a Atom { fn get_local_name<'a>(&'a self) -> &'a Atom {
&self.element.local_name &self.element.local_name
@ -401,11 +401,11 @@ impl<'le> TElement for LayoutElement<'le> {
} }
#[inline] #[inline]
fn get_attr(&self, namespace: &Namespace, name: &str) -> Option<&'static str> { fn get_attr(&self, namespace: &Namespace, name: &str) -> Option<&'le str> {
unsafe { self.element.get_attr_val_for_layout(namespace, name) } unsafe { self.element.get_attr_val_for_layout(namespace, name) }
} }
fn get_link(&self) -> Option<&'static str> { fn get_link(&self) -> Option<&'le str> {
// FIXME: This is HTML only. // FIXME: This is HTML only.
match self.element.node.type_id_for_layout() { match self.element.node.type_id_for_layout() {
// http://www.whatwg.org/specs/web-apps/current-work/multipage/selectors.html# // http://www.whatwg.org/specs/web-apps/current-work/multipage/selectors.html#
@ -611,7 +611,7 @@ impl<'ln> ThreadSafeLayoutNode<'ln> {
/// If this is an element, accesses the element data. Fails if this is not an element node. /// If this is an element, accesses the element data. Fails if this is not an element node.
#[inline] #[inline]
pub fn as_element(&self) -> ThreadSafeLayoutElement { pub fn as_element(&self) -> ThreadSafeLayoutElement<'ln> {
unsafe { unsafe {
assert!(self.get_jsmanaged().is_element_for_layout()); assert!(self.get_jsmanaged().is_element_for_layout());
let elem: JS<Element> = self.get_jsmanaged().transmute_copy(); let elem: JS<Element> = self.get_jsmanaged().transmute_copy();
@ -791,7 +791,7 @@ pub struct ThreadSafeLayoutElement<'le> {
impl<'le> ThreadSafeLayoutElement<'le> { impl<'le> ThreadSafeLayoutElement<'le> {
#[inline] #[inline]
pub fn get_attr(&self, namespace: &Namespace, name: &str) -> Option<&'static str> { pub fn get_attr(&self, namespace: &Namespace, name: &str) -> Option<&'le str> {
unsafe { self.element.get_attr_val_for_layout(namespace, name) } unsafe { self.element.get_attr_val_for_layout(namespace, name) }
} }
} }

View file

@ -170,7 +170,7 @@ impl Element {
} }
pub trait RawLayoutElementHelpers { pub trait RawLayoutElementHelpers {
unsafe fn get_attr_val_for_layout(&self, namespace: &Namespace, name: &str) -> Option<&'static str>; unsafe fn get_attr_val_for_layout<'a>(&'a self, namespace: &Namespace, name: &str) -> Option<&'a str>;
unsafe fn get_attr_atom_for_layout(&self, namespace: &Namespace, name: &str) -> Option<Atom>; unsafe fn get_attr_atom_for_layout(&self, namespace: &Namespace, name: &str) -> Option<Atom>;
unsafe fn has_class_for_layout(&self, name: &str) -> bool; unsafe fn has_class_for_layout(&self, name: &str) -> bool;
} }
@ -178,8 +178,8 @@ pub trait RawLayoutElementHelpers {
impl RawLayoutElementHelpers for Element { impl RawLayoutElementHelpers for Element {
#[inline] #[inline]
#[allow(unrooted_must_root)] #[allow(unrooted_must_root)]
unsafe fn get_attr_val_for_layout(&self, namespace: &Namespace, name: &str) unsafe fn get_attr_val_for_layout<'a>(&'a self, namespace: &Namespace, name: &str)
-> Option<&'static str> { -> Option<&'a str> {
// cast to point to T in RefCell<T> directly // cast to point to T in RefCell<T> directly
let attrs: *const Vec<JS<Attr>> = mem::transmute(&self.attrs); let attrs: *const Vec<JS<Attr>> = mem::transmute(&self.attrs);
(*attrs).iter().find(|attr: & &JS<Attr>| { (*attrs).iter().find(|attr: & &JS<Attr>| {
@ -948,13 +948,13 @@ impl<'a> VirtualMethods for JSRef<'a, Element> {
} }
} }
impl<'a> style::TElement for JSRef<'a, Element> { impl<'a> style::TElement<'a> for JSRef<'a, Element> {
fn get_attr(&self, namespace: &Namespace, attr: &str) -> Option<&'static str> { fn get_attr(&self, namespace: &Namespace, attr: &str) -> Option<&'a str> {
self.get_attribute(namespace.clone(), attr).root().map(|attr| { self.get_attribute(namespace.clone(), attr).root().map(|attr| {
unsafe { mem::transmute(attr.deref().value().as_slice()) } unsafe { mem::transmute(attr.deref().value().as_slice()) }
}) })
} }
fn get_link(&self) -> Option<&'static str> { fn get_link(&self) -> Option<&'a str> {
// FIXME: This is HTML only. // FIXME: This is HTML only.
let node: JSRef<Node> = NodeCast::from_ref(*self); let node: JSRef<Node> = NodeCast::from_ref(*self);
match node.type_id() { match node.type_id() {
@ -966,10 +966,10 @@ impl<'a> style::TElement for JSRef<'a, Element> {
_ => None, _ => None,
} }
} }
fn get_local_name<'a>(&'a self) -> &'a Atom { fn get_local_name<'b>(&'b self) -> &'b Atom {
(self as &ElementHelpers).get_local_name() (self as &ElementHelpers).get_local_name()
} }
fn get_namespace<'a>(&'a self) -> &'a Namespace { fn get_namespace<'b>(&'b self) -> &'b Namespace {
(self as &ElementHelpers).get_namespace() (self as &ElementHelpers).get_namespace()
} }
fn get_hover_state(&self) -> bool { fn get_hover_state(&self) -> bool {

View file

@ -2033,7 +2033,7 @@ impl<'a> VirtualMethods for JSRef<'a, Node> {
} }
} }
impl<'a> style::TNode<JSRef<'a, Element>> for JSRef<'a, Node> { impl<'a> style::TNode<'a, JSRef<'a, Element>> for JSRef<'a, Node> {
fn parent_node(&self) -> Option<JSRef<'a, Node>> { fn parent_node(&self) -> Option<JSRef<'a, Node>> {
(self as &NodeHelpers).parent_node().map(|node| *node.root()) (self as &NodeHelpers).parent_node().map(|node| *node.root())
} }

View file

@ -10,7 +10,7 @@ use servo_util::atom::Atom;
use servo_util::namespace::Namespace; use servo_util::namespace::Namespace;
pub trait TNode<E:TElement> : Clone { pub trait TNode<'a, E: TElement<'a>> : Clone {
fn parent_node(&self) -> Option<Self>; fn parent_node(&self) -> Option<Self>;
/// Name is prefixed to avoid a conflict with TLayoutNode. /// Name is prefixed to avoid a conflict with TLayoutNode.
fn tnode_first_child(&self) -> Option<Self>; fn tnode_first_child(&self) -> Option<Self>;
@ -23,11 +23,11 @@ pub trait TNode<E:TElement> : Clone {
fn is_html_element_in_html_document(&self) -> bool; fn is_html_element_in_html_document(&self) -> bool;
} }
pub trait TElement { pub trait TElement<'a> {
fn get_attr(&self, namespace: &Namespace, attr: &str) -> Option<&'static str>; fn get_attr(&self, namespace: &Namespace, attr: &str) -> Option<&'a str>;
fn get_link(&self) -> Option<&'static str>; fn get_link(&self) -> Option<&'a str>;
fn get_local_name<'a>(&'a self) -> &'a Atom; fn get_local_name<'b>(&'b self) -> &'b Atom;
fn get_namespace<'a>(&'a self) -> &'a Namespace; fn get_namespace<'b>(&'b self) -> &'b Namespace;
fn get_hover_state(&self) -> bool; fn get_hover_state(&self) -> bool;
fn get_id(&self) -> Option<Atom>; fn get_id(&self) -> Option<Atom>;
fn get_disabled_state(&self) -> bool; fn get_disabled_state(&self) -> bool;

View file

@ -79,8 +79,9 @@ impl SelectorMap {
/// ///
/// Extract matching rules as per node's ID, classes, tag name, etc.. /// Extract matching rules as per node's ID, classes, tag name, etc..
/// Sort the Rules at the end to maintain cascading order. /// Sort the Rules at the end to maintain cascading order.
fn get_all_matching_rules<E:TElement, fn get_all_matching_rules<'a,
N:TNode<E>, E:TElement<'a>,
N:TNode<'a, E>,
V:VecLike<DeclarationBlock>>( V:VecLike<DeclarationBlock>>(
&self, &self,
node: &N, node: &N,
@ -147,8 +148,9 @@ impl SelectorMap {
} }
} }
fn get_matching_rules_from_hash<E:TElement, fn get_matching_rules_from_hash<'a,
N:TNode<E>, E:TElement<'a>,
N:TNode<'a, E>,
V:VecLike<DeclarationBlock>>( V:VecLike<DeclarationBlock>>(
node: &N, node: &N,
parent_bf: &Option<BloomFilter>, parent_bf: &Option<BloomFilter>,
@ -165,8 +167,9 @@ impl SelectorMap {
} }
/// Adds rules in `rules` that match `node` to the `matching_rules` list. /// Adds rules in `rules` that match `node` to the `matching_rules` list.
fn get_matching_rules<E:TElement, fn get_matching_rules<'a,
N:TNode<E>, E:TElement<'a>,
N:TNode<'a, E>,
V:VecLike<DeclarationBlock>>( V:VecLike<DeclarationBlock>>(
node: &N, node: &N,
parent_bf: &Option<BloomFilter>, parent_bf: &Option<BloomFilter>,
@ -344,8 +347,9 @@ impl Stylist {
/// The returned boolean indicates whether the style is *shareable*; that is, whether the /// The returned boolean indicates whether the style is *shareable*; that is, whether the
/// matched selectors are simple enough to allow the matching logic to be reduced to the logic /// matched selectors are simple enough to allow the matching logic to be reduced to the logic
/// in `css::matching::PrivateMatchMethods::candidate_element_allows_for_style_sharing`. /// in `css::matching::PrivateMatchMethods::candidate_element_allows_for_style_sharing`.
pub fn push_applicable_declarations<E:TElement, pub fn push_applicable_declarations<'a,
N:TNode<E>, E:TElement<'a>,
N:TNode<'a, E>,
V:VecLike<DeclarationBlock>>( V:VecLike<DeclarationBlock>>(
&self, &self,
element: &N, element: &N,
@ -467,7 +471,7 @@ impl DeclarationBlock {
} }
} }
pub fn matches<E:TElement, N:TNode<E>>(selector_list: &SelectorList, element: &N, parent_bf: &Option<BloomFilter>) -> bool { pub fn matches<'a, E:TElement<'a>, N:TNode<'a, E>>(selector_list: &SelectorList, element: &N, parent_bf: &Option<BloomFilter>) -> bool {
get_selector_list_selectors(selector_list).iter().any(|selector| get_selector_list_selectors(selector_list).iter().any(|selector|
selector.pseudo_element.is_none() && selector.pseudo_element.is_none() &&
matches_compound_selector(&*selector.compound_selectors, element, parent_bf, &mut false)) matches_compound_selector(&*selector.compound_selectors, element, parent_bf, &mut false))
@ -479,8 +483,9 @@ pub fn matches<E:TElement, N:TNode<E>>(selector_list: &SelectorList, element: &N
/// `shareable` to false unless you are willing to update the style sharing logic. Otherwise things /// `shareable` to false unless you are willing to update the style sharing logic. Otherwise things
/// will almost certainly break as nodes will start mistakenly sharing styles. (See the code in /// will almost certainly break as nodes will start mistakenly sharing styles. (See the code in
/// `main/css/matching.rs`.) /// `main/css/matching.rs`.)
fn matches_compound_selector<E:TElement, fn matches_compound_selector<'a,
N:TNode<E>>( E:TElement<'a>,
N:TNode<'a, E>>(
selector: &CompoundSelector, selector: &CompoundSelector,
element: &N, element: &N,
parent_bf: &Option<BloomFilter>, parent_bf: &Option<BloomFilter>,
@ -544,7 +549,7 @@ enum SelectorMatchingResult {
/// Quickly figures out whether or not the compound selector is worth doing more /// Quickly figures out whether or not the compound selector is worth doing more
/// work on. If the simple selectors don't match, or there's a child selector /// work on. If the simple selectors don't match, or there's a child selector
/// that does not appear in the bloom parent bloom filter, we can exit early. /// that does not appear in the bloom parent bloom filter, we can exit early.
fn can_fast_reject<E: TElement, N: TNode<E>>( fn can_fast_reject<'a, E: TElement<'a>, N: TNode<'a, E>>(
mut selector: &CompoundSelector, mut selector: &CompoundSelector,
element: &N, element: &N,
parent_bf: &Option<BloomFilter>, parent_bf: &Option<BloomFilter>,
@ -605,8 +610,9 @@ fn can_fast_reject<E: TElement, N: TNode<E>>(
return None; return None;
} }
fn matches_compound_selector_internal<E:TElement, fn matches_compound_selector_internal<'a,
N:TNode<E>>( E:TElement<'a>,
N:TNode<'a, E>>(
selector: &CompoundSelector, selector: &CompoundSelector,
element: &N, element: &N,
parent_bf: &Option<BloomFilter>, parent_bf: &Option<BloomFilter>,
@ -680,8 +686,8 @@ fn matches_compound_selector_internal<E:TElement,
/// will almost certainly break as nodes will start mistakenly sharing styles. (See the code in /// will almost certainly break as nodes will start mistakenly sharing styles. (See the code in
/// `main/css/matching.rs`.) /// `main/css/matching.rs`.)
#[inline] #[inline]
pub fn matches_simple_selector<E:TElement, pub fn matches_simple_selector<'a, E:TElement<'a>,
N:TNode<E>>( N:TNode<'a, E>>(
selector: &SimpleSelector, selector: &SimpleSelector,
element: &N, element: &N,
shareable: &mut bool) shareable: &mut bool)
@ -863,8 +869,8 @@ fn url_is_visited(_url: &str) -> bool {
#[inline] #[inline]
fn matches_generic_nth_child<'a, fn matches_generic_nth_child<'a,
E:TElement, E:TElement<'a>,
N:TNode<E>>( N:TNode<'a, E>>(
element: &N, element: &N,
a: i32, a: i32,
b: i32, b: i32,
@ -919,7 +925,7 @@ fn matches_generic_nth_child<'a,
} }
#[inline] #[inline]
fn matches_root<E:TElement,N:TNode<E>>(element: &N) -> bool { fn matches_root<'a, E:TElement<'a>,N:TNode<'a, E>>(element: &N) -> bool {
match element.parent_node() { match element.parent_node() {
Some(parent) => parent.is_document(), Some(parent) => parent.is_document(),
None => false None => false
@ -927,7 +933,7 @@ fn matches_root<E:TElement,N:TNode<E>>(element: &N) -> bool {
} }
#[inline] #[inline]
fn matches_first_child<E:TElement,N:TNode<E>>(element: &N) -> bool { fn matches_first_child<'a, E:TElement<'a>,N:TNode<'a, E>>(element: &N) -> bool {
let mut node = element.clone(); let mut node = element.clone();
loop { loop {
match node.prev_sibling() { match node.prev_sibling() {
@ -949,7 +955,7 @@ fn matches_first_child<E:TElement,N:TNode<E>>(element: &N) -> bool {
} }
#[inline] #[inline]
fn matches_last_child<E:TElement,N:TNode<E>>(element: &N) -> bool { fn matches_last_child<'a, E:TElement<'a>,N:TNode<'a, E>>(element: &N) -> bool {
let mut node = element.clone(); let mut node = element.clone();
loop { loop {
match node.next_sibling() { match node.next_sibling() {