Struct style::stylesheets::rule_parser::TopLevelRuleParser

source ·
pub struct TopLevelRuleParser<'a, 'i> {
    pub shared_lock: &'a SharedRwLock,
    pub loader: Option<&'a dyn StylesheetLoader>,
    pub context: ParserContext<'a>,
    pub state: State,
    pub dom_error: Option<RulesMutateError>,
    pub insert_rule_context: Option<InsertRuleContext<'a>>,
    pub allow_import_rules: AllowImportRules,
    pub wants_first_declaration_block: bool,
    pub first_declaration_block: PropertyDeclarationBlock,
    pub declaration_parser_state: DeclarationParserState<'i>,
    pub error_reporting_state: Vec<SelectorList<SelectorImpl>>,
    pub rules: Vec<CssRule>,
}
Expand description

The parser for the top-level rules in a stylesheet.

Fields§

§shared_lock: &'a SharedRwLock

A reference to the lock we need to use to create rules.

§loader: Option<&'a dyn StylesheetLoader>

A reference to a stylesheet loader if applicable, for @import rules.

§context: ParserContext<'a>

The top-level parser context.

§state: State

The current state of the parser.

§dom_error: Option<RulesMutateError>

Whether we have tried to parse was invalid due to being in the wrong place (e.g. an @import rule was found while in the Body state). Reset to false when take_had_hierarchy_error is called.

§insert_rule_context: Option<InsertRuleContext<'a>>

The info we need insert a rule in a list.

§allow_import_rules: AllowImportRules

Whether @import rules will be allowed.

§wants_first_declaration_block: bool

Whether to keep declarations into first_declaration_block, rather than turning it into a nested declarations rule.

§first_declaration_block: PropertyDeclarationBlock

The first declaration block, only relevant when wants_first_declaration_block is true.

§declaration_parser_state: DeclarationParserState<'i>

Parser state for declaration blocks in either nested rules or style rules.

§error_reporting_state: Vec<SelectorList<SelectorImpl>>

State we keep around only for error reporting purposes. Right now that contains just the selectors stack for nesting, if any.

TODO(emilio): This isn’t populated properly for insertRule() but…

§rules: Vec<CssRule>

The rules we’ve parsed so far.

Implementations§

source§

impl<'a, 'i> TopLevelRuleParser<'a, 'i>

source

fn nested(&mut self) -> &mut NestedRuleParser<'a, 'i>

source

pub fn state(&self) -> State

Returns the current state of the parser.

source

pub fn can_parse_declarations(&self) -> bool

If we’re in a nested state, this returns whether declarations can be parsed. See RuleBodyItemParser::parse_declarations().

source

fn in_style_rule(&self) -> bool

source

fn in_page_rule(&self) -> bool

source

fn in_style_or_page_rule(&self) -> bool

source

fn check_state(&mut self, new_state: State) -> bool

Checks whether we can parse a rule that would transition us to new_state.

This is usually a simple branch, but we may need more bookkeeping if doing insertRule from CSSOM.

Trait Implementations§

source§

impl<'a, 'i> AtRuleParser<'i> for TopLevelRuleParser<'a, 'i>

§

type Prelude = AtRulePrelude

The intermediate representation of prelude of an at-rule.
§

type AtRule = SourcePosition

The finished representation of an at-rule.
§

type Error = StyleParseErrorKind<'i>

The error type that is included in the ParseError value that can be returned.
source§

fn parse_prelude<'t>( &mut self, name: CowRcStr<'i>, input: &mut Parser<'i, 't>, ) -> Result<AtRulePrelude, ParseError<'i>>

Parse the prelude of an at-rule with the given name. Read more
source§

fn parse_block<'t>( &mut self, prelude: AtRulePrelude, start: &ParserState, input: &mut Parser<'i, 't>, ) -> Result<Self::AtRule, ParseError<'i>>

Parse the content of a { /* ... */ } block for the body of the at-rule. Read more
source§

fn rule_without_block( &mut self, prelude: AtRulePrelude, start: &ParserState, ) -> Result<Self::AtRule, ()>

End an at-rule which doesn’t have block. Return the finished representation of the at-rule. Read more
source§

impl<'a, 'i> QualifiedRuleParser<'i> for TopLevelRuleParser<'a, 'i>

§

type Prelude = SelectorList<SelectorImpl>

The intermediate representation of a qualified rule prelude.
§

type QualifiedRule = SourcePosition

The finished representation of a qualified rule.
§

type Error = StyleParseErrorKind<'i>

The error type that is included in the ParseError value that can be returned.
source§

fn parse_prelude<'t>( &mut self, input: &mut Parser<'i, 't>, ) -> Result<Self::Prelude, ParseError<'i>>

Parse the prelude of a qualified rule. For style rules, this is as Selector list. Read more
source§

fn parse_block<'t>( &mut self, prelude: Self::Prelude, start: &ParserState, input: &mut Parser<'i, 't>, ) -> Result<Self::QualifiedRule, ParseError<'i>>

Parse the content of a { /* ... */ } block for the body of the qualified rule. Read more

Auto Trait Implementations§

§

impl<'a, 'i> Freeze for TopLevelRuleParser<'a, 'i>

§

impl<'a, 'i> !RefUnwindSafe for TopLevelRuleParser<'a, 'i>

§

impl<'a, 'i> !Send for TopLevelRuleParser<'a, 'i>

§

impl<'a, 'i> !Sync for TopLevelRuleParser<'a, 'i>

§

impl<'a, 'i> Unpin for TopLevelRuleParser<'a, 'i>

§

impl<'a, 'i> !UnwindSafe for TopLevelRuleParser<'a, '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, 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