@yanqirenshi/model.tm 0.0.0-stage → 0.1.0

package/dist/defaults.js

@@ -0,0 +1,133 @@
+// 「書いていない項目」に view(d3.ter)が既定で使う値と、レコードの種類の判別。
+//
+// 値の出どころ: d3.ter の src/js/Entity.js(entityTypeContents = 種別バッジ、entityBackground = 配色)、
+// Port.js(degree() の既定 0)。d3.ter はこのファイルを読む(#144)ので、ここが正。
+// cardinality / optionality に既定は置かない(d3.ter は無ければ記号を描かない)。
+/** エンティティの種別(10 種) */
+export const ENTITY_TYPES = [
+    'RESOURCE', 'RESOURCE-SUBSET', 'EVENT', 'EVENT-SUBSET',
+    'COMPARATIVE', 'CORRESPONDENCE', 'RECURSION', 'MANY-VALUED-OR', 'MANY-VALUED-AND', 'CLASS',
+];
+/** 種別バッジ(箱のヘッダ右に描く文字。CLASS は意図的に無し = '') */
+export const TYPE_BADGES = {
+    'RESOURCE': 'Rsc',
+    'RESOURCE-SUBSET': 'Rsc',
+    'EVENT': 'Evt',
+    'EVENT-SUBSET': 'Evt',
+    'COMPARATIVE': '対照',
+    'CORRESPONDENCE': '対応',
+    'RECURSION': '再帰',
+    'MANY-VALUED-OR': 'MO',
+    'MANY-VALUED-AND': 'MA',
+    'CLASS': '',
+};
+/** 種別ごとの箱の背景色 */
+export const TYPE_COLORS = {
+    'RESOURCE': '#89c3eb',
+    'RESOURCE-SUBSET': '#a0d8ef',
+    'EVENT': '#f09199',
+    'EVENT-SUBSET': '#f6bfbc',
+    'COMPARATIVE': '#c8d5bb',
+    'CORRESPONDENCE': '#f2f2b0',
+    'RECURSION': '#dbd0e6',
+    'MANY-VALUED-OR': '#fddea5',
+    'MANY-VALUED-AND': '#9fd5c9',
+    'CLASS': '#bdc0ba',
+};
+/** 結線の中点から垂下(mapping)できる種別 */
+export const MAPPING_TYPES = ['CORRESPONDENCE', 'COMPARATIVE', 'RECURSION'];
+/** サブセット結線の区分コードの種類 */
+export const SUBSET_KINDS = ['same', 'different'];
+/** カーディナリティ(1 か 多) */
+export const CARDINALITIES = [1, 3];
+/** オプショナリティ(0 は任意、1 は必須) */
+export const OPTIONALITIES = [0, 1];
+/** エンティティの既定。size の 0 は「内容に合わせる」 */
+export const ENTITY_DEFAULTS = {
+    position: { x: 0, y: 0 },
+    size: { w: 0, h: 0 },
+};
+/** 関係の既定。端点の角度は 0(真下)。cardinality / optionality は既定なし(無ければ記号を描かない) */
+export const RELATIONSHIP_DEFAULTS = {
+    end: { position: 0 },
+};
+/** 種別として正しいか */
+export function isEntityType(value) {
+    return typeof value === 'string' && ENTITY_TYPES.includes(value);
+}
+/** 関係か(from と to がエンティティを指す) */
+export function isRelationship(record) {
+    const r = record;
+    return !!(r && r.from && typeof r.from === 'object' && 'entity' in r.from
+        && r.to && typeof r.to === 'object' && 'entity' in r.to);
+}
+/**
+ * エンティティか。関係でなく、type・インスタンスの配列・位置・大きさのどれかを持つ。
+ * マスタ(id と name だけ)と区別するための判定なので、id と name しか無いエンティティは見分けられない
+ * (entities[] の要素と分かっているときは entityWithDefaults を使う)。
+ */
+export function isEntity(record) {
+    if (!record || isRelationship(record))
+        return false;
+    const e = record;
+    return typeof e.type === 'string' || Array.isArray(e.identifiers) || Array.isArray(e.attributes)
+        || e.position !== undefined || e.size !== undefined;
+}
+/** レコードの種類 */
+export function kindOf(record) {
+    if (isRelationship(record))
+        return 'relationship';
+    return isEntity(record) ? 'entity' : 'master';
+}
+/** 表示する名前。文字列ならそのまま、Name なら logical(無ければ physical)。無ければ '' */
+export function nameOf(record) {
+    const name = record.name;
+    if (typeof name === 'string')
+        return name;
+    if (name && typeof name === 'object')
+        return name.logical || name.physical || '';
+    return '';
+}
+/** 端点に既定を重ねる(角度が無ければ 0。cardinality / optionality は不正値なら除く) */
+export function endWithDefaults(end) {
+    const out = {
+        ...end,
+        position: typeof end.position === 'number' && Number.isFinite(end.position) ? end.position : RELATIONSHIP_DEFAULTS.end.position,
+    };
+    if (!CARDINALITIES.includes(end.cardinality))
+        delete out.cardinality;
+    if (!OPTIONALITIES.includes(end.optionality))
+        delete out.optionality;
+    return out;
+}
+/** 関係に既定を重ねる: from / to の position */
+export function relationshipWithDefaults(record) {
+    return {
+        ...record,
+        from: endWithDefaults(record.from),
+        to: endWithDefaults(record.to),
+    };
+}
+/**
+ * エンティティに既定を重ねる: position(無ければ 0, 0)、size(無ければ 0, 0 = 内容に合わせる)。
+ * type は補わない(無ければ無いまま。d3.ter は描けないので check で知らせる)。
+ */
+export function entityWithDefaults(record) {
+    return {
+        ...record,
+        position: { ...ENTITY_DEFAULTS.position, ...(record.position || {}) },
+        size: { ...ENTITY_DEFAULTS.size, ...(record.size || {}) },
+    };
+}
+/**
+ * レコードに、view が既定で使う値を重ねて返す(入力は書き換えない)。インスペクタの初期値に使う。
+ * 形から種類を決める(kindOf)。マスタはそのまま(複製だけ)。
+ * name は文字列か Name かを保つ(どちらで書いたかで編集できる項目が変わる — fieldsOf)。
+ */
+export function withDefaults(record) {
+    if (isRelationship(record))
+        return relationshipWithDefaults(record);
+    if (isEntity(record))
+        return entityWithDefaults(record);
+    return { ...record };
+}

package/dist/fields.d.ts

@@ -0,0 +1,19 @@
+import type { TmCollection, TmField, TmRecord } from './types.js';
+/** 名前の項目。name が Name(オブジェクト)なら論理名・物理名の 2 項目、それ以外は名称 1 項目 */
+export declare function nameFields(record: TmRecord): TmField[];
+/** エンティティの項目(名前のあと) */
+export declare const ENTITY_FIELDS: readonly TmField[];
+/**
+ * 関係の項目。接続位置はエンティティの中心から見た角度(0=真下・時計回り。90=左 / 180=真上 / 270=右)。
+ * カーディナリティ・オプショナリティは空にできる(記号を描かない)。
+ */
+export declare const RELATIONSHIP_FIELDS: readonly TmField[];
+/** マスタ(識別子・属性)の項目(名前のあと) */
+export declare const MASTER_FIELDS: readonly TmField[];
+/**
+ * レコードに応じた項目の一覧。
+ * マスタは identifiers / attributes のどちらかをレコードの形から判別できないので、利用側が collection を渡す
+ * (項目は同じなので、渡さなくても一覧は変わらない。applyPatch では必須)。
+ */
+export declare function fieldsOf(record: TmRecord, _collection?: TmCollection): TmField[];
+//# sourceMappingURL=fields.d.ts.map

package/dist/fields.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAKlE,4DAA4D;AAC5D,wBAAgB,UAAU,CAAC,MAAM,EAAE,QAAQ,GAAG,OAAO,EAAE,CAUtD;AAED,uBAAuB;AACvB,eAAO,MAAM,aAAa,EAAE,SAAS,OAAO,EAM3C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,OAAO,EAgBjD,CAAC;AAEF,4BAA4B;AAC5B,eAAO,MAAM,aAAa,EAAE,SAAS,OAAO,EAG3C,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC,EAAE,YAAY,GAAG,OAAO,EAAE,CAShF"}

package/dist/fields.js

@@ -0,0 +1,72 @@
+// 編集できる項目の一覧。インスペクタ(colonoscope の ModelInspector)に渡す。
+//
+// path はレコードの実際の項目を指す。既定値は withDefaults() で重ねてから渡すので、
+// 書いていない項目(関係の角度など)も、図に描かれている値が初期値として出る。
+// type: 'readonly' は表示だけ。options は取りうる値の一覧(検証にも使う。文字列で持つ)。
+//
+// 名前は、レコードが文字列で持っていれば name、{ logical, physical } で持っていれば
+// name.logical / name.physical を出す(どちらで書いたかを変えない)。
+// エンティティのインスタンス(識別子・属性の行)は entities[] の入れ子で、JSON Merge Patch では 1 要素を指せないので
+// 項目にしない(行を右クリックしたときはマスタを開く)。
+import { CARDINALITIES, ENTITY_TYPES, OPTIONALITIES, SUBSET_KINDS, kindOf } from './defaults.js';
+const CARDINALITY_OPTIONS = CARDINALITIES.map(String);
+const OPTIONALITY_OPTIONS = OPTIONALITIES.map(String);
+/** 名前の項目。name が Name(オブジェクト)なら論理名・物理名の 2 項目、それ以外は名称 1 項目 */
+export function nameFields(record) {
+    const name = record.name;
+    if (name && typeof name === 'object')
+        return [
+            { path: 'name.logical', label: '論理名', type: 'text' },
+            { path: 'name.physical', label: '物理名', type: 'text' },
+        ];
+    return [{ path: 'name', label: '名称', type: 'text' }];
+}
+/** エンティティの項目(名前のあと) */
+export const ENTITY_FIELDS = [
+    { path: 'type', label: '種別', type: 'text', options: ENTITY_TYPES },
+    { path: 'id', label: 'ID', type: 'readonly' },
+    { path: 'description', label: '説明', type: 'textarea' },
+    { path: 'size.w', label: '幅 (0 で自動)', type: 'number' },
+    { path: 'size.h', label: '高さ (0 で自動)', type: 'number' },
+];
+/**
+ * 関係の項目。接続位置はエンティティの中心から見た角度(0=真下・時計回り。90=左 / 180=真上 / 270=右)。
+ * カーディナリティ・オプショナリティは空にできる(記号を描かない)。
+ */
+export const RELATIONSHIP_FIELDS = [
+    { path: 'id', label: 'ID', type: 'readonly' },
+    { path: 'type', label: '種類', type: 'text' },
+    { path: 'label', label: 'ラベル', type: 'text' },
+    { path: 'from.entity', label: '接続元のエンティティ', type: 'readonly' },
+    { path: 'from.position', label: '接続元の位置 (角度)', type: 'number' },
+    { path: 'from.cardinality', label: '接続元のカーディナリティ (空で無し)', type: 'text', options: CARDINALITY_OPTIONS },
+    { path: 'from.optionality', label: '接続元のオプショナリティ (空で無し)', type: 'text', options: OPTIONALITY_OPTIONS },
+    { path: 'to.entity', label: '接続先のエンティティ', type: 'readonly' },
+    { path: 'to.position', label: '接続先の位置 (角度)', type: 'number' },
+    { path: 'to.cardinality', label: '接続先のカーディナリティ (空で無し)', type: 'text', options: CARDINALITY_OPTIONS },
+    { path: 'to.optionality', label: '接続先のオプショナリティ (空で無し)', type: 'text', options: OPTIONALITY_OPTIONS },
+    { path: 'subset.kind', label: 'サブセットの区分 (same は =、different は ×)', type: 'text', options: SUBSET_KINDS },
+    { path: 'subset.code', label: 'サブセットの区分コード', type: 'text' },
+    { path: 'mapping.entity', label: '垂下する表 (エンティティ)', type: 'readonly' },
+    { path: 'description', label: '説明', type: 'textarea' },
+];
+/** マスタ(識別子・属性)の項目(名前のあと) */
+export const MASTER_FIELDS = [
+    { path: 'description', label: '説明', type: 'textarea' },
+    { path: 'id', label: 'ID', type: 'readonly' },
+];
+/**
+ * レコードに応じた項目の一覧。
+ * マスタは identifiers / attributes のどちらかをレコードの形から判別できないので、利用側が collection を渡す
+ * (項目は同じなので、渡さなくても一覧は変わらない。applyPatch では必須)。
+ */
+export function fieldsOf(record, _collection) {
+    switch (kindOf(record)) {
+        case 'relationship':
+            return [...RELATIONSHIP_FIELDS];
+        case 'entity':
+            return [...nameFields(record), ...ENTITY_FIELDS];
+        default:
+            return [...nameFields(record), ...MASTER_FIELDS];
+    }
+}

package/dist/index.d.ts

@@ -0,0 +1,8 @@
+export type { TmId, TmName, TmEntityType, TmMasterRecord, TmIdentifierRef, TmAttributeRef, TmEntityRecord, TmCardinality, TmOptionality, TmRelationshipEnd, TmRelationshipDetail, TmSubset, TmRelationshipRecord, TmRecord, TmGraph, TmMasterCollection, TmCollection, TmKind, MergePatch, TmChange, TmMove, TmFieldType, TmField, TmValues, } from './types.js';
+export type { TmFilledEnd } from './defaults.js';
+export { ENTITY_TYPES, TYPE_BADGES, TYPE_COLORS, MAPPING_TYPES, SUBSET_KINDS, CARDINALITIES, OPTIONALITIES, ENTITY_DEFAULTS, RELATIONSHIP_DEFAULTS, isEntityType, isRelationship, isEntity, kindOf, nameOf, endWithDefaults, entityWithDefaults, relationshipWithDefaults, withDefaults, } from './defaults.js';
+export { SCHEMAS, IDENTIFIERS_SCHEMA, ATTRIBUTES_SCHEMA, ENTITIES_SCHEMA, RELATIONSHIPS_SCHEMA } from './schema.js';
+export { check, findById } from './check.js';
+export { ENTITY_FIELDS, RELATIONSHIP_FIELDS, MASTER_FIELDS, nameFields, fieldsOf } from './fields.js';
+export { ModelError, collectionOf, titleOf, getByPath, mergePatch, movePatch, applyPatch } from './patch.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAWA,YAAY,EACV,IAAI,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,EAAE,cAAc,EAC3F,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,QAAQ,EAAE,oBAAoB,EACrG,QAAQ,EAAE,OAAO,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,EAC3D,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,QAAQ,GAC7D,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EACL,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EACjG,eAAe,EAAE,qBAAqB,EACtC,YAAY,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,YAAY,GACpI,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACpH,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,aAAa,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACtG,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -0,0 +1,15 @@
+// model.tm — TM(T字形ER。d3.ter)の「図ごとの知識」。描画はしない(react / d3 に依存しない)。
+//
+//   スキーマ:        SCHEMAS / *_SCHEMA(JSON Schema 2020-12。4 コレクション)
+//   整合性ルール:    check(data)(id の重複・参照先の存在・CLASS と mapping の結線の規則)
+//   既定値の補完:    withDefaults(record) / entityWithDefaults / relationshipWithDefaults / kindOf / nameOf
+//                    種別の表示: ENTITY_TYPES / TYPE_BADGES / TYPE_COLORS(d3.ter が読む)
+//   編集できる項目:  fieldsOf(record, collection?) / nameFields / ENTITY_FIELDS / RELATIONSHIP_FIELDS / MASTER_FIELDS
+//   patch への変換:  movePatch(entity, move) / applyPatch(record, values, collection?) / mergePatch(record, patch)
+//
+// view(d3.ter)はこのパッケージの既定値(種別バッジ・配色・角度)を読む。インスペクタ(colonoscope)との間に横の依存は無い。
+export { ENTITY_TYPES, TYPE_BADGES, TYPE_COLORS, MAPPING_TYPES, SUBSET_KINDS, CARDINALITIES, OPTIONALITIES, ENTITY_DEFAULTS, RELATIONSHIP_DEFAULTS, isEntityType, isRelationship, isEntity, kindOf, nameOf, endWithDefaults, entityWithDefaults, relationshipWithDefaults, withDefaults, } from './defaults.js';
+export { SCHEMAS, IDENTIFIERS_SCHEMA, ATTRIBUTES_SCHEMA, ENTITIES_SCHEMA, RELATIONSHIPS_SCHEMA } from './schema.js';
+export { check, findById } from './check.js';
+export { ENTITY_FIELDS, RELATIONSHIP_FIELDS, MASTER_FIELDS, nameFields, fieldsOf } from './fields.js';
+export { ModelError, collectionOf, titleOf, getByPath, mergePatch, movePatch, applyPatch } from './patch.js';

package/dist/patch.d.ts

@@ -0,0 +1,31 @@
+import type { MergePatch, TmChange, TmCollection, TmEntityRecord, TmMove, TmRecord, TmValues } from './types.js';
+/** 入力の検証エラー。message は利用者向け */
+export declare class ModelError extends Error {
+    constructor(message: string);
+}
+/**
+ * レコードを置くコレクション。関係・エンティティは形から決まる。
+ * マスタは identifiers / attributes を形から判別できないので collection が要る。
+ */
+export declare function collectionOf(record: TmRecord, collection?: TmCollection): TmCollection;
+/** インスペクタの見出し。名前、無ければ id(関係はラベル、無ければ「種類 id」) */
+export declare function titleOf(record: TmRecord): string;
+/** ドット区切りの path で値を取り出す */
+export declare function getByPath(obj: unknown, path: string): unknown;
+/**
+ * JSON Merge Patch をレコードに重ねたものを返す(入力は書き換えない)。
+ * null の項目は除く。保存したあと、表示を先に更新するときに使う。
+ */
+export declare function mergePatch<T extends object>(record: T, patch: MergePatch): T;
+/**
+ * ドラッグで動かしたエンティティの位置を保存する patch。
+ * 保存してある position に移動量を足し、整数に丸める(position が無いときは 0, 0 から)。z は触らない。
+ */
+export declare function movePatch(entity: TmEntityRecord, move: TmMove): TmChange;
+/**
+ * インスペクタの「適用」の値を、保存する patch に変換する。
+ * 図に描いている値から変えた項目だけを patch に入れる(変えていない既定の値まで書き込まないため)。
+ * 変更が無ければ patch は {}。マスタのときは collection(identifiers / attributes)が要る。
+ */
+export declare function applyPatch(record: TmRecord, values: TmValues, collection?: TmCollection): TmChange;
+//# sourceMappingURL=patch.d.ts.map

package/dist/patch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.d.ts","sourceRoot":"","sources":["../src/patch.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EACV,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,cAAc,EAAkB,MAAM,EAAE,QAAQ,EAAwB,QAAQ,EACrH,MAAM,YAAY,CAAC;AAEpB,8BAA8B;AAC9B,qBAAa,UAAW,SAAQ,KAAK;gBACvB,OAAO,EAAE,MAAM;CAI5B;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,YAAY,GAAG,YAAY,CAWtF;AAED,gDAAgD;AAChD,wBAAgB,OAAO,CAAC,MAAM,EAAE,QAAQ,GAAG,MAAM,CAWhD;AAED,2BAA2B;AAC3B,wBAAgB,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAK7D;AAED;;;GAGG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,GAAG,CAAC,CAmB5E;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAaxE;AA2ND;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,EAAE,YAAY,GAAG,QAAQ,CAUlG"}

package/dist/patch.js

@@ -0,0 +1,264 @@
+// UI の操作(ドラッグ・インスペクタの適用)を、保存する patch(JSON Merge Patch)に変換する。
+//
+// 戻り値は { collection, id, patch }。利用側(iHub など)は図の種類を知らずにこれを保存すればよい。
+// 入力の検証に失敗したときは ModelError を投げる(メッセージは利用者にそのまま見せられる日本語)。
+// 使い方の誤り(マスタなのに collection を渡していない)は ModelError ではなく Error。
+import { CARDINALITIES, ENTITY_TYPES, OPTIONALITIES, SUBSET_KINDS, isEntity, isRelationship, kindOf, nameOf, withDefaults, } from './defaults.js';
+import { fieldsOf } from './fields.js';
+/** 入力の検証エラー。message は利用者向け */
+export class ModelError extends Error {
+    constructor(message) {
+        super(message);
+        this.name = 'ModelError';
+    }
+}
+/**
+ * レコードを置くコレクション。関係・エンティティは形から決まる。
+ * マスタは identifiers / attributes を形から判別できないので collection が要る。
+ */
+export function collectionOf(record, collection) {
+    if (isRelationship(record))
+        return 'relationships';
+    if (isEntity(record))
+        return 'entities';
+    if (!collection)
+        throw new Error('model.tm: マスタ (識別子・属性) のレコードには collection を渡してください。');
+    return collection;
+}
+/** インスペクタの見出し。名前、無ければ id(関係はラベル、無ければ「種類 id」) */
+export function titleOf(record) {
+    if (isRelationship(record)) {
+        if (typeof record.label === 'string' && record.label !== '')
+            return record.label;
+        return `${record.type || ''} ${String(record.id)}`.trim();
+    }
+    const name = nameOf(record);
+    return name !== '' ? name : String(record.id);
+}
+/** ドット区切りの path で値を取り出す */
+export function getByPath(obj, path) {
+    return path.split('.').reduce((acc, key) => (acc == null ? acc : acc[key]), obj);
+}
+/**
+ * JSON Merge Patch をレコードに重ねたものを返す(入力は書き換えない)。
+ * null の項目は除く。保存したあと、表示を先に更新するときに使う。
+ */
+export function mergePatch(record, patch) {
+    const out = { ...record };
+    for (const [key, value] of Object.entries(patch)) {
+        if (value === null) {
+            delete out[key];
+        }
+        else if (typeof value === 'object' && !Array.isArray(value)) {
+            const base = out[key];
+            out[key] = mergePatch(base && typeof base === 'object' && !Array.isArray(base) ? base : {}, value);
+        }
+        else {
+            out[key] = value;
+        }
+    }
+    return out;
+}
+/**
+ * ドラッグで動かしたエンティティの位置を保存する patch。
+ * 保存してある position に移動量を足し、整数に丸める(position が無いときは 0, 0 から)。z は触らない。
+ */
+export function movePatch(entity, move) {
+    const base = entity.position || { x: 0, y: 0 };
+    return {
+        collection: 'entities',
+        id: entity.id,
+        patch: {
+            position: {
+                x: Math.round(base.x + move.dx),
+                y: Math.round(base.y + move.dy),
+            },
+        },
+    };
+}
+// ---- 入力の読み取り ------------------------------------------------------------
+// 入力した文字列を数にする。数でないときは null。
+function toNumber(value) {
+    const n = Number(value);
+    return value !== '' && Number.isFinite(n) ? n : null;
+}
+// 0 以上の整数(幅・高さ。0 は「内容に合わせる」)
+function toLength(value, label) {
+    const n = toNumber(value);
+    if (n === null || n < 0)
+        throw new ModelError(`${label}は 0 以上の数で入力してください。(0 で内容に合わせる)`);
+    return Math.round(n);
+}
+// 角度(0 以上 360 未満の整数に正規化)
+function toDegree(value, label) {
+    const n = toNumber(value);
+    if (n === null)
+        throw new ModelError(`${label}は、角度 (数) で入力してください。`);
+    return ((Math.round(n) % 360) + 360) % 360;
+}
+// 候補の中の数、または空(null = 項目を除く)
+function toOptionNumberOrNull(value, options, label) {
+    if (value === '')
+        return null;
+    const n = toNumber(value);
+    if (n === null || !options.includes(n))
+        throw new ModelError(`${label}は、${options.join(' / ')} のどれか (または空) で入力してください。`);
+    return n;
+}
+// 候補の中の文字列
+function toOption(value, options, label) {
+    if (!options.includes(value))
+        throw new ModelError(`${label}は、${options.join(' / ')} のどれかで入力してください。`);
+    return value;
+}
+// 空にできる文字列。空なら null(JSON Merge Patch で項目を除く)
+function toOptionalText(value) {
+    return value === '' ? null : value;
+}
+// patch の入れ子に値を置く(patch.from.position = v のように)
+function put(patch, path, value) {
+    const keys = path.split('.');
+    let cur = patch;
+    for (const key of keys.slice(0, -1)) {
+        if (!cur[key] || typeof cur[key] !== 'object')
+            cur[key] = {};
+        cur = cur[key];
+    }
+    cur[keys[keys.length - 1]] = value;
+}
+/**
+ * インスペクタの入力のうち、図に描いている値(withDefaults で埋めた値)から変わった項目だけを返す。
+ * 前後の空白は除く。読み取り専用の項目と、values に無い項目は含めない。
+ */
+function changedValues(record, values, collection) {
+    const effective = withDefaults(record);
+    const out = new Map();
+    for (const field of fieldsOf(record, collection)) {
+        if (field.type === 'readonly')
+            continue;
+        const value = values[field.path];
+        if (value === undefined)
+            continue;
+        const current = getByPath(effective, field.path);
+        if (value.trim() !== String(current ?? ''))
+            out.set(field.path, value.trim());
+    }
+    return out;
+}
+// 名前(name / name.logical / name.physical)。required なら空にできない
+function namePatch(patch, path, value, required) {
+    // name と name.logical は空にできない。name.physical は空にできる(論理名だけのモデル)
+    if (value === '' && required)
+        throw new ModelError('名称を入力してください。');
+    put(patch, path, value);
+}
+// エンティティの入力 → patch(name / type / description / size)
+function entityPatch(entity, values) {
+    const patch = {};
+    for (const [path, value] of changedValues(entity, values)) {
+        switch (path) {
+            case 'name':
+            case 'name.logical':
+                namePatch(patch, path, value, true);
+                break;
+            case 'name.physical':
+                namePatch(patch, path, value, false);
+                break;
+            case 'type':
+                put(patch, path, toOption(value, ENTITY_TYPES, '種別'));
+                break;
+            case 'size.w':
+                put(patch, path, toLength(value, '幅'));
+                break;
+            case 'size.h':
+                put(patch, path, toLength(value, '高さ'));
+                break;
+            case 'description':
+                put(patch, path, toOptionalText(value));
+                break;
+        }
+    }
+    return patch;
+}
+const END_LABELS = { from: '接続元', to: '接続先' };
+// 関係の入力 → patch(type / label / from / to / subset / description)
+function relationshipPatch(relationship, values) {
+    const patch = {};
+    for (const [path, value] of changedValues(relationship, values)) {
+        const [head, key] = path.split('.');
+        if ((head === 'from' || head === 'to') && key) {
+            const label = END_LABELS[head];
+            switch (key) {
+                case 'position':
+                    put(patch, path, toDegree(value, `${label}の位置`));
+                    break;
+                case 'cardinality':
+                    put(patch, path, toOptionNumberOrNull(value, CARDINALITIES, `${label}のカーディナリティ`));
+                    break;
+                case 'optionality':
+                    put(patch, path, toOptionNumberOrNull(value, OPTIONALITIES, `${label}のオプショナリティ`));
+                    break;
+            }
+            continue;
+        }
+        switch (path) {
+            case 'subset.kind':
+                put(patch, path, toOption(value, SUBSET_KINDS, 'サブセットの区分'));
+                break;
+            case 'subset.code':
+                // 区分コードを空にするとサブセットの表記を消す(subset ごと除く)
+                if (value === '')
+                    patch.subset = null;
+                else
+                    put(patch, path, value);
+                break;
+            case 'type':
+            case 'label':
+            case 'description':
+                put(patch, path, toOptionalText(value));
+                break;
+        }
+    }
+    // subset を除くときは kind の変更も要らない
+    if (patch.subset === null)
+        return patch;
+    // kind だけを新しく書いて code が無い subset は作らない(d3.ter は code が無ければ描かない)
+    const subset = patch.subset;
+    if (subset && subset.kind !== undefined && subset.code === undefined && !relationship.subset?.code)
+        throw new ModelError('サブセットの区分コードを入力してください。');
+    return patch;
+}
+// マスタの入力 → patch(name / description)
+function masterPatch(master, values, collection) {
+    const patch = {};
+    for (const [path, value] of changedValues(master, values, collection)) {
+        switch (path) {
+            case 'name':
+            case 'name.logical':
+                // 識別子・属性の名前は空にできない(エンティティの行に描く文字が無くなる)
+                namePatch(patch, path, value, true);
+                break;
+            case 'name.physical':
+                namePatch(patch, path, value, false);
+                break;
+            case 'description':
+                put(patch, path, toOptionalText(value));
+                break;
+        }
+    }
+    return patch;
+}
+/**
+ * インスペクタの「適用」の値を、保存する patch に変換する。
+ * 図に描いている値から変えた項目だけを patch に入れる(変えていない既定の値まで書き込まないため)。
+ * 変更が無ければ patch は {}。マスタのときは collection(identifiers / attributes)が要る。
+ */
+export function applyPatch(record, values, collection) {
+    const target = collectionOf(record, collection);
+    const patch = kindOf(record) === 'relationship'
+        ? relationshipPatch(record, values)
+        : kindOf(record) === 'entity'
+            ? entityPatch(record, values)
+            : masterPatch(record, values, target);
+    return { collection: target, id: record.id, patch };
+}