pub struct DocumentStateInvalidationProcessor<'a, 'b, E: TElement, I> {
    rules: I,
    matching_context: MatchingContext<'a, E::Impl>,
    traversal_map: SiblingTraversalMap<E>,
    document_states_changed: DocumentState,
    _marker: PhantomData<&'b ()>,
}
Expand description

An invalidation processor for style changes due to state and attribute changes.

Fields§

§rules: I§matching_context: MatchingContext<'a, E::Impl>§traversal_map: SiblingTraversalMap<E>§document_states_changed: DocumentState§_marker: PhantomData<&'b ()>

Implementations§

source§

impl<'a, 'b, E: TElement, I> DocumentStateInvalidationProcessor<'a, 'b, E, I>

source

pub fn new( rules: I, document_states_changed: DocumentState, selector_caches: &'a mut SelectorCaches, quirks_mode: QuirksMode, ) -> Self

Creates a new DocumentStateInvalidationProcessor.

Trait Implementations§

source§

impl<'a, 'b, E, I> InvalidationProcessor<'b, 'a, E> for DocumentStateInvalidationProcessor<'a, 'b, E, I>
where E: TElement, I: Iterator<Item = &'b CascadeData>,

source§

fn check_outer_dependency(&mut self, _: &Dependency, _: E) -> bool

When a dependency from a :where or :is selector matches, it may still be the case that we don’t need to invalidate the full style. Consider the case of: Read more
source§

fn collect_invalidations( &mut self, _element: E, self_invalidations: &mut InvalidationVector<'b>, _descendant_invalidations: &mut DescendantInvalidationLists<'b>, _sibling_invalidations: &mut InvalidationVector<'b>, ) -> bool

Collect invalidations for a given element’s descendants and siblings. Read more
source§

fn matching_context(&mut self) -> &mut MatchingContext<'a, E::Impl>

The matching context that should be used to process invalidations.
source§

fn sibling_traversal_map(&self) -> &SiblingTraversalMap<E>

The traversal map that should be used to process invalidations.
source§

fn recursion_limit_exceeded(&mut self, _: E)

Executes an arbitrary action when the recursion limit is exceded (if any).
source§

fn should_process_descendants(&mut self, element: E) -> bool

Returns whether the invalidation process should process the descendants of the given element.
source§

fn invalidated_descendants(&mut self, element: E, child: E)

Executes an action when any descendant of Self is invalidated.
source§

fn invalidated_self(&mut self, element: E)

Executes an action when Self is invalidated.
source§

fn invalidated_sibling(&mut self, sibling: E, of: E)

Executes an action when sibling is invalidated as a sibling of of.
source§

fn invalidates_on_pseudo_element(&self) -> bool

Whether an invalidation that contains only a pseudo-element selector like ::before or ::after triggers invalidation of the element that would originate it.
source§

fn light_tree_only(&self) -> bool

Whether the invalidation processor only cares about light-tree descendants of a given element, that is, doesn’t invalidate pseudo-elements, NAC, shadow dom…
source§

fn found_relative_selector_invalidation( &mut self, _element: E, _kind: RelativeDependencyInvalidationKind, _relative_dependency: &'a Dependency, )

Executes an action when an element in a relative selector is reached. Lets the dependency to be borrowed for further processing out of the invalidation traversal.

Auto Trait Implementations§

§

impl<'a, 'b, E, I> Freeze for DocumentStateInvalidationProcessor<'a, 'b, E, I>
where I: Freeze, E: Freeze,

§

impl<'a, 'b, E, I> !RefUnwindSafe for DocumentStateInvalidationProcessor<'a, 'b, E, I>

§

impl<'a, 'b, E, I> !Send for DocumentStateInvalidationProcessor<'a, 'b, E, I>

§

impl<'a, 'b, E, I> !Sync for DocumentStateInvalidationProcessor<'a, 'b, E, I>

§

impl<'a, 'b, E, I> Unpin for DocumentStateInvalidationProcessor<'a, 'b, E, I>
where I: Unpin, E: Unpin,

§

impl<'a, 'b, E, I> !UnwindSafe for DocumentStateInvalidationProcessor<'a, 'b, E, I>

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> MaybeBoxed<Box<T>> for T

source§

fn maybe_boxed(self) -> Box<T>

Convert
source§

impl<T> MaybeBoxed<T> for T

source§

fn maybe_boxed(self) -> T

Convert
source§

impl<T> Pointable for T

source§

const ALIGN: usize = _

The alignment of pointer.
§

type Init = T

The type for initializers.
source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
source§

impl<T> Same for T

§

type Output = T

Should always be Self
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> ErasedDestructor for T
where T: 'static,

source§

impl<T> MaybeSendSync for T