feat(app-iced): M95 日志页接真组件 + 诊断面板（等宽折行 / 按严重度分组 / 一行摘要）
日志页从 M84 占位换成真组件，数据全部来自 presenter 快照（页面不读盘）：
- 日志行列表：`pages/logs/lines.rs`，等宽（`BodySmall` 12/16 + mono 族）+ 按词或字形
折行 + 等级色条；**选折行不选横滚**的理由写在模块文档（424px × 200 字符的现实 +
mono 族的 CJK 回退会毁掉横滚唯一的收益「列对齐」）。
- 诊断面板：`pages/logs/diagnostic.rs`，按严重度分组（CRITICAL → WARNING → NOTICE），
每条给规则 id / 结论 / 说明 / 建议动作 / 置信度；卡片头钉住「Copy summary」，
摘要是稳定单行的 `ULL-LOGS v1 | …`（崩溃日志换 issue 时直接粘）。
- 空态：真组件 `feedback::EmptyState`（图标块 + 标题 + 说明 + CTA 回实例页）。
- 两块都在 `pages/logs/panel.rs` 里**定高 + 内部独立滚动**（`FillPortion(3):(2)`）：
第一版让诊断卡按内容撑开，三条结论就把日志卡压成 0 高度（实拍复现后改的）。
- 视图模型：`pages/logs/model.rs`（纯展示字段）+ `app/view.rs::logs_model` 做快照转换。
- 接线（只追加）：`pages/mod.rs` 的 `pub use logs::…` / `page()` 那行 /
`Message::CopySummary` / `demo_model` 一行；`pages::Model` 加 `logs` 与 `lang` 两个字段；
`app/update.rs` 把 `CopySummary` 落到 `iced::clipboard::write`、`ClearLogs` 清 presenter 的
`log_lines`（呈现层操作，不造命令）。
- i18n：`crates/i18n/src/catalog.rs` 自己锚点下 16 个 key（中英同表）；按塔裁决把
`#[cfg(test)] mod tests` 逐字外置到 `crates/i18n/src/catalog/tests.rs`
（catalog.rs 415 → 257 行，tests.rs 164 行；7 个用例逐字未动、i18n 23 个用例全绿）。
验证：`fmt --check` / `clippy -p unlucky-app-iced --all-targets -- -D warnings` 干净；
`test -p unlucky-app-iced` 272 + 6 全绿、`-p unlucky-i18n` 23 全绿；截图
`.screens/logs-{empty,crash,live}-{light,dark}.png`（1180×760，本地 gitignore）。
遗留（已报 finding）：`dto::Diagnosis` 缺 core 的 `severity` 与规则表 `cause.key`；
`Action::OpenLogs` 没有对应 `AppCommand`（点了只有占位日志）。
This commit is contained in:
AskaEth committed
1 parent
c0396544c5
commit
063a1dba39
16 files changed
+1392
-157
No files matched your search
@@ -41,10 +41,12 @@ fn download_intents_dispatch_real_commands() {
|
||||
Box::new(Recorder(Rc::clone(&log))),
|
||||
SettingsBridge::memory_only(),
|
||||
);
|
||||
app.on_page(pages::Message::InstallVersion("1.21.9".to_string()));
|
||||
app.on_page(pages::Message::CancelInstall);
|
||||
app.on_page(pages::Message::SetCategory(pages::Category::Release));
|
||||
app.on_page(pages::Message::SelectVersion("1.21.8".to_string()));
|
||||
// M95 起 `on_page` 返回 `Task`（剪贴板命令要走返回的 Task）：这里只关心派发与视图模型，
|
||||
// 任务本身没有需要断言的后效，显式丢弃。
|
||||
let _ = app.on_page(pages::Message::InstallVersion("1.21.9".to_string()));
|
||||
let _ = app.on_page(pages::Message::CancelInstall);
|
||||
let _ = app.on_page(pages::Message::SetCategory(pages::Category::Release));
|
||||
let _ = app.on_page(pages::Message::SelectVersion("1.21.8".to_string()));
|
||||
let expected = vec![
|
||||
AppCommand::InstallVersion("1.21.9".to_string()),
|
||||
AppCommand::CancelInstall,
|
||||
|
||||
@@ -0,0 +1,91 @@
|
||||
//! 页面消息的落点（`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),
|
||||
// M95：摘要落剪贴板（文本由页面造，这里只搬）
|
||||
pages::Message::CopySummary(text) => return iced::clipboard::write(text),
|
||||
// 下面四支已由 `on_download` 提前消化；显式列出而不是 `_ => {}`，见模块文档
|
||||
pages::Message::SelectVersion(_)
|
||||
| pages::Message::InstallVersion(_)
|
||||
| pages::Message::CancelInstall
|
||||
| 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 {
|
||||
/// 抓得住：有人给 `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
|
||||
);
|
||||
}
|
||||
}
|
||||
Reference in new issue
Block a user