summaryrefslogtreecommitdiffstats
path: root/servo/components/style/parser.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-07 19:33:14 +0000
commit36d22d82aa202bb199967e9512281e9a53db42c9 (patch)
tree105e8c98ddea1c1e4784a60a5a6410fa416be2de /servo/components/style/parser.rs
parentInitial commit. (diff)
downloadfirefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.tar.xz
firefox-esr-36d22d82aa202bb199967e9512281e9a53db42c9.zip
Adding upstream version 115.7.0esr.upstream/115.7.0esrupstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'servo/components/style/parser.rs')
-rw-r--r--servo/components/style/parser.rs210
1 files changed, 210 insertions, 0 deletions
diff --git a/servo/components/style/parser.rs b/servo/components/style/parser.rs
new file mode 100644
index 0000000000..8d8d408f53
--- /dev/null
+++ b/servo/components/style/parser.rs
@@ -0,0 +1,210 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+
+//! The context within which CSS code is parsed.
+
+use crate::context::QuirksMode;
+use crate::error_reporting::{ContextualParseError, ParseErrorReporter};
+use crate::stylesheets::{CssRuleType, CssRuleTypes, Namespaces, Origin, UrlExtraData};
+use crate::use_counters::UseCounters;
+use cssparser::{Parser, SourceLocation, UnicodeRange};
+use std::borrow::Cow;
+use style_traits::{OneOrMoreSeparated, ParseError, ParsingMode, Separator};
+
+/// Asserts that all ParsingMode flags have a matching ParsingMode value in gecko.
+#[cfg(feature = "gecko")]
+#[inline]
+pub fn assert_parsing_mode_match() {
+ use crate::gecko_bindings::structs;
+
+ macro_rules! check_parsing_modes {
+ ( $( $a:ident => $b:path ),*, ) => {
+ if cfg!(debug_assertions) {
+ let mut modes = ParsingMode::all();
+ $(
+ assert_eq!(structs::$a as usize, $b.bits() as usize, stringify!($b));
+ modes.remove($b);
+ )*
+ assert_eq!(modes, ParsingMode::empty(), "all ParsingMode bits should have an assertion");
+ }
+ }
+ }
+
+ check_parsing_modes! {
+ ParsingMode_Default => ParsingMode::DEFAULT,
+ ParsingMode_AllowUnitlessLength => ParsingMode::ALLOW_UNITLESS_LENGTH,
+ ParsingMode_AllowAllNumericValues => ParsingMode::ALLOW_ALL_NUMERIC_VALUES,
+ }
+}
+
+/// The data that the parser needs from outside in order to parse a stylesheet.
+pub struct ParserContext<'a> {
+ /// The `Origin` of the stylesheet, whether it's a user, author or
+ /// user-agent stylesheet.
+ pub stylesheet_origin: Origin,
+ /// The extra data we need for resolving url values.
+ pub url_data: &'a UrlExtraData,
+ /// The current rule types, if any.
+ pub rule_types: CssRuleTypes,
+ /// The mode to use when parsing.
+ pub parsing_mode: ParsingMode,
+ /// The quirks mode of this stylesheet.
+ pub quirks_mode: QuirksMode,
+ /// The active error reporter, or none if error reporting is disabled.
+ error_reporter: Option<&'a dyn ParseErrorReporter>,
+ /// The currently active namespaces.
+ pub namespaces: Cow<'a, Namespaces>,
+ /// The use counters we want to record while parsing style rules, if any.
+ pub use_counters: Option<&'a UseCounters>,
+}
+
+impl<'a> ParserContext<'a> {
+ /// Create a parser context.
+ #[inline]
+ pub fn new(
+ stylesheet_origin: Origin,
+ url_data: &'a UrlExtraData,
+ rule_type: Option<CssRuleType>,
+ parsing_mode: ParsingMode,
+ quirks_mode: QuirksMode,
+ namespaces: Cow<'a, Namespaces>,
+ error_reporter: Option<&'a dyn ParseErrorReporter>,
+ use_counters: Option<&'a UseCounters>,
+ ) -> Self {
+ Self {
+ stylesheet_origin,
+ url_data,
+ rule_types: rule_type.map(CssRuleTypes::from).unwrap_or_default(),
+ parsing_mode,
+ quirks_mode,
+ error_reporter,
+ namespaces,
+ use_counters,
+ }
+ }
+
+ /// Temporarily sets the rule_type and executes the callback function, returning its result.
+ pub fn nest_for_rule<R>(
+ &mut self,
+ rule_type: CssRuleType,
+ cb: impl FnOnce(&mut Self) -> R,
+ ) -> R {
+ let old_rule_types = self.rule_types;
+ self.rule_types.insert(rule_type);
+ let r = cb(self);
+ self.rule_types = old_rule_types;
+ r
+ }
+
+ /// Whether we're in a @page rule.
+ #[inline]
+ pub fn in_page_rule(&self) -> bool {
+ self.rule_types.contains(CssRuleType::Page)
+ }
+
+ /// Get the rule type, which assumes that one is available.
+ pub fn rule_types(&self) -> CssRuleTypes {
+ self.rule_types
+ }
+
+ /// Returns whether CSS error reporting is enabled.
+ #[inline]
+ pub fn error_reporting_enabled(&self) -> bool {
+ self.error_reporter.is_some()
+ }
+
+ /// Record a CSS parse error with this context’s error reporting.
+ pub fn log_css_error(&self, location: SourceLocation, error: ContextualParseError) {
+ let error_reporter = match self.error_reporter {
+ Some(r) => r,
+ None => return,
+ };
+
+ error_reporter.report_error(self.url_data, location, error)
+ }
+
+ /// Whether we're in a user-agent stylesheet.
+ #[inline]
+ pub fn in_ua_sheet(&self) -> bool {
+ self.stylesheet_origin == Origin::UserAgent
+ }
+
+ /// Returns whether chrome-only rules should be parsed.
+ #[inline]
+ pub fn chrome_rules_enabled(&self) -> bool {
+ self.url_data.chrome_rules_enabled() || self.stylesheet_origin == Origin::User
+ }
+
+ /// Whether we're in a user-agent stylesheet or chrome rules are enabled.
+ #[inline]
+ pub fn in_ua_or_chrome_sheet(&self) -> bool {
+ self.in_ua_sheet() || self.chrome_rules_enabled()
+ }
+}
+
+/// A trait to abstract parsing of a specified value given a `ParserContext` and
+/// CSS input.
+///
+/// This can be derived on keywords with `#[derive(Parse)]`.
+///
+/// The derive code understands the following attributes on each of the variants:
+///
+/// * `#[parse(aliases = "foo,bar")]` can be used to alias a value with another
+/// at parse-time.
+///
+/// * `#[parse(condition = "function")]` can be used to make the parsing of the
+/// value conditional on `function`, which needs to fulfill
+/// `fn(&ParserContext) -> bool`.
+pub trait Parse: Sized {
+ /// Parse a value of this type.
+ ///
+ /// Returns an error on failure.
+ fn parse<'i, 't>(
+ context: &ParserContext,
+ input: &mut Parser<'i, 't>,
+ ) -> Result<Self, ParseError<'i>>;
+}
+
+impl<T> Parse for Vec<T>
+where
+ T: Parse + OneOrMoreSeparated,
+ <T as OneOrMoreSeparated>::S: Separator,
+{
+ fn parse<'i, 't>(
+ context: &ParserContext,
+ input: &mut Parser<'i, 't>,
+ ) -> Result<Self, ParseError<'i>> {
+ <T as OneOrMoreSeparated>::S::parse(input, |i| T::parse(context, i))
+ }
+}
+
+impl<T> Parse for Box<T>
+where
+ T: Parse,
+{
+ fn parse<'i, 't>(
+ context: &ParserContext,
+ input: &mut Parser<'i, 't>,
+ ) -> Result<Self, ParseError<'i>> {
+ T::parse(context, input).map(Box::new)
+ }
+}
+
+impl Parse for crate::OwnedStr {
+ fn parse<'i, 't>(
+ _: &ParserContext,
+ input: &mut Parser<'i, 't>,
+ ) -> Result<Self, ParseError<'i>> {
+ Ok(input.expect_string()?.as_ref().to_owned().into())
+ }
+}
+
+impl Parse for UnicodeRange {
+ fn parse<'i, 't>(
+ _: &ParserContext,
+ input: &mut Parser<'i, 't>,
+ ) -> Result<Self, ParseError<'i>> {
+ Ok(UnicodeRange::parse(input)?)
+ }
+}