` 形态的 `loadErrorHtml`。
+/// （`#tx-table` 是 `.table-wrap` div，其余三个是卡片里的列表容器。）
+const NON_TBODY_LIVE_CONTAINERS: &[&str] =
+ &["tx-table", "dash-sharings", "usage-model", "ops-stats"];
+
+fn nth(src: &str, needle: &str, from: usize) -> Option
{
+ src[from..].find(needle).map(|i| i + from)
+}
+
+/// 数一个**开始标签**的出现次数，且要求标签名后紧跟非字母（``、` | ` 也算进去，
+/// 于是七张表全部报「表头比 colspan 多 1 列」的**假阳性**。
+fn count_tag(src: &str, tag: &str) -> usize {
+ let open = format!("<{tag}");
+ let mut n = 0;
+ let mut at = 0;
+ while let Some(i) = nth(src, &open, at) {
+ at = i + open.len();
+ let next = src[at..].chars().next();
+ if !next.map(|c| c.is_ascii_alphanumeric()).unwrap_or(false) {
+ n += 1;
+ }
+ }
+ n
+}
+
+/// 数带 `colspan` 的 ` | `（整行单元格，如市场表的详情行）—— 它们不占单独的列。
+fn count_spanning_tds(src: &str) -> usize {
+ let mut n = 0;
+ let mut at = 0;
+ while let Some(i) = nth(src, "` 所在 `` 的 `` 列数。
+fn table_columns(html: &str) -> Vec<(String, usize)> {
+ let mut out = Vec::new();
+ let mut at = 0;
+ while let Some(start) = nth(html, "", start).expect("表格必须有 ");
+ at = end + 1;
+ let block = &html[start..end];
+ let Some(body) = nth(block, "", thead_start).expect("thead 必须闭合");
+ out.push((
+ block[id_start..id_end].to_string(),
+ count_tag(&block[thead_start..thead_end], "th"),
+ ));
+ }
+ out
+}
+
+/// 从 `loadErrorRow(` 出现处**向前**取同表达式里的容器 id：`setLiveError($("#ID"), loadErrorRow(`。
+fn error_row_container(js: &str, call_at: usize) -> String {
+ let seg_start = js[..call_at]
+ .rfind("setLiveError(")
+ .expect("loadErrorRow 必须写在 setLiveError(容器, …) 里 —— 否则没人知道它属于哪张表");
+ let seg = &js[seg_start..call_at];
+ let q = seg
+ .find("$(\"#")
+ .expect("setLiveError 的第一个实参应是 $(\"#id\")");
+ let id_start = q + "$(\"#".len();
+ let id_end = id_start + seg[id_start..].find("\")").expect("id 必须有结束引号");
+ seg[id_start..id_end].to_string()
+}
+
+/// 读出紧跟在 `marker` 之后的一个十进制字面量（`emptyRow(7,` ⇒ 7）。
+fn number_after(src: &str, from: usize) -> usize {
+ let digits: String = src[from..]
+ .chars()
+ .take_while(|c| c.is_ascii_digit())
+ .collect();
+ assert!(
+ !digits.is_empty(),
+ "期望 {from} 处是十进制字面量，实际是 {:?}",
+ &src[from..(from + 12).min(src.len())]
+ );
+ digits.parse().expect("字面量应是合法整数")
+}
+
+/// 收集 `marker(` 形式的**调用**位置：要求紧跟其后的首字符是十进制数字。
+///
+/// 这一步是必需的 —— 两个辅助函数自己的**定义**长这样：
+/// `function emptyRow(colspan, text, sub, actionHtml)` / `function loadErrorRow(colspan, …)`，
+/// 形参不是数字。不加这个判别，扫描器会把定义当成一个「站点」并在取数字时炸掉
+/// （第一版正是如此：报出 `期望 … 处是十进制字面量，实际是 "colspan, emp"`）。
+fn call_sites(src: &str, marker: &str) -> Vec {
+ let mut out = Vec::new();
+ let mut at = 0;
+ while let Some(i) = nth(src, marker, at) {
+ at = i + marker.len();
+ if src[at..]
+ .chars()
+ .next()
+ .map(|c| c.is_ascii_digit())
+ .unwrap_or(false)
+ {
+ out.push(i);
+ }
+ }
+ out
+}
+
+/// `ui/js/app.js`：所有 `emptyRow(N, …)`，连同其归属容器与行模板的 ` Vec<(String, usize, usize, usize)> {
+ let mut out = Vec::new();
+ for call in call_sites(js, "emptyRow(") {
+ let n = number_after(js, call + "emptyRow(".len());
+ let assign = js[..call]
+ .rfind(".innerHTML")
+ .expect("emptyRow 之前必须有一次 .innerHTML = 赋值（否则无法归属）");
+ let head = &js[..assign];
+ let q = head.rfind("$(\"#").expect("赋值左侧应是 $(\"#id\")");
+ let id_start = q + "$(\"#".len();
+ let id_end = id_start + head[id_start..].find("\")").expect("id 必须有结束引号");
+ let region = &js[assign..call];
+ let tds = count_tag(region, "td");
+ // 「整行单元格」＝带 colspan 的 （详情行）：它们不占一列，要从行模板列数里剔除
+ let colspan_tds = count_spanning_tds(region);
+ out.push((head[id_start..id_end].to_string(), n, tds, colspan_tds));
+ }
+ out
+}
+
+/// `ui/js/app.js`：所有 `loadErrorRow(N, …)`，连同其所属容器。
+fn error_row_sites(js: &str) -> Vec<(String, usize)> {
+ call_sites(js, "loadErrorRow(")
+ .into_iter()
+ .map(|call| {
+ let n = number_after(js, call + "loadErrorRow(".len());
+ (error_row_container(js, call), n)
+ })
+ .collect()
+}
+
+/// `ui/js/app.js` / `ui/index.html`：写死的 `colspan="N"`（排除两个辅助函数的定义）。
+fn literal_colspans(src: &str) -> Vec {
+ let mut out = Vec::new();
+ let mut at = 0;
+ while let Some(i) = nth(src, "colspan=\"", at) {
+ at = i + "colspan=\"".len();
+ if src[at..]
+ .chars()
+ .next()
+ .map(|c| c.is_ascii_digit())
+ .unwrap_or(false)
+ {
+ out.push(number_after(src, at));
+ }
+ }
+ out
+}
+
+#[cfg(test)]
+mod tests {
+ use super::*;
+
+ fn cols() -> Vec<(String, usize)> {
+ table_columns(INDEX_HTML)
+ }
+
+ /// 扫描器自证：`` 不得被数成 ``（本模块第一版探针的真实假阳性）。
+ #[test]
+ fn tag_scanner_is_not_fooled_by_a_longer_tag_name() {
+ assert_eq!(count_tag("| a |
|---|
", "th"), 1);
+ assert_eq!(count_tag(" | | | ", "th"), 2);
+ assert_eq!(count_tag("x | ", "th"), 1);
+ assert_eq!(count_tag("", "th"), 0);
+ assert_eq!(count_tag("", "td"), 0);
+ assert_eq!(count_tag("1 | 2 | ", "td"), 2);
+ }
+
+ /// 阳性对照 + 真值：扫描器必须恰好找到这七张表、且列数与 `TABLES` 逐项相同。
+ /// 扫描器写错而返回空集时，这里先失败（集合断言在空集上会「通过」，C2005 坑 68）。
+ #[test]
+ fn every_tbody_table_is_scanned_with_its_true_column_count() {
+ let found = cols();
+ assert_eq!(found.len(), TABLES.len(), "扫描到的表格数不对：{found:?}");
+ for (id, want) in TABLES {
+ let got = found.iter().find(|(x, _)| x == id).unwrap_or_else(|| {
+ panic!("index.html 里找不到 tbody id={id}（表格被改名/删除？）")
+ });
+ assert_eq!(got.1, *want, "{id} 的 列数变了：{found:?}");
+ }
+ }
+
+ /// 站点归属：空态/失败态站点必须都落在**已登记**的表格上。
+ /// 多出来的一处 = 新表没登记进 `TABLES`，或扫描错位（归属到别的容器）。
+ #[test]
+ fn every_live_state_site_belongs_to_a_known_table() {
+ let found = cols();
+ let empties = empty_row_sites(APP_JS);
+ let errors = error_row_sites(APP_JS);
+ assert_eq!(empties.len(), TABLES.len(), "空态站点数不对：{empties:?}");
+ assert_eq!(errors.len(), TABLES.len(), "失败态站点数不对：{errors:?}");
+ for (id, ..) in &empties {
+ assert!(
+ found.iter().any(|(x, _)| x == id),
+ "空态站点归属到了未知容器 {id}（{found:?}）"
+ );
+ }
+ for (id, _) in &errors {
+ assert!(
+ found.iter().any(|(x, _)| x == id),
+ "失败态站点归属到了未知容器 {id}（{found:?}）"
+ );
+ }
+ }
+
+ /// 空态 `colspan` == 表头列数（`#97`/`#162` 事故的原始形态：加列时改表头忘了改空态）。
+ #[test]
+ fn empty_rows_match_their_table_column_count() {
+ let empties = empty_row_sites(APP_JS);
+ for (id, want) in TABLES {
+ let (_, n, ..) = empties
+ .iter()
+ .find(|(x, ..)| x == id)
+ .unwrap_or_else(|| panic!("{id} 没有空态（emptyRow）站点"));
+ assert_eq!(n, want, "{id} 空态 colspan={n}，表头是 {want} 列");
+ }
+ }
+
+ /// 失败态 `colspan` == 表头列数。空态与失败态**分开断言**：一条断言里同时查两者时，
+ /// 只坏一处也会让整条测试红，A/B（逐项回退）就分不清是哪一处被拒。
+ #[test]
+ fn error_rows_match_their_table_column_count() {
+ let errors = error_row_sites(APP_JS);
+ for (id, want) in TABLES {
+ let (_, n) = errors
+ .iter()
+ .find(|(x, _)| x == id)
+ .unwrap_or_else(|| panic!("{id} 没有失败态（loadErrorRow）站点"));
+ assert_eq!(n, want, "{id} 失败态 colspan={n}，表头是 {want} 列");
+ }
+ }
+
+ /// 行模板每列恰好一个 ``：把「整行单元格」（详情行那种带 `colspan` 的）剔除后，
+ /// ` | ` 数必须等于表头列数。少一个 = 真行里那一列没有单元格 —— 空态数对了也没用。
+ #[test]
+ fn row_templates_have_one_cell_per_column() {
+ let empties = empty_row_sites(APP_JS);
+ for (id, want) in TABLES {
+ let (_, _, tds, colspan_tds) = empties
+ .iter()
+ .find(|(x, ..)| x == id)
+ .unwrap_or_else(|| panic!("{id} 没有空态（emptyRow）站点"));
+ assert_eq!(
+ tds - colspan_tds,
+ *want,
+ "{id} 行模板有 {} 个 | （另有 {colspan_tds} 个整行单元格），表头是 {want} 列",
+ tds - colspan_tds
+ );
+ }
+ }
+
+ /// 写死的 `colspan="N"`（详情行的写法）同样必须等于其所属表格的列数。
+ ///
+ /// 目前全仓库只允许存在一处写死形式（市场表详情行）；`index.html` 一律走
+ /// `emptyRow`/`loadErrorRow`，静态页里冒出写死 `colspan` 即失败。
+ #[test]
+ fn detail_row_colspan_matches_its_table() {
+ let mk = cols().into_iter().find(|(x, _)| x == "mk-body").unwrap().1;
+ let literals = literal_colspans(APP_JS);
+ let html_literals = literal_colspans(INDEX_HTML);
+ assert!(
+ html_literals.is_empty(),
+ "index.html 里出现了写死的 colspan={html_literals:?}：静态表应只用 emptyRow/loadErrorRow"
+ );
+ assert_eq!(
+ literals,
+ vec![mk],
+ "app.js 里应恰好有一个写死的 colspan（市场表详情行，= {mk}），实际 {literals:?}"
+ );
+ }
+
+ /// 交易表是**动态**列数：它的空态必须由 `columns.length` 导出，而不是抄一个数字。
+ #[test]
+ fn the_dynamic_table_derives_its_colspan_from_the_column_list() {
+ assert!(
+ APP_JS.contains(" | 进 div 无效）：{err:?}"
+ );
+ }
+
+ /// 容器形态契约：` | ` 容器不得注入裸 ``（浏览器会把它提升到表外），
+ /// 且 `loadErrorRow` 只允许出现在 ` ` 容器上。
+ ///
+ /// ⚠️ 反向（「div 容器必须用 loadErrorHtml」）**不做逐站点文本断言**：加额申请表的容器
+ /// 是以变量传入的（`const el = $("#raise-requests")`），纯文本扫描解析不到变量。
+ /// 该方向由「`loadErrorRow` 的容器集合 == tbody 集合」这条更强的不变量覆盖
+ /// （见 `every_live_state_site_belongs_to_a_known_table` + `NON_TBODY_LIVE_CONTAINERS` 对照）。
+ #[test]
+ fn tbody_containers_get_rows_and_never_a_bare_div() {
+ for (id, _) in TABLES {
+ let row_form = format!("setLiveError($(\"#{id}\"), loadErrorRow(");
+ assert!(
+ APP_JS.contains(&row_form),
+ "{id} 是 容器，降级态必须用 loadErrorRow（该函数的注释写明：\
+ 裸 会被浏览器提升到表外、重试按钮脱离容器委托）"
+ );
+ let div_form = format!("setLiveError($(\"#{id}\"), loadErrorHtml(");
+ assert!(
+ !APP_JS.contains(&div_form),
+ "{id} 是 容器，却注入了裸 形态的 loadErrorHtml"
+ );
+ }
+ // 非 容器（以 $("#id") 字面量传入的那些）仍应是裸 div 形态
+ for id in NON_TBODY_LIVE_CONTAINERS {
+ let div_form = format!("setLiveError($(\"#{id}\"), loadErrorHtml(");
+ assert!(APP_JS.contains(&div_form), "#{id} 的降级态应是裸 div 形态");
+ }
+ // 加额申请表在 index.html 里必须是 div（不是 tbody）；它的 setLiveError 用变量传容器
+ assert!(
+ INDEX_HTML.contains(""),
+ "raise-requests 应是 div 容器：它自带 标记，注入的也是 形态空态"
+ );
+ assert!(
+ APP_JS.contains("setLiveError(el, loadErrorHtml("),
+ "raise-requests 的降级态应走变量容器 + loadErrorHtml"
+ );
+ }
+}
| |