Unlucky-Launcher/crates/app-iced/src/app/update/page_messages.rs

//! 页面消息的落点（`on_page`）：解 M94 冲突时从 `update.rs` 拆出来。
//!
//! 为什么拆：`main` 上 `update.rs` 已经 **397 行**（M94 自己也是因此把下载页四支拆到
//! `update/download.rs`），日志页再往里塞「剪贴板 + 清日志」两支就顶破 400 硬线。
//! 与 M94 同一种做法：`app/update/**` 属本 mission scope。
//!
//! ## 穷尽性（M94 复审的 p3，本轮收掉）
//!
//! 这里是全 crate **唯一**对 [`pages::Message`] 的穷尽匹配点，所以**没有** `_ => {}` 兜底：
//! 谁往枚举里加变体却忘了接线，编译器立刻报 E0004。原来是 `_ => {}` + 注释「做穷尽性」——
//! 方向正好写反了，它**取消**穷尽性，把「漏接线」变成「点了没反应」。
//!
//! 代价：由前置分支（`on_download` / 本文件里的剪贴板分支）先消费的变体，在 match 里**仍要
//! 显式列出**。那是保住穷尽性的必要代价，也是这条守卫抓得住东西的原因。
//!
//! ## 边界（抓得住什么 / 抓不住什么）
//!
//! - 抓得住：**加一个 `pages::Message` 变体却没接线** → 编译失败（E0004），不会静默；
//! - 抓不住：加一个 `pages::Action` 变体 —— 它落进 `Action(action)` 的占位分支（打印一行
//!   `[page] 占位动作 …`），编译期不会报。这是占位期的既有设计，不是本文件能守的。

use super::*;

impl App {
    /// 页面消息：导航走路由栈，真业务命令派发，纯视图态改本地呈现。
    pub(super) fn on_page(&mut self, message: pages::Message) -> Task<Message> {
        // 下载页的四支（含「刷新下载源」）在 `update/download.rs`：`update.rs` 早已贴 400 行
        if self.on_download(&message) {
            return Task::none();
        }

        match message {
            pages::Message::Navigate(route) => {
                self.state.navigate(route);
                self.view_dirty = true;
                self.refresh_view();
            }
            pages::Message::Launch(id) => self.dispatch(AppCommand::LaunchInstance(id)),
            pages::Message::Stop(id) => self.dispatch(AppCommand::StopInstance(id)),
            pages::Message::Appearance(change) => self.on_appearance(change),
            // M101：设置页的四条填页线共用一个投递口；组内变体在 `update/settings.rs` 里穷尽分发
            // （那一层没有 `_ =>`，见本文件末尾与 `update/settings/tests.rs` 的两条守门）
            pages::Message::Settings(group) => return self.on_settings(group),
            // M106：换界面语言（落盘 + 重建视图模型；档位不是业务命令，不派 `AppCommand`）。
            // 这是**唯一**一处绕开 M101 投递口的页面消息：语言档位不是「某一组的状态」，
            // 它要落盘到 `ui.language` 并重建整棵视图模型（设置页的语言行只是它的第一个出口）。
            pages::Message::Language(choice) => self.set_language(choice),
            // M95：摘要落剪贴板（文本由页面造，这里只搬）
            pages::Message::CopySummary(text) => return iced::clipboard::write(text),
            // 下面四支已由 `on_download` 提前消化；显式列出而不是 `_ => {}`，见模块文档
            pages::Message::SelectVersion(_)
            | pages::Message::InstallVersion(_)
            | pages::Message::CancelInstall
            | pages::Message::SetLoader(_)
            | pages::Message::SetLoaderVersion(_)
            | pages::Message::SetInstanceName(_)
            | pages::Message::SetCategory(_) => debug_assert!(false, "应由 on_download 消费"),
            // M95：清空日志是**呈现层**操作（`log_lines` 是 presenter 的公开快照字段，
            // 不派业务命令、不写持久状态）
            pages::Message::Action(pages::Action::ClearLogs) => {
                self.state.log_lines.clear();
                self.view_dirty = true;
                self.refresh_view();
            }
            // 还没接后端的占位动作：只打日志（哪几个、为什么，见 pages 模块文档的偏离登记）
            pages::Message::Action(action) => {
                eprintln!("[page] 占位动作 {action:?} pressed（没有对应 AppCommand）");
            }
        }

        Task::none()
    }
}

#[cfg(test)]
mod tests {
    use unlucky_design::color::SchemeFlavor;
    use unlucky_i18n::LangChoice;
    use unlucky_presenter::mock::MockBackend;
    use unlucky_presenter::settings_bridge::SettingsBridge;

    use crate::app::state::App;
    use crate::cli::Options;
    use crate::pages;
    use crate::theme::Families;

    const FAMILIES: Families = Families {
        text: "Segoe UI",
        display: "Segoe UI",
        mono: "Consolas",
    };

    /// 不碰磁盘的 App（mock 后端 + 内存设置桥），与 `app/tests.rs` 的 `headless` 同型。
    fn headless() -> App {
        App::with_presenter(
            Options::default(),
            FAMILIES,
            SchemeFlavor::Light,
            Box::new(MockBackend::new()),
            SettingsBridge::memory_only(),
        )
    }

    /// M106：设置页语言行点一下 → 生效语言与视图模型都跟着换。
    ///
    /// 抓得住：①`pages::Message::Language` 没接进 `on_page`（点了没反应，编译器不会报——它接得住，
    /// 但接错了分支就静默）；②`set_language` 只改字段不重建视图（界面要等下一次刷新才变）；
    /// ③档位与生效语言各说各话（设置页会画错选中态）。
    /// 抓不住：界面真的画成中文了没有（那要截图，见 `DevDocs/artifacts/m106/`）。
    #[test]
    fn the_language_message_switches_the_catalog_and_rebuilds_the_view() {
        let mut app = headless();
        assert_eq!(
            app.view.lang,
            app.lang(),
            "首帧的视图模型要已经按生效语言建好"
        );

        let _ = app.update(crate::app::message::Message::Page(
            pages::Message::Language(LangChoice::Fixed(unlucky_i18n::Lang::ZhCn)),
        ));
        assert_eq!(app.lang(), unlucky_i18n::Lang::ZhCn);
        assert_eq!(app.view.lang, unlucky_i18n::Lang::ZhCn, "目录要跟着换");
        assert_eq!(
            app.language(),
            pages::Language {
                choice: LangChoice::Fixed(unlucky_i18n::Lang::ZhCn),
                effective: unlucky_i18n::Lang::ZhCn,
            }
        );

        let refreshes = app.refreshes;
        let _ = app.update(crate::app::message::Message::Page(
            pages::Message::Language(LangChoice::Fixed(unlucky_i18n::Lang::En)),
        ));
        assert_eq!(app.view.lang, unlucky_i18n::Lang::En);
        assert_eq!(app.refreshes, refreshes + 1, "换语言要重建一次视图模型");

        // 同一档再点一次：什么都不该发生（不白重建）
        let refreshes = app.refreshes;
        let _ = app.update(crate::app::message::Message::Page(
            pages::Message::Language(LangChoice::Fixed(unlucky_i18n::Lang::En)),
        ));
        assert_eq!(app.refreshes, refreshes, "同一档不该再重建");
    }

    /// 抓得住：有人给 `on_page` 的 match 重新加 `_ => {}` 兜底 —— 那正是 M94 复审的 p3：
    /// 兜底让「加了变体忘了接线」从**编译错误**退化成「点了没反应」，这条测试把它拽回来。
    /// 抓不住：别的兜底写法（把 match 拆成 if-else 链、给子枚举加通配之后再漏变体），
    /// 也抓不住「加了变体但接错分支」——那两条只有编译器和人读得出来。
    #[test]
    fn the_page_match_has_no_wildcard_fallback() {
        let source = include_str!("page_messages.rs");
        let wildcards: Vec<(usize, &str)> = source
            .lines()
            .enumerate()
            .filter(|(_, line)| {
                let trimmed = line.trim();
                trimmed.starts_with("_ =>") || trimmed.starts_with("_=>")
            })
            .map(|(index, line)| (index + 1, line))
            .collect();

        assert!(
            wildcards.is_empty(),
            "on_page 里出现了 `_ =>` 兜底（行 {:?}）：它会取消对 pages::Message 的穷尽性，\
             新变体漏接线时编译器不再报 E0004",
            wildcards
        );
    }
}