Struct selectors::parser::Selector

#[repr(transparent)]
pub struct Selector<Impl: SelectorImpl>(ThinArc<SpecificityAndFlags, Component<Impl>>);

A Selector stores a sequence of simple selectors and combinators. The iterator classes allow callers to iterate at either the raw sequence level or at the level of sequences of simple selectors separated by combinators. Most callers want the higher-level iterator.

We store compound selectors internally right-to-left (in matching order). Additionally, we invert the order of top-level compound selectors so that each one matches left-to-right. This is because matching namespace, local name, id, and class are all relatively cheap, whereas matching pseudo-classes might be expensive (depending on the pseudo-class). Since authors tend to put the pseudo-classes on the right, it’s faster to start matching on the left.

This reordering doesn’t change the semantics of selector matching, and we handle it in to_css to make it invisible to serialization.

Tuple Fields

0: ThinArc<SpecificityAndFlags, Component<Impl>>

Implementations

impl<Impl: SelectorImpl> Selector<Impl>

pub fn mark_as_intentionally_leaked(&self)

See Arc::mark_as_intentionally_leaked

fn ampersand() -> Self

pub fn specificity(&self) -> u32

pub(crate) fn flags(&self) -> SelectorFlags

pub fn has_pseudo_element(&self) -> bool

pub fn has_parent_selector(&self) -> bool

pub fn is_slotted(&self) -> bool

pub fn is_part(&self) -> bool

pub fn parts(&self) -> Option<&[Impl::Identifier]>

pub fn pseudo_element(&self) -> Option<&Impl::PseudoElement>

pub fn is_universal(&self) -> bool

Whether this selector (pseudo-element part excluded) matches every element.

Used for “pre-computed” pseudo-elements in components/style/stylist.rs

pub fn iter(&self) -> SelectorIter<'_, Impl>

Returns an iterator over this selector in matching order (right-to-left). When a combinator is reached, the iterator will return None, and next_sequence() may be called to continue to the next sequence.

pub fn iter_skip_relative_selector_anchor(&self) -> SelectorIter<'_, Impl>

Same as iter(), but skips RelativeSelectorAnchor and its associated combinator.

pub fn is_featureless_host_selector_or_pseudo_element(&self) -> bool

Whether this selector is a featureless :host selector, with no combinators to the left, and optionally has a pseudo-element to the right.

pub fn iter_from(&self, offset: usize) -> SelectorIter<'_, Impl>

Returns an iterator over this selector in matching order (right-to-left), skipping the rightmost |offset| Components.

pub fn combinator_at_match_order(&self, index: usize) -> Combinator

Returns the combinator at index index (zero-indexed from the right), or panics if the component is not a combinator.

pub fn iter_raw_match_order(&self) -> Iter<'_, Component<Impl>>

Returns an iterator over the entire sequence of simple selectors and combinators, in matching order (from right to left).

pub fn combinator_at_parse_order(&self, index: usize) -> Combinator

Returns the combinator at index index (zero-indexed from the left), or panics if the component is not a combinator.

pub fn iter_raw_parse_order_from( &self, offset: usize ) -> Rev<Iter<'_, Component<Impl>>>

Returns an iterator over the sequence of simple selectors and combinators, in parse order (from left to right), starting from offset.

pub(crate) fn from_vec( vec: Vec<Component<Impl>>, specificity: u32, flags: SelectorFlags ) -> Self

Creates a Selector from a vec of Components, specified in parse order. Used in tests.

fn into_data(self) -> ThinArc<SpecificityAndFlags, Component<Impl>>

pub fn replace_parent_selector(&self, parent: &SelectorList<Impl>) -> Self

pub fn len(&self) -> usize

Returns count of simple selectors and combinators in the Selector.

pub fn thin_arc_heap_ptr(&self) -> *const c_void

Returns the address on the heap of the ThinArc for memory reporting.

pub fn visit<V>(&self, visitor: &mut V) -> boolwhere V: SelectorVisitor<Impl = Impl>,

Traverse selector components inside self.

Implementations of this method should call SelectorVisitor methods or other impls of Visit as appropriate based on the fields of Self.

A return value of false indicates terminating the traversal. It should be propagated with an early return. On the contrary, true indicates that all fields of self have been traversed:

if !visitor.visit_simple_selector(&self.some_simple_selector) {
    return false;
}
if !self.some_component.visit(visitor) {
    return false;
}
true

pub fn parse<'i, 't, P>( parser: &P, input: &mut CssParser<'i, 't> ) -> Result<Self, ParseError<'i, P::Error>>where P: Parser<'i, Impl = Impl>,

Parse a selector, without any pseudo-element.

pub fn new_invalid(s: &str) -> Self

pub fn is_rightmost(&self, offset: usize) -> bool

Is the compound starting at the offset the subject compound, or referring to its pseudo-element?

Trait Implementations

impl<Impl: Clone + SelectorImpl> Clone for Selector<Impl>

fn clone(&self) -> Selector<Impl>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Impl: SelectorImpl> Debug for Selector<Impl>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Impl: PartialEq + SelectorImpl> PartialEq<Selector<Impl>> for Selector<Impl>

fn eq(&self, other: &Selector<Impl>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Impl: SelectorImpl> ToCss for Selector<Impl>

fn to_css<W>(&self, dest: &mut W) -> Resultwhere W: Write,

Serialize self in CSS syntax, writing to dest.

fn to_css_string(&self) -> String

Serialize self in CSS syntax and return a string.

impl<Impl: SelectorImpl> ToShmem for Selector<Impl>where ThinArc<SpecificityAndFlags, Component<Impl>>: ToShmem,

fn to_shmem(&self, builder: &mut SharedMemoryBuilder) -> Result<Self>

Clones this value into a form suitable for writing into a SharedMemoryBuilder.

impl<Impl: Eq + SelectorImpl> Eq for Selector<Impl>

impl<Impl: SelectorImpl> StructuralEq for Selector<Impl>

impl<Impl: SelectorImpl> StructuralPartialEq for Selector<Impl>