Auto merge of #26048 - nox:layout-2020-transparent-data, r=jdm

Give a lifetime parameter to LayoutDom
This commit is contained in:
bors-servo 2020-03-28 13:37:31 -04:00 committed by GitHub
commit 15d8c6058b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
44 changed files with 335 additions and 432 deletions

View file

@ -181,12 +181,15 @@ pub struct InlineBlockSplit {
impl InlineBlockSplit { impl InlineBlockSplit {
/// Flushes the given accumulator to the new split and makes a new accumulator to hold any /// Flushes the given accumulator to the new split and makes a new accumulator to hold any
/// subsequent fragments. /// subsequent fragments.
fn new<ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode>( fn new<'dom, ConcreteThreadSafeLayoutNode>(
fragment_accumulator: &mut InlineFragmentsAccumulator, fragment_accumulator: &mut InlineFragmentsAccumulator,
node: &ConcreteThreadSafeLayoutNode, node: &ConcreteThreadSafeLayoutNode,
style_context: &SharedStyleContext, style_context: &SharedStyleContext,
flow: FlowRef, flow: FlowRef,
) -> InlineBlockSplit { ) -> InlineBlockSplit
where
ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<'dom>,
{
fragment_accumulator.enclosing_node.as_mut().expect( fragment_accumulator.enclosing_node.as_mut().expect(
"enclosing_node is None; Are {ib} splits being generated outside of an inline node?" "enclosing_node is None; Are {ib} splits being generated outside of an inline node?"
).flags.remove(InlineFragmentNodeFlags::LAST_FRAGMENT_OF_ELEMENT); ).flags.remove(InlineFragmentNodeFlags::LAST_FRAGMENT_OF_ELEMENT);
@ -272,13 +275,10 @@ impl InlineFragmentsAccumulator {
} }
} }
fn from_inline_node<N>( fn from_inline_node<'dom>(
node: &N, node: &impl ThreadSafeLayoutNode<'dom>,
style_context: &SharedStyleContext, style_context: &SharedStyleContext,
) -> InlineFragmentsAccumulator ) -> InlineFragmentsAccumulator {
where
N: ThreadSafeLayoutNode,
{
InlineFragmentsAccumulator { InlineFragmentsAccumulator {
fragments: IntermediateInlineFragments::new(), fragments: IntermediateInlineFragments::new(),
enclosing_node: Some(InlineFragmentNodeInfo { enclosing_node: Some(InlineFragmentNodeInfo {
@ -305,12 +305,12 @@ impl InlineFragmentsAccumulator {
.push_descendants(fragments.absolute_descendants); .push_descendants(fragments.absolute_descendants);
} }
fn to_intermediate_inline_fragments<N>( fn to_intermediate_inline_fragments<'dom, N>(
self, self,
context: &SharedStyleContext, context: &SharedStyleContext,
) -> IntermediateInlineFragments ) -> IntermediateInlineFragments
where where
N: ThreadSafeLayoutNode, N: ThreadSafeLayoutNode<'dom>,
{ {
let InlineFragmentsAccumulator { let InlineFragmentsAccumulator {
mut fragments, mut fragments,
@ -366,7 +366,7 @@ impl InlineFragmentsAccumulator {
} }
/// An object that knows how to create flows. /// An object that knows how to create flows.
pub struct FlowConstructor<'a, N: ThreadSafeLayoutNode> { pub struct FlowConstructor<'a, N> {
/// The layout context. /// The layout context.
pub layout_context: &'a LayoutContext<'a>, pub layout_context: &'a LayoutContext<'a>,
/// Satisfy the compiler about the unused parameters, which we use to improve the ergonomics of /// Satisfy the compiler about the unused parameters, which we use to improve the ergonomics of
@ -374,8 +374,9 @@ pub struct FlowConstructor<'a, N: ThreadSafeLayoutNode> {
phantom2: PhantomData<N>, phantom2: PhantomData<N>,
} }
impl<'a, ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode> impl<'a, 'dom, ConcreteThreadSafeLayoutNode> FlowConstructor<'a, ConcreteThreadSafeLayoutNode>
FlowConstructor<'a, ConcreteThreadSafeLayoutNode> where
ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<'dom>,
{ {
/// Creates a new flow constructor. /// Creates a new flow constructor.
pub fn new(layout_context: &'a LayoutContext<'a>) -> Self { pub fn new(layout_context: &'a LayoutContext<'a>) -> Self {
@ -1792,10 +1793,11 @@ impl<'a, ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode>
} }
} }
impl<'a, ConcreteThreadSafeLayoutNode> PostorderNodeMutTraversal<ConcreteThreadSafeLayoutNode> impl<'a, 'dom, ConcreteThreadSafeLayoutNode>
PostorderNodeMutTraversal<'dom, ConcreteThreadSafeLayoutNode>
for FlowConstructor<'a, ConcreteThreadSafeLayoutNode> for FlowConstructor<'a, ConcreteThreadSafeLayoutNode>
where where
ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode, ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<'dom>,
{ {
// Construct Flow based on 'display', 'position', and 'float' values. // Construct Flow based on 'display', 'position', and 'float' values.
// //
@ -1988,9 +1990,9 @@ trait NodeUtils {
fn get_construction_result(self) -> ConstructionResult; fn get_construction_result(self) -> ConstructionResult;
} }
impl<ConcreteThreadSafeLayoutNode> NodeUtils for ConcreteThreadSafeLayoutNode impl<'dom, ConcreteThreadSafeLayoutNode> NodeUtils for ConcreteThreadSafeLayoutNode
where where
ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode, ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<'dom>,
{ {
fn is_replaced_content(&self) -> bool { fn is_replaced_content(&self) -> bool {
match self.type_id() { match self.type_id() {

View file

@ -411,10 +411,10 @@ impl ImageFragmentInfo {
/// ///
/// FIXME(pcwalton): The fact that image fragments store the cache in the fragment makes little /// FIXME(pcwalton): The fact that image fragments store the cache in the fragment makes little
/// sense to me. /// sense to me.
pub fn new<N: ThreadSafeLayoutNode>( pub fn new<'dom>(
url: Option<ServoUrl>, url: Option<ServoUrl>,
density: Option<f64>, density: Option<f64>,
node: &N, node: &impl ThreadSafeLayoutNode<'dom>,
layout_context: &LayoutContext, layout_context: &LayoutContext,
) -> ImageFragmentInfo { ) -> ImageFragmentInfo {
// First use any image data present in the element... // First use any image data present in the element...
@ -488,7 +488,7 @@ pub struct IframeFragmentInfo {
impl IframeFragmentInfo { impl IframeFragmentInfo {
/// Creates the information specific to an iframe fragment. /// Creates the information specific to an iframe fragment.
pub fn new<N: ThreadSafeLayoutNode>(node: &N) -> IframeFragmentInfo { pub fn new<'dom>(node: &impl ThreadSafeLayoutNode<'dom>) -> IframeFragmentInfo {
let browsing_context_id = node.iframe_browsing_context_id(); let browsing_context_id = node.iframe_browsing_context_id();
let pipeline_id = node.iframe_pipeline_id(); let pipeline_id = node.iframe_pipeline_id();
IframeFragmentInfo { IframeFragmentInfo {
@ -642,7 +642,7 @@ pub struct TableColumnFragmentInfo {
impl TableColumnFragmentInfo { impl TableColumnFragmentInfo {
/// Create the information specific to an table column fragment. /// Create the information specific to an table column fragment.
pub fn new<N: ThreadSafeLayoutNode>(node: &N) -> TableColumnFragmentInfo { pub fn new<'dom>(node: &impl ThreadSafeLayoutNode<'dom>) -> TableColumnFragmentInfo {
let element = node.as_element().unwrap(); let element = node.as_element().unwrap();
let span = element let span = element
.get_attr(&ns!(), &local_name!("span")) .get_attr(&ns!(), &local_name!("span"))
@ -663,8 +663,8 @@ pub struct TruncatedFragmentInfo {
impl Fragment { impl Fragment {
/// Constructs a new `Fragment` instance. /// Constructs a new `Fragment` instance.
pub fn new<N: ThreadSafeLayoutNode>( pub fn new<'dom>(
node: &N, node: &impl ThreadSafeLayoutNode<'dom>,
specific: SpecificFragmentInfo, specific: SpecificFragmentInfo,
ctx: &LayoutContext, ctx: &LayoutContext,
) -> Fragment { ) -> Fragment {

View file

@ -688,9 +688,9 @@ pub fn process_client_rect_query(
iterator.client_rect iterator.client_rect
} }
pub fn process_node_scroll_id_request<N: LayoutNode>( pub fn process_node_scroll_id_request<'dom>(
id: PipelineId, id: PipelineId,
requested_node: N, requested_node: impl LayoutNode<'dom>,
) -> ExternalScrollId { ) -> ExternalScrollId {
let layout_node = requested_node.to_threadsafe(); let layout_node = requested_node.to_threadsafe();
layout_node.generate_scroll_id(id) layout_node.generate_scroll_id(id)
@ -747,16 +747,13 @@ pub fn process_node_scroll_area_request(
/// Return the resolved value of property for a given (pseudo)element. /// Return the resolved value of property for a given (pseudo)element.
/// <https://drafts.csswg.org/cssom/#resolved-value> /// <https://drafts.csswg.org/cssom/#resolved-value>
pub fn process_resolved_style_request<'a, N>( pub fn process_resolved_style_request<'dom>(
context: &LayoutContext, context: &LayoutContext,
node: N, node: impl LayoutNode<'dom>,
pseudo: &Option<PseudoElement>, pseudo: &Option<PseudoElement>,
property: &PropertyId, property: &PropertyId,
layout_root: &mut dyn Flow, layout_root: &mut dyn Flow,
) -> String ) -> String {
where
N: LayoutNode,
{
use style::stylist::RuleInclusion; use style::stylist::RuleInclusion;
use style::traversal::resolve_style; use style::traversal::resolve_style;
@ -797,15 +794,12 @@ where
} }
/// The primary resolution logic, which assumes that the element is styled. /// The primary resolution logic, which assumes that the element is styled.
fn process_resolved_style_request_internal<'a, N>( fn process_resolved_style_request_internal<'dom>(
requested_node: N, requested_node: impl LayoutNode<'dom>,
pseudo: &Option<PseudoElement>, pseudo: &Option<PseudoElement>,
property: &PropertyId, property: &PropertyId,
layout_root: &mut dyn Flow, layout_root: &mut dyn Flow,
) -> String ) -> String {
where
N: LayoutNode,
{
let layout_el = requested_node.to_threadsafe().as_element().unwrap(); let layout_el = requested_node.to_threadsafe().as_element().unwrap();
let layout_el = match *pseudo { let layout_el = match *pseudo {
Some(PseudoElement::Before) => layout_el.get_before_pseudo(), Some(PseudoElement::Before) => layout_el.get_before_pseudo(),
@ -851,12 +845,15 @@ where
// There are probably other quirks. // There are probably other quirks.
let applies = true; let applies = true;
fn used_value_for_position_property<N: LayoutNode>( fn used_value_for_position_property<'dom, N>(
layout_el: <N::ConcreteThreadSafeLayoutNode as ThreadSafeLayoutNode>::ConcreteThreadSafeLayoutElement, layout_el: <N::ConcreteThreadSafeLayoutNode as ThreadSafeLayoutNode<'dom>>::ConcreteThreadSafeLayoutElement,
layout_root: &mut dyn Flow, layout_root: &mut dyn Flow,
requested_node: N, requested_node: N,
longhand_id: LonghandId, longhand_id: LonghandId,
) -> String { ) -> String
where
N: LayoutNode<'dom>,
{
let maybe_data = layout_el.borrow_layout_data(); let maybe_data = layout_el.borrow_layout_data();
let position = maybe_data.map_or(Point2D::zero(), |data| { let position = maybe_data.map_or(Point2D::zero(), |data| {
match (*data).flow_construction_result { match (*data).flow_construction_result {
@ -969,7 +966,7 @@ pub fn process_offset_parent_query(
} }
} }
pub fn process_style_query<N: LayoutNode>(requested_node: N) -> StyleResponse { pub fn process_style_query<'dom>(requested_node: impl LayoutNode<'dom>) -> StyleResponse {
let element = requested_node.as_element().unwrap(); let element = requested_node.as_element().unwrap();
let data = element.borrow_data(); let data = element.borrow_data();
@ -982,8 +979,8 @@ enum InnerTextItem {
} }
// https://html.spec.whatwg.org/multipage/#the-innertext-idl-attribute // https://html.spec.whatwg.org/multipage/#the-innertext-idl-attribute
pub fn process_element_inner_text_query<N: LayoutNode>( pub fn process_element_inner_text_query<'dom>(
node: N, node: impl LayoutNode<'dom>,
indexable_text: &IndexableText, indexable_text: &IndexableText,
) -> String { ) -> String {
// Step 1. // Step 1.
@ -1027,8 +1024,8 @@ pub fn process_element_inner_text_query<N: LayoutNode>(
// https://html.spec.whatwg.org/multipage/#inner-text-collection-steps // https://html.spec.whatwg.org/multipage/#inner-text-collection-steps
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn inner_text_collection_steps<N: LayoutNode>( fn inner_text_collection_steps<'dom>(
node: N, node: impl LayoutNode<'dom>,
indexable_text: &IndexableText, indexable_text: &IndexableText,
results: &mut Vec<InnerTextItem>, results: &mut Vec<InnerTextItem>,
) { ) {

View file

@ -61,8 +61,8 @@ impl TableCellFlow {
} }
} }
pub fn from_node_fragment_and_visibility_flag<N: ThreadSafeLayoutNode>( pub fn from_node_fragment_and_visibility_flag<'dom>(
node: &N, node: &impl ThreadSafeLayoutNode<'dom>,
fragment: Fragment, fragment: Fragment,
visible: bool, visible: bool,
) -> TableCellFlow { ) -> TableCellFlow {

View file

@ -38,10 +38,10 @@ impl<'a> RecalcStyleAndConstructFlows<'a> {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl<'a, E> DomTraversal<E> for RecalcStyleAndConstructFlows<'a> impl<'a, 'dom, E> DomTraversal<E> for RecalcStyleAndConstructFlows<'a>
where where
E: TElement, E: TElement,
E::ConcreteNode: LayoutNode, E::ConcreteNode: LayoutNode<'dom>,
E::FontMetricsProvider: Send, E::FontMetricsProvider: Send,
{ {
fn process_preorder<F>( fn process_preorder<F>(
@ -175,7 +175,10 @@ pub trait InorderFlowTraversal {
} }
/// A bottom-up, parallelizable traversal. /// A bottom-up, parallelizable traversal.
pub trait PostorderNodeMutTraversal<ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode> { pub trait PostorderNodeMutTraversal<'dom, ConcreteThreadSafeLayoutNode>
where
ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<'dom>,
{
/// The operation to perform. Return true to continue or false to stop. /// The operation to perform. Return true to continue or false to stop.
fn process(&mut self, node: &ConcreteThreadSafeLayoutNode); fn process(&mut self, node: &ConcreteThreadSafeLayoutNode);
} }
@ -183,10 +186,7 @@ pub trait PostorderNodeMutTraversal<ConcreteThreadSafeLayoutNode: ThreadSafeLayo
/// The flow construction traversal, which builds flows for styled nodes. /// The flow construction traversal, which builds flows for styled nodes.
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn construct_flows_at<N>(context: &LayoutContext, node: N) fn construct_flows_at<'dom>(context: &LayoutContext, node: impl LayoutNode<'dom>) {
where
N: LayoutNode,
{
debug!("construct_flows_at: {:?}", node); debug!("construct_flows_at: {:?}", node);
// Construct flows for this node. // Construct flows for this node.

View file

@ -47,7 +47,10 @@ pub trait LayoutNodeLayoutData {
fn flow_debug_id(self) -> usize; fn flow_debug_id(self) -> usize;
} }
impl<T: GetLayoutData> LayoutNodeLayoutData for T { impl<'dom, T> LayoutNodeLayoutData for T
where
T: GetLayoutData<'dom>,
{
fn borrow_layout_data(&self) -> Option<AtomicRef<LayoutData>> { fn borrow_layout_data(&self) -> Option<AtomicRef<LayoutData>> {
self.get_raw_data().map(|d| d.layout_data.borrow()) self.get_raw_data().map(|d| d.layout_data.borrow())
} }
@ -66,7 +69,10 @@ pub trait GetRawData {
fn get_raw_data(&self) -> Option<&StyleAndLayoutData>; fn get_raw_data(&self) -> Option<&StyleAndLayoutData>;
} }
impl<T: GetLayoutData> GetRawData for T { impl<'dom, T> GetRawData for T
where
T: GetLayoutData<'dom>,
{
fn get_raw_data(&self) -> Option<&StyleAndLayoutData> { fn get_raw_data(&self) -> Option<&StyleAndLayoutData> {
self.get_style_and_layout_data().map(|opaque| { self.get_style_and_layout_data().map(|opaque| {
let container = opaque.ptr.as_ptr() as *mut StyleAndLayoutData; let container = opaque.ptr.as_ptr() as *mut StyleAndLayoutData;
@ -98,7 +104,10 @@ pub trait ThreadSafeLayoutNodeHelpers {
fn restyle_damage(self) -> RestyleDamage; fn restyle_damage(self) -> RestyleDamage;
} }
impl<T: ThreadSafeLayoutNode> ThreadSafeLayoutNodeHelpers for T { impl<'dom, T> ThreadSafeLayoutNodeHelpers for T
where
T: ThreadSafeLayoutNode<'dom>,
{
fn flags(self) -> LayoutDataFlags { fn flags(self) -> LayoutDataFlags {
self.borrow_layout_data().as_ref().unwrap().flags self.borrow_layout_data().as_ref().unwrap().flags
} }

View file

@ -349,7 +349,7 @@ impl Drop for BoxSlot<'_> {
} }
} }
pub(crate) trait NodeExt<'dom>: 'dom + Copy + LayoutNode + Send + Sync { pub(crate) trait NodeExt<'dom>: 'dom + Copy + LayoutNode<'dom> + Send + Sync {
fn is_element(self) -> bool; fn is_element(self) -> bool;
fn as_text(self) -> Option<String>; fn as_text(self) -> Option<String>;
@ -372,7 +372,7 @@ pub(crate) trait NodeExt<'dom>: 'dom + Copy + LayoutNode + Send + Sync {
impl<'dom, T> NodeExt<'dom> for T impl<'dom, T> NodeExt<'dom> for T
where where
T: 'dom + Copy + LayoutNode + Send + Sync, T: 'dom + Copy + LayoutNode<'dom> + Send + Sync,
{ {
fn is_element(self) -> bool { fn is_element(self) -> bool {
self.to_threadsafe().as_element().is_some() self.to_threadsafe().as_element().is_some()

View file

@ -50,7 +50,7 @@ pub struct FragmentTreeRoot {
impl BoxTreeRoot { impl BoxTreeRoot {
pub fn construct<'dom, Node>(context: &LayoutContext, root_element: Node) -> Self pub fn construct<'dom, Node>(context: &LayoutContext, root_element: Node) -> Self
where where
Node: 'dom + Copy + LayoutNode + Send + Sync, Node: 'dom + Copy + LayoutNode<'dom> + Send + Sync,
{ {
let (contains_floats, boxes) = construct_for_root_element(&context, root_element); let (contains_floats, boxes) = construct_for_root_element(&context, root_element);
Self(BlockFormattingContext { Self(BlockFormattingContext {

View file

@ -192,9 +192,9 @@ pub fn process_node_geometry_request(
fragment_tree_root.get_border_dimensions_for_node(requested_node) fragment_tree_root.get_border_dimensions_for_node(requested_node)
} }
pub fn process_node_scroll_id_request<N: LayoutNode>( pub fn process_node_scroll_id_request<'dom>(
id: PipelineId, id: PipelineId,
requested_node: N, requested_node: impl LayoutNode<'dom>,
) -> ExternalScrollId { ) -> ExternalScrollId {
let layout_node = requested_node.to_threadsafe(); let layout_node = requested_node.to_threadsafe();
layout_node.generate_scroll_id(id) layout_node.generate_scroll_id(id)
@ -207,15 +207,12 @@ pub fn process_node_scroll_area_request(_requested_node: OpaqueNode) -> Rect<i32
/// Return the resolved value of property for a given (pseudo)element. /// Return the resolved value of property for a given (pseudo)element.
/// <https://drafts.csswg.org/cssom/#resolved-value> /// <https://drafts.csswg.org/cssom/#resolved-value>
pub fn process_resolved_style_request<'a, N>( pub fn process_resolved_style_request<'dom>(
_context: &LayoutContext, _context: &LayoutContext,
_node: N, _node: impl LayoutNode<'dom>,
_pseudo: &Option<PseudoElement>, _pseudo: &Option<PseudoElement>,
_property: &PropertyId, _property: &PropertyId,
) -> String ) -> String {
where
N: LayoutNode,
{
"".to_owned() "".to_owned()
} }
@ -223,12 +220,12 @@ pub fn process_offset_parent_query(_requested_node: OpaqueNode) -> OffsetParentR
OffsetParentResponse::empty() OffsetParentResponse::empty()
} }
pub fn process_style_query<N: LayoutNode>(_requested_node: N) -> StyleResponse { pub fn process_style_query<'dom>(_requested_node: impl LayoutNode<'dom>) -> StyleResponse {
StyleResponse(None) StyleResponse(None)
} }
// https://html.spec.whatwg.org/multipage/#the-innertext-idl-attribute // https://html.spec.whatwg.org/multipage/#the-innertext-idl-attribute
pub fn process_element_inner_text_query<N: LayoutNode>(_node: N) -> String { pub fn process_element_inner_text_query<'dom>(_node: impl LayoutNode<'dom>) -> String {
"".to_owned() "".to_owned()
} }

View file

@ -30,10 +30,10 @@ impl<'a> RecalcStyle<'a> {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl<'a, E> DomTraversal<E> for RecalcStyle<'a> impl<'a, 'dom, E> DomTraversal<E> for RecalcStyle<'a>
where where
E: TElement, E: TElement,
E::ConcreteNode: LayoutNode, E::ConcreteNode: LayoutNode<'dom>,
E::FontMetricsProvider: Send, E::FontMetricsProvider: Send,
{ {
fn process_preorder<F>( fn process_preorder<F>(

View file

@ -11,7 +11,10 @@ pub trait GetRawData {
fn get_raw_data(&self) -> Option<&StyleAndLayoutData>; fn get_raw_data(&self) -> Option<&StyleAndLayoutData>;
} }
impl<T: GetLayoutData> GetRawData for T { impl<'dom, T> GetRawData for T
where
T: GetLayoutData<'dom>,
{
fn get_raw_data(&self) -> Option<&StyleAndLayoutData> { fn get_raw_data(&self) -> Option<&StyleAndLayoutData> {
self.get_style_and_layout_data().map(|opaque| { self.get_style_and_layout_data().map(|opaque| {
let container = opaque.ptr.as_ptr() as *mut StyleAndLayoutData; let container = opaque.ptr.as_ptr() as *mut StyleAndLayoutData;

View file

@ -39,7 +39,6 @@ use msg::constellation_msg::{BrowsingContextId, PipelineId};
use net_traits::image::base::{Image, ImageMetadata}; use net_traits::image::base::{Image, ImageMetadata};
use range::Range; use range::Range;
use script::layout_exports::NodeFlags; use script::layout_exports::NodeFlags;
use script::layout_exports::PendingRestyle;
use script::layout_exports::ShadowRoot; use script::layout_exports::ShadowRoot;
use script::layout_exports::{ use script::layout_exports::{
CharacterDataTypeId, DocumentFragmentTypeId, ElementTypeId, HTMLElementTypeId, NodeTypeId, CharacterDataTypeId, DocumentFragmentTypeId, ElementTypeId, HTMLElementTypeId, NodeTypeId,
@ -71,7 +70,6 @@ use servo_url::ServoUrl;
use std::fmt; use std::fmt;
use std::fmt::Debug; use std::fmt::Debug;
use std::hash::{Hash, Hasher}; use std::hash::{Hash, Hasher};
use std::marker::PhantomData;
use std::ptr::NonNull; use std::ptr::NonNull;
use std::sync::atomic::Ordering; use std::sync::atomic::Ordering;
use std::sync::Arc as StdArc; use std::sync::Arc as StdArc;
@ -101,12 +99,9 @@ pub unsafe fn drop_style_and_layout_data(data: OpaqueStyleAndLayoutData) {
} }
#[derive(Clone, Copy)] #[derive(Clone, Copy)]
pub struct ServoLayoutNode<'a> { pub struct ServoLayoutNode<'dom> {
/// The wrapped node. /// The wrapped node.
node: LayoutDom<Node>, node: LayoutDom<'dom, Node>,
/// Being chained to a PhantomData prevents `LayoutNode`s from escaping.
chain: PhantomData<&'a ()>,
} }
impl<'ln> Debug for ServoLayoutNode<'ln> { impl<'ln> Debug for ServoLayoutNode<'ln> {
@ -131,25 +126,14 @@ impl<'a> PartialEq for ServoLayoutNode<'a> {
} }
impl<'ln> ServoLayoutNode<'ln> { impl<'ln> ServoLayoutNode<'ln> {
fn from_layout_js(n: LayoutDom<Node>) -> ServoLayoutNode<'ln> { fn from_layout_js(n: LayoutDom<'ln, Node>) -> Self {
ServoLayoutNode { ServoLayoutNode { node: n }
node: n,
chain: PhantomData,
}
} }
pub unsafe fn new(address: &TrustedNodeAddress) -> ServoLayoutNode { pub unsafe fn new(address: &TrustedNodeAddress) -> Self {
ServoLayoutNode::from_layout_js(LayoutDom::from_trusted_node_address(*address)) ServoLayoutNode::from_layout_js(LayoutDom::from_trusted_node_address(*address))
} }
/// Creates a new layout node with the same lifetime as this layout node.
pub unsafe fn new_with_this_lifetime(&self, node: &LayoutDom<Node>) -> ServoLayoutNode<'ln> {
ServoLayoutNode {
node: *node,
chain: self.chain,
}
}
fn script_type_id(&self) -> NodeTypeId { fn script_type_id(&self) -> NodeTypeId {
unsafe { self.node.type_id_for_layout() } unsafe { self.node.type_id_for_layout() }
} }
@ -167,12 +151,9 @@ impl<'ln> NodeInfo for ServoLayoutNode<'ln> {
} }
#[derive(Clone, Copy, PartialEq)] #[derive(Clone, Copy, PartialEq)]
pub struct ServoShadowRoot<'a> { pub struct ServoShadowRoot<'dom> {
/// The wrapped shadow root. /// The wrapped shadow root.
shadow_root: LayoutDom<ShadowRoot>, shadow_root: LayoutDom<'dom, ShadowRoot>,
/// Being chained to a PhantomData prevents `ShadowRoot`s from escaping.
chain: PhantomData<&'a ()>,
} }
impl<'lr> Debug for ServoShadowRoot<'lr> { impl<'lr> Debug for ServoShadowRoot<'lr> {
@ -206,11 +187,8 @@ impl<'lr> TShadowRoot for ServoShadowRoot<'lr> {
} }
impl<'lr> ServoShadowRoot<'lr> { impl<'lr> ServoShadowRoot<'lr> {
fn from_layout_js(shadow_root: LayoutDom<ShadowRoot>) -> ServoShadowRoot<'lr> { fn from_layout_js(shadow_root: LayoutDom<'lr, ShadowRoot>) -> Self {
ServoShadowRoot { ServoShadowRoot { shadow_root }
shadow_root,
chain: PhantomData,
}
} }
pub unsafe fn flush_stylesheets( pub unsafe fn flush_stylesheets(
@ -233,40 +211,24 @@ impl<'ln> TNode for ServoLayoutNode<'ln> {
unsafe { unsafe {
self.node self.node
.composed_parent_node_ref() .composed_parent_node_ref()
.map(|node| self.new_with_this_lifetime(&node)) .map(Self::from_layout_js)
} }
} }
fn first_child(&self) -> Option<Self> { fn first_child(&self) -> Option<Self> {
unsafe { unsafe { self.node.first_child_ref().map(Self::from_layout_js) }
self.node
.first_child_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn last_child(&self) -> Option<Self> { fn last_child(&self) -> Option<Self> {
unsafe { unsafe { self.node.last_child_ref().map(Self::from_layout_js) }
self.node
.last_child_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn prev_sibling(&self) -> Option<Self> { fn prev_sibling(&self) -> Option<Self> {
unsafe { unsafe { self.node.prev_sibling_ref().map(Self::from_layout_js) }
self.node
.prev_sibling_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn next_sibling(&self) -> Option<Self> { fn next_sibling(&self) -> Option<Self> {
unsafe { unsafe { self.node.next_sibling_ref().map(Self::from_layout_js) }
self.node
.next_sibling_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn owner_doc(&self) -> Self::ConcreteDocument { fn owner_doc(&self) -> Self::ConcreteDocument {
@ -308,11 +270,11 @@ impl<'ln> TNode for ServoLayoutNode<'ln> {
} }
} }
impl<'ln> LayoutNode for ServoLayoutNode<'ln> { impl<'ln> LayoutNode<'ln> for ServoLayoutNode<'ln> {
type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'ln>; type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'ln>;
fn to_threadsafe(&self) -> Self::ConcreteThreadSafeLayoutNode { fn to_threadsafe(&self) -> Self::ConcreteThreadSafeLayoutNode {
ServoThreadSafeLayoutNode::new(self) ServoThreadSafeLayoutNode::new(*self)
} }
fn type_id(&self) -> LayoutNodeType { fn type_id(&self) -> LayoutNodeType {
@ -342,25 +304,25 @@ impl<'ln> LayoutNode for ServoLayoutNode<'ln> {
} }
} }
impl<'ln> GetLayoutData for ServoLayoutNode<'ln> { impl<'ln> GetLayoutData<'ln> for ServoLayoutNode<'ln> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
unsafe { self.get_jsmanaged().get_style_and_layout_data() } unsafe { self.get_jsmanaged().get_style_and_layout_data() }
} }
} }
impl<'le> GetLayoutData for ServoLayoutElement<'le> { impl<'le> GetLayoutData<'le> for ServoLayoutElement<'le> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
self.as_node().get_style_and_layout_data() self.as_node().get_style_and_layout_data()
} }
} }
impl<'ln> GetLayoutData for ServoThreadSafeLayoutNode<'ln> { impl<'ln> GetLayoutData<'ln> for ServoThreadSafeLayoutNode<'ln> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
self.node.get_style_and_layout_data() self.node.get_style_and_layout_data()
} }
} }
impl<'le> GetLayoutData for ServoThreadSafeLayoutElement<'le> { impl<'le> GetLayoutData<'le> for ServoThreadSafeLayoutElement<'le> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
self.element.as_node().get_style_and_layout_data() self.element.as_node().get_style_and_layout_data()
} }
@ -369,16 +331,15 @@ impl<'le> GetLayoutData for ServoThreadSafeLayoutElement<'le> {
impl<'ln> ServoLayoutNode<'ln> { impl<'ln> ServoLayoutNode<'ln> {
/// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to /// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to
/// call and as such is marked `unsafe`. /// call and as such is marked `unsafe`.
pub unsafe fn get_jsmanaged(&self) -> &LayoutDom<Node> { pub unsafe fn get_jsmanaged(&self) -> LayoutDom<'ln, Node> {
&self.node self.node
} }
} }
// A wrapper around documents that ensures ayout can only ever access safe properties. // A wrapper around documents that ensures ayout can only ever access safe properties.
#[derive(Clone, Copy)] #[derive(Clone, Copy)]
pub struct ServoLayoutDocument<'ld> { pub struct ServoLayoutDocument<'dom> {
document: LayoutDom<Document>, document: LayoutDom<'dom, Document>,
chain: PhantomData<&'ld ()>,
} }
impl<'ld> TDocument for ServoLayoutDocument<'ld> { impl<'ld> TDocument for ServoLayoutDocument<'ld> {
@ -405,14 +366,6 @@ impl<'ld> ServoLayoutDocument<'ld> {
.next() .next()
} }
pub fn drain_pending_restyles(&self) -> Vec<(ServoLayoutElement<'ld>, PendingRestyle)> {
let elements = unsafe { self.document.drain_pending_restyles() };
elements
.into_iter()
.map(|(el, snapshot)| (ServoLayoutElement::from_layout_js(el), snapshot))
.collect()
}
pub fn needs_paint_from_layout(&self) { pub fn needs_paint_from_layout(&self) {
unsafe { self.document.needs_paint_from_layout() } unsafe { self.document.needs_paint_from_layout() }
} }
@ -455,19 +408,15 @@ impl<'ld> ServoLayoutDocument<'ld> {
} }
} }
pub fn from_layout_js(doc: LayoutDom<Document>) -> ServoLayoutDocument<'ld> { pub fn from_layout_js(doc: LayoutDom<'ld, Document>) -> Self {
ServoLayoutDocument { ServoLayoutDocument { document: doc }
document: doc,
chain: PhantomData,
}
} }
} }
/// A wrapper around elements that ensures layout can only ever access safe properties. /// A wrapper around elements that ensures layout can only ever access safe properties.
#[derive(Clone, Copy)] #[derive(Clone, Copy)]
pub struct ServoLayoutElement<'le> { pub struct ServoLayoutElement<'dom> {
element: LayoutDom<Element>, element: LayoutDom<'dom, Element>,
chain: PhantomData<&'le ()>,
} }
impl<'le> fmt::Debug for ServoLayoutElement<'le> { impl<'le> fmt::Debug for ServoLayoutElement<'le> {
@ -748,11 +697,8 @@ impl<'le> Hash for ServoLayoutElement<'le> {
impl<'le> Eq for ServoLayoutElement<'le> {} impl<'le> Eq for ServoLayoutElement<'le> {}
impl<'le> ServoLayoutElement<'le> { impl<'le> ServoLayoutElement<'le> {
fn from_layout_js(el: LayoutDom<Element>) -> ServoLayoutElement<'le> { fn from_layout_js(el: LayoutDom<'le, Element>) -> Self {
ServoLayoutElement { ServoLayoutElement { element: el }
element: el,
chain: PhantomData,
}
} }
#[inline] #[inline]
@ -798,7 +744,7 @@ impl<'le> ServoLayoutElement<'le> {
} }
} }
fn as_element<'le>(node: LayoutDom<Node>) -> Option<ServoLayoutElement<'le>> { fn as_element<'dom>(node: LayoutDom<'dom, Node>) -> Option<ServoLayoutElement<'dom>> {
node.downcast().map(ServoLayoutElement::from_layout_js) node.downcast().map(ServoLayoutElement::from_layout_js)
} }
@ -1049,33 +995,24 @@ impl<'a> PartialEq for ServoThreadSafeLayoutNode<'a> {
} }
} }
impl<'ln> DangerousThreadSafeLayoutNode for ServoThreadSafeLayoutNode<'ln> { impl<'ln> DangerousThreadSafeLayoutNode<'ln> for ServoThreadSafeLayoutNode<'ln> {
unsafe fn dangerous_first_child(&self) -> Option<Self> { unsafe fn dangerous_first_child(&self) -> Option<Self> {
self.get_jsmanaged() self.get_jsmanaged()
.first_child_ref() .first_child_ref()
.map(|node| self.new_with_this_lifetime(&node)) .map(ServoLayoutNode::from_layout_js)
.map(Self::new)
} }
unsafe fn dangerous_next_sibling(&self) -> Option<Self> { unsafe fn dangerous_next_sibling(&self) -> Option<Self> {
self.get_jsmanaged() self.get_jsmanaged()
.next_sibling_ref() .next_sibling_ref()
.map(|node| self.new_with_this_lifetime(&node)) .map(ServoLayoutNode::from_layout_js)
.map(Self::new)
} }
} }
impl<'ln> ServoThreadSafeLayoutNode<'ln> { impl<'ln> ServoThreadSafeLayoutNode<'ln> {
/// Creates a new layout node with the same lifetime as this layout node.
pub unsafe fn new_with_this_lifetime(
&self,
node: &LayoutDom<Node>,
) -> ServoThreadSafeLayoutNode<'ln> {
ServoThreadSafeLayoutNode {
node: self.node.new_with_this_lifetime(node),
pseudo: PseudoElementType::Normal,
}
}
/// Creates a new `ServoThreadSafeLayoutNode` from the given `ServoLayoutNode`. /// Creates a new `ServoThreadSafeLayoutNode` from the given `ServoLayoutNode`.
pub fn new<'a>(node: &ServoLayoutNode<'a>) -> ServoThreadSafeLayoutNode<'a> { pub fn new(node: ServoLayoutNode<'ln>) -> Self {
ServoThreadSafeLayoutNode { ServoThreadSafeLayoutNode {
node: node.clone(), node: node.clone(),
pseudo: PseudoElementType::Normal, pseudo: PseudoElementType::Normal,
@ -1084,7 +1021,7 @@ impl<'ln> ServoThreadSafeLayoutNode<'ln> {
/// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to /// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to
/// call and as such is marked `unsafe`. /// call and as such is marked `unsafe`.
unsafe fn get_jsmanaged(&self) -> &LayoutDom<Node> { unsafe fn get_jsmanaged(&self) -> LayoutDom<'ln, Node> {
self.node.get_jsmanaged() self.node.get_jsmanaged()
} }
} }
@ -1099,7 +1036,7 @@ impl<'ln> NodeInfo for ServoThreadSafeLayoutNode<'ln> {
} }
} }
impl<'ln> ThreadSafeLayoutNode for ServoThreadSafeLayoutNode<'ln> { impl<'ln> ThreadSafeLayoutNode<'ln> for ServoThreadSafeLayoutNode<'ln> {
type ConcreteNode = ServoLayoutNode<'ln>; type ConcreteNode = ServoLayoutNode<'ln>;
type ConcreteThreadSafeLayoutElement = ServoThreadSafeLayoutElement<'ln>; type ConcreteThreadSafeLayoutElement = ServoThreadSafeLayoutElement<'ln>;
type ConcreteElement = ServoLayoutElement<'ln>; type ConcreteElement = ServoLayoutElement<'ln>;
@ -1255,14 +1192,14 @@ impl<'ln> ThreadSafeLayoutNode for ServoThreadSafeLayoutNode<'ln> {
} }
} }
pub struct ThreadSafeLayoutNodeChildrenIterator<ConcreteNode: ThreadSafeLayoutNode> { pub struct ThreadSafeLayoutNodeChildrenIterator<ConcreteNode> {
current_node: Option<ConcreteNode>, current_node: Option<ConcreteNode>,
parent_node: ConcreteNode, parent_node: ConcreteNode,
} }
impl<ConcreteNode> ThreadSafeLayoutNodeChildrenIterator<ConcreteNode> impl<'dom, ConcreteNode> ThreadSafeLayoutNodeChildrenIterator<ConcreteNode>
where where
ConcreteNode: DangerousThreadSafeLayoutNode, ConcreteNode: DangerousThreadSafeLayoutNode<'dom>,
{ {
pub fn new(parent: ConcreteNode) -> Self { pub fn new(parent: ConcreteNode) -> Self {
let first_child: Option<ConcreteNode> = match parent.get_pseudo_element_type() { let first_child: Option<ConcreteNode> = match parent.get_pseudo_element_type() {
@ -1282,9 +1219,9 @@ where
} }
} }
impl<ConcreteNode> Iterator for ThreadSafeLayoutNodeChildrenIterator<ConcreteNode> impl<'dom, ConcreteNode> Iterator for ThreadSafeLayoutNodeChildrenIterator<ConcreteNode>
where where
ConcreteNode: DangerousThreadSafeLayoutNode, ConcreteNode: DangerousThreadSafeLayoutNode<'dom>,
{ {
type Item = ConcreteNode; type Item = ConcreteNode;
fn next(&mut self) -> Option<ConcreteNode> { fn next(&mut self) -> Option<ConcreteNode> {
@ -1366,7 +1303,7 @@ pub struct ServoThreadSafeLayoutElement<'le> {
pseudo: PseudoElementType, pseudo: PseudoElementType,
} }
impl<'le> ThreadSafeLayoutElement for ServoThreadSafeLayoutElement<'le> { impl<'le> ThreadSafeLayoutElement<'le> for ServoThreadSafeLayoutElement<'le> {
type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'le>; type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'le>;
type ConcreteElement = ServoLayoutElement<'le>; type ConcreteElement = ServoLayoutElement<'le>;

View file

@ -1039,7 +1039,7 @@ impl LayoutThread {
self.stylist.set_quirks_mode(quirks_mode); self.stylist.set_quirks_mode(quirks_mode);
} }
fn try_get_layout_root<N: LayoutNode>(&self, node: N) -> Option<FlowRef> { fn try_get_layout_root<'dom>(&self, node: impl LayoutNode<'dom>) -> Option<FlowRef> {
let result = node.mutate_layout_data()?.flow_construction_result.get(); let result = node.mutate_layout_data()?.flow_construction_result.get();
let mut flow = match result { let mut flow = match result {
@ -1450,17 +1450,19 @@ impl LayoutThread {
guards.author.clone(), guards.author.clone(),
); );
let restyles = document.drain_pending_restyles(); let restyles = std::mem::take(&mut data.pending_restyles);
debug!("Draining restyles: {}", restyles.len()); debug!("Draining restyles: {}", restyles.len());
let mut map = SnapshotMap::new(); let mut map = SnapshotMap::new();
let elements_with_snapshot: Vec<_> = restyles let elements_with_snapshot: Vec<_> = restyles
.iter() .iter()
.filter(|r| r.1.snapshot.is_some()) .filter(|r| r.1.snapshot.is_some())
.map(|r| r.0) .map(|r| unsafe { ServoLayoutNode::new(&r.0).as_element().unwrap() })
.collect(); .collect();
for (el, restyle) in restyles { for (el, restyle) in restyles {
let el = unsafe { ServoLayoutNode::new(&el).as_element().unwrap() };
// Propagate the descendant bit up the ancestors. Do this before // Propagate the descendant bit up the ancestors. Do this before
// the restyle calculation so that we can also do it for new // the restyle calculation so that we can also do it for new
// unstyled nodes, which the descendants bit helps us find. // unstyled nodes, which the descendants bit helps us find.

View file

@ -39,7 +39,6 @@ use msg::constellation_msg::{BrowsingContextId, PipelineId};
use net_traits::image::base::{Image, ImageMetadata}; use net_traits::image::base::{Image, ImageMetadata};
use range::Range; use range::Range;
use script::layout_exports::NodeFlags; use script::layout_exports::NodeFlags;
use script::layout_exports::PendingRestyle;
use script::layout_exports::ShadowRoot; use script::layout_exports::ShadowRoot;
use script::layout_exports::{ use script::layout_exports::{
CharacterDataTypeId, DocumentFragmentTypeId, ElementTypeId, HTMLElementTypeId, NodeTypeId, CharacterDataTypeId, DocumentFragmentTypeId, ElementTypeId, HTMLElementTypeId, NodeTypeId,
@ -71,7 +70,6 @@ use servo_url::ServoUrl;
use std::fmt; use std::fmt;
use std::fmt::Debug; use std::fmt::Debug;
use std::hash::{Hash, Hasher}; use std::hash::{Hash, Hasher};
use std::marker::PhantomData;
use std::ptr::NonNull; use std::ptr::NonNull;
use std::sync::atomic::Ordering; use std::sync::atomic::Ordering;
use std::sync::Arc as StdArc; use std::sync::Arc as StdArc;
@ -101,12 +99,9 @@ pub unsafe fn drop_style_and_layout_data(data: OpaqueStyleAndLayoutData) {
} }
#[derive(Clone, Copy)] #[derive(Clone, Copy)]
pub struct ServoLayoutNode<'a> { pub struct ServoLayoutNode<'dom> {
/// The wrapped node. /// The wrapped node.
node: LayoutDom<Node>, node: LayoutDom<'dom, Node>,
/// Being chained to a PhantomData prevents `LayoutNode`s from escaping.
chain: PhantomData<&'a ()>,
} }
// Those are supposed to be sound, but they aren't because the entire system // Those are supposed to be sound, but they aren't because the entire system
@ -138,25 +133,14 @@ impl<'a> PartialEq for ServoLayoutNode<'a> {
} }
impl<'ln> ServoLayoutNode<'ln> { impl<'ln> ServoLayoutNode<'ln> {
fn from_layout_js(n: LayoutDom<Node>) -> ServoLayoutNode<'ln> { fn from_layout_js(n: LayoutDom<'ln, Node>) -> Self {
ServoLayoutNode { ServoLayoutNode { node: n }
node: n,
chain: PhantomData,
}
} }
pub unsafe fn new(address: &TrustedNodeAddress) -> ServoLayoutNode { pub unsafe fn new(address: &TrustedNodeAddress) -> Self {
ServoLayoutNode::from_layout_js(LayoutDom::from_trusted_node_address(*address)) ServoLayoutNode::from_layout_js(LayoutDom::from_trusted_node_address(*address))
} }
/// Creates a new layout node with the same lifetime as this layout node.
pub unsafe fn new_with_this_lifetime(&self, node: &LayoutDom<Node>) -> ServoLayoutNode<'ln> {
ServoLayoutNode {
node: *node,
chain: self.chain,
}
}
fn script_type_id(&self) -> NodeTypeId { fn script_type_id(&self) -> NodeTypeId {
unsafe { self.node.type_id_for_layout() } unsafe { self.node.type_id_for_layout() }
} }
@ -174,12 +158,9 @@ impl<'ln> NodeInfo for ServoLayoutNode<'ln> {
} }
#[derive(Clone, Copy, PartialEq)] #[derive(Clone, Copy, PartialEq)]
pub struct ServoShadowRoot<'a> { pub struct ServoShadowRoot<'dom> {
/// The wrapped shadow root. /// The wrapped shadow root.
shadow_root: LayoutDom<ShadowRoot>, shadow_root: LayoutDom<'dom, ShadowRoot>,
/// Being chained to a PhantomData prevents `ShadowRoot`s from escaping.
chain: PhantomData<&'a ()>,
} }
impl<'lr> Debug for ServoShadowRoot<'lr> { impl<'lr> Debug for ServoShadowRoot<'lr> {
@ -213,11 +194,8 @@ impl<'lr> TShadowRoot for ServoShadowRoot<'lr> {
} }
impl<'lr> ServoShadowRoot<'lr> { impl<'lr> ServoShadowRoot<'lr> {
fn from_layout_js(shadow_root: LayoutDom<ShadowRoot>) -> ServoShadowRoot<'lr> { fn from_layout_js(shadow_root: LayoutDom<'lr, ShadowRoot>) -> Self {
ServoShadowRoot { ServoShadowRoot { shadow_root }
shadow_root,
chain: PhantomData,
}
} }
pub unsafe fn flush_stylesheets( pub unsafe fn flush_stylesheets(
@ -240,40 +218,24 @@ impl<'ln> TNode for ServoLayoutNode<'ln> {
unsafe { unsafe {
self.node self.node
.composed_parent_node_ref() .composed_parent_node_ref()
.map(|node| self.new_with_this_lifetime(&node)) .map(Self::from_layout_js)
} }
} }
fn first_child(&self) -> Option<Self> { fn first_child(&self) -> Option<Self> {
unsafe { unsafe { self.node.first_child_ref().map(Self::from_layout_js) }
self.node
.first_child_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn last_child(&self) -> Option<Self> { fn last_child(&self) -> Option<Self> {
unsafe { unsafe { self.node.last_child_ref().map(Self::from_layout_js) }
self.node
.last_child_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn prev_sibling(&self) -> Option<Self> { fn prev_sibling(&self) -> Option<Self> {
unsafe { unsafe { self.node.prev_sibling_ref().map(Self::from_layout_js) }
self.node
.prev_sibling_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn next_sibling(&self) -> Option<Self> { fn next_sibling(&self) -> Option<Self> {
unsafe { unsafe { self.node.next_sibling_ref().map(Self::from_layout_js) }
self.node
.next_sibling_ref()
.map(|node| self.new_with_this_lifetime(&node))
}
} }
fn owner_doc(&self) -> Self::ConcreteDocument { fn owner_doc(&self) -> Self::ConcreteDocument {
@ -315,11 +277,11 @@ impl<'ln> TNode for ServoLayoutNode<'ln> {
} }
} }
impl<'ln> LayoutNode for ServoLayoutNode<'ln> { impl<'ln> LayoutNode<'ln> for ServoLayoutNode<'ln> {
type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'ln>; type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'ln>;
fn to_threadsafe(&self) -> Self::ConcreteThreadSafeLayoutNode { fn to_threadsafe(&self) -> Self::ConcreteThreadSafeLayoutNode {
ServoThreadSafeLayoutNode::new(self) ServoThreadSafeLayoutNode::new(*self)
} }
fn type_id(&self) -> LayoutNodeType { fn type_id(&self) -> LayoutNodeType {
@ -349,25 +311,25 @@ impl<'ln> LayoutNode for ServoLayoutNode<'ln> {
} }
} }
impl<'ln> GetLayoutData for ServoLayoutNode<'ln> { impl<'ln> GetLayoutData<'ln> for ServoLayoutNode<'ln> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
unsafe { self.get_jsmanaged().get_style_and_layout_data() } unsafe { self.get_jsmanaged().get_style_and_layout_data() }
} }
} }
impl<'le> GetLayoutData for ServoLayoutElement<'le> { impl<'le> GetLayoutData<'le> for ServoLayoutElement<'le> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
self.as_node().get_style_and_layout_data() self.as_node().get_style_and_layout_data()
} }
} }
impl<'ln> GetLayoutData for ServoThreadSafeLayoutNode<'ln> { impl<'ln> GetLayoutData<'ln> for ServoThreadSafeLayoutNode<'ln> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
self.node.get_style_and_layout_data() self.node.get_style_and_layout_data()
} }
} }
impl<'le> GetLayoutData for ServoThreadSafeLayoutElement<'le> { impl<'le> GetLayoutData<'le> for ServoThreadSafeLayoutElement<'le> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> { fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData> {
self.element.as_node().get_style_and_layout_data() self.element.as_node().get_style_and_layout_data()
} }
@ -376,16 +338,15 @@ impl<'le> GetLayoutData for ServoThreadSafeLayoutElement<'le> {
impl<'ln> ServoLayoutNode<'ln> { impl<'ln> ServoLayoutNode<'ln> {
/// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to /// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to
/// call and as such is marked `unsafe`. /// call and as such is marked `unsafe`.
pub unsafe fn get_jsmanaged(&self) -> &LayoutDom<Node> { pub unsafe fn get_jsmanaged(&self) -> LayoutDom<'ln, Node> {
&self.node self.node
} }
} }
// A wrapper around documents that ensures ayout can only ever access safe properties. // A wrapper around documents that ensures ayout can only ever access safe properties.
#[derive(Clone, Copy)] #[derive(Clone, Copy)]
pub struct ServoLayoutDocument<'ld> { pub struct ServoLayoutDocument<'dom> {
document: LayoutDom<Document>, document: LayoutDom<'dom, Document>,
chain: PhantomData<&'ld ()>,
} }
impl<'ld> TDocument for ServoLayoutDocument<'ld> { impl<'ld> TDocument for ServoLayoutDocument<'ld> {
@ -412,14 +373,6 @@ impl<'ld> ServoLayoutDocument<'ld> {
.next() .next()
} }
pub fn drain_pending_restyles(&self) -> Vec<(ServoLayoutElement<'ld>, PendingRestyle)> {
let elements = unsafe { self.document.drain_pending_restyles() };
elements
.into_iter()
.map(|(el, snapshot)| (ServoLayoutElement::from_layout_js(el), snapshot))
.collect()
}
pub fn needs_paint_from_layout(&self) { pub fn needs_paint_from_layout(&self) {
unsafe { self.document.needs_paint_from_layout() } unsafe { self.document.needs_paint_from_layout() }
} }
@ -462,19 +415,15 @@ impl<'ld> ServoLayoutDocument<'ld> {
} }
} }
pub fn from_layout_js(doc: LayoutDom<Document>) -> ServoLayoutDocument<'ld> { pub fn from_layout_js(doc: LayoutDom<'ld, Document>) -> Self {
ServoLayoutDocument { ServoLayoutDocument { document: doc }
document: doc,
chain: PhantomData,
}
} }
} }
/// A wrapper around elements that ensures layout can only ever access safe properties. /// A wrapper around elements that ensures layout can only ever access safe properties.
#[derive(Clone, Copy)] #[derive(Clone, Copy)]
pub struct ServoLayoutElement<'le> { pub struct ServoLayoutElement<'dom> {
element: LayoutDom<Element>, element: LayoutDom<'dom, Element>,
chain: PhantomData<&'le ()>,
} }
impl<'le> fmt::Debug for ServoLayoutElement<'le> { impl<'le> fmt::Debug for ServoLayoutElement<'le> {
@ -755,11 +704,8 @@ impl<'le> Hash for ServoLayoutElement<'le> {
impl<'le> Eq for ServoLayoutElement<'le> {} impl<'le> Eq for ServoLayoutElement<'le> {}
impl<'le> ServoLayoutElement<'le> { impl<'le> ServoLayoutElement<'le> {
fn from_layout_js(el: LayoutDom<Element>) -> ServoLayoutElement<'le> { fn from_layout_js(el: LayoutDom<'le, Element>) -> Self {
ServoLayoutElement { ServoLayoutElement { element: el }
element: el,
chain: PhantomData,
}
} }
#[inline] #[inline]
@ -805,7 +751,7 @@ impl<'le> ServoLayoutElement<'le> {
} }
} }
fn as_element<'le>(node: LayoutDom<Node>) -> Option<ServoLayoutElement<'le>> { fn as_element<'dom>(node: LayoutDom<'dom, Node>) -> Option<ServoLayoutElement<'dom>> {
node.downcast().map(ServoLayoutElement::from_layout_js) node.downcast().map(ServoLayoutElement::from_layout_js)
} }
@ -1056,33 +1002,24 @@ impl<'a> PartialEq for ServoThreadSafeLayoutNode<'a> {
} }
} }
impl<'ln> DangerousThreadSafeLayoutNode for ServoThreadSafeLayoutNode<'ln> { impl<'ln> DangerousThreadSafeLayoutNode<'ln> for ServoThreadSafeLayoutNode<'ln> {
unsafe fn dangerous_first_child(&self) -> Option<Self> { unsafe fn dangerous_first_child(&self) -> Option<Self> {
self.get_jsmanaged() self.get_jsmanaged()
.first_child_ref() .first_child_ref()
.map(|node| self.new_with_this_lifetime(&node)) .map(ServoLayoutNode::from_layout_js)
.map(Self::new)
} }
unsafe fn dangerous_next_sibling(&self) -> Option<Self> { unsafe fn dangerous_next_sibling(&self) -> Option<Self> {
self.get_jsmanaged() self.get_jsmanaged()
.next_sibling_ref() .next_sibling_ref()
.map(|node| self.new_with_this_lifetime(&node)) .map(ServoLayoutNode::from_layout_js)
.map(Self::new)
} }
} }
impl<'ln> ServoThreadSafeLayoutNode<'ln> { impl<'ln> ServoThreadSafeLayoutNode<'ln> {
/// Creates a new layout node with the same lifetime as this layout node.
pub unsafe fn new_with_this_lifetime(
&self,
node: &LayoutDom<Node>,
) -> ServoThreadSafeLayoutNode<'ln> {
ServoThreadSafeLayoutNode {
node: self.node.new_with_this_lifetime(node),
pseudo: PseudoElementType::Normal,
}
}
/// Creates a new `ServoThreadSafeLayoutNode` from the given `ServoLayoutNode`. /// Creates a new `ServoThreadSafeLayoutNode` from the given `ServoLayoutNode`.
pub fn new<'a>(node: &ServoLayoutNode<'a>) -> ServoThreadSafeLayoutNode<'a> { pub fn new(node: ServoLayoutNode<'ln>) -> Self {
ServoThreadSafeLayoutNode { ServoThreadSafeLayoutNode {
node: node.clone(), node: node.clone(),
pseudo: PseudoElementType::Normal, pseudo: PseudoElementType::Normal,
@ -1091,7 +1028,7 @@ impl<'ln> ServoThreadSafeLayoutNode<'ln> {
/// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to /// Returns the interior of this node as a `LayoutDom`. This is highly unsafe for layout to
/// call and as such is marked `unsafe`. /// call and as such is marked `unsafe`.
unsafe fn get_jsmanaged(&self) -> &LayoutDom<Node> { unsafe fn get_jsmanaged(&self) -> LayoutDom<'ln, Node> {
self.node.get_jsmanaged() self.node.get_jsmanaged()
} }
} }
@ -1106,7 +1043,7 @@ impl<'ln> NodeInfo for ServoThreadSafeLayoutNode<'ln> {
} }
} }
impl<'ln> ThreadSafeLayoutNode for ServoThreadSafeLayoutNode<'ln> { impl<'ln> ThreadSafeLayoutNode<'ln> for ServoThreadSafeLayoutNode<'ln> {
type ConcreteNode = ServoLayoutNode<'ln>; type ConcreteNode = ServoLayoutNode<'ln>;
type ConcreteThreadSafeLayoutElement = ServoThreadSafeLayoutElement<'ln>; type ConcreteThreadSafeLayoutElement = ServoThreadSafeLayoutElement<'ln>;
type ConcreteElement = ServoLayoutElement<'ln>; type ConcreteElement = ServoLayoutElement<'ln>;
@ -1262,14 +1199,14 @@ impl<'ln> ThreadSafeLayoutNode for ServoThreadSafeLayoutNode<'ln> {
} }
} }
pub struct ThreadSafeLayoutNodeChildrenIterator<ConcreteNode: ThreadSafeLayoutNode> { pub struct ThreadSafeLayoutNodeChildrenIterator<ConcreteNode> {
current_node: Option<ConcreteNode>, current_node: Option<ConcreteNode>,
parent_node: ConcreteNode, parent_node: ConcreteNode,
} }
impl<ConcreteNode> ThreadSafeLayoutNodeChildrenIterator<ConcreteNode> impl<'dom, ConcreteNode> ThreadSafeLayoutNodeChildrenIterator<ConcreteNode>
where where
ConcreteNode: DangerousThreadSafeLayoutNode, ConcreteNode: DangerousThreadSafeLayoutNode<'dom>,
{ {
pub fn new(parent: ConcreteNode) -> Self { pub fn new(parent: ConcreteNode) -> Self {
let first_child: Option<ConcreteNode> = match parent.get_pseudo_element_type() { let first_child: Option<ConcreteNode> = match parent.get_pseudo_element_type() {
@ -1289,9 +1226,9 @@ where
} }
} }
impl<ConcreteNode> Iterator for ThreadSafeLayoutNodeChildrenIterator<ConcreteNode> impl<'dom, ConcreteNode> Iterator for ThreadSafeLayoutNodeChildrenIterator<ConcreteNode>
where where
ConcreteNode: DangerousThreadSafeLayoutNode, ConcreteNode: DangerousThreadSafeLayoutNode<'dom>,
{ {
type Item = ConcreteNode; type Item = ConcreteNode;
fn next(&mut self) -> Option<ConcreteNode> { fn next(&mut self) -> Option<ConcreteNode> {
@ -1373,7 +1310,7 @@ pub struct ServoThreadSafeLayoutElement<'le> {
pseudo: PseudoElementType, pseudo: PseudoElementType,
} }
impl<'le> ThreadSafeLayoutElement for ServoThreadSafeLayoutElement<'le> { impl<'le> ThreadSafeLayoutElement<'le> for ServoThreadSafeLayoutElement<'le> {
type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'le>; type ConcreteThreadSafeLayoutNode = ServoThreadSafeLayoutNode<'le>;
type ConcreteElement = ServoLayoutElement<'le>; type ConcreteElement = ServoLayoutElement<'le>;

View file

@ -1096,16 +1096,19 @@ impl LayoutThread {
guards.author.clone(), guards.author.clone(),
); );
let restyles = document.drain_pending_restyles(); let restyles = std::mem::take(&mut data.pending_restyles);
debug!("Draining restyles: {}", restyles.len());
let mut map = SnapshotMap::new(); let mut map = SnapshotMap::new();
let elements_with_snapshot: Vec<_> = restyles let elements_with_snapshot: Vec<_> = restyles
.iter() .iter()
.filter(|r| r.1.snapshot.is_some()) .filter(|r| r.1.snapshot.is_some())
.map(|r| r.0) .map(|r| unsafe { ServoLayoutNode::new(&r.0).as_element().unwrap() })
.collect(); .collect();
for (el, restyle) in restyles { for (el, restyle) in restyles {
let el = unsafe { ServoLayoutNode::new(&el).as_element().unwrap() };
// Propagate the descendant bit up the ancestors. Do this before // Propagate the descendant bit up the ancestors. Do this before
// the restyle calculation so that we can also do it for new // the restyle calculation so that we can also do it for new
// unstyled nodes, which the descendants bit helps us find. // unstyled nodes, which the descendants bit helps us find.

View file

@ -241,7 +241,7 @@ pub trait AttrHelpersForLayout {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl AttrHelpersForLayout for LayoutDom<Attr> { impl AttrHelpersForLayout for LayoutDom<'_, Attr> {
#[inline] #[inline]
unsafe fn value_forever(&self) -> &'static AttrValue { unsafe fn value_forever(&self) -> &'static AttrValue {
// This transmute is used to cheat the lifetime restriction. // This transmute is used to cheat the lifetime restriction.

View file

@ -331,6 +331,7 @@ impl<T> Dom<T> {
debug_assert!(thread_state::get().is_layout()); debug_assert!(thread_state::get().is_layout());
LayoutDom { LayoutDom {
ptr: self.ptr.clone(), ptr: self.ptr.clone(),
marker: PhantomData,
} }
} }
} }
@ -413,13 +414,17 @@ where
/// An unrooted reference to a DOM object for use in layout. `Layout*Helpers` /// An unrooted reference to a DOM object for use in layout. `Layout*Helpers`
/// traits must be implemented on this. /// traits must be implemented on this.
#[unrooted_must_root_lint::allow_unrooted_interior] #[unrooted_must_root_lint::allow_unrooted_interior]
pub struct LayoutDom<T> { pub struct LayoutDom<'dom, T> {
ptr: ptr::NonNull<T>, ptr: ptr::NonNull<T>,
marker: PhantomData<&'dom T>,
} }
impl<T: Castable> LayoutDom<T> { impl<'dom, T> LayoutDom<'dom, T>
where
T: Castable,
{
/// Cast a DOM object root upwards to one of the interfaces it derives from. /// Cast a DOM object root upwards to one of the interfaces it derives from.
pub fn upcast<U>(&self) -> LayoutDom<U> pub fn upcast<U>(&self) -> LayoutDom<'dom, U>
where where
U: Castable, U: Castable,
T: DerivedFrom<U>, T: DerivedFrom<U>,
@ -428,11 +433,12 @@ impl<T: Castable> LayoutDom<T> {
let ptr: *mut T = self.ptr.as_ptr(); let ptr: *mut T = self.ptr.as_ptr();
LayoutDom { LayoutDom {
ptr: unsafe { ptr::NonNull::new_unchecked(ptr as *mut U) }, ptr: unsafe { ptr::NonNull::new_unchecked(ptr as *mut U) },
marker: PhantomData,
} }
} }
/// Cast a DOM object downwards to one of the interfaces it might implement. /// Cast a DOM object downwards to one of the interfaces it might implement.
pub fn downcast<U>(&self) -> Option<LayoutDom<U>> pub fn downcast<U>(&self) -> Option<LayoutDom<'dom, U>>
where where
U: DerivedFrom<T>, U: DerivedFrom<T>,
{ {
@ -442,6 +448,7 @@ impl<T: Castable> LayoutDom<T> {
let ptr: *mut T = self.ptr.as_ptr(); let ptr: *mut T = self.ptr.as_ptr();
Some(LayoutDom { Some(LayoutDom {
ptr: ptr::NonNull::new_unchecked(ptr as *mut U), ptr: ptr::NonNull::new_unchecked(ptr as *mut U),
marker: PhantomData,
}) })
} else { } else {
None None
@ -450,7 +457,10 @@ impl<T: Castable> LayoutDom<T> {
} }
} }
impl<T: DomObject> LayoutDom<T> { impl<T> LayoutDom<'_, T>
where
T: DomObject,
{
/// Get the reflector. /// Get the reflector.
pub unsafe fn get_jsobject(&self) -> *mut JSObject { pub unsafe fn get_jsobject(&self) -> *mut JSObject {
debug_assert!(thread_state::get().is_layout()); debug_assert!(thread_state::get().is_layout());
@ -458,7 +468,7 @@ impl<T: DomObject> LayoutDom<T> {
} }
} }
impl<T> Copy for LayoutDom<T> {} impl<T> Copy for LayoutDom<'_, T> {}
impl<T> PartialEq for Dom<T> { impl<T> PartialEq for Dom<T> {
fn eq(&self, other: &Dom<T>) -> bool { fn eq(&self, other: &Dom<T>) -> bool {
@ -474,13 +484,13 @@ impl<'a, T: DomObject> PartialEq<&'a T> for Dom<T> {
impl<T> Eq for Dom<T> {} impl<T> Eq for Dom<T> {}
impl<T> PartialEq for LayoutDom<T> { impl<T> PartialEq for LayoutDom<'_, T> {
fn eq(&self, other: &LayoutDom<T>) -> bool { fn eq(&self, other: &Self) -> bool {
self.ptr.as_ptr() == other.ptr.as_ptr() self.ptr.as_ptr() == other.ptr.as_ptr()
} }
} }
impl<T> Eq for LayoutDom<T> {} impl<T> Eq for LayoutDom<'_, T> {}
impl<T> Hash for Dom<T> { impl<T> Hash for Dom<T> {
fn hash<H: Hasher>(&self, state: &mut H) { fn hash<H: Hasher>(&self, state: &mut H) {
@ -488,7 +498,7 @@ impl<T> Hash for Dom<T> {
} }
} }
impl<T> Hash for LayoutDom<T> { impl<T> Hash for LayoutDom<'_, T> {
fn hash<H: Hasher>(&self, state: &mut H) { fn hash<H: Hasher>(&self, state: &mut H) {
self.ptr.as_ptr().hash(state) self.ptr.as_ptr().hash(state)
} }
@ -497,7 +507,7 @@ impl<T> Hash for LayoutDom<T> {
impl<T> Clone for Dom<T> { impl<T> Clone for Dom<T> {
#[inline] #[inline]
#[allow(unrooted_must_root)] #[allow(unrooted_must_root)]
fn clone(&self) -> Dom<T> { fn clone(&self) -> Self {
debug_assert!(thread_state::get().is_script()); debug_assert!(thread_state::get().is_script());
Dom { Dom {
ptr: self.ptr.clone(), ptr: self.ptr.clone(),
@ -505,24 +515,26 @@ impl<T> Clone for Dom<T> {
} }
} }
impl<T> Clone for LayoutDom<T> { impl<T> Clone for LayoutDom<'_, T> {
#[inline] #[inline]
fn clone(&self) -> LayoutDom<T> { fn clone(&self) -> Self {
debug_assert!(thread_state::get().is_layout()); debug_assert!(thread_state::get().is_layout());
LayoutDom { LayoutDom {
ptr: self.ptr.clone(), ptr: self.ptr.clone(),
marker: PhantomData,
} }
} }
} }
impl LayoutDom<Node> { impl LayoutDom<'_, Node> {
/// Create a new JS-owned value wrapped from an address known to be a /// Create a new JS-owned value wrapped from an address known to be a
/// `Node` pointer. /// `Node` pointer.
pub unsafe fn from_trusted_node_address(inner: TrustedNodeAddress) -> LayoutDom<Node> { pub unsafe fn from_trusted_node_address(inner: TrustedNodeAddress) -> Self {
debug_assert!(thread_state::get().is_layout()); debug_assert!(thread_state::get().is_layout());
let TrustedNodeAddress(addr) = inner; let TrustedNodeAddress(addr) = inner;
LayoutDom { LayoutDom {
ptr: ptr::NonNull::new_unchecked(addr as *const Node as *mut Node), ptr: ptr::NonNull::new_unchecked(addr as *const Node as *mut Node),
marker: PhantomData,
} }
} }
} }
@ -624,7 +636,7 @@ impl<T: DomObject> MutNullableDom<T> {
#[allow(unrooted_must_root)] #[allow(unrooted_must_root)]
pub unsafe fn get_inner_as_layout(&self) -> Option<LayoutDom<T>> { pub unsafe fn get_inner_as_layout(&self) -> Option<LayoutDom<T>> {
debug_assert!(thread_state::get().is_layout()); debug_assert!(thread_state::get().is_layout());
ptr::read(self.ptr.get()).map(|js| js.to_layout()) (*self.ptr.get()).as_ref().map(|js| js.to_layout())
} }
/// Get a rooted value out of this object /// Get a rooted value out of this object
@ -732,7 +744,10 @@ unsafe impl<T: DomObject> JSTraceable for DomOnceCell<T> {
} }
} }
impl<T: DomObject> LayoutDom<T> { impl<'dom, T> LayoutDom<'dom, T>
where
T: 'dom + DomObject,
{
/// Returns an unsafe pointer to the interior of this JS object. This is /// Returns an unsafe pointer to the interior of this JS object. This is
/// the only method that be safely accessed from layout. (The fact that /// the only method that be safely accessed from layout. (The fact that
/// this is unsafe is what necessitates the layout wrappers.) /// this is unsafe is what necessitates the layout wrappers.)

View file

@ -36,7 +36,6 @@ use crate::dom::bindings::reflector::{DomObject, Reflector};
use crate::dom::bindings::root::{Dom, DomRoot}; use crate::dom::bindings::root::{Dom, DomRoot};
use crate::dom::bindings::str::{DOMString, USVString}; use crate::dom::bindings::str::{DOMString, USVString};
use crate::dom::bindings::utils::WindowProxyHandler; use crate::dom::bindings::utils::WindowProxyHandler;
use crate::dom::document::PendingRestyle;
use crate::dom::gpubuffer::GPUBufferState; use crate::dom::gpubuffer::GPUBufferState;
use crate::dom::htmlimageelement::SourceSet; use crate::dom::htmlimageelement::SourceSet;
use crate::dom::htmlmediaelement::{HTMLMediaElementFetchContext, MediaFrameRenderer}; use crate::dom::htmlmediaelement::{HTMLMediaElementFetchContext, MediaFrameRenderer};
@ -96,6 +95,7 @@ use net_traits::storage_thread::StorageType;
use net_traits::{Metadata, NetworkError, ReferrerPolicy, ResourceFetchTiming, ResourceThreads}; use net_traits::{Metadata, NetworkError, ReferrerPolicy, ResourceFetchTiming, ResourceThreads};
use profile_traits::mem::ProfilerChan as MemProfilerChan; use profile_traits::mem::ProfilerChan as MemProfilerChan;
use profile_traits::time::ProfilerChan as TimeProfilerChan; use profile_traits::time::ProfilerChan as TimeProfilerChan;
use script_layout_interface::message::PendingRestyle;
use script_layout_interface::rpc::LayoutRPC; use script_layout_interface::rpc::LayoutRPC;
use script_layout_interface::OpaqueStyleAndLayoutData; use script_layout_interface::OpaqueStyleAndLayoutData;
use script_traits::serializable::BlobImpl; use script_traits::serializable::BlobImpl;

View file

@ -157,7 +157,7 @@ pub trait LayoutCanvasRenderingContext2DHelpers {
unsafe fn get_canvas_id(&self) -> CanvasId; unsafe fn get_canvas_id(&self) -> CanvasId;
} }
impl LayoutCanvasRenderingContext2DHelpers for LayoutDom<CanvasRenderingContext2D> { impl LayoutCanvasRenderingContext2DHelpers for LayoutDom<'_, CanvasRenderingContext2D> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn get_ipc_renderer(&self) -> IpcSender<CanvasMsg> { unsafe fn get_ipc_renderer(&self) -> IpcSender<CanvasMsg> {
(*self.unsafe_get()) (*self.unsafe_get())

View file

@ -286,7 +286,7 @@ pub trait LayoutCharacterDataHelpers {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl LayoutCharacterDataHelpers for LayoutDom<CharacterData> { impl LayoutCharacterDataHelpers for LayoutDom<'_, CharacterData> {
#[inline] #[inline]
unsafe fn data_for_layout(&self) -> &str { unsafe fn data_for_layout(&self) -> &str {
&(*self.unsafe_get()).data.borrow_for_layout() &(*self.unsafe_get()).data.borrow_for_layout()

View file

@ -71,7 +71,7 @@ use crate::dom::location::Location;
use crate::dom::messageevent::MessageEvent; use crate::dom::messageevent::MessageEvent;
use crate::dom::mouseevent::MouseEvent; use crate::dom::mouseevent::MouseEvent;
use crate::dom::node::{self, document_from_node, window_from_node, CloneChildrenFlag}; use crate::dom::node::{self, document_from_node, window_from_node, CloneChildrenFlag};
use crate::dom::node::{LayoutNodeHelpers, Node, NodeDamage, NodeFlags, ShadowIncluding}; use crate::dom::node::{Node, NodeDamage, NodeFlags, ShadowIncluding};
use crate::dom::nodeiterator::NodeIterator; use crate::dom::nodeiterator::NodeIterator;
use crate::dom::nodelist::NodeList; use crate::dom::nodelist::NodeList;
use crate::dom::pagetransitionevent::PageTransitionEvent; use crate::dom::pagetransitionevent::PageTransitionEvent;
@ -133,7 +133,8 @@ use percent_encoding::percent_decode;
use profile_traits::ipc as profile_ipc; use profile_traits::ipc as profile_ipc;
use profile_traits::time::{TimerMetadata, TimerMetadataFrameType, TimerMetadataReflowType}; use profile_traits::time::{TimerMetadata, TimerMetadataFrameType, TimerMetadataReflowType};
use ref_slice::ref_slice; use ref_slice::ref_slice;
use script_layout_interface::message::{Msg, ReflowGoal}; use script_layout_interface::message::{Msg, PendingRestyle, ReflowGoal};
use script_layout_interface::TrustedNodeAddress;
use script_traits::{AnimationState, DocumentActivity, MouseButton, MouseEventType}; use script_traits::{AnimationState, DocumentActivity, MouseButton, MouseEventType};
use script_traits::{ use script_traits::{
MsDuration, ScriptMsg, TouchEventType, TouchId, UntrustedNodeAddress, WheelDelta, MsDuration, ScriptMsg, TouchEventType, TouchId, UntrustedNodeAddress, WheelDelta,
@ -157,7 +158,7 @@ use style::attr::AttrValue;
use style::context::QuirksMode; use style::context::QuirksMode;
use style::invalidation::element::restyle_hints::RestyleHint; use style::invalidation::element::restyle_hints::RestyleHint;
use style::media_queries::{Device, MediaType}; use style::media_queries::{Device, MediaType};
use style::selector_parser::{RestyleDamage, Snapshot}; use style::selector_parser::Snapshot;
use style::shared_lock::SharedRwLock as StyleSharedRwLock; use style::shared_lock::SharedRwLock as StyleSharedRwLock;
use style::str::{split_html_space_chars, str_join}; use style::str::{split_html_space_chars, str_join};
use style::stylesheet_set::DocumentStylesheetSet; use style::stylesheet_set::DocumentStylesheetSet;
@ -201,29 +202,6 @@ pub enum IsHTMLDocument {
NonHTMLDocument, NonHTMLDocument,
} }
#[derive(Debug, MallocSizeOf)]
pub struct PendingRestyle {
/// If this element had a state or attribute change since the last restyle, track
/// the original condition of the element.
pub snapshot: Option<Snapshot>,
/// Any explicit restyles hints that have been accumulated for this element.
pub hint: RestyleHint,
/// Any explicit restyles damage that have been accumulated for this element.
pub damage: RestyleDamage,
}
impl PendingRestyle {
pub fn new() -> Self {
PendingRestyle {
snapshot: None,
hint: RestyleHint::empty(),
damage: RestyleDamage::empty(),
}
}
}
/// <https://dom.spec.whatwg.org/#document> /// <https://dom.spec.whatwg.org/#document>
#[dom_struct] #[dom_struct]
pub struct Document { pub struct Document {
@ -2629,7 +2607,6 @@ pub enum DocumentSource {
#[allow(unsafe_code)] #[allow(unsafe_code)]
pub trait LayoutDocumentHelpers { pub trait LayoutDocumentHelpers {
unsafe fn is_html_document_for_layout(&self) -> bool; unsafe fn is_html_document_for_layout(&self) -> bool;
unsafe fn drain_pending_restyles(&self) -> Vec<(LayoutDom<Element>, PendingRestyle)>;
unsafe fn needs_paint_from_layout(&self); unsafe fn needs_paint_from_layout(&self);
unsafe fn will_paint(&self); unsafe fn will_paint(&self);
unsafe fn quirks_mode(&self) -> QuirksMode; unsafe fn quirks_mode(&self) -> QuirksMode;
@ -2640,28 +2617,12 @@ pub trait LayoutDocumentHelpers {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl LayoutDocumentHelpers for LayoutDom<Document> { impl LayoutDocumentHelpers for LayoutDom<'_, Document> {
#[inline] #[inline]
unsafe fn is_html_document_for_layout(&self) -> bool { unsafe fn is_html_document_for_layout(&self) -> bool {
(*self.unsafe_get()).is_html_document (*self.unsafe_get()).is_html_document
} }
#[inline]
#[allow(unrooted_must_root)]
unsafe fn drain_pending_restyles(&self) -> Vec<(LayoutDom<Element>, PendingRestyle)> {
let mut elements = (*self.unsafe_get())
.pending_restyles
.borrow_mut_for_layout();
// Elements were in a document when they were added to this list, but that
// may no longer be true when the next layout occurs.
let result = elements
.drain()
.map(|(k, v)| (k.to_layout(), v))
.filter(|&(ref k, _)| k.upcast::<Node>().get_flag(NodeFlags::IS_CONNECTED))
.collect();
result
}
#[inline] #[inline]
unsafe fn needs_paint_from_layout(&self) { unsafe fn needs_paint_from_layout(&self) {
(*self.unsafe_get()).needs_paint.set(true) (*self.unsafe_get()).needs_paint.set(true)
@ -3602,6 +3563,16 @@ impl Document {
(None, None) => ElementLookupResult::None, (None, None) => ElementLookupResult::None,
} }
} }
#[allow(unrooted_must_root)]
pub fn drain_pending_restyles(&self) -> Vec<(TrustedNodeAddress, PendingRestyle)> {
self.pending_restyles
.borrow_mut()
.drain()
.filter(|(k, _)| k.upcast::<Node>().get_flag(NodeFlags::IS_CONNECTED))
.map(|(k, v)| (k.upcast::<Node>().to_trusted_node_address(), v))
.collect()
}
} }
impl Element { impl Element {

View file

@ -567,11 +567,11 @@ pub trait RawLayoutElementHelpers {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
pub unsafe fn get_attr_for_layout<'a>( pub unsafe fn get_attr_for_layout<'dom>(
elem: &'a Element, elem: &'dom Element,
namespace: &Namespace, namespace: &Namespace,
name: &LocalName, name: &LocalName,
) -> Option<LayoutDom<Attr>> { ) -> Option<LayoutDom<'dom, Attr>> {
// cast to point to T in RefCell<T> directly // cast to point to T in RefCell<T> directly
let attrs = elem.attrs.borrow_for_layout(); let attrs = elem.attrs.borrow_for_layout();
attrs attrs
@ -620,7 +620,7 @@ impl RawLayoutElementHelpers for Element {
} }
} }
pub trait LayoutElementHelpers { pub trait LayoutElementHelpers<'dom> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn has_class_for_layout(&self, name: &Atom, case_sensitivity: CaseSensitivity) -> bool; unsafe fn has_class_for_layout(&self, name: &Atom, case_sensitivity: CaseSensitivity) -> bool;
#[allow(unsafe_code)] #[allow(unsafe_code)]
@ -646,10 +646,10 @@ pub trait LayoutElementHelpers {
fn has_selector_flags(&self, flags: ElementSelectorFlags) -> bool; fn has_selector_flags(&self, flags: ElementSelectorFlags) -> bool;
/// The shadow root this element is a host of. /// The shadow root this element is a host of.
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn get_shadow_root_for_layout(&self) -> Option<LayoutDom<ShadowRoot>>; unsafe fn get_shadow_root_for_layout(&self) -> Option<LayoutDom<'dom, ShadowRoot>>;
} }
impl LayoutElementHelpers for LayoutDom<Element> { impl<'dom> LayoutElementHelpers<'dom> for LayoutDom<'dom, Element> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
#[inline] #[inline]
unsafe fn has_class_for_layout(&self, name: &Atom, case_sensitivity: CaseSensitivity) -> bool { unsafe fn has_class_for_layout(&self, name: &Atom, case_sensitivity: CaseSensitivity) -> bool {
@ -1095,7 +1095,7 @@ impl LayoutElementHelpers for LayoutDom<Element> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn get_shadow_root_for_layout(&self) -> Option<LayoutDom<ShadowRoot>> { unsafe fn get_shadow_root_for_layout(&self) -> Option<LayoutDom<'dom, ShadowRoot>> {
(*self.unsafe_get()) (*self.unsafe_get())
.rare_data_for_layout() .rare_data_for_layout()
.as_ref()? .as_ref()?

View file

@ -99,7 +99,7 @@ pub trait HTMLBodyElementLayoutHelpers {
fn get_background(&self) -> Option<ServoUrl>; fn get_background(&self) -> Option<ServoUrl>;
} }
impl HTMLBodyElementLayoutHelpers for LayoutDom<HTMLBodyElement> { impl HTMLBodyElementLayoutHelpers for LayoutDom<'_, HTMLBodyElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn get_background_color(&self) -> Option<RGBA> { fn get_background_color(&self) -> Option<RGBA> {
unsafe { unsafe {

View file

@ -120,7 +120,7 @@ pub trait LayoutHTMLCanvasElementHelpers {
fn get_canvas_id_for_layout(&self) -> CanvasId; fn get_canvas_id_for_layout(&self) -> CanvasId;
} }
impl LayoutHTMLCanvasElementHelpers for LayoutDom<HTMLCanvasElement> { impl LayoutHTMLCanvasElementHelpers for LayoutDom<'_, HTMLCanvasElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn data(&self) -> HTMLCanvasData { fn data(&self) -> HTMLCanvasData {
unsafe { unsafe {

View file

@ -106,7 +106,7 @@ pub trait HTMLFontElementLayoutHelpers {
fn get_size(&self) -> Option<u32>; fn get_size(&self) -> Option<u32>;
} }
impl HTMLFontElementLayoutHelpers for LayoutDom<HTMLFontElement> { impl HTMLFontElementLayoutHelpers for LayoutDom<'_, HTMLFontElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn get_color(&self) -> Option<RGBA> { fn get_color(&self) -> Option<RGBA> {
unsafe { unsafe {

View file

@ -70,7 +70,7 @@ pub trait HTMLHRLayoutHelpers {
fn get_width(&self) -> LengthOrPercentageOrAuto; fn get_width(&self) -> LengthOrPercentageOrAuto;
} }
impl HTMLHRLayoutHelpers for LayoutDom<HTMLHRElement> { impl HTMLHRLayoutHelpers for LayoutDom<'_, HTMLHRElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn get_color(&self) -> Option<RGBA> { fn get_color(&self) -> Option<RGBA> {
unsafe { unsafe {

View file

@ -486,7 +486,7 @@ pub trait HTMLIFrameElementLayoutMethods {
fn get_height(&self) -> LengthOrPercentageOrAuto; fn get_height(&self) -> LengthOrPercentageOrAuto;
} }
impl HTMLIFrameElementLayoutMethods for LayoutDom<HTMLIFrameElement> { impl HTMLIFrameElementLayoutMethods for LayoutDom<'_, HTMLIFrameElement> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn pipeline_id(&self) -> Option<PipelineId> { fn pipeline_id(&self) -> Option<PipelineId> {

View file

@ -1382,7 +1382,7 @@ pub trait LayoutHTMLImageElementHelpers {
fn get_height(&self) -> LengthOrPercentageOrAuto; fn get_height(&self) -> LengthOrPercentageOrAuto;
} }
impl LayoutHTMLImageElementHelpers for LayoutDom<HTMLImageElement> { impl LayoutHTMLImageElementHelpers for LayoutDom<'_, HTMLImageElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn image(&self) -> Option<Arc<Image>> { unsafe fn image(&self) -> Option<Arc<Image>> {
(*self.unsafe_get()) (*self.unsafe_get())

View file

@ -726,11 +726,14 @@ unsafe fn get_raw_textinput_value(input: LayoutDom<HTMLInputElement>) -> DOMStri
.get_content() .get_content()
} }
impl LayoutHTMLInputElementHelpers for LayoutDom<HTMLInputElement> { impl LayoutHTMLInputElementHelpers for LayoutDom<'_, HTMLInputElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn value_for_layout(self) -> String { unsafe fn value_for_layout(self) -> String {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn get_raw_attr_value(input: LayoutDom<HTMLInputElement>, default: &str) -> String { unsafe fn get_raw_attr_value(
input: LayoutDom<'_, HTMLInputElement>,
default: &str,
) -> String {
let elem = input.upcast::<Element>(); let elem = input.upcast::<Element>();
let value = (*elem.unsafe_get()) let value = (*elem.unsafe_get())
.get_attr_val_for_layout(&ns!(), &local_name!("value")) .get_attr_val_for_layout(&ns!(), &local_name!("value"))

View file

@ -2447,7 +2447,7 @@ pub trait LayoutHTMLMediaElementHelpers {
fn data(&self) -> HTMLMediaData; fn data(&self) -> HTMLMediaData;
} }
impl LayoutHTMLMediaElementHelpers for LayoutDom<HTMLMediaElement> { impl LayoutHTMLMediaElementHelpers for LayoutDom<'_, HTMLMediaElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn data(&self) -> HTMLMediaData { fn data(&self) -> HTMLMediaData {
let media = unsafe { &*self.unsafe_get() }; let media = unsafe { &*self.unsafe_get() };

View file

@ -105,7 +105,7 @@ pub trait HTMLTableCellElementLayoutHelpers {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl HTMLTableCellElementLayoutHelpers for LayoutDom<HTMLTableCellElement> { impl HTMLTableCellElementLayoutHelpers for LayoutDom<'_, HTMLTableCellElement> {
fn get_background_color(&self) -> Option<RGBA> { fn get_background_color(&self) -> Option<RGBA> {
unsafe { unsafe {
(&*self.upcast::<Element>().unsafe_get()) (&*self.upcast::<Element>().unsafe_get())

View file

@ -412,7 +412,7 @@ pub trait HTMLTableElementLayoutHelpers {
fn get_width(&self) -> LengthOrPercentageOrAuto; fn get_width(&self) -> LengthOrPercentageOrAuto;
} }
impl HTMLTableElementLayoutHelpers for LayoutDom<HTMLTableElement> { impl HTMLTableElementLayoutHelpers for LayoutDom<'_, HTMLTableElement> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
fn get_background_color(&self) -> Option<RGBA> { fn get_background_color(&self) -> Option<RGBA> {
unsafe { unsafe {

View file

@ -150,7 +150,7 @@ pub trait HTMLTableRowElementLayoutHelpers {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl HTMLTableRowElementLayoutHelpers for LayoutDom<HTMLTableRowElement> { impl HTMLTableRowElementLayoutHelpers for LayoutDom<'_, HTMLTableRowElement> {
fn get_background_color(&self) -> Option<RGBA> { fn get_background_color(&self) -> Option<RGBA> {
unsafe { unsafe {
(&*self.upcast::<Element>().unsafe_get()) (&*self.upcast::<Element>().unsafe_get())

View file

@ -88,7 +88,7 @@ pub trait HTMLTableSectionElementLayoutHelpers {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
impl HTMLTableSectionElementLayoutHelpers for LayoutDom<HTMLTableSectionElement> { impl HTMLTableSectionElementLayoutHelpers for LayoutDom<'_, HTMLTableSectionElement> {
fn get_background_color(&self) -> Option<RGBA> { fn get_background_color(&self) -> Option<RGBA> {
unsafe { unsafe {
(&*self.upcast::<Element>().unsafe_get()) (&*self.upcast::<Element>().unsafe_get())

View file

@ -66,7 +66,7 @@ pub trait LayoutHTMLTextAreaElementHelpers {
fn get_rows(self) -> u32; fn get_rows(self) -> u32;
} }
impl LayoutHTMLTextAreaElementHelpers for LayoutDom<HTMLTextAreaElement> { impl LayoutHTMLTextAreaElementHelpers for LayoutDom<'_, HTMLTextAreaElement> {
#[allow(unrooted_must_root)] #[allow(unrooted_must_root)]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn value_for_layout(self) -> String { unsafe fn value_for_layout(self) -> String {

View file

@ -1304,17 +1304,17 @@ pub unsafe fn from_untrusted_node_address(
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
pub trait LayoutNodeHelpers { pub trait LayoutNodeHelpers<'dom> {
unsafe fn type_id_for_layout(&self) -> NodeTypeId; unsafe fn type_id_for_layout(&self) -> NodeTypeId;
unsafe fn composed_parent_node_ref(&self) -> Option<LayoutDom<Node>>; unsafe fn composed_parent_node_ref(&self) -> Option<LayoutDom<'dom, Node>>;
unsafe fn first_child_ref(&self) -> Option<LayoutDom<Node>>; unsafe fn first_child_ref(&self) -> Option<LayoutDom<'dom, Node>>;
unsafe fn last_child_ref(&self) -> Option<LayoutDom<Node>>; unsafe fn last_child_ref(&self) -> Option<LayoutDom<'dom, Node>>;
unsafe fn prev_sibling_ref(&self) -> Option<LayoutDom<Node>>; unsafe fn prev_sibling_ref(&self) -> Option<LayoutDom<'dom, Node>>;
unsafe fn next_sibling_ref(&self) -> Option<LayoutDom<Node>>; unsafe fn next_sibling_ref(&self) -> Option<LayoutDom<'dom, Node>>;
unsafe fn owner_doc_for_layout(&self) -> LayoutDom<Document>; unsafe fn owner_doc_for_layout(&self) -> LayoutDom<'dom, Document>;
unsafe fn containing_shadow_root_for_layout(&self) -> Option<LayoutDom<ShadowRoot>>; unsafe fn containing_shadow_root_for_layout(&self) -> Option<LayoutDom<'dom, ShadowRoot>>;
unsafe fn is_element_for_layout(&self) -> bool; unsafe fn is_element_for_layout(&self) -> bool;
unsafe fn get_flag(&self, flag: NodeFlags) -> bool; unsafe fn get_flag(&self, flag: NodeFlags) -> bool;
@ -1339,7 +1339,7 @@ pub trait LayoutNodeHelpers {
fn opaque(&self) -> OpaqueNode; fn opaque(&self) -> OpaqueNode;
} }
impl LayoutNodeHelpers for LayoutDom<Node> { impl<'dom> LayoutNodeHelpers<'dom> for LayoutDom<'dom, Node> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn type_id_for_layout(&self) -> NodeTypeId { unsafe fn type_id_for_layout(&self) -> NodeTypeId {
@ -1354,7 +1354,7 @@ impl LayoutNodeHelpers for LayoutDom<Node> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn composed_parent_node_ref(&self) -> Option<LayoutDom<Node>> { unsafe fn composed_parent_node_ref(&self) -> Option<LayoutDom<'dom, Node>> {
let parent = (*self.unsafe_get()).parent_node.get_inner_as_layout(); let parent = (*self.unsafe_get()).parent_node.get_inner_as_layout();
if let Some(ref parent) = parent { if let Some(ref parent) = parent {
if let Some(shadow_root) = parent.downcast::<ShadowRoot>() { if let Some(shadow_root) = parent.downcast::<ShadowRoot>() {
@ -1366,31 +1366,31 @@ impl LayoutNodeHelpers for LayoutDom<Node> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn first_child_ref(&self) -> Option<LayoutDom<Node>> { unsafe fn first_child_ref(&self) -> Option<LayoutDom<'dom, Node>> {
(*self.unsafe_get()).first_child.get_inner_as_layout() (*self.unsafe_get()).first_child.get_inner_as_layout()
} }
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn last_child_ref(&self) -> Option<LayoutDom<Node>> { unsafe fn last_child_ref(&self) -> Option<LayoutDom<'dom, Node>> {
(*self.unsafe_get()).last_child.get_inner_as_layout() (*self.unsafe_get()).last_child.get_inner_as_layout()
} }
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn prev_sibling_ref(&self) -> Option<LayoutDom<Node>> { unsafe fn prev_sibling_ref(&self) -> Option<LayoutDom<'dom, Node>> {
(*self.unsafe_get()).prev_sibling.get_inner_as_layout() (*self.unsafe_get()).prev_sibling.get_inner_as_layout()
} }
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn next_sibling_ref(&self) -> Option<LayoutDom<Node>> { unsafe fn next_sibling_ref(&self) -> Option<LayoutDom<'dom, Node>> {
(*self.unsafe_get()).next_sibling.get_inner_as_layout() (*self.unsafe_get()).next_sibling.get_inner_as_layout()
} }
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn owner_doc_for_layout(&self) -> LayoutDom<Document> { unsafe fn owner_doc_for_layout(&self) -> LayoutDom<'dom, Document> {
(*self.unsafe_get()) (*self.unsafe_get())
.owner_doc .owner_doc
.get_inner_as_layout() .get_inner_as_layout()
@ -1399,7 +1399,7 @@ impl LayoutNodeHelpers for LayoutDom<Node> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn containing_shadow_root_for_layout(&self) -> Option<LayoutDom<ShadowRoot>> { unsafe fn containing_shadow_root_for_layout(&self) -> Option<LayoutDom<'dom, ShadowRoot>> {
(*self.unsafe_get()) (*self.unsafe_get())
.rare_data_for_layout() .rare_data_for_layout()
.as_ref()? .as_ref()?

View file

@ -239,8 +239,8 @@ impl ShadowRootMethods for ShadowRoot {
} }
#[allow(unsafe_code)] #[allow(unsafe_code)]
pub trait LayoutShadowRootHelpers { pub trait LayoutShadowRootHelpers<'dom> {
unsafe fn get_host_for_layout(&self) -> LayoutDom<Element>; unsafe fn get_host_for_layout(&self) -> LayoutDom<'dom, Element>;
unsafe fn get_style_data_for_layout<'a, E: TElement>( unsafe fn get_style_data_for_layout<'a, E: TElement>(
&self, &self,
) -> &'a AuthorStyles<StyleSheetInDocument>; ) -> &'a AuthorStyles<StyleSheetInDocument>;
@ -252,10 +252,10 @@ pub trait LayoutShadowRootHelpers {
); );
} }
impl LayoutShadowRootHelpers for LayoutDom<ShadowRoot> { impl<'dom> LayoutShadowRootHelpers<'dom> for LayoutDom<'dom, ShadowRoot> {
#[inline] #[inline]
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn get_host_for_layout(&self) -> LayoutDom<Element> { unsafe fn get_host_for_layout(&self) -> LayoutDom<'dom, Element> {
(*self.unsafe_get()) (*self.unsafe_get())
.host .host
.get_inner_as_layout() .get_inner_as_layout()

View file

@ -52,7 +52,7 @@ pub trait LayoutSVGSVGElementHelpers {
fn data(&self) -> SVGSVGData; fn data(&self) -> SVGSVGData;
} }
impl LayoutSVGSVGElementHelpers for LayoutDom<SVGSVGElement> { impl LayoutSVGSVGElementHelpers for LayoutDom<'_, SVGSVGElement> {
#[allow(unsafe_code, non_snake_case)] #[allow(unsafe_code, non_snake_case)]
fn data(&self) -> SVGSVGData { fn data(&self) -> SVGSVGData {
unsafe { unsafe {

View file

@ -3884,7 +3884,7 @@ impl WebGL2RenderingContextMethods for WebGL2RenderingContext {
} }
} }
impl LayoutCanvasWebGLRenderingContextHelpers for LayoutDom<WebGL2RenderingContext> { impl LayoutCanvasWebGLRenderingContextHelpers for LayoutDom<'_, WebGL2RenderingContext> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn canvas_data_source(&self) -> HTMLCanvasDataSource { unsafe fn canvas_data_source(&self) -> HTMLCanvasDataSource {
let this = &*self.unsafe_get(); let this = &*self.unsafe_get();

View file

@ -4450,7 +4450,7 @@ pub trait LayoutCanvasWebGLRenderingContextHelpers {
unsafe fn canvas_data_source(&self) -> HTMLCanvasDataSource; unsafe fn canvas_data_source(&self) -> HTMLCanvasDataSource;
} }
impl LayoutCanvasWebGLRenderingContextHelpers for LayoutDom<WebGLRenderingContext> { impl LayoutCanvasWebGLRenderingContextHelpers for LayoutDom<'_, WebGLRenderingContext> {
#[allow(unsafe_code)] #[allow(unsafe_code)]
unsafe fn canvas_data_source(&self) -> HTMLCanvasDataSource { unsafe fn canvas_data_source(&self) -> HTMLCanvasDataSource {
(*self.unsafe_get()).layout_handle() (*self.unsafe_get()).layout_handle()

View file

@ -1617,13 +1617,14 @@ impl Window {
reflow_info: Reflow { reflow_info: Reflow {
page_clip_rect: self.page_clip_rect.get(), page_clip_rect: self.page_clip_rect.get(),
}, },
document: self.Document().upcast::<Node>().to_trusted_node_address(), document: document.upcast::<Node>().to_trusted_node_address(),
stylesheets_changed, stylesheets_changed,
window_size: self.window_size.get(), window_size: self.window_size.get(),
origin: self.origin().immutable().clone(), origin: self.origin().immutable().clone(),
reflow_goal, reflow_goal,
script_join_chan: join_chan, script_join_chan: join_chan,
dom_count: self.Document().dom_count(), dom_count: document.dom_count(),
pending_restyles: document.drain_pending_restyles(),
}; };
self.layout_chan self.layout_chan

View file

@ -130,7 +130,7 @@ pub mod layout_exports {
pub use crate::dom::bindings::inheritance::{HTMLElementTypeId, NodeTypeId, TextTypeId}; pub use crate::dom::bindings::inheritance::{HTMLElementTypeId, NodeTypeId, TextTypeId};
pub use crate::dom::bindings::root::LayoutDom; pub use crate::dom::bindings::root::LayoutDom;
pub use crate::dom::characterdata::LayoutCharacterDataHelpers; pub use crate::dom::characterdata::LayoutCharacterDataHelpers;
pub use crate::dom::document::{Document, LayoutDocumentHelpers, PendingRestyle}; pub use crate::dom::document::{Document, LayoutDocumentHelpers};
pub use crate::dom::element::{Element, LayoutElementHelpers, RawLayoutElementHelpers}; pub use crate::dom::element::{Element, LayoutElementHelpers, RawLayoutElementHelpers};
pub use crate::dom::node::NodeFlags; pub use crate::dom::node::NodeFlags;
pub use crate::dom::node::{LayoutNodeHelpers, Node}; pub use crate::dom::node::{LayoutNodeHelpers, Node};

View file

@ -23,8 +23,9 @@ use std::sync::atomic::AtomicBool;
use std::sync::Arc; use std::sync::Arc;
use style::context::QuirksMode; use style::context::QuirksMode;
use style::dom::OpaqueNode; use style::dom::OpaqueNode;
use style::invalidation::element::restyle_hints::RestyleHint;
use style::properties::PropertyId; use style::properties::PropertyId;
use style::selector_parser::PseudoElement; use style::selector_parser::{PseudoElement, RestyleDamage, Snapshot};
use style::stylesheets::Stylesheet; use style::stylesheets::Stylesheet;
/// Asynchronous messages that script can send to layout. /// Asynchronous messages that script can send to layout.
@ -218,6 +219,8 @@ pub struct ScriptReflow {
pub dom_count: u32, pub dom_count: u32,
/// The current window origin /// The current window origin
pub origin: ImmutableOrigin, pub origin: ImmutableOrigin,
/// Restyle snapshot map.
pub pending_restyles: Vec<(TrustedNodeAddress, PendingRestyle)>,
} }
pub struct LayoutThreadInit { pub struct LayoutThreadInit {
@ -234,3 +237,29 @@ pub struct LayoutThreadInit {
pub layout_is_busy: Arc<AtomicBool>, pub layout_is_busy: Arc<AtomicBool>,
pub window_size: WindowSizeData, pub window_size: WindowSizeData,
} }
/// A pending restyle.
#[derive(Debug, MallocSizeOf)]
pub struct PendingRestyle {
/// If this element had a state or attribute change since the last restyle, track
/// the original condition of the element.
pub snapshot: Option<Snapshot>,
/// Any explicit restyles hints that have been accumulated for this element.
pub hint: RestyleHint,
/// Any explicit restyles damage that have been accumulated for this element.
pub damage: RestyleDamage,
}
impl PendingRestyle {
/// Creates a new empty pending restyle.
#[inline]
pub fn new() -> Self {
PendingRestyle {
snapshot: None,
hint: RestyleHint::empty(),
damage: RestyleDamage::empty(),
}
}
}

View file

@ -78,14 +78,14 @@ impl PseudoElementType {
} }
/// Trait to abstract access to layout data across various data structures. /// Trait to abstract access to layout data across various data structures.
pub trait GetLayoutData { pub trait GetLayoutData<'dom> {
fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData>; fn get_style_and_layout_data(&self) -> Option<OpaqueStyleAndLayoutData>;
} }
/// A wrapper so that layout can access only the methods that it should have access to. Layout must /// A wrapper so that layout can access only the methods that it should have access to. Layout must
/// only ever see these and must never see instances of `LayoutDom`. /// only ever see these and must never see instances of `LayoutDom`.
pub trait LayoutNode: Debug + GetLayoutData + TNode { pub trait LayoutNode<'dom>: Debug + GetLayoutData<'dom> + TNode {
type ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode; type ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<'dom>;
fn to_threadsafe(&self) -> Self::ConcreteThreadSafeLayoutNode; fn to_threadsafe(&self) -> Self::ConcreteThreadSafeLayoutNode;
/// Returns the type ID of this node. /// Returns the type ID of this node.
@ -109,16 +109,13 @@ pub trait LayoutNode: Debug + GetLayoutData + TNode {
fn is_connected(&self) -> bool; fn is_connected(&self) -> bool;
} }
pub struct ReverseChildrenIterator<ConcreteNode> pub struct ReverseChildrenIterator<ConcreteNode> {
where
ConcreteNode: LayoutNode,
{
current: Option<ConcreteNode>, current: Option<ConcreteNode>,
} }
impl<ConcreteNode> Iterator for ReverseChildrenIterator<ConcreteNode> impl<'dom, ConcreteNode> Iterator for ReverseChildrenIterator<ConcreteNode>
where where
ConcreteNode: LayoutNode, ConcreteNode: LayoutNode<'dom>,
{ {
type Item = ConcreteNode; type Item = ConcreteNode;
fn next(&mut self) -> Option<ConcreteNode> { fn next(&mut self) -> Option<ConcreteNode> {
@ -128,16 +125,13 @@ where
} }
} }
pub struct TreeIterator<ConcreteNode> pub struct TreeIterator<ConcreteNode> {
where
ConcreteNode: LayoutNode,
{
stack: Vec<ConcreteNode>, stack: Vec<ConcreteNode>,
} }
impl<ConcreteNode> TreeIterator<ConcreteNode> impl<'dom, ConcreteNode> TreeIterator<ConcreteNode>
where where
ConcreteNode: LayoutNode, ConcreteNode: LayoutNode<'dom>,
{ {
fn new(root: ConcreteNode) -> TreeIterator<ConcreteNode> { fn new(root: ConcreteNode) -> TreeIterator<ConcreteNode> {
let mut stack = vec![]; let mut stack = vec![];
@ -150,9 +144,9 @@ where
} }
} }
impl<ConcreteNode> Iterator for TreeIterator<ConcreteNode> impl<'dom, ConcreteNode> Iterator for TreeIterator<ConcreteNode>
where where
ConcreteNode: LayoutNode, ConcreteNode: LayoutNode<'dom>,
{ {
type Item = ConcreteNode; type Item = ConcreteNode;
fn next(&mut self) -> Option<ConcreteNode> { fn next(&mut self) -> Option<ConcreteNode> {
@ -164,13 +158,13 @@ where
/// A thread-safe version of `LayoutNode`, used during flow construction. This type of layout /// A thread-safe version of `LayoutNode`, used during flow construction. This type of layout
/// node does not allow any parents or siblings of nodes to be accessed, to avoid races. /// node does not allow any parents or siblings of nodes to be accessed, to avoid races.
pub trait ThreadSafeLayoutNode: pub trait ThreadSafeLayoutNode<'dom>:
Clone + Copy + Debug + GetLayoutData + NodeInfo + PartialEq + Sized Clone + Copy + Debug + GetLayoutData<'dom> + NodeInfo + PartialEq + Sized
{ {
type ConcreteNode: LayoutNode<ConcreteThreadSafeLayoutNode = Self>; type ConcreteNode: LayoutNode<'dom, ConcreteThreadSafeLayoutNode = Self>;
type ConcreteElement: TElement; type ConcreteElement: TElement;
type ConcreteThreadSafeLayoutElement: ThreadSafeLayoutElement<ConcreteThreadSafeLayoutNode = Self> type ConcreteThreadSafeLayoutElement: ThreadSafeLayoutElement<'dom, ConcreteThreadSafeLayoutNode = Self>
+ ::selectors::Element<Impl = SelectorImpl>; + ::selectors::Element<Impl = SelectorImpl>;
type ChildrenIterator: Iterator<Item = Self> + Sized; type ChildrenIterator: Iterator<Item = Self> + Sized;
@ -313,15 +307,18 @@ pub trait ThreadSafeLayoutNode:
// This trait is only public so that it can be implemented by the gecko wrapper. // This trait is only public so that it can be implemented by the gecko wrapper.
// It can be used to violate thread-safety, so don't use it elsewhere in layout! // It can be used to violate thread-safety, so don't use it elsewhere in layout!
#[allow(unsafe_code)] #[allow(unsafe_code)]
pub trait DangerousThreadSafeLayoutNode: ThreadSafeLayoutNode { pub trait DangerousThreadSafeLayoutNode<'dom>: ThreadSafeLayoutNode<'dom> {
unsafe fn dangerous_first_child(&self) -> Option<Self>; unsafe fn dangerous_first_child(&self) -> Option<Self>;
unsafe fn dangerous_next_sibling(&self) -> Option<Self>; unsafe fn dangerous_next_sibling(&self) -> Option<Self>;
} }
pub trait ThreadSafeLayoutElement: pub trait ThreadSafeLayoutElement<'dom>:
Clone + Copy + Sized + Debug + ::selectors::Element<Impl = SelectorImpl> + GetLayoutData Clone + Copy + Sized + Debug + ::selectors::Element<Impl = SelectorImpl> + GetLayoutData<'dom>
{ {
type ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<ConcreteThreadSafeLayoutElement = Self>; type ConcreteThreadSafeLayoutNode: ThreadSafeLayoutNode<
'dom,
ConcreteThreadSafeLayoutElement = Self,
>;
/// This type alias is just a work-around to avoid writing /// This type alias is just a work-around to avoid writing
/// ///