Skip to main content

AccessibilityData

Struct AccessibilityData 

Source
pub(crate) struct AccessibilityData {
    rooted_nodes: FxHashSet<Dom<Node>>,
}

Fields§

§rooted_nodes: FxHashSet<Dom<Node>>

Nodes which have been unbound from the DOM but may not yet have been removed from the accessibility tree. This is cleared after each reflow.

Implementations§

Source§

impl AccessibilityData

Source

pub(crate) fn root_removed_node(&mut self, _no_gc: &NoGC, node_to_root: &Node)

Root a node which has been removed from the DOM but which may still have an associated accessibility tree node. It will be unrooted after the next reflow, since the accessibility tree is updated as part of the reflow process.

Longer explanation:

  • The accessibility tree doesn’t hold strong references to DOM nodes, but uses [OpaqueNode]s as a way of mapping from an incoming DOM node to an existing accessibility tree node. This allows us to cache previously computed accessibility data, and update it based on the current DOM node state, which is passed in to the update function.
  • If a DOM node is garbage collected before its corresponding node is removed from the accessibility tree, there is a risk that another new DOM node may be created at the same memory address, causing it to have an identical OpaqueNode. If this OpaqueNode was used to look up a node in the accessibility tree, we would get the stale accessibility node corresponding to the node which was removed.
  • A DOM node is prevented from being garbage collected while it’s connected to the document; it’s kept alive by strong references in its parent, child and/or sibling Nodes (and in the case of the document itself, by a strong reference in the [Window]). See Node::first_child, Node::next_sibling, etc.
  • After a node is removed from the tree, those strong references are removed, and it may become a candidate for GC if its DOM object isn’t held (directly or indirectly) in script and it isn’t immediately inserted elsewhere in the DOM.
  • To make sure the node isn’t GCed before the next accessibility update occurs, we temporarily root it here in between its removal from the tree and the subsequent reflow.
  • During reflow, the accessibility tree is updated, and all stale accessibility nodes are removed.
  • After reflow, we can safely un-root these nodes by dropping all the strong references being held here, and allow them to potentially be GCed. See Self::unroot_all_removed_nodes().
Source

pub(crate) fn unroot_all_removed_nodes(&mut self)

Clear all nodes which were rooted using Self::root_removed_node(). This should be called at the end of reflow.

Trait Implementations§

Source§

impl Clone for AccessibilityData

Source§

fn clone(&self) -> AccessibilityData

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Default for AccessibilityData

Source§

fn default() -> AccessibilityData

Returns the “default value” for a type. Read more
Source§

impl MallocSizeOf for AccessibilityData

Source§

fn size_of(&self, ops: &mut MallocSizeOfOps) -> usize

Measure the heap usage of all descendant heap-allocated structures, but not the space taken up by the value itself.
Source§

impl Traceable for AccessibilityData

Source§

unsafe fn trace(&self, tracer: *mut JSTracer)

Trace self.

Auto Trait Implementations§

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> Downcast<T> for T

Source§

fn downcast(&self) -> &T

Source§

impl<T> Filterable for T

Source§

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(DataRequest<'_>) -> bool>

Creates a filterable data provider with the given name for debugging. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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.
Source§

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

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

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

Source§

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>,

Source§

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> Upcast<T> for T

Source§

fn upcast(&self) -> Option<&T>

Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

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

Source§

impl<T> MaybeSendSync for T

Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,