haori 0.41.4 → 0.43.0

package/dist/index.d.ts

@@ -940,6 +940,16 @@ export declare class Core {
  * DOM要素を表現し、子ノードを持つことができます。
  */
 declare class ElementFragment extends Fragment {
+    /**
+     * `<input type="number">` が値として受け付ける文字列の形。
+     *
+     * 省略可の `-`、数字列、省略可の小数部、省略可の指数部で、先頭が `.` の小数も
+     * 受け付けます（Chromium で実測した受理範囲）。`+5` / `5.` / `0x10` / `1_000` /
+     * 前後に空白のある数字 / `Infinity` はブラウザが空表示にするため受け付けません。
+     * ここを緩めると、画面に出ていない値が収集・送信されます（仕様「収集は DOM を
+     * 真とする」）。
+     */
+    private static readonly NUMBER_INPUT_PATTERN;
     /** HTML 真偽属性名のセット */
     private static readonly BOOLEAN_ATTRIBUTES;
     /** inputイベントを発生させるタイプ */
@@ -1728,8 +1738,10 @@ declare class ElementFragment extends Fragment {
      * 入力要素の種別に応じて値を正規化します。
      *
      * `type="number"` の input では、文字列の入力値・バインド値を数値へ変換します
-     * （DTO が数値型を期待する場合に文字列で送られるのを防ぐため）。空文字・null・
-     * 数値化できない値は `null` を返します。それ以外の要素では値をそのまま返します。
+     * （DTO が数値型を期待する場合に文字列で送られるのを防ぐため）。数値として採用
+     * するのは、ブラウザが `<input type="number">` の値として受け付ける文字列だけで
+     * す（`NUMBER_INPUT_PATTERN`）。空文字・`null`・受け付けない文字列・有限でない数値
+     * は `null` を返します。それ以外の要素では値をそのまま返します。
      *
      * @param element 対象の入力要素
      * @param value 正規化する値
@@ -2735,6 +2747,14 @@ export declare class Form {
      * 配列そのものを鍵にして控えます。参照が失われた場合は出現順の対応へ退きます。
      */
     private static readonly COLLECTED_ROW_IDENTITY;
+    /**
+     * 「集合として完結した値」の印。
+     *
+     * 同名チェックボックス・ラジオの群の選択集合は、1 つのキーに対する完全な値です。
+     * 応答データへ重ねるときに位置合わせで混ぜると壊れるため、丸ごと置き換える対象で
+     * あることを配列そのものを鍵にして控えます（`markCompleteSet()`）。
+     */
+    private static readonly COMPLETE_SET_VALUES;
     /**
      * 収集値の各階層で、`data-if-false` により収集から除外されたキー。
      *
@@ -2989,6 +3009,99 @@ export declare class Form {
      * @returns 反映完了の Promise
      */
     static restoreInitialValues(root: HTMLElement): Promise<void>;
+    /**
+     * 同名チェックボックス・ラジオの群を、群単位で収集します。
+     *
+     * 仕様「反映待ちの間に起きた変化」の「**同名チェックボックス・ラジオの群は、欄ごと
+     * ではなく群単位で保護します**」「群のいずれかの欄が要求より後に操作されていれば、
+     * その群の現在の選択集合をそのまま保護します」に対応します。群の値は 1 つのキーに
+     * 対する選択の集合なので、操作された欄だけを取り出すと集合が壊れます。
+     *
+     * 群の範囲は仕様「反映待ちの間に起きた変化」の「群の範囲は、収集値の同じ階層です」
+     * に従い、`resolveCollectionScope()` が返す階層の中だけを数えます。収集の対象外の
+     * 部分木（`data-form-detach`・非表示分岐）と、別の階層（入れ子の `data-form-object` /
+     * `data-form-list` の行）は数えません。同じ群かどうかは「群の同一性は**収集キー**で
+     * 判断します」のとおり `resolveFieldName()` の結果で判定します（DOM の `name` で
+     * 判定すると、`data-form-name` だけを宣言した別のキーの群と混ざる）。
+     *
+     * 走査は DOM 検索ではなくフラグメントの木で行います。収集（`getPartValues()`）と
+     * 同じ木をたどることで階層と除外の判定を一致させ、Haori が管理していない要素
+     * （外部ウィジェットの内部の入力欄など）へフラグメントを生やさないためです。
+     * チェック状態と送信値は仕様「収集は DOM を真とする」のとおり DOM から読みます。
+     *
+     * @param fragment 群のいずれかの入力欄のフラグメント
+     * @param isValueList `data-form-list` を併記しているかどうか
+     * @param minUserEditSequence 編集の基準となる通し番号
+     * @returns 基準より後の操作があったかどうかと、現在の選択集合
+     */
+    private static collectGroupSelection;
+    /**
+     * 収集値の新しい階層を始める要素かどうかを判定します。
+     *
+     * `getPartValues()` の分岐と同じ規則です。収集キー（`name` / `data-form-name`）を
+     * 持つ要素は値そのものを表すため階層を作らず、`data-form-object` /
+     * `data-form-list` に**属性値がある**ときだけ階層が変わります（属性値の無い
+     * `data-form-list` は入力要素の値を配列として集める印で、階層は作りません）。
+     *
+     * @param fragment 判定するフラグメント
+     * @returns 新しい階層を始める場合は true
+     */
+    private static startsCollectionLevel;
+    /**
+     * 収集値の階層（同じキーの集まる範囲）となるフラグメントを解決します。
+     *
+     * 仕様「反映待ちの間に起きた変化」の「群の範囲は、収集値の同じ階層です」
+     * 「`data-form-list` の**行**、`data-form-object`、最近傍のフォーム（`<form>` または
+     * `data-form`）のうち最も内側の範囲です」に対応します。`data-form-object` は自身が
+     * 階層、`data-form-list` はその直下の要素（= 行）が階層です。フォームの外（どの
+     * 階層にも囲まれていない構成）では、たどり着いた最上位の要素を範囲とします。
+     *
+     * ラジオの排他制御の範囲（`resolveGroupScope()`）とは別の概念です。あちらは HTML の
+     * グループの範囲で `data-form-object` を境界としませんが、こちらは収集値のキーの
+     * 範囲なので `data-form-object` も境界になります。
+     *
+     * @param fragment 起点のフラグメント
+     * @returns 階層となるフラグメント
+     */
+    private static resolveCollectionScope;
+    /**
+     * フォームの範囲の根（`<form>` または `data-form`）かどうかを判定します。
+     *
+     * @param fragment 判定するフラグメント
+     * @returns フォームの範囲の根であれば true
+     */
+    private static isFormScopeRoot;
+    /**
+     * 階層の中から、同じ収集キーを持つ群の欄を集めます。
+     *
+     * 収集（`getPartValues()`）と同じ判定で部分木を刈ります。別の階層（入れ子の
+     * `data-form-object` / `data-form-list`）と、収集の対象外の部分木
+     * （`data-form-detach`・非表示分岐の `data-if-false`）へは入りません。仕様
+     * 「反映待ちの間に起きた変化」の「収集の対象外である部分木の欄も群に含めません」
+     * に対応します。
+     *
+     * 入れ子のフォームはここでは刈りません。範囲の解決（`resolveCollectionScope()`）が
+     * 最近傍のフォームで止まるため、内側の欄は内側のフォームを範囲として数え直され、
+     * 同じキーへの書き込みはそちらが後に来ます（刈っても結果は変わらない）。
+     *
+     * @param fragment 走査するフラグメント（最初の呼び出しでは階層の根）
+     * @param key 群の収集キー
+     * @param members 集める先
+     */
+    private static collectGroupMembers;
+    /**
+     * 「集合として完結した値」として印を付けます。
+     *
+     * 群の選択集合は 1 つのキーに対する完全な値なので、応答データへ重ねるときに
+     * 位置合わせで要素ごとに混ぜてはいけません（`data-form-list` の行の配列とは
+     * 意味が違います）。印は `Procedure` の `mergeUserEdits()` が見て、丸ごと
+     * 置き換えます。
+     *
+     * @param value 印を付ける配列
+     * @returns 同じ配列
+     */
+    private static markCompleteSet;
+    /* Excluded from this release type: isCompleteSetValue */
     /**
      * 値による上書きをグループ単位で扱うべき入力要素（boolean 型でない
      * チェックボックス、またはラジオボタン）かどうかを判定します。
@@ -3869,7 +3982,7 @@ declare interface ValueChangeOrigin {
  * リリース時に `package.json` と揃えて更新します（`tests/version.test.ts` が
  * 一致を検査します）。
  */
-export declare const version = "0.41.4";
+export declare const version = "0.43.0";
 
 /**
  * すべてのレンダリングタスク（追従投入分を含む）の完了を待ちます。

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "haori",
-  "version": "0.41.4",
+  "version": "0.43.0",
   "description": "A lightweight HTML-first UI engine powered by declarative data bindings and expressions.",
   "scripts": {
     "dev": "vite",