atmos/os_lib/css/

types.rs

// 分割: css.rs より機械的に移動（2026-07-16 リファクタ フェーズ3）。
// ロジック不変。可視性のみ pub(crate) へ昇格し、親が pub(crate) use で再エクスポート。
use super::*;

#[derive(Debug, Clone)]
pub struct StyleSheet {
    pub rules: Vec<Rule>,
    /// @keyframes 定義（name → キーフレーム列）。
    pub keyframes: Vec<Keyframes>,
    /// @counter-style 定義（name → カスタムカウンタ書式）。
    pub counter_styles: Vec<CounterStyleDef>,
    /// @font-face 定義（font-family名 → フォントファイルURL）。
    pub font_faces: Vec<FontFaceDef>,
}

/// `@font-face { font-family: 'X'; src: url(...) format('truetype'), ...; }`。
/// `src`が複数候補（`local()`/複数`url()`）を持つ場合、TTF/OTF形式を明示する
/// `format()`ヒントを優先し、無ければ最初に見つかった`url()`を採用する簡略実装
/// （WOFF2形式のURLしか無い場合はこの処理系のフォントローダが読めないため
/// `src_url`はSome(...)のまま残るが、実際の読込・パース側でTTF/OTFシグネチャ
/// チェックにより安全に拒否される）。
#[derive(Debug, Clone)]
pub struct FontFaceDef {
    pub family: String,
    pub src_url: Option<String>,
    /// 【2026-08-05】`@font-face` の `font-weight`（未指定は 400）。
    ///
    /// 同じ family 名でウェイト違いを複数定義するのは CSS では普通。
    /// Font Awesome も `.fas`（solid）は 900、`.far`（regular）は 400 で、
    /// **同じ `"Font Awesome 7 Free"` を使う**。
    /// ウェイトを持たないと後勝ちで上書きされ、solid の字形が失われる
    /// （実測: `Font Awesome 7 Free` に regular が入り、アイコンが出なかった）。
    pub weight: u16,
}

/// `@counter-style` の簡略実装。`system`/`symbols`/`suffix` のみ対応
/// （`negative`/`range`/`pad`/`fallback`/`prefix`等は非対応で無視する）。
/// `system` は `cyclic`（既定。`(value-1) % symbols.len()` で循環）と
/// `numeric`（`symbols` を桁の数字として使う位取り記数法。0除く正の整数のみ）に対応、
/// それ以外（`alphabetic`/`additive`等）は `cyclic` と同一視する。
#[derive(Debug, Clone)]
pub struct CounterStyleDef {
    pub name: String,
    pub system: String,
    pub symbols: Vec<String>,
    pub suffix: String,
}

/// カスタム `@counter-style` を使って値を書式化する。`system: numeric` は
/// `symbols` を桁の数字として使う位取り記数法（0 は先頭symbolの1文字、
/// 負値・0以下は素通しの十進数表記にフォールバック）。それ以外（既定の
/// `cyclic` 扱い含む）は `(value-1).rem_euclid(len)` で symbols を循環させる。
pub fn format_with_counter_style(def: &CounterStyleDef, value: i64) -> String {
    if def.symbols.is_empty() {
        return alloc::format!("{}", value);
    }
    if def.system.trim() == "numeric" {
        if value <= 0 {
            return alloc::format!("{}", value);
        }
        let base = def.symbols.len() as i64;
        let mut n = value;
        let mut digits: alloc::vec::Vec<&str> = alloc::vec::Vec::new();
        while n > 0 {
            let d = (n % base) as usize;
            digits.push(def.symbols[d].as_str());
            n /= base;
        }
        digits.iter().rev().copied().collect::<Vec<&str>>().concat()
    } else {
        let len = def.symbols.len() as i64;
        let idx = (value - 1).rem_euclid(len) as usize;
        def.symbols[idx].clone()
    }
}

/// @keyframes アニメーション定義。
#[derive(Debug, Clone)]
pub struct Keyframes {
    pub name: String,
    /// (offset 0.0..=1.0, そのオフセットでの宣言群)。offset 昇順。
    pub frames: Vec<(f32, Vec<Declaration>)>,
}

#[derive(Debug, Clone)]
pub struct Rule {
    pub selectors: Vec<Selector>,
    pub declarations: Vec<Declaration>,
    /// `@layer` カスケードレイヤーの優先順位（`None` = レイヤー無し = 最優先）。
    /// 数値が大きいほど後から宣言されたレイヤーで、通常宣言（非 `!important`）では
    /// 後のレイヤーほど勝つ。`!important` との組み合わせ時の優先順位反転（仕様上の
    /// 細かい挙動）は非対応の簡略実装（`!important` は従来通りレイヤーを見ずに勝つ）。
    pub layer: Option<usize>,
    /// 【2026-07-24追加】このルールを包む`@media`条件文字列（`None` = 無条件）。
    /// 以前は`@media`をCSS解析時（`parse_css`呼び出し時点）に一度だけ静的評価し、
    /// マッチしなかったブロックを丸ごと除外していたため、その一度きりの解析時点の
    /// ウィンドウ幅と実際の表示時のウィンドウ幅がズレていると（起動直後のプレース
    /// ホルダーページ表示中など）、モバイルファーストCSS（既定非表示→`min-width`
    /// メディアクエリで表示）のナビゲーション等が永久に除外されたままになり、
    /// ページが白紙同然になるバグの一因だった。ルール自体は常に保持し、カスケード
    /// （要素へのマッチング）時に毎回`media_query_matches`で動的に判定することで、
    /// ウィンドウ幅が変わってもレイアウトのたびに正しく再評価されるようにする。
    pub media_query: Option<String>,
    /// `@container` の条件式（`media_query` と同じく**動的評価**するため保持する）。
    ///
    /// `@media` との違いは基準がビューポートではなく「問い合わせコンテナ」で
    /// あること。コンテナ寸法はレイアウトが決まるまで分からないので、
    /// 解析時に評価して落とすことはできない（`@media` を静的評価して
    /// ページが白紙化した過去の失敗と同じ轍を踏まないこと）。
    ///
    /// 形式は `名前|条件` または `|条件`（名前省略時）。
    pub container_query: Option<String>,
}

#[derive(Debug, Clone, PartialEq)]
pub enum Selector {
    Simple(SimpleSelector),
    Chain(Vec<SelectorStep>),
}

/// 属性セレクタの照合演算子。
#[derive(Debug, Clone, PartialEq)]
pub enum AttrOp {
    Exists,   // [attr]
    Eq,       // [attr=val]
    Prefix,   // [attr^=val]
    Suffix,   // [attr$=val]
    Contains, // [attr*=val]
    Word,     // [attr~=val]（空白区切りの一語）
    Dash,     // [attr|=val]（val または val-...）
}

#[derive(Debug, Clone, PartialEq)]
pub struct AttrSelector {
    pub name: String,
    pub op: AttrOp,
    pub value: String,
    /// `[attr=val i]`（Selectors Level 4 §6.4.1。大文字小文字を無視して比較）。
    pub case_insensitive: bool,
}

#[derive(Debug, Clone, PartialEq)]
pub enum PseudoClass {
    FirstChild,
    LastChild,
    /// :nth-child(an+b) — (a, b)、1-based。第3要素は Selectors Level 4 の
    /// `:nth-child(An+B of S)` 構文の `S`（省略時 `None`）。指定時は親の子要素のうち
    /// `S` に一致するものだけを対象に 1-based 位置を数える。
    NthChild(i64, i64, Option<alloc::boxed::Box<SimpleSelector>>),
    /// :nth-last-child(an+b [of S])。
    NthLastChild(i64, i64, Option<alloc::boxed::Box<SimpleSelector>>),
    /// :not(simple)。
    Not(alloc::boxed::Box<SimpleSelector>),
    /// checked 属性の有無で判定（動的な操作状態ではなく DOM 属性を直接見る簡易実装）。
    Checked,
    /// disabled 属性の有無で判定。
    Disabled,
    /// 同じタグ名の兄弟の中で最初の要素。サブジェクト（末尾コンパウンド）でのみ判定可能
    /// （祖先位置での判定は非対応。実用上ほとんどがサブジェクト用途のため許容する）。
    FirstOfType,
    LastOfType,
    /// :nth-of-type(an+b) — (a, b)、同タグ名の兄弟内で1-based。
    NthOfType(i64, i64),
    /// :nth-last-of-type(an+b) — 同タグ名の兄弟内で末尾から1-based。
    NthLastOfType(i64, i64),
    /// 同じタグ名の兄弟が自分しかいない。
    OnlyOfType,
    /// 子要素・テキストを一切持たない（空白のみのテキストノードも「空」とみなす）。
    Empty,
    /// 兄弟（タグ名問わず）が自分しかいない。
    OnlyChild,
    /// 現在の URL フラグメント（`location.hash`）が自分自身の id と一致する。
    Target,
    /// `:is(sel1, sel2, ...)`（`:matches()`/`:any()` も同義）— リスト中のいずれかの
    /// 単純セレクタにマッチすれば真。特異度はリスト中の最大値を採用する。
    Is(Vec<SimpleSelector>),
    /// `:where(sel1, sel2, ...)` — マッチ判定は `:is()` と全く同じだが、特異度は常に0。
    Where(Vec<SimpleSelector>),
    /// `:lang(code)` — 要素自身の `lang` 属性（無ければ文書既定言語 `DOCUMENT_LANG`、
    /// 本来は祖先から継承されるが `<html lang>` のみを追跡する簡略実装）が `code` と
    /// 完全一致、または `code-` で始まるサブタグ一致（`lang="en-US"` は `:lang(en)` にも一致）。
    Lang(String),
    /// `:dir(ltr|rtl)` — 要素自身の `dir` 属性の値が一致すれば真。`:lang()` と同じ
    /// 簡略方針で、祖先からの継承（`dir` 未指定時に親の値を辿る）は非対応。`dir`
    /// 属性が無い/`auto`/不正値の要素は既定で `ltr` 扱いにする（この処理系のデフォルト
    /// 文書方向は常に LTR のため）。
    Dir(String),
    /// `:has(sel1, sel2, ...)` — 各枝が子孫（任意の深さ）/直接子（`> sel`）/直後兄弟
    /// （`+ sel`）/以降兄弟いずれか（`~ sel`）のいずれかに一致すれば真。
    /// `+`/`~` は `:has()` がサブジェクト位置（コンパウンドセレクタの末尾）にある場合のみ
    /// 正しく判定できる（祖先位置での of-type 判定と同じ既知の制約。`type_sibling_position`
    /// 参照）。複合セレクタチェーン（`:has(a b)` 等）は非対応で、単純セレクタ
    /// （タグ/クラス/id/属性、および sibling_index 等の文脈を必要としない疑似クラス）
    /// のみを対象にする。
    Has(Vec<(HasCombinator, SimpleSelector)>),
    Other(String),
}

/// 疑似要素（`::before` / `::after`、レガシー単コロンも含む）。
/// 動的な状態を持つ疑似クラスとは別枠で扱う（要素自体のマッチ判定には影響しない）。
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum PseudoElement {
    Before,
    After,
    Marker,
    FirstLine,
    FirstLetter,
    Placeholder,
}

#[derive(Debug, Clone, PartialEq)]
pub struct SelectorStep {
    pub simple: SimpleSelector,
    pub combinator: Option<Combinator>,
}

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum Combinator {
    Descendant,
    Child,
    /// `a + b`（直後の兄弟）。
    NextSibling,
    /// `a ~ b`（後続の兄弟いずれか）。
    SubsequentSibling,
}

/// `:has(sel)` 引数中の各枝の結合子（`Combinator` のサブセット。`:has()` は複合セレクタ
/// チェーンを対象にしないため独立した enum にしている）。
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub enum HasCombinator {
    /// `:has(sel)` — 任意の深さの子孫。
    Descendant,
    /// `:has(> sel)` — 直接子のみ。
    Child,
    /// `:has(+ sel)` — 直後の兄弟のみ。
    NextSibling,
    /// `:has(~ sel)` — 以降の兄弟いずれか。
    SubsequentSibling,
}

#[derive(Debug, Clone, PartialEq, Default)]
pub struct SimpleSelector {
    pub tag_name: Option<String>,
    pub id: Option<String>,
    pub class: Vec<String>,
    pub pseudo_classes: Vec<PseudoClass>,
    pub attrs: Vec<AttrSelector>,
    /// `*`（ユニバーサルセレクタ）。
    pub universal: bool,
    /// `::before` / `::after`（末尾のコンパウンドセレクタにのみ有効）。
    pub pseudo_element: Option<PseudoElement>,
}

#[derive(Debug, Clone)]
pub struct Declaration {
    pub name: String,
    pub value: String,
    /// `!important` 指定。カスケードで特異度に関わらず優先する。
    pub important: bool,
}

// 算出されたスタイル（DOMノードに紐づく）
#[derive(Debug, Clone)]
pub struct StyledNode<'a> {
    pub node: &'a Node,
    pub specified_values: BTreeMap<String, String>,
    pub hover_values: Option<BTreeMap<String, String>>,
    /// :focus 適用時に差分が生じる算出値（hover_values と同じ方式）。
    /// 事前に通常値と focus 時の値を両方計算しておき、実際にどちらを使うかは
    /// 描画側が focused_id と element_id の一致を見て選ぶ。フォーカス変更自体は
    /// DOM を変更しないため dom_needs_rebuild では再レイアウトが保証されず、
    /// この事前計算方式（hover と同様）が必要。
    pub focus_values: Option<BTreeMap<String, String>>,
    /// :active 適用時に差分が生じる算出値（hover_values/focus_values と同じ事前計算方式）。
    /// 実際の適用可否は描画側が「要素がホバー中 かつ マウス左ボタン押下中」を見て選ぶ。
    pub active_values: Option<BTreeMap<String, String>>,
    /// この要素のスコープで有効な CSS 変数（`--foo`）。
    ///
    /// 親から受け継いだ内容をそのまま持つノードが大半なので `Rc` で共有し、
    /// 変数を定義するノードだけが実体を複製する（`cascade.rs` 参照）。
    pub css_vars: alloc::rc::Rc<BTreeMap<String, String>>,
    pub children: Vec<StyledNode<'a>>,
}

impl<'a> StyledNode<'a> {
    pub fn value(&self, name: &str) -> Option<String> {
        self.specified_values.get(name).cloned()
    }

    pub fn value_ref(&self, name: &str) -> Option<&str> {
        self.specified_values.get(name).map(|s| s.as_str())
    }
}