orinium_browser/engine/layouter/

css_resolver.rs

//! A CSS resolver that handles selector matching and value resolution.

use super::builder::resolve_css_len;
use crate::engine::animation::types::KeyframeStop as RuntimeKeyframeStop;
use crate::engine::animation::types::KeyframesRule as RuntimeKeyframesRule;
use crate::engine::css::parser::{AtQuery, ComplexSelector, CssNode, CssNodeType, RangeOperator};
use crate::engine::css::values::{CssIdent, CssValue};
use crate::engine::layouter::types::ColorScheme;

use std::collections::{HashMap, HashSet};
use std::sync::Arc;

pub(super) type Properties = HashMap<String, ResolvedDeclaration>;

struct Declaration {
    name: String,
    value: CssValue,
    important: bool,
}

/// Origin of a declaration in the CSS cascade.
#[derive(Debug, Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash)]
pub enum StyleOrigin {
    /// Browser-provided default styling.
    UserAgent,
    /// Styling supplied by the loaded document.
    Author,
}

/// The originating pseudo-element of a declaration, if any.
///
/// Declarations from a `::before`/`::after` rule block carry the tag here and
/// their selector is stored *without* the pseudo-element, so normal subject
/// matching applies to the originating element.
#[derive(Debug, Clone, Copy, Default, PartialEq, Eq, Hash)]
pub enum PseudoElement {
    #[default]
    None,
    Before,
    After,
}

impl PseudoElement {
    /// Maps a parsed pseudo-element name (`before`, `after`, …) to its kind.
    /// Legacy single-colon names are normalized by the parser.
    pub fn from_name(name: &str) -> Option<Self> {
        match name.to_ascii_lowercase().as_str() {
            "before" => Some(Self::Before),
            "after" => Some(Self::After),
            _ => None,
        }
    }
}

/// A single CSS declaration after selector resolution and value processing.
///
/// `ResolvedDeclaration` represents one property-value pair that has been
/// fully associated with a selector and enriched with all information
/// required for CSS cascade resolution.
///
/// This structure is produced after:
/// - Parsing selectors
/// - Resolving `var()` using custom properties
/// - Computing selector specificity
///
/// During the cascade phase, multiple `ResolvedDeclaration`s with the same
/// property name may compete. The winner is determined by comparing:
///
/// 1. `important` declarations
/// 2. cascade `origin`
/// 3. `specificity` (higher specificity wins)
/// 4. `order` (later declarations win)
#[derive(Debug, Clone)]
pub struct ResolvedDeclaration {
    pub selector: Arc<ComplexSelector>,
    /// The `::before`/`::after` pseudo-element this declaration styles, if any.
    pub pseudo: PseudoElement,
    pub name: String,
    pub value: CssValue,
    pub specificity: (u32, u32, u32),
    pub order: usize,
    pub important: bool,
    pub origin: StyleOrigin,
    /// Nested `@media`/`@supports` conditions which must all match before this
    /// declaration applies. Shared across declarations of the same rule block.
    pub media_queries: Arc<Vec<AtQuery>>,
}

pub type ResolvedStyles = Vec<ResolvedDeclaration>;

/// Registry of `@keyframes` rules keyed by animation name.
pub type KeyframesRegistry = HashMap<String, RuntimeKeyframesRule>;

/// Result of resolving a stylesheet: cascaded declarations plus keyframes.
#[derive(Debug, Clone, Default)]
pub struct StylesheetResolution {
    pub declarations: ResolvedStyles,
    pub keyframes: KeyframesRegistry,
}

impl StylesheetResolution {
    pub fn append(&mut self, mut other: StylesheetResolution) {
        append_resolved_styles(
            &mut self.declarations,
            std::mem::take(&mut other.declarations),
        );
        // Later keyframes with the same name override earlier ones (last wins),
        // matching common author expectations for MVP.
        for (name, rule) in other.keyframes {
            self.keyframes.insert(name, rule);
        }
    }
}

/// Indexed collection of resolved CSS declarations partitioned by selector subject.
///
/// Instead of matching every declaration against every DOM element
/// `O(N_DOM * M_CSS)`, declarations are grouped by *selector* and
/// indexed by their subject selector (rightmost part):
/// - ID selector (`#id`)
/// - Class selectors (`.class`)
/// - Tag name selector (`div`, `p`, etc.)
/// - Attribute selectors (`[hidden]`)
/// - Universal / pseudo-class-only selectors
///
/// Declarations produced by one rule block share an identical selector, so
/// grouped matching evaluates each selector at most once per element instead of
/// once per declaration.
#[derive(Debug, Clone, Default)]
pub struct RuleSet {
    declarations: Vec<ResolvedDeclaration>,
    /// Declarations sharing a structurally identical selector, so a selector is
    /// matched once per element for the whole group.
    groups: Vec<SelectorGroup>,
    id_rules: HashMap<String, Vec<usize>>,
    class_rules: HashMap<String, Vec<usize>>,
    tag_rules: HashMap<String, Vec<usize>>,
    attribute_rules: HashMap<String, Vec<usize>>,
    universal_rules: Vec<usize>,
}

/// Declarations whose selectors are structurally identical. Matching
/// `selector` once is sufficient to cascade every declaration in `decls`;
/// `decls` holds indices into [`RuleSet::declarations`].
#[derive(Debug, Clone)]
pub struct SelectorGroup {
    pub selector: Arc<ComplexSelector>,
    pub decls: Vec<usize>,
}

impl RuleSet {
    /// Builds a `RuleSet` holding a copy of a list of `ResolvedDeclaration`s, pre-filtering by `MediaEnvironment`.
    pub fn from_declarations(
        declarations: &[ResolvedDeclaration],
        media_env: &MediaEnvironment,
    ) -> Self {
        // First pass: media-filter and group declarations by selector. All
        // declarations of one rule block share an identical selector, so each
        // unique selector is matched once per element for all its declarations.
        let mut groups = Vec::<SelectorGroup>::new();
        let mut group_by_selector: HashMap<Arc<ComplexSelector>, usize> = HashMap::new();
        for (idx, decl) in declarations.iter().enumerate() {
            // Media query evaluation done ONCE per declaration during RuleSet construction!
            if !decl.matches_media(media_env) {
                continue;
            }
            match group_by_selector.get(&decl.selector) {
                Some(&group_idx) => groups[group_idx].decls.push(idx),
                None => {
                    let group_idx = groups.len();
                    groups.push(SelectorGroup {
                        selector: Arc::clone(&decl.selector),
                        decls: vec![idx],
                    });
                    group_by_selector.insert(Arc::clone(&decl.selector), group_idx);
                }
            }
        }

        let mut id_rules: HashMap<String, Vec<usize>> = HashMap::new();
        let mut class_rules: HashMap<String, Vec<usize>> = HashMap::new();
        let mut tag_rules: HashMap<String, Vec<usize>> = HashMap::new();
        let mut attribute_rules: HashMap<String, Vec<usize>> = HashMap::new();
        let mut universal_rules = Vec::new();

        for (group_idx, group) in groups.iter().enumerate() {
            // ComplexSelector parts are stored right-to-left: parts[0] is the subject selector.
            if let Some(subject_part) = group.selector.parts.first() {
                let sel = &subject_part.selector;
                if let Some(id) = &sel.id {
                    id_rules.entry(id.clone()).or_default().push(group_idx);
                } else if let Some(first_class) = sel.classes.first() {
                    // Index by the first class to prevent duplicate indexing
                    class_rules
                        .entry(first_class.clone())
                        .or_default()
                        .push(group_idx);
                } else if let Some(tag) = &sel.tag {
                    tag_rules.entry(tag.clone()).or_default().push(group_idx);
                } else if let Some(first_attr) = sel.attributes.first() {
                    attribute_rules
                        .entry(first_attr.name.clone())
                        .or_default()
                        .push(group_idx);
                } else {
                    universal_rules.push(group_idx);
                }
            } else {
                universal_rules.push(group_idx);
            }
        }

        Self {
            declarations: declarations.to_vec(),
            groups,
            id_rules,
            class_rules,
            tag_rules,
            attribute_rules,
            universal_rules,
        }
    }

    /// Returns an iterator over selector candidates that might match the given
    /// element, each unique selector at most once per element.
    pub fn query_candidates(
        &self,
        element: &crate::engine::css::matcher::ElementInfo,
    ) -> impl Iterator<Item = &SelectorGroup> {
        let universal = self.universal_rules.iter().map(|&g| &self.groups[g]);

        let id = element
            .id
            .as_ref()
            .and_then(|id_str| self.id_rules.get(id_str.as_ref()))
            .into_iter()
            .flat_map(|indices| indices.iter().map(|&g| &self.groups[g]));

        let tag = self
            .tag_rules
            .get(element.tag_name.as_ref())
            .into_iter()
            .flat_map(|indices| indices.iter().map(|&g| &self.groups[g]));

        let classes = element
            .classes
            .iter()
            .filter_map(|class_str| self.class_rules.get(class_str.as_ref()))
            .flat_map(|indices| indices.iter().map(|&g| &self.groups[g]));

        let attributes = element
            .attributes
            .iter()
            .filter_map(|(name, _)| self.attribute_rules.get(name.as_ref()))
            .flat_map(|indices| indices.iter().map(|&g| &self.groups[g]));

        universal
            .chain(id)
            .chain(tag)
            .chain(classes)
            .chain(attributes)
    }

    pub fn declarations(&self) -> &[ResolvedDeclaration] {
        &self.declarations
    }
}

impl ResolvedDeclaration {
    /// Returns whether this declaration wins over another matching declaration.
    pub fn outranks(&self, other: &Self) -> bool {
        (self.important, self.origin, self.specificity, self.order)
            > (
                other.important,
                other.origin,
                other.specificity,
                other.order,
            )
    }

    /// Returns whether every enclosing `@media` rule matches `environment`.
    pub fn matches_media(&self, environment: &MediaEnvironment) -> bool {
        self.media_queries
            .iter()
            .all(|query| MediaEvaluator::evaluate(query, environment))
    }
}

/// Values used to evaluate media queries for the current page.
#[derive(Debug, Clone, Copy, PartialEq)]
pub struct MediaEnvironment {
    /// Width of the page viewport in CSS pixels.
    pub viewport_width: f32,
    /// Height of the page viewport in CSS pixels.
    pub viewport_height: f32,
    /// Operating-system color preference used by `prefers-color-scheme`.
    pub color_scheme: ColorScheme,
}

impl MediaEnvironment {
    pub fn new(viewport: (f32, f32), color_scheme: ColorScheme) -> Self {
        Self {
            viewport_width: viewport.0,
            viewport_height: viewport.1,
            color_scheme,
        }
    }

    /// The viewport this environment was built for, as `(width, height)`.
    pub fn viewport(&self) -> (f32, f32) {
        (self.viewport_width, self.viewport_height)
    }
}

/// Evaluates a parsed media query (as produced by
/// [`crate::engine::css::parser::Parser::parse_media_query`]) against the
/// current page environment, mirroring how `@media` rules are filtered.
pub fn evaluate_media_query(query: &AtQuery, environment: &MediaEnvironment) -> bool {
    MediaEvaluator::evaluate(query, environment)
}

/// Keeps only declarations whose enclosing media queries currently match.
pub fn filter_media<'a>(
    styles: &'a ResolvedStyles,
    environment: &'a MediaEnvironment,
) -> impl Iterator<Item = &'a ResolvedDeclaration> {
    styles
        .iter()
        .filter(move |declaration| declaration.matches_media(environment))
}

/// Appends resolved declarations while preserving source order across stylesheets.
pub fn append_resolved_styles(target: &mut ResolvedStyles, mut incoming: ResolvedStyles) {
    let next_order = target
        .iter()
        .map(|declaration| declaration.order)
        .max()
        .map_or(0, |order| order + 1);
    for declaration in &mut incoming {
        declaration.order += next_order;
    }
    target.extend(incoming);
}

/// Resolves a `style` attribute's declarations into (name, value, important)
/// triples, applying `var()` and `!important` handling like a rule block.
///
/// Inline styles participate in the cascade as author-origin declarations with
/// the highest specificity, so callers should apply them after stylesheet
/// declarations for the same element.
pub fn resolve_inline_style(style_attr: &str) -> Vec<(String, CssValue, bool)> {
    let mut parser = crate::engine::css::parser::Parser::new(style_attr);
    let Ok(nodes) = parser.parse_declarations() else {
        return Vec::new();
    };

    let declarations = DeclarationResolver::collect(&nodes);
    let mut custom_properties = Properties::new();
    for declaration in &declarations {
        if declaration.name.starts_with("--") {
            set_inline_custom_property(
                &mut custom_properties,
                declaration.name.clone(),
                declaration.value.clone(),
                declaration.important,
            );
        }
    }

    declarations
        .into_iter()
        .map(|declaration| {
            let value = if declaration.name.starts_with("--") {
                declaration.value
            } else {
                DeclarationResolver::resolve_var(
                    &declaration.value,
                    &custom_properties,
                    &mut HashSet::new(),
                )
                .unwrap_or(declaration.value)
            };
            (declaration.name, value, declaration.important)
        })
        .collect()
}

pub fn resolve_inline_value(value: &str) -> Option<CssValue> {
    let mut tokenizer = crate::engine::css::tokenizer::Tokenizer::new(value);
    let mut tokens = Vec::new();

    loop {
        let token = tokenizer.next_token();
        if token == crate::engine::css::tokenizer::Token::EOF {
            break;
        }

        tokens.push(token);
    }

    let Ok(value) = crate::engine::css::parser::Parser::parse_tokens_to_css_value(tokens) else {
        return None;
    };

    Some(value)
}

/// Adds an inline custom property to an element's inherited property map.
/// Inline author declarations outrank stylesheet declarations unless the
/// stylesheet winner is `!important` and the inline declaration is not.
pub(super) fn set_inline_custom_property(
    properties: &mut Properties,
    name: String,
    value: CssValue,
    important: bool,
) {
    if properties
        .get(&name)
        .is_some_and(|current| current.important && !important)
    {
        return;
    }

    properties.insert(
        name.clone(),
        ResolvedDeclaration {
            selector: Arc::new(ComplexSelector { parts: Vec::new() }),
            pseudo: PseudoElement::None,
            name,
            value,
            specificity: (u32::MAX, u32::MAX, u32::MAX),
            order: usize::MAX,
            important,
            origin: StyleOrigin::Author,
            media_queries: Arc::new(Vec::new()),
        },
    );
}

// ============================================================
//  CssResolver — tree walk + rule resolution
// ============================================================

pub struct CssResolver;

impl CssResolver {
    /// Resolves an author stylesheet into declarations used by layout.
    pub fn resolve(stylesheet: &CssNode) -> ResolvedStyles {
        Self::resolve_stylesheet(stylesheet).declarations
    }

    /// Resolves a stylesheet using the supplied cascade origin.
    pub fn resolve_with_origin(stylesheet: &CssNode, origin: StyleOrigin) -> ResolvedStyles {
        Self::resolve_stylesheet_with_origin(stylesheet, origin).declarations
    }

    /// Resolves an author stylesheet into declarations and keyframes.
    pub fn resolve_stylesheet(stylesheet: &CssNode) -> StylesheetResolution {
        Self::resolve_stylesheet_with_origin(stylesheet, StyleOrigin::Author)
    }

    /// Resolves a stylesheet using the supplied cascade origin.
    pub fn resolve_stylesheet_with_origin(
        stylesheet: &CssNode,
        origin: StyleOrigin,
    ) -> StylesheetResolution {
        let mut styles = Vec::new();
        let mut keyframes = KeyframesRegistry::new();
        let mut order = 0;
        Self::walk(
            stylesheet,
            &mut styles,
            &mut keyframes,
            &mut order,
            origin,
            &mut Vec::new(),
            &[],
        );
        StylesheetResolution {
            declarations: styles,
            keyframes,
        }
    }

    /// Parses declarations from an HTML `style` attribute.
    ///
    /// Inline declarations use author origin but outrank selector-based author
    /// rules of the same importance. Author `!important` declarations still
    /// outrank normal inline declarations, as required by the cascade.
    pub fn resolve_inline_style(style: &str) -> ResolvedStyles {
        let source = format!("* {{ {style} }}");
        let Ok(stylesheet) = crate::engine::css::parser::Parser::new(&source).parse() else {
            return Vec::new();
        };
        let mut declarations = Self::resolve_with_origin(&stylesheet, StyleOrigin::Author);
        for declaration in &mut declarations {
            declaration.specificity = (u32::MAX, u32::MAX, u32::MAX);
            declaration.order = usize::MAX;
        }
        declarations
    }

    fn walk(
        node: &CssNode,
        styles: &mut ResolvedStyles,
        keyframes: &mut KeyframesRegistry,
        order: &mut usize,
        origin: StyleOrigin,
        media_queries: &mut Vec<AtQuery>,
        parent_selectors: &[ComplexSelector],
    ) {
        match node.node() {
            CssNodeType::Keyframes { name, stops } => {
                if !name.is_empty() {
                    let runtime_stops = Self::convert_keyframe_stops(stops);
                    keyframes.insert(
                        name.clone(),
                        RuntimeKeyframesRule {
                            name: name.clone(),
                            stops: runtime_stops,
                        },
                    );
                }
                return;
            }
            CssNodeType::AtRule { name, params } => {
                if name.eq_ignore_ascii_case("supports") && !SupportsEvaluator::evaluate(params) {
                    return;
                }

                let is_media = name.eq_ignore_ascii_case("media");
                if is_media {
                    media_queries.push(params.clone());
                }
                for child in node.children() {
                    Self::walk(
                        child,
                        styles,
                        keyframes,
                        order,
                        origin,
                        media_queries,
                        parent_selectors,
                    );
                }
                if is_media {
                    media_queries.pop();
                }
                return;
            }
            _ => {}
        }

        let resolved_selectors =
            Self::resolve_rule(node, styles, order, origin, media_queries, parent_selectors);

        for child in node.children() {
            Self::walk(
                child,
                styles,
                keyframes,
                order,
                origin,
                media_queries,
                &resolved_selectors,
            );
        }
    }

    fn convert_keyframe_stops(
        stops: &[crate::engine::css::parser::KeyframeStop],
    ) -> Vec<RuntimeKeyframeStop> {
        let mut out = Vec::new();
        for stop in stops {
            let declarations: Vec<(String, CssValue)> = stop
                .declarations
                .iter()
                .filter(|(_, _, important)| !*important)
                .map(|(name, value, _)| (name.clone(), value.clone()))
                .collect();
            for selector in &stop.selectors {
                if let Some(offset) = Self::keyframe_selector_offset(&selector.0) {
                    out.push(RuntimeKeyframeStop {
                        offset,
                        declarations: declarations.clone(),
                    });
                }
            }
        }
        out.sort_by(|a, b| {
            a.offset
                .partial_cmp(&b.offset)
                .unwrap_or(std::cmp::Ordering::Equal)
        });
        out
    }

    fn keyframe_selector_offset(value: &CssValue) -> Option<f32> {
        match value {
            CssValue::Keyword(k) if k.eq_ignore_ascii_case("from") => Some(0.0),
            CssValue::Keyword(k) if k.eq_ignore_ascii_case("to") => Some(1.0),
            CssValue::Length(v, crate::engine::css::values::Unit::Percent) => {
                Some((*v / 100.0).clamp(0.0, 1.0))
            }
            CssValue::Number(v) => {
                // tolerate bare 0/1
                if *v <= 1.0 {
                    Some(v.clamp(0.0, 1.0))
                } else {
                    Some((v / 100.0).clamp(0.0, 1.0))
                }
            }
            _ => None,
        }
    }

    fn resolve_rule(
        node: &CssNode,
        styles: &mut ResolvedStyles,
        order: &mut usize,
        origin: StyleOrigin,
        media_queries: &[AtQuery],
        parent_selectors: &[ComplexSelector],
    ) -> Vec<ComplexSelector> {
        let CssNodeType::Rule { selectors } = node.node() else {
            return vec![];
        };

        let resolved_selectors: Vec<ComplexSelector> = selectors
            .iter()
            .flat_map(|child| {
                if parent_selectors.is_empty() {
                    vec![child.clone()]
                } else {
                    parent_selectors
                        .iter()
                        .map(|parent| parent.nest(child))
                        .collect::<Vec<_>>()
                }
            })
            .collect();

        let declarations = DeclarationResolver::collect(node.children());

        // `::before`/`::after` declarations are kept with the pseudo-element
        // stripped from the selector and tagged on the declaration, so the
        // builder can synthesize the generated box with normal subject
        // matching against the originating element.
        for selector in resolved_selectors.iter() {
            let subject_pseudo = selector
                .parts
                .first()
                .and_then(|part| part.selector.pseudo_element.as_deref())
                .and_then(PseudoElement::from_name)
                // Only the subject selector's pseudo-element matters; a
                // pseudo-element on an ancestor part would make the rule match
                // nothing real, so treat it as unsupported and skip it.
                .filter(|_| {
                    selector.parts[1..]
                        .iter()
                        .all(|part| part.selector.pseudo_element.is_none())
                });
            let selector_for_push = if subject_pseudo.is_some() {
                let mut selector = selector.clone();
                for part in &mut selector.parts {
                    part.selector.pseudo_element = None;
                }
                selector
            } else {
                selector.clone()
            };
            Self::push_resolved(
                &selector_for_push,
                subject_pseudo.unwrap_or(PseudoElement::None),
                &declarations,
                styles,
                order,
                origin,
                media_queries,
            );
        }

        resolved_selectors
    }

    fn push_resolved(
        selector: &ComplexSelector,
        pseudo: PseudoElement,
        declarations: &[Declaration],
        styles: &mut ResolvedStyles,
        order: &mut usize,
        origin: StyleOrigin,
        media_queries: &[AtQuery],
    ) {
        let specificity = selector.specificity();
        let selector = Arc::new(selector.clone());
        let media_queries = Arc::new(media_queries.to_vec());

        for decl in declarations {
            styles.push(ResolvedDeclaration {
                selector: Arc::clone(&selector),
                pseudo,
                name: decl.name.clone(),
                value: decl.value.clone(),
                specificity,
                order: *order,
                important: decl.important,
                origin,
                media_queries: Arc::clone(&media_queries),
            });
            *order += 1;
        }
    }
}

struct MediaEvaluator;

impl MediaEvaluator {
    fn evaluate(query: &AtQuery, environment: &MediaEnvironment) -> bool {
        match query {
            AtQuery::Group(items) => Self::evaluate_group(items, environment),
            item => Self::evaluate_clause(std::slice::from_ref(item), environment),
        }
    }

    fn evaluate_clause(items: &[AtQuery], environment: &MediaEnvironment) -> bool {
        if items.is_empty() {
            return false;
        }
        let negate = matches!(items.first(), Some(AtQuery::Keyword(keyword)) if keyword.eq_ignore_ascii_case("not"));
        let mut saw_operand = false;
        let matches = items
            .iter()
            .skip(usize::from(negate))
            .all(|item| match item {
                AtQuery::Keyword(keyword)
                    if keyword.eq_ignore_ascii_case("and")
                        || keyword.eq_ignore_ascii_case("only") =>
                {
                    true
                }
                AtQuery::Keyword(keyword)
                    if keyword.eq_ignore_ascii_case("all")
                        || keyword.eq_ignore_ascii_case("screen") =>
                {
                    saw_operand = true;
                    true
                }
                AtQuery::Keyword(keyword) if keyword.eq_ignore_ascii_case("print") => {
                    saw_operand = true;
                    false
                }
                AtQuery::Keyword(_) => {
                    saw_operand = true;
                    false
                }
                AtQuery::Condition { name, value } => {
                    saw_operand = true;
                    Self::evaluate_condition(name, value, environment)
                }
                AtQuery::Range { left, name, right } => {
                    saw_operand = true;
                    Self::evaluate_range(left.as_ref(), name, right.as_ref(), environment)
                }
                AtQuery::Group(group) => {
                    saw_operand = true;
                    Self::evaluate_group(group, environment)
                }
            });
        if !saw_operand {
            return false;
        }
        if negate { !matches } else { matches }
    }

    fn evaluate_group(items: &[AtQuery], environment: &MediaEnvironment) -> bool {
        items
            .split(|item| matches!(item, AtQuery::Keyword(keyword) if keyword == ","))
            .any(|clause| Self::evaluate_clause(clause, environment))
    }

    fn evaluate_range(
        left: Option<&(CssValue, RangeOperator)>,
        name: &str,
        right: Option<&(RangeOperator, CssValue)>,
        environment: &MediaEnvironment,
    ) -> bool {
        let name = name.to_ascii_lowercase();

        let actual = match name.as_str() {
            "width" => environment.viewport_width,
            "height" => environment.viewport_height,
            _ => return false,
        };

        if let Some((value, operator)) = left {
            let Some(expected) = Self::length_px(value, environment) else {
                return false;
            };

            if !Self::compare_range(expected, *operator, actual) {
                return false;
            }
        }

        if let Some((operator, value)) = right {
            let Some(expected) = Self::length_px(value, environment) else {
                return false;
            };

            if !Self::compare_range(actual, *operator, expected) {
                return false;
            }
        }

        true
    }

    fn compare_range(actual: f32, operator: RangeOperator, expected: f32) -> bool {
        match operator {
            RangeOperator::Less => actual < expected,
            RangeOperator::LessEqual => actual <= expected,
            RangeOperator::Equal => (actual - expected).abs() <= f32::EPSILON,
            RangeOperator::GreaterEqual => actual >= expected,
            RangeOperator::Greater => actual > expected,
        }
    }

    fn evaluate_condition(name: &str, value: &CssValue, environment: &MediaEnvironment) -> bool {
        let name = name.to_ascii_lowercase();
        match name.as_str() {
            "width" | "min-width" | "max-width" => {
                Self::compare_length(&name, value, environment.viewport_width, environment)
            }
            "height" | "min-height" | "max-height" => {
                Self::compare_length(&name, value, environment.viewport_height, environment)
            }
            "orientation" => match value {
                CssValue::Keyword(keyword) if keyword.eq_ignore_ascii_case("portrait") => {
                    environment.viewport_height >= environment.viewport_width
                }
                CssValue::Keyword(keyword) if keyword.eq_ignore_ascii_case("landscape") => {
                    environment.viewport_width > environment.viewport_height
                }
                _ => false,
            },
            "prefers-color-scheme" => match value {
                CssValue::Keyword(keyword) if keyword.eq_ignore_ascii_case("dark") => {
                    environment.color_scheme == ColorScheme::Dark
                }
                CssValue::Keyword(keyword) if keyword.eq_ignore_ascii_case("light") => {
                    environment.color_scheme == ColorScheme::Light
                }
                _ => false,
            },
            _ => false,
        }
    }

    fn compare_length(
        name: &str,
        value: &CssValue,
        actual: f32,
        environment: &MediaEnvironment,
    ) -> bool {
        let Some(expected) = Self::length_px(value, environment) else {
            return false;
        };
        if name.starts_with("min-") {
            actual >= expected
        } else if name.starts_with("max-") {
            actual <= expected
        } else {
            (actual - expected).abs() <= f32::EPSILON
        }
    }

    fn length_px(value: &CssValue, environment: &MediaEnvironment) -> Option<f32> {
        let text_flow = crate::engine::layouter::types::TextFlowStyle::default();
        let len = resolve_css_len("media", std::slice::from_ref(value), &text_flow)?;
        len.resolve_with(
            None,
            environment.viewport_width,
            environment.viewport_height,
        )
    }
}

// ============================================================
//  SupportsEvaluator — `@supports` condition evaluation
// ============================================================

struct SupportsEvaluator;

impl SupportsEvaluator {
    /// Dispatch on the `AtQuery` AST variant.
    fn evaluate(query: &AtQuery) -> bool {
        match query {
            // `@supports (display: grid)` — a parenthesised group
            AtQuery::Group(items) => Self::evaluate_group(items),
            // `@supports (display: grid)` — the inner condition after unwrapping
            AtQuery::Condition { name, value } => Self::is_supported(name, value),
            // Media query range syntax is not a @supports condition.
            AtQuery::Range { .. } => false,
            // Stray keyword outside a group (malformed input)
            AtQuery::Keyword(_) => false,
        }
    }

    /// Evaluate a group of `@supports` items.
    ///
    /// The parser produces flat groups like:
    /// - `(display: grid)` → `[Group([Condition])]`
    /// - `(A) and (B)` → `[Group, Keyword("and"), Group]`
    /// - `not (A)` → `[Keyword("not"), Group]`
    /// - `(A) or (B)` → `[Group, Keyword("or"), Group]`
    fn evaluate_group(items: &[AtQuery]) -> bool {
        if items.is_empty() {
            return false;
        }

        // `not (display: grid)` — negate
        if matches!(items.first(), Some(AtQuery::Keyword(k)) if k.eq_ignore_ascii_case("not")) {
            return items.len() > 1 && !Self::evaluate(&AtQuery::Group(items[1..].to_vec()));
        }

        // `(display: flex) and (gap: 10px)` — all operands must be supported
        if let Some(operands) = Self::split_by_keyword(items, "and") {
            operands.iter().all(|g| Self::evaluate(g))
        // `(display: flex) or (display: grid)` — at least one must be supported
        } else if let Some(operands) = Self::split_by_keyword(items, "or") {
            operands.iter().any(|g| Self::evaluate(g))
        // Single group — unwrap one level
        } else if items.len() == 1 {
            Self::evaluate(&items[0])
        } else {
            items.iter().all(Self::evaluate)
        }
    }

    fn is_supported(name: &str, value: &CssValue) -> bool {
        super::builder::apply_declaration(
            name,
            value,
            &mut ui_layout::Style::default(),
            &mut super::types::ContainerStyle::default(),
            &mut super::types::TextStyle::default(),
            &mut super::types::TextFlowStyle::default(),
            &ui_layout::Style::default(),
            &super::types::ContainerStyle::default(),
            &super::types::TextStyle::default(),
            &super::types::TextFlowStyle::default(),
            &mut super::types::Overflow::default(),
            super::types::ColorScheme::Light,
        )
        .is_some()
    }

    fn split_by_keyword<'a>(items: &'a [AtQuery], keyword: &str) -> Option<Vec<&'a AtQuery>> {
        let has = items
            .iter()
            .any(|item| matches!(item, AtQuery::Keyword(k) if k.eq_ignore_ascii_case(keyword)));
        if !has {
            return None;
        }
        Some(
            items
                .iter()
                .filter(
                    |item| !matches!(item, AtQuery::Keyword(k) if k.eq_ignore_ascii_case(keyword)),
                )
                .collect(),
        )
    }
}

// ============================================================
//  DeclarationResolver — `!important` extraction, `var()` resolution
// ============================================================

pub(super) struct DeclarationResolver;

impl DeclarationResolver {
    fn collect(children: &[CssNode]) -> Vec<Declaration> {
        let mut result = Vec::new();

        for child in children {
            let CssNodeType::Declaration { name, value } = &child.node() else {
                continue;
            };

            let (value, important) = Self::extract_important(value);

            result.push(Declaration {
                name: name.clone(),
                value,
                important,
            });
        }

        result
    }

    /// Extract `!important` from a CSS value.
    ///
    /// `border: 1px solid black !important` is parsed as a `List` where the
    /// last two items are `Keyword("!")` and `Keyword("important")`.
    fn extract_important(value: &CssValue) -> (CssValue, bool) {
        match value {
            CssValue::List(list) if list.len() >= 2 => {
                let len = list.len();
                let is_important = matches!(
                    (&list[len - 2], &list[len - 1]),
                    (
                        CssValue::Keyword(bang),
                        CssValue::Keyword(ident)
                    )
                    if bang == "!" && ident.eq_ignore_ascii_case("important")
                );

                if is_important {
                    let value = if len - 2 == 1 {
                        list.iter().next().unwrap().clone()
                    } else {
                        CssValue::List(list[..len - 2].to_vec())
                    };
                    (value, true)
                } else {
                    (value.clone(), false)
                }
            }
            _ => (value.clone(), false),
        }
    }

    pub fn resolve_var(
        value: &CssValue,
        custom_props: &Properties,
        visited: &mut HashSet<CssIdent>,
    ) -> Option<CssValue> {
        match value {
            // `var(--accent)` / `var(--missing, red)` — resolve the custom property
            CssValue::Function(name, args) if name == "var" => {
                let var_name = match args.first().and_then(|argument| argument.first()) {
                    Some(CssValue::Keyword(name)) => name,
                    _ => return None,
                };

                if !visited.insert(var_name.clone()) {
                    return None;
                }

                let result = if let Some(v) = custom_props.get(var_name.as_str()) {
                    Self::resolve_var(&v.value, custom_props, visited)
                } else if let Some(fallback) = args.get(1).and_then(|argument| argument.first()) {
                    Self::resolve_var(fallback, custom_props, visited)
                } else {
                    None
                };

                visited.remove(var_name);
                result
            }

            // `env(safe-area-inset-top, 0px)` — env() substitution
            // (css-env-1 §3). UA-defined environment variables are not
            // implemented yet, so every name is unrecognized: substitute
            // the fallback (with any nested env() substituted as well),
            // and without one the declaration is invalid at
            // computed-value time.
            CssValue::Function(name, args) if name == "env" => {
                match args.first().and_then(|argument| argument.first()) {
                    Some(CssValue::Keyword(_)) => {}
                    _ => return None,
                }

                // The fallback is everything after the first comma —
                // a `<declaration-value>` that may span groups and hold
                // commas itself (`env(x, red, blue)`).
                let fallback: Vec<CssValue> = args[1..]
                    .iter()
                    .flatten()
                    .map(|v| Self::resolve_var(v, custom_props, &mut visited.clone()))
                    .collect::<Option<_>>()?;
                match fallback.len() {
                    0 => None,
                    1 => Some(fallback.into_iter().next().unwrap()),
                    _ => Some(CssValue::List(fallback)),
                }
            }

            // `rgb(var(--r), var(--g), var(--b))` — resolve args independently
            CssValue::Function(name, args) => {
                let resolved_args = args
                    .iter()
                    .map(|argument| {
                        argument
                            .iter()
                            .map(|v| Self::resolve_var(v, custom_props, &mut visited.clone()))
                            .collect::<Option<Vec<_>>>()
                    })
                    .collect::<Option<Vec<_>>>()?;
                Some(CssValue::Function(name.clone(), resolved_args))
            }

            // `1px solid var(--color)` — resolve each item independently
            CssValue::List(list) => {
                let resolved = list
                    .iter()
                    .map(|v| Self::resolve_var(v, custom_props, &mut visited.clone()))
                    .collect::<Option<Vec<_>>>()?;
                Some(CssValue::List(resolved))
            }

            // `10px` / `"hello"` / `#fff` — already concrete, pass through
            _ => Some(value.clone()),
        }
    }
}

#[cfg(test)]
mod tests {
    use super::*;
    use crate::engine::css::parser::Parser;
    use crate::engine::css::values::Unit;

    fn resolve(css: &str, origin: StyleOrigin) -> ResolvedStyles {
        let stylesheet = Parser::new(css).parse().unwrap();
        CssResolver::resolve_with_origin(&stylesheet, origin)
    }

    #[test]
    fn author_declaration_outranks_more_specific_user_agent_declaration() {
        let user_agent = resolve(
            r#"input[type="text"] { display: inline-block; }"#,
            StyleOrigin::UserAgent,
        );
        let author = resolve("input { display: block; }", StyleOrigin::Author);

        assert!(author[0].outranks(&user_agent[0]));
    }

    #[test]
    fn append_rebases_order_across_stylesheets() {
        let mut styles = resolve("input { display: inline; }", StyleOrigin::Author);
        let later = resolve("input { display: block; }", StyleOrigin::Author);
        append_resolved_styles(&mut styles, later);

        assert!(styles[1].order > styles[0].order);
        assert!(styles[1].outranks(&styles[0]));
    }

    #[test]
    fn resolve_inline_style_extracts_declarations_and_important() {
        let decls = resolve_inline_style("color: red; margin: 4px 8px !important; width: 10px");
        assert_eq!(decls.len(), 3);

        assert_eq!(decls[0].0, "color");
        assert!(!decls[0].2);

        assert_eq!(decls[1].0, "margin");
        assert!(decls[1].2);

        assert_eq!(decls[2].0, "width");
    }

    #[test]
    fn resolve_inline_style_tolerates_empty_and_malformed_input() {
        assert!(resolve_inline_style("").is_empty());
        assert!(resolve_inline_style(";;;").is_empty());
    }

    #[test]
    fn resolve_inline_style_resolves_var() {
        let decls = resolve_inline_style("--accent: blue; color: var(--accent)");
        assert_eq!(decls.len(), 2);

        let (_, color_value, _) = decls.iter().find(|(n, _, _)| n == "color").unwrap();
        assert_eq!(color_value, &CssValue::Keyword("blue".into()));
    }

    #[test]
    fn media_width_conditions_follow_viewport() {
        let styles = resolve(
            "@media screen and (max-width: 600px) { div { color: red; } }",
            StyleOrigin::Author,
        );
        let narrow = MediaEnvironment::new((600.0, 800.0), ColorScheme::Light);
        let wide = MediaEnvironment::new((601.0, 800.0), ColorScheme::Light);

        assert_eq!(filter_media(&styles, &narrow).count(), 1);
        assert_eq!(filter_media(&styles, &wide).count(), 0);
    }

    #[test]
    fn scratch_style_adjacent_media_conditions_follow_desktop_viewport() {
        let stylesheet = Parser::new(
            "@media only screen and (max-width : 479px){#view{text-align:center}.inner{margin:0 auto;width:100%}}@media only screen and (min-width : 480px)and (max-width : 767px){#view{text-align:center}.inner{margin:0 auto;width:480px}}@media only screen and (min-width : 768px)and (max-width : 941px){#view{text-align:center}.inner{margin:0 auto;width:768px}}@media only screen and (min-width : 942px){.inner{margin:0 auto;width:942px}}html,body{display:block}",
        )
        .parse_lossy();
        let styles = CssResolver::resolve_with_origin(&stylesheet, StyleOrigin::Author);
        let desktop = MediaEnvironment::new((1280.0, 800.0), ColorScheme::Light);
        let declarations = filter_media(&styles, &desktop)
            .filter(|declaration| declaration.name == "width")
            .collect::<Vec<_>>();

        assert_eq!(declarations.len(), 1);
        assert_eq!(declarations[0].name, "width");
        assert_eq!(declarations[0].value, CssValue::Length(942.0, Unit::Px));
    }

    #[test]
    fn media_query_lists_use_or_semantics() {
        let styles = resolve(
            "@media print, (orientation: landscape) { div { color: red; } }",
            StyleOrigin::Author,
        );
        let landscape = MediaEnvironment::new((800.0, 600.0), ColorScheme::Light);
        let portrait = MediaEnvironment::new((600.0, 800.0), ColorScheme::Light);

        assert_eq!(filter_media(&styles, &landscape).count(), 1);
        assert_eq!(filter_media(&styles, &portrait).count(), 0);
    }

    #[test]
    fn media_color_scheme_matches_system_preference() {
        let styles = resolve(
            "@media (prefers-color-scheme: dark) { div { color: white; } }",
            StyleOrigin::Author,
        );
        let light = MediaEnvironment::new((800.0, 600.0), ColorScheme::Light);
        let dark = MediaEnvironment::new((800.0, 600.0), ColorScheme::Dark);

        assert_eq!(filter_media(&styles, &light).count(), 0);
        assert_eq!(filter_media(&styles, &dark).count(), 1);
    }

    #[test]
    fn empty_media_query_does_not_match() {
        let styles = resolve("@media { div { color: red; } }", StyleOrigin::Author);
        let environment = MediaEnvironment::new((800.0, 600.0), ColorScheme::Light);

        assert_eq!(filter_media(&styles, &environment).count(), 0);
    }

    #[test]
    fn test_rule_set_partitioning_and_querying() {
        let styles = resolve(
            r#"
            * { margin: 0; }
            #header { color: red; }
            .btn { display: inline-block; }
            span { font-size: 12px; }
            div.container { padding: 10px; }
            "#,
            StyleOrigin::Author,
        );
        let env = MediaEnvironment::new((800.0, 600.0), ColorScheme::Light);
        let rule_set = RuleSet::from_declarations(&styles, &env);
        let decls_of = |group: &SelectorGroup| -> Vec<&ResolvedDeclaration> {
            group
                .decls
                .iter()
                .map(|&idx| &rule_set.declarations()[idx])
                .collect()
        };

        // Test element 1: <div id="header" class="btn">
        let el1 = crate::engine::css::matcher::ElementInfo {
            tag_name: "div".into(),
            id: Some("header".into()),
            classes: vec!["btn".into()].into(),
            ..Default::default()
        };
        let candidates1: Vec<_> = rule_set.query_candidates(&el1).flat_map(decls_of).collect();
        // Should match universal (*), id (#header), and class (.btn)
        assert!(candidates1.iter().any(|d| d.name == "margin"));
        assert!(candidates1.iter().any(|d| d.name == "color"));
        assert!(candidates1.iter().any(|d| d.name == "display"));
        // Should NOT include span rule
        assert!(!candidates1.iter().any(|d| d.name == "font-size"));

        // Test element 2: <span class="other">
        let el2 = crate::engine::css::matcher::ElementInfo {
            tag_name: "span".into(),
            id: None,
            classes: vec!["other".into()].into(),
            ..Default::default()
        };
        let candidates2: Vec<_> = rule_set.query_candidates(&el2).flat_map(decls_of).collect();
        // Should match universal (*) and tag (span)
        assert!(candidates2.iter().any(|d| d.name == "margin"));
        assert!(candidates2.iter().any(|d| d.name == "font-size"));
        // Should NOT include id (#header) or class (.btn)
        assert!(!candidates2.iter().any(|d| d.name == "color"));
        assert!(!candidates2.iter().any(|d| d.name == "display"));
    }

    #[test]
    fn rule_set_groups_shared_selectors() {
        let styles = resolve(
            r#"
            div { color: red; font-size: 12px; }
            div { margin: 0; }
            p { padding: 1px; }
            p.padded { padding: 2px; }
            "#,
            StyleOrigin::Author,
        );
        let env = MediaEnvironment::new((800.0, 600.0), ColorScheme::Light);
        let rule_set = RuleSet::from_declarations(&styles, &env);

        // The two `div` blocks share an identical selector, so all three
        // declarations merge into a single group.
        let div = crate::engine::css::matcher::ElementInfo {
            tag_name: "div".into(),
            ..Default::default()
        };
        let groups: Vec<_> = rule_set.query_candidates(&div).collect();
        assert_eq!(groups.len(), 1);
        assert_eq!(groups[0].decls.len(), 3);

        // Plain `p` only matches the `p` group.
        let p = crate::engine::css::matcher::ElementInfo {
            tag_name: "p".into(),
            ..Default::default()
        };
        assert_eq!(rule_set.query_candidates(&p).count(), 1);

        // Distinct selectors stay in distinct groups.
        let padded = crate::engine::css::matcher::ElementInfo {
            tag_name: "p".into(),
            classes: vec!["padded".into()].into(),
            ..Default::default()
        };
        assert_eq!(rule_set.query_candidates(&padded).count(), 2);
    }

    #[test]
    fn rule_set_indexes_attribute_subjects() {
        let styles = resolve(
            r#"
            [hidden] { display: none; }
            [data-tip] { position: relative; }
            "#,
            StyleOrigin::Author,
        );
        let env = MediaEnvironment::new((800.0, 600.0), ColorScheme::Light);
        let rule_set = RuleSet::from_declarations(&styles, &env);

        let hidden = crate::engine::css::matcher::ElementInfo {
            tag_name: "div".into(),
            attributes: vec![("hidden".into(), "".into())].into(),
            ..Default::default()
        };
        assert_eq!(
            rule_set
                .query_candidates(&hidden)
                .flat_map(|group| group.decls.iter())
                .count(),
            1,
            "only the [hidden] group is queried"
        );

        let plain = crate::engine::css::matcher::ElementInfo {
            tag_name: "div".into(),
            ..Default::default()
        };
        assert_eq!(
            rule_set
                .query_candidates(&plain)
                .flat_map(|group| group.decls.iter())
                .count(),
            0,
            "no candidates for attribute-less element"
        );
    }

    #[test]
    fn media_width_calc_rem_is_resolved() {
        let styles = resolve(
            "@media (width > calc(19rem)) { div { color: red; } }",
            StyleOrigin::Author,
        );
        // 19rem = 304px
        let wide = MediaEnvironment::new((400.0, 800.0), ColorScheme::Light);
        let narrow = MediaEnvironment::new((200.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &wide).count(), 1);
        assert_eq!(filter_media(&styles, &narrow).count(), 0);
    }

    #[test]
    fn media_range_calc_vw() {
        let styles = resolve(
            "@media (width > calc(100vw - 40px)) { div { color: red; } }",
            StyleOrigin::Author,
        );
        // 100vw = viewport_width, so condition is width > (viewport_width - 40)
        let env = MediaEnvironment::new((100.0, 800.0), ColorScheme::Light);
        // 100 > (100 - 40) = 60 => true
        assert_eq!(filter_media(&styles, &env).count(), 1);
        let env2 = MediaEnvironment::new((30.0, 800.0), ColorScheme::Light);
        // 30 > (30 - 40) = -10 => true
        assert_eq!(filter_media(&styles, &env2).count(), 1);
    }

    #[test]
    fn media_min_width_rem() {
        let styles = resolve(
            "@media (min-width: 2rem) { div { color: red; } }",
            StyleOrigin::Author,
        );
        // 2rem = 32px
        let env = MediaEnvironment::new((40.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &env).count(), 1);
        let env2 = MediaEnvironment::new((20.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &env2).count(), 0);
    }

    #[test]
    fn media_width_calc_min_function() {
        let styles = resolve(
            "@media (width > min(800px, 90vw)) { div { color: red; } }",
            StyleOrigin::Author,
        );
        // viewport 1000px: min(800, 900) = 800, 1000 > 800 => true
        let env = MediaEnvironment::new((1000.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &env).count(), 1);
        // viewport 500px: min(800, 450) = 450, 500 > 450 => true
        let env2 = MediaEnvironment::new((500.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &env2).count(), 1);
        // viewport 400px: min(800, 360) = 360, 400 > 360 => true
        let env3 = MediaEnvironment::new((400.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &env3).count(), 1);
        // viewport 300px: min(800, 270) = 270, 300 > 270 => true
        let env4 = MediaEnvironment::new((300.0, 800.0), ColorScheme::Light);
        assert_eq!(filter_media(&styles, &env4).count(), 1);
    }
}