@cardenelabs/cdl 0.9.0 → 0.11.0

package/src/validate.ts

@@ -5,6 +5,20 @@ import { nodeTemplateTexts } from "./render/template-fields";
 import { derivedRefIds } from "./render/derived-values";
 
 const TONES = new Set<string>(TONE_NAMES);
+
+/**
+ * phase の `draw` が効く kind (cdl#512 / cdl#516)。
+ *
+ * **一覧を 1 箇所で持つ**。 知らせの文面もここから組み立てる = 対応種別が増えた時に
+ * 片方だけ古くなる形を作らない。
+ *
+ * | kind | 起点 | 動き |
+ * |---|---|---|
+ * | `chart-line` | 左端 | 線が右へ伸びる |
+ * | `chart-bar` | 横軸 | 棒が上へ伸びる |
+ * | `chart-pie` | 12 時 | 扇が時計回りに開く |
+ */
+export const DRAW_KINDS: ReadonlySet<string> = new Set(["chart-line", "chart-bar", "chart-pie"]);
 const KINDS = new Set<string>(NODE_KINDS);
 const ENG_BANNED = /\b(FUNCTION|STORAGE|EVENT LOG|BALANCES MAPPING|READ|WRITE|EMIT|CALL)\b/;
 
@@ -108,7 +122,7 @@ export function validate(diag: CdlDiagram): void {
   ]);
 
   // 「もしかして」 サジェスト (typo 検出): edit distance 1 で最も近い候補 1 件
-  const suggest = (target: string, candidates: Set<string>): string => {
+  const suggest = (target: string, candidates: Set<string>, candidateKind: "lane" | "node" = "lane"): string => {
     const list = [...candidates];
     if (list.length === 0) return "";
     let best = "";
@@ -120,7 +134,7 @@ export function validate(diag: CdlDiagram): void {
         best = c;
       }
     }
-    return bestD <= 2 ? ` (もしかして "${best}"?)` : ` (定義済 lane: ${list.slice(0, 5).join(", ")}${list.length > 5 ? "..." : ""})`;
+    return bestD <= 2 ? ` (もしかして "${best}"?)` : ` (定義済 ${candidateKind}: ${list.slice(0, 5).join(", ")}${list.length > 5 ? "..." : ""})`;
   };
   for (const n of diag.nodes) {
     if (!laneIds.has(n.lane)) {
@@ -132,12 +146,12 @@ export function validate(diag: CdlDiagram): void {
   for (const e of diag.edges) {
     if (!nodeIds.has(e.from)) {
       errors.push(
-        `[cdl] unknown-ref: edge "${e.id}" の from "${e.from}" が node に存在しません${suggest(e.from, nodeIds)}\n  → 修正例: .node("${e.from}", { lane: "...", stack: 0, kind: "actor", title: "..." }) を edge 宣言前に追加`,
+        `[cdl] unknown-ref: edge "${e.id}" の from "${e.from}" が node に存在しません${suggest(e.from, nodeIds, "node")}\n  → 修正例: .node("${e.from}", { lane: "...", stack: 0, kind: "actor", title: "..." }) を edge 宣言前に追加`,
       );
     }
     if (!nodeIds.has(e.to)) {
       errors.push(
-        `[cdl] unknown-ref: edge "${e.id}" の to "${e.to}" が node に存在しません${suggest(e.to, nodeIds)}\n  → 修正例: .node("${e.to}", { lane: "...", stack: 0, kind: "...", title: "..." }) を edge 宣言前に追加`,
+        `[cdl] unknown-ref: edge "${e.id}" の to "${e.to}" が node に存在しません${suggest(e.to, nodeIds, "node")}\n  → 修正例: .node("${e.to}", { lane: "...", stack: 0, kind: "...", title: "..." }) を edge 宣言前に追加`,
       );
     }
     if (e.from === e.to) {
@@ -156,6 +170,22 @@ export function validate(diag: CdlDiagram): void {
         errors.push(`[cdl] unknown-ref: phase "${p.id}" の activate "${id}" は node でも edge でもない (typo の可能性)`);
       }
     }
+    // 描き始める対象は node に限る (cdl#512)。 edge は `activate` された phase で自分から
+    // 伸びるため (`render/edges.tsx` の `SolidEdgePath`)、 `draw` で指す相手にならない
+    for (const id of p.draw ?? []) {
+      if (!nodeIds.has(id)) {
+        errors.push(`[cdl] unknown-ref: phase "${p.id}" の draw "${id}" は node ではない (typo の可能性)${suggest(id, nodeIds, "node")}`);
+        continue;
+      }
+      // 描き方を持たない種別を指しても図は出るが、 書いた指定は何もしない。
+      // 黙って捨てると「書いたのに伸びない」 が手掛かりなしで起きる
+      const kind = diag.nodes.find((n) => n.id === id)?.kind;
+      if (!DRAW_KINDS.has(String(kind))) {
+        warnings.push(
+          `phase "${p.id}" の draw "${id}" は kind "${kind}" で、 起点から描く動きを持たない (対象は ${[...DRAW_KINDS].join(" / ")})`,
+        );
+      }
+    }
     for (const t of p.tweens) {
       if (!stateIds.has(t.stateId)) {
         errors.push(`[cdl] unknown-ref: phase "${p.id}" tween 対象 state "${t.stateId}" 未定義`);