@cardenelabs/dragon 0.34.0 → 0.35.0

package/src/compile/notice.ts

@@ -1,141 +0,0 @@
-/**
- * 組み立てが出す知らせの形 (#2030 で `compile.ts` から移した)。
- *
- * 図種ごとの file が受け取り口の型として使い、`compile.ts` が再輸出して外へ出す。
- *
- * **葉に置く** = 型そのものは消えるが、TypeScript の取り込みの輪は残る。 輪があると
- * 読む順で解決が変わるため、型でも輪を作らない。
- */
-
-/** 図は出せるが書いた通りにならなかった、 という知らせ。 */
-export type CompileNotice = {
-  kind:
-    | "relative-position-ignored"
-    | "focus-target-missing"
-    | "state-override-rejected"
-    | "external-paint-dropped"
-    // 図の中に描く部品を持たない見本を重ねた (#1017)
-    | "part-not-drawn"
-    // 向きが効かない形で `向き:` を書いた (#1494)
-    | "direction-not-honored"
-    // 既定と同じ向きを書き、その向きを外しても同じ組み立てを通る (#2421)。 書いた行が図を
-    // 1 ピクセルも動かさない形で、書き手には効いたのか効かなかったのかが画面から読めない。
-    // **経路が切り替わる形とは別物** = 向きを書くとフローは鎖をやめ、担当の図は共通の組み立てへ
-    // 回る。 その切替が起きる図では既定と同じ値でも絵が変わるので、この知らせは出さない
-    | "direction-same-as-default"
-    // 並び順が効かない図種に `order:` を書いた (#2655)
-    | "order-not-honored"
-    | "shape-not-honored"
-    // 段階ごとの箱で `stage` を省き、担当または箱名から段階を補った (#2797)
-    | "stage-from-lane"
-    // 路線図で `lane` を省き、箱名を線路名に使った (#2799)
-    | "track-from-name"
-    // `theme:` とその別名 `palette:` を両方書き、`theme:` を使った (#2790)
-    | "theme-palette-both"
-    // `倍率:` を書いた見本が、同じ名前の状態も持っていた (#1026)
-    | "scale-reserved"
-    // 部品に書いた色が効かない (#1973)。 色番号を入れる状態を 1 つも持たない部品に色番号を
-    // 書いた時と、色番号でなく色の名前を書いた時
-    | "part-color-ignored"
-    // 部品に、部品が持たない状態の名前で値を書いた (#1976)。 綴り違いと、外した欄 (`nodes`) を書いた時
-    | "part-state-missing"
-    // 部品へ引いた矢印を、部品の中のどの要素にも繋げず外した (#1979)。 要素が 2 つ以上あり名指しが無い時、
-    // 名指しした要素が部品に無い時、部品を取り込まなかった時
-    | "part-edge-dropped"
-    // 種類 (`kind`) に書いた名前が、箱の種類にも渡された部品の一覧にも無い (#2113)。 箱の種類の綴り違いも
-    // 部品の名前とみなされてここに来る。 部品の一覧を渡さない組み立てでは出さない
-    | "part-not-found"
-    // 矢印に部品の要素の名指し (`fromPartNode` / `toPartNode`) を書いたが、その端が部品でない (#1979)
-    | "part-node-ignored"
-    // 縦列に置くはずの部品が他の箱の位置の基準になっていて、縦列に置けなかった (#1980)
-    | "part-lane-ignored"
-    // 箱ごとの値や時期を読んで 1 つの図に描く図種で、読めない項目があった (#1154)。 使う図種は
-    // 各図種の組み立て (`compile/*.ts`) が決める
-    | "chart-value-unreadable"
-    // 同じ図種で、書いた矢印を描かなかった (#1154)。 関係を描かない図種と、端を描けない矢印 (ガントチャートで
-    // 時期の無い項目を指す等、#2111)
-    | "chart-edge-dropped"
-    // 同じ名前を `states` と `values` の両方に書いた (#1162)
-    | "value-shadows-state"
-    // 同じ名前を `states` と `inputs` の両方に書き、 値がずれた (#2413)。 両方に書くこと自体は
-    // 意図された書き方 (見本 105 箇所) だが、 描く側はつまみの既定値で状態を塗るため、
-    // ずれると状態の初期値は図のどの瞬間にも出ない
-    | "state-shadowed-by-input"
-    // 式を解けず、その値を止めた (輪 / 無い名前 / 読めない式 / 数として読めない値、 #1162)
-    | "value-unresolved"
-    // 同じ名前を `values` に 2 度書いた。 先に書いた式を使う (#1162)
-    | "value-duplicate"
-    // 矢印が `actors` に無い名前を指した (#1209)
-    | "flow-actor-missing"
-    // 帯 (`bands:`) を、 帯を描かない図種に書いた (#2404)。 帯は板の縦線に重ねる四角なので、
-    // 板を作らない図種には載せる先が無い (実測 = 24 図種のうち 22 図種が黙って捨てていた)
-    | "band-not-honored"
-    // 順序図の帯 (`bands:`) が `actors` に無い名前を指した (#2404)。 描く側は見つからない名前を
-    // 先頭の面に倒すため、 綴り違いの帯は正しく書いた帯と同じ図になり、 書き間違いが見えない
-    | "band-actor-missing"
-    // 順序図の帯に書いた区間が、 板に載る言づての並びに収まらない (#2404)。 範囲外と、
-    // 始まりが終わりより後ろ の 2 形。 **`row` は言づての行** = 描く側が `rowY(i)` で
-    // i 通目の言づての高さを返す。 段 (`animation` の `step`) ではないので `step` と呼ばない
-    | "band-row-out-of-range"
-    // きっかけ形の値を段に畳めなかった (段が無い / 相手が境目を通らない / 段からはみ出す、 #1161)
-    | "value-trigger-unresolved"
-    // 箱に `lane:` を書いたが、 縦列は図種が決めるため効かなかった (#1246)
-    | "lane-not-honored"
-    // 路線図以外の lane に、路線図の名札だけが読む補足を書いた
-    | "lane-option-not-honored"
-    // `lanes:` に書いた縦列に箱が 1 つも入らなかった (#1241)
-    | "lane-declared-empty"
-    // 最上位に `eyebrow:` を書いたが、 箱ごとに分かれる図種で相手が決まらなかった (#1247)
-    | "eyebrow-not-honored"
-    // 静止した `type: flow` で、書いた矢印の端が使われなかった (#1269)
-    | "flow-endpoint-not-honored"
-    // 起点から描く動きを持たない図種で段に `draw:` を書いた (#1312)
-    | "draw-not-honored"
-    // `draw:` の語がその図種と食い違う (`type: bar` に `draw: pie`、 #1314)
-    | "draw-target-mismatch"
-    // 式が、どこにも書かれていない名前を読んだ (#1391)
-    | "formula-unresolved"
-    // 値を見せる部品が、どこにも書かれていない名前を読んだ (#2405)。 読む元は `states` /
-    // `inputs` / `formulas` の 3 つ。 見る欄は `source` の 1 つではなく、 綴りの規則
-    // (`source` / `〜Source` / `sourceA`) に当たる全ての欄
-    | "readout-source-missing"
-    // 出来事が指す相手が図に無い (#1393)。 書いた名前が本文のどこにも無い時に出す = 書き直せば直る
-    | "event-target-missing"
-    // 出来事が指す名前は本文に在るが、この図種はそれを箱 / 矢印にしない (#2336)。
-    // 値を並べる図種は図全体で 1 つの箱になり、 順序図は 1 枚の板になる。
-    // `event-target-missing` と分けるのは、こちらが **書き直しても直らない** 側だから
-    | "event-target-not-honored"
-    // 段の注目先に書いた名前は本文に在るが、この図種はそれを箱 / 矢印にしない (#2398)。
-    // `focus-target-missing` と分けるのは、こちらが **書き直しても直らない** 側だから。
-    // 出来事の側の `event-target-not-honored` と同じ性質で、同じ 7 図種でだけ相手を選べる
-    | "focus-target-not-honored"
-    // 順序図で面に種類を書いたが、板は名前と呼び名しか描かない (#1466)
-    | "actor-kind-not-honored"
-    // 箱に、その図種が描かない指定を書いた (#2360)。 木の図は位置も大きさも親子関係から決めるため
-    // 箱ごとの飾りを載せる先が無い。 板の 2 図種は `actor-kind-not-honored` が受け持つ
-    | "actor-option-not-honored"
-    // 順序図の言づてに、板が描かない飾りを書いた (#1466)。 数える飾りは `reportMessageOptionNotHonored` の一覧が持つ
-    | "message-option-not-honored"
-    // 位置のずらし (`pos` / `offsetX` / `offsetY`) を載せる相手が無いか、書いた量だけ動かせなかった (#1971)
-    | "position-offset-ignored"
-    // 箱の座標を横と縦のどちらか一方だけ書いた (#2362)。 座標は両方書いた時だけ効く
-    | "position-axis-missing"
-    // 組 (`groups:`) が束ねる縦列が図に無い (#1972)
-    | "group-lane-missing"
-    // 組が束ねる縦列の間に、束ねない縦列を挟んでいる (#1972)
-    | "group-lanes-apart"
-    // 矢印に書いた多重度 (`cardinality`) から端の形を描けない (#2107)。 `er` で端の形が決まる 6 語以外を
-    // 書き、端を両方は書いていない時と、`er` 以外の図種に書いた時
-    | "cardinality-not-honored"
-    // 矢印に、その図種が描かない飾り (文字 / 色 / 線種 / 多重度) を書いた (#2111)。 ガントチャートの矢印は
-    // 前後の関係だけを使う
-    | "edge-option-not-honored"
-    // ガントチャートの項目の終わりが始まりより前か、状態で決まる終わりが始まりより前の値を取る (#2111)
-    | "gantt-end-before-start";
-  /** 対象の名前。 光らせる相手なら書かれた指定そのまま */
-  actor: string;
-  /** 書かれていた行 */
-  line: number;
-  message: string;
-  hint?: string;
-};

package/src/compile/order.ts

@@ -1,57 +0,0 @@
-import type { DslDocument, PresetType } from "../types";
-
-/**
- * 箱を並べる順 (`order:`、 #2655)。
- *
- * ## 型ではなく語で持つ
- *
- * 並べ替えの鍵しか持たない図種が在り、独自の組み立てを 1 行も持たずに箱を種類で並べ替えて
- * から順序図の組み立てをそのまま呼んでいた。
- *
- * 型として持つと、振る舞いを書くたびに「順序図 または その型」 という条件を並べることになる。
- * 実際 `compile.ts` に 6 か所あり、**次に条件を足す人が片方を書き忘れれば黙って外れる**
- * 形になっていた。 差が並べ替えだけなら語で表す。
- *
- * ## 種類の順は 3 段
- *
- * 人 → しまう場所 → 出来事 の順に置く。
- * **同じ段の中では書いた順のまま** = 比べる値が等しい時の並びは変わらない。
- *
- * Solidity の図に向けた段 (契約) と行 (`eoa` / `multisig` / `wallet`) は外した (#2947)。
- *
- * 表に無い種類は最後に置く。 知らない種類を先頭へ寄せると、書き手が種類を書き間違えた図で
- * 並びが大きく崩れて原因が読めない。
- */
-const 種類の段: Record<string, number> = {
-  actor: 0,
-  signer: 0,
-  storage: 1,
-  event: 2,
-};
-
-/** 表に無い種類を置く段。 どの段よりも後ろになる数にする */
-const 表に無い種類の段 = 5;
-
-/**
- * 並び順を書ける図種 (#2655)。
- *
- * 順序図だけ。 他の図種は並び方そのものが読み方を担う (縦列が役割を表す / 段が階層を表す)
- * ので、外から並べ替えると図の意味が変わる。 書いても効かせず、書いたことを知らせる。
- */
-export const 並び順を選べる図種: ReadonlySet<PresetType> = new Set<PresetType>(["sequence"]);
-
-/** 書いた並び順が効くか (#2655) */
-export function 並び順が効くか(doc: DslDocument): boolean {
-  return doc.order !== undefined && 並び順を選べる図種.has(doc.type);
-}
-
-/**
- * 並び順を当てた文書を返す (#2655)。
- *
- * 効かない図種と、書かなかった図はそのまま返す = **書かない図の並びは 1 つも動かない**。
- */
-export function 並べ替えた文書(doc: DslDocument): DslDocument {
-  if (!並び順が効くか(doc)) return doc;
-  const 段 = (kind: string): number => 種類の段[kind] ?? 表に無い種類の段;
-  return { ...doc, actors: [...doc.actors].sort((a, b) => 段(a.kind) - 段(b.kind)) };
-}

package/src/compile/parts-lookup.ts

@@ -1,17 +0,0 @@
-import type { CdlDiagram } from "@cardenelabs/cdl";
-/**
- * 見本帳から部品を引く (#2030 で `compile.ts` から移した)。
- *
- * `parts-` の前置きは付けても付けなくても引ける。
- */
-
-/** catalog を引くところだけ。 測れるかは見ない。 */
-export function lookupPartRaw(
-  partsCatalog: Record<string, CdlDiagram>,
-  partId: string | undefined,
-): CdlDiagram | undefined {
-  if (typeof partId !== "string" || partId.length === 0) return undefined;
-  if (Object.hasOwn(partsCatalog, partId)) return partsCatalog[partId];
-  if (Object.hasOwn(partsCatalog, `parts-${partId}`)) return partsCatalog[`parts-${partId}`];
-  return undefined;
-}