aboutsummaryrefslogtreecommitdiffstats
path: root/components/style/bloom.rs
diff options
context:
space:
mode:
authorBobby Holley <bobbyholley@gmail.com>2016-12-21 12:36:55 -0800
committerBobby Holley <bobbyholley@gmail.com>2016-12-22 10:42:53 -0800
commitb3cb786c8108e4c2277cf452820f7ac6cd03501e (patch)
treec5cd659f04176e9fb4ae9169322c389f31a40674 /components/style/bloom.rs
parent96dc0d1eacc54a23635c9cf9c8a982bdbed7dac7 (diff)
downloadservo-b3cb786c8108e4c2277cf452820f7ac6cd03501e.tar.gz
servo-b3cb786c8108e4c2277cf452820f7ac6cd03501e.zip
Stop using UnsafeNode in the bloom filter.
Diffstat (limited to 'components/style/bloom.rs')
-rw-r--r--components/style/bloom.rs71
1 files changed, 24 insertions, 47 deletions
diff --git a/components/style/bloom.rs b/components/style/bloom.rs
index 143e8875b91..e2f45bb6233 100644
--- a/components/style/bloom.rs
+++ b/components/style/bloom.rs
@@ -5,23 +5,19 @@
//! The style bloom filter is used as an optimization when matching deep
//! descendant selectors.
-use dom::{TNode, TElement, UnsafeNode};
+use dom::{SendElement, TElement};
use matching::MatchMethods;
use selectors::bloom::BloomFilter;
-pub struct StyleBloom {
+pub struct StyleBloom<E: TElement> {
/// The bloom filter per se.
filter: Box<BloomFilter>,
- /// The stack of elements that this bloom filter contains. These unsafe
- /// nodes are guaranteed to be elements.
- ///
- /// Note that the use we do for them is safe, since the data we access from
- /// them is completely read-only during restyling.
- elements: Vec<UnsafeNode>,
+ /// The stack of elements that this bloom filter contains.
+ elements: Vec<SendElement<E>>,
}
-impl StyleBloom {
+impl<E: TElement> StyleBloom<E> {
pub fn new() -> Self {
StyleBloom {
filter: Box::new(BloomFilter::new()),
@@ -33,39 +29,27 @@ impl StyleBloom {
&*self.filter
}
- pub fn maybe_pop<E>(&mut self, element: E)
- where E: TElement + MatchMethods
- {
- if self.elements.last() == Some(&element.as_node().to_unsafe()) {
- self.pop::<E>().unwrap();
+ pub fn maybe_pop(&mut self, element: E) {
+ if self.elements.last().map(|el| **el) == Some(element) {
+ self.pop().unwrap();
}
}
/// Push an element to the bloom filter, knowing that it's a child of the
/// last element parent.
- pub fn push<E>(&mut self, element: E)
- where E: TElement + MatchMethods,
- {
+ pub fn push(&mut self, element: E) {
if cfg!(debug_assertions) {
if self.elements.is_empty() {
assert!(element.parent_element().is_none());
}
}
element.insert_into_bloom_filter(&mut *self.filter);
- self.elements.push(element.as_node().to_unsafe());
+ self.elements.push(unsafe { SendElement::new(element) });
}
/// Pop the last element in the bloom filter and return it.
- fn pop<E>(&mut self) -> Option<E>
- where E: TElement + MatchMethods,
- {
- let popped =
- self.elements.pop().map(|unsafe_node| {
- let parent = unsafe {
- E::ConcreteNode::from_unsafe(&unsafe_node)
- };
- parent.as_element().unwrap()
- });
+ fn pop(&mut self) -> Option<E> {
+ let popped = self.elements.pop().map(|el| *el);
if let Some(popped) = popped {
popped.remove_from_bloom_filter(&mut self.filter);
}
@@ -78,14 +62,12 @@ impl StyleBloom {
self.elements.clear();
}
- fn rebuild<E>(&mut self, mut element: E) -> usize
- where E: TElement + MatchMethods,
- {
+ fn rebuild(&mut self, mut element: E) -> usize {
self.clear();
while let Some(parent) = element.parent_element() {
parent.insert_into_bloom_filter(&mut *self.filter);
- self.elements.push(parent.as_node().to_unsafe());
+ self.elements.push(unsafe { SendElement::new(parent) });
element = parent;
}
@@ -96,14 +78,11 @@ impl StyleBloom {
/// In debug builds, asserts that all the parents of `element` are in the
/// bloom filter.
- pub fn assert_complete<E>(&self, mut element: E)
- where E: TElement,
- {
+ pub fn assert_complete(&self, mut element: E) {
if cfg!(debug_assertions) {
let mut checked = 0;
while let Some(parent) = element.parent_element() {
- assert_eq!(parent.as_node().to_unsafe(),
- self.elements[self.elements.len() - 1 - checked]);
+ assert_eq!(parent, *self.elements[self.elements.len() - 1 - checked]);
element = parent;
checked += 1;
}
@@ -118,11 +97,10 @@ impl StyleBloom {
/// provided always rebuilds the filter from scratch.
///
/// Returns the new bloom filter depth.
- pub fn insert_parents_recovering<E>(&mut self,
- element: E,
- element_depth: Option<usize>)
- -> usize
- where E: TElement,
+ pub fn insert_parents_recovering(&mut self,
+ element: E,
+ element_depth: Option<usize>)
+ -> usize
{
// Easy case, we're in a different restyle, or we're empty.
if self.elements.is_empty() {
@@ -138,8 +116,7 @@ impl StyleBloom {
}
};
- let unsafe_parent = parent_element.as_node().to_unsafe();
- if self.elements.last() == Some(&unsafe_parent) {
+ if self.elements.last().map(|el| **el) == Some(parent_element) {
// Ta da, cache hit, we're all done.
return self.elements.len();
}
@@ -171,7 +148,7 @@ impl StyleBloom {
// If the filter represents an element too deep in the dom, we need to
// pop ancestors.
while current_depth > element_depth - 1 {
- self.pop::<E>().expect("Emilio is bad at math");
+ self.pop().expect("Emilio is bad at math");
current_depth -= 1;
}
@@ -208,9 +185,9 @@ impl StyleBloom {
// off the document (such as scrollbars) as a separate subtree from the
// document root. Thus it's possible with Gecko that we do not find any
// common ancestor.
- while *self.elements.last().unwrap() != common_parent.as_node().to_unsafe() {
+ while **self.elements.last().unwrap() != common_parent {
parents_to_insert.push(common_parent);
- self.pop::<E>().unwrap();
+ self.pop().unwrap();
common_parent = match common_parent.parent_element() {
Some(parent) => parent,
None => {