Merge remote-tracking branches 'origin/sub_laptop_7', 'origin/sub_laptop_8' and 'origin/sub_laptop_2' into main_laptop_1

2026-10-01 16:23:07 +09:00
parent 42b94ed737 1004768037 71c20453e4 2ea4883273
commit 2f5cec2d61
6 changed files with 158 additions and 18 deletions
@@ -256,3 +256,21 @@
  stroke-width: 2;
  stroke-dasharray: 5 4;
 }
+
+/* 함수 상자 흐린 「+」 받는 자리 */
+.m02-cfdg__pill.is-plus {
+  justify-content: center;
+  min-width: 2rem;
+  border-style: dashed;
+  border-color: var(--color-text-muted);
+  background: transparent;
+  color: var(--color-text-muted);
+  opacity: 0.7;
+}
+
+.m02-cfdg__pill.is-plus:hover,
+.m02-cfdg.is-linking .m02-cfdg__pill.is-plus.is-target {
+  opacity: 1;
+  border-color: var(--cfdg-in);
+  color: var(--cfdg-in);
+}
@@ -53,6 +53,10 @@ const TEXT = {
  From: ["어디서", "From"],
  To: ["어디로", "To"],
  Value: ["지금 값", "Now"],
+  PlusIn: [
+    "받는 자리 — 내보내는 알약을 여기에 놓으면 받는 알약이 생김",
+    "Drop an output pill here to add an input",
+  ],
  LineOf: ["선 · {a} → {b}", "Line · {a} → {b}"],
  Hint: [
    "상자 머리를 끌어 옮김 · 빈 곳 끌어 판 옮김 · 휠로 확대",
@@ -124,6 +128,9 @@ export function resolveDrop(
  if (target.box === from.box) return { why: tt("SameBox") };
  if (target.dir === "out") return { why: tt("NotIn") };
  const box = lg.boxes.find((b) => b.id === target.box);
+  // 함수 상자 몸통 · 「+」 받는 자리 — 보낸 알약 이름으로 받는 알약을 새로(Model 이 만들고 이름이 겹치면 「이름 (2)」)
+  if (box?.kind === "function" && target.name === null)
+    return { to: { box: box.id, name: from.name } };
  const ins = box ? pillsOf(box).ins : [];
  if (!box || !ins.length) return { why: tt("NoIn") };
  const name =
@@ -300,6 +307,28 @@ export function renderDiagram(
    return btn;
  };

+  /** 함수 상자 왼쪽 흐린 「+」 — 여기(또는 몸통)에 놓으면 받는 알약이 새로 생김 */
+  const plusSlot = (b: CfBox): HTMLElement => {
+    const slot = el("button", {
+      className: `m02-cfdg__pill is-in is-plus${st.linking && st.linking.box !== b.id ? " is-target" : ""}`,
+      text: "+",
+      attrs: {
+        type: "button",
+        "data-box": b.id,
+        "data-dir": "in",
+        "data-plus": "1",
+        title: tt("PlusIn"),
+      },
+    });
+    slot.addEventListener("click", (ev) => {
+      ev.stopPropagation();
+      if (st.linking) return tryLink(st.linking, { box: b.id, name: null, dir: "in" });
+      st.note = tt("PlusIn");
+      redraw();
+    });
+    return slot;
+  };
+
  const boxEl = (b: CfBox): HTMLElement => {
    const { ins, outs } = pillsOf(b);
    const head = el("div", {
@@ -323,7 +352,13 @@ export function renderDiagram(
        el("div", {
          className: "m02-cfdg__pills",
          children: [
-            el("div", { className: "m02-cfdg__ins", children: ins.map((p) => pillEl(b, p, "in")) }),
+            el("div", {
+              className: "m02-cfdg__ins",
+              children: [
+                ...ins.map((p) => pillEl(b, p, "in")),
+                ...(b.kind === "function" ? [plusSlot(b)] : []),
+              ],
+            }),
            el("div", {
              className: "m02-cfdg__outs",
              children: outs.map((p) => pillEl(b, p, "out")),
@@ -53,6 +53,10 @@ const TEXT = {
  ],
  NoCell: ["「{box}」 의 출력 칸이 정해지지 않음", "Output cell of 「{box}」 is not set"],
  NoOutput: ["출력 상자가 없음", "There is no output box"],
+  NoInCell: [
+    "「{box}」 의 받는 알약 「{pill}」 을 칸에 놓지 않음",
+    "Pill 「{pill}」 of 「{box}」 is not placed in a cell",
+  ],
  NoValue: ["「{box}」 의 「{pill}」 값이 아직 없음", "「{pill}」 of 「{box}」 has no value yet"],
 } as const;

@@ -193,6 +197,8 @@ export function checkLogic(lg: CfLogic, values: CfValues = {}): string[] {
        out.push(tl("EmptyIn", { box: b.name, pill: p.name }));
    if (b.kind === "function" && !parseA1(b.func?.output.cell ?? ""))
      out.push(tl("NoCell", { box: b.name }));
+    for (const i of b.func?.inputs ?? [])
+      if (!parseA1(i.cell)) out.push(tl("NoInCell", { box: b.name, pill: i.port }));
  }
  if (!lg.boxes.some((b) => b.kind === "output")) out.push(tl("NoOutput"));
  const ev = evalLogic(lg, values);
@@ -24,7 +24,7 @@ const TEXT = {
  GotHint: ["누르거나 칸에 끌어 놓음", "Click, or drag onto a cell"],
  NoGot: ["선으로 들어온 알약이 없음", "No pill has come in yet"],
  Placed: ["놓임", "placed"],
-  Free: ["놓을 칸 없음", "not placed"],
+  Free: ["아직 안 놓은 알약", "not placed yet"],
  Busy: ["이미 쓰는 칸", "That cell is already in use"],
  Locked: [
    "받은 알약이 놓인 칸은 선의 값으로 채워짐 — 직접 못 고침",
@@ -260,6 +260,8 @@ function incoming(st: State): { port: string; unit: string }[] {
          "-");
    out.set(l.to.name, unit || "-");
  }
+  // 선 없이 칸 없는 받는 알약만 있어도 보임(새 함수 상자가 먼저 만든 자리)
+  for (const i of funcOf(st)?.inputs ?? []) if (!out.has(i.port)) out.set(i.port, "-");
  return [...out].map(([port, unit]) => ({ port, unit }));
 }

@@ -273,7 +275,7 @@ function problems(st: State): string[] {
    }
  }
  for (const p of incoming(st)) {
-    if (!f.inputs.some((i) => i.port === p.port)) out.push(`${p.port}${tf("Unplaced")}`);
+    if (!f.inputs.some((i) => i.port === p.port && i.cell)) out.push(`${p.port}${tf("Unplaced")}`);
  }
  if (!f.output.cell) out.push(tf("OutNone"));
  return out;
@@ -285,12 +287,13 @@ function applyMarks(st: State): void {
  const f = funcOf(st);
  if (!f) return;
  const marks = new Map<string, { kind: string; label: string }>();
-  for (const i of f.inputs) marks.set(i.cell, { kind: "in", label: `${tf("Got")} ${i.port}` });
+  for (const i of f.inputs.filter((x) => x.cell))
+    marks.set(i.cell, { kind: "in", label: `${tf("Got")} ${i.port}` });
  for (const v of f.variables)
    if (v.cell) marks.set(v.cell, { kind: "var", label: `${tf("Vars")} ${v.name}` });
  if (f.output.cell)
    marks.set(f.output.cell, { kind: "out", label: `${tf("OutNow")} ${f.output.name}` });
-  const locked = new Set(f.inputs.map((i) => i.cell));
+  const locked = new Set(f.inputs.filter((i) => i.cell).map((i) => i.cell));
  const list = problems(st);
  const bad = new Set(list.map((p) => p.split(" ")[0]));
  for (const c of st.parts.sheet.querySelectorAll<HTMLElement>(".aislo-cell")) {
@@ -581,7 +584,7 @@ function onBook(st: State, book: Workbook): void {
  if (!f) return;
  const sheet = plain(structuredClone(book.시트[0]));
  const hit = f.inputs.find(
-    (i) => JSON.stringify(f.sheet.칸[i.cell]) !== JSON.stringify(sheet.칸[i.cell]),
+    (i) => i.cell && JSON.stringify(f.sheet.칸[i.cell]) !== JSON.stringify(sheet.칸[i.cell]),
  );
  if (hit) {
    showToast(tf("Locked"), "error");
@@ -201,11 +201,10 @@ export function addBox(

 /** 상자 지우기 — 이어진 선도 지움 */
 export function removeBox(lg: CfLogic, id: string): CfLogic {
-  return {
-    ...lg,
-    boxes: lg.boxes.filter((b) => b.id !== id),
-    links: lg.links.filter((l) => l.from.box !== id && l.to.box !== id),
-  };
+  // 선을 하나씩 끊어 받는 쪽 함수 상자의 칸 없는 알약도 정리
+  let next = lg;
+  for (const l of lg.links) if (l.from.box === id || l.to.box === id) next = unlink(next, l.id);
+  return { ...next, boxes: next.boxes.filter((b) => b.id !== id) };
 }

 export function moveBox(lg: CfLogic, id: string, x: number, y: number): CfLogic {
@@ -267,7 +266,9 @@ export function reaches(lg: CfLogic, from: string, to: string): boolean {
  return walk(from);
 }

-/** 선 잇기 — 입력 → 함수 · 출력 / 함수 → 함수 · 출력 · 출력에서 나감 없음 · 순환 · 같은 받는 자리 두 번 막음 */
+/** 선 잇기 — 입력 → 함수 · 출력 / 함수 → 함수 · 출력 · 출력에서 나감 없음 · 순환 · 같은 받는 자리 두 번 막음
+ *  받는 쪽이 함수 상자이고 to.name 의 받는 알약이 없으면 새로 만듦(to.name 이 빈 글이면 보낸 알약 이름 ·
+ *  같은 이름이 있으면 「이름 (2)」) · func.inputs 에 칸 없이(`cell: ""`) 더함 — 칸은 함수 판에서 놓음 */
 export function link(lg: CfLogic, from: CfPort, to: CfPort): { lg: CfLogic; why: string | null } {
  const a = boxOf(lg, from.box);
  const b = boxOf(lg, to.box);
@@ -275,21 +276,48 @@ export function link(lg: CfLogic, from: CfPort, to: CfPort): { lg: CfLogic; why:
  if (a.kind === "output") return { lg, why: tl("FromOutput") };
  if (b.kind === "input") return { lg, why: tl("ToInput") };
  if (a.id === b.id) return { lg, why: tl("Self") };
-  if (!portsOut(a).some((p) => p.name === from.name) || !portsIn(b).some((p) => p.name === to.name))
-    return { lg, why: tl("NoPill") };
+  if (!portsOut(a).some((p) => p.name === from.name)) return { lg, why: tl("NoPill") };
+  const has = portsIn(b).some((p) => p.name === to.name);
+  if (!has && b.kind !== "function") return { lg, why: tl("NoPill") };
  if (reaches(lg, b.id, a.id)) return { lg, why: tl("Loop") };
-  if (lg.links.some((l) => l.to.box === to.box && l.to.name === to.name))
+  if (has && lg.links.some((l) => l.to.box === to.box && l.to.name === to.name))
    return { lg, why: tl("Taken") };
+  let next = lg;
+  let port = to.name;
+  if (!has) {
+    const used = portsIn(b).map((p) => p.name);
+    const base = to.name.trim() || from.name;
+    port = used.includes(base) ? uniqueSuffix(used, base) : base;
+    const func = b.func!;
+    next = updateBox(lg, b.id, { func: { ...func, inputs: [...func.inputs, { port, cell: "" }] } });
+  }
  const id = nextId(
    "l",
-    lg.links.map((l) => l.id),
+    next.links.map((l) => l.id),
  );
  return {
-    lg: { ...lg, links: [...lg.links, { id, from: { ...from }, to: { ...to } }] },
+    lg: {
+      ...next,
+      links: [...next.links, { id, from: { ...from }, to: { box: to.box, name: port } }],
+    },
    why: null,
  };
 }

+/** 같은 이름이면 「이름 (2)」 「이름 (3)」 */
+function uniqueSuffix(used: string[], base: string): string {
+  for (let n = 2; ; n++) if (!used.includes(`${base} (${n})`)) return `${base} (${n})`;
+}
+
+/** 선 끊기 — 받는 쪽이 함수 상자이고 그 받는 알약이 칸에 안 놓였으면(cell 빈 글) 알약도 같이 지움 */
 export function unlink(lg: CfLogic, id: string): CfLogic {
-  return { ...lg, links: lg.links.filter((l) => l.id !== id) };
+  const gone = lg.links.find((l) => l.id === id);
+  const next = { ...lg, links: lg.links.filter((l) => l.id !== id) };
+  const box = gone && boxOf(next, gone.to.box);
+  if (!gone || !box?.func) return next;
+  const port = box.func.inputs.find((i) => i.port === gone.to.name);
+  const still = next.links.some((l) => l.to.box === box.id && l.to.name === gone.to.name);
+  if (!port || port.cell.trim() || still) return next;
+  const inputs = box.func.inputs.filter((i) => i !== port);
+  return updateBox(next, box.id, { func: { ...box.func, inputs } });
 }
@@ -272,3 +272,53 @@ def test_알약_이름_규칙() -> None:
        "out(M.portsOut(lg.boxes[0]).map(p => p.name));"
    )
    assert got == ["시멘트", "표", "길이"]
+
+
+def test_새_함수_상자에_놓으면_받는_알약이_생김() -> None:
+    got = _run(
+        ONE + "r = add(lg, 'function'); lg = r.lg; const g = r.box;\n"
+        "let a = M.link(lg, { box: man.id, name: '석공' }, { box: g.id, name: '' });\n"
+        "let b = M.link(a.lg, { box: area.id, name: '면적' }, { box: g.id, name: '' });\n"
+        "let c = M.link(b.lg, { box: f.id, name: '노무비' }, { box: g.id, name: '석공' });\n"
+        "let d = M.link(c.lg, { box: f.id, name: '노무비' }, { box: g.id, name: '' });\n"
+        "const gb = (x) => x.boxes.find(y => y.id === g.id);\n"
+        "const inputs = gb(d.lg).func.inputs;\n"
+        "const check = E.checkLogic(d.lg, V).filter(x => x.includes('칸에 놓지 않음'));\n"
+        "const placed = M.updateBox(d.lg, g.id, { func: { ...gb(d.lg).func, inputs: inputs.map(i => i.port === '면적' ? { ...i, cell: 'B2' } : i) } });\n"
+        "const cutAll = placed.links.filter(l => l.to.box === g.id).reduce((x, l) => M.unlink(x, l.id), placed);\n"
+        "const removed = M.removeBox(d.lg, man.id);\n"
+        "out([a.why, b.why, c.why, d.why, inputs, M.portsIn(gb(d.lg)).map(p => p.name), d.lg.links.slice(-2).map(l => l.to),"
+        " check, gb(cutAll).func.inputs, gb(removed).func.inputs.map(i => i.port),"
+        " M.link(lg, { box: man.id, name: '석공' }, { box: o.id, name: '없음' }).why]);"
+    )
+    a, b, c, d, inputs, ports, last_to, check, cut_all, removed, to_output = got
+    assert (a, b, c, d) == (None, None, "이미 선이 들어온 자리", None)
+    assert inputs == [
+        {"port": "석공", "cell": ""},
+        {"port": "면적", "cell": ""},
+        {"port": "노무비", "cell": ""},
+    ]
+    assert ports == ["석공", "면적", "노무비"]
+    assert last_to == [{"box": "b5", "name": "면적"}, {"box": "b5", "name": "노무비"}]
+    assert check == [
+        "「함수 2」 의 받는 알약 「석공」 을 칸에 놓지 않음",
+        "「함수 2」 의 받는 알약 「면적」 을 칸에 놓지 않음",
+        "「함수 2」 의 받는 알약 「노무비」 을 칸에 놓지 않음",
+    ]
+    assert cut_all == [{"port": "면적", "cell": "B2"}]  # 칸에 놓인 것만 남음
+    assert removed == ["면적", "노무비"]  # 석공 상자를 지우면 칸 없는 「석공」 받는 알약도 지움
+    assert to_output == "알약이 없음"  # 출력 상자는 받는 알약을 새로 만들지 않음
+
+
+def test_같은_이름_받는_알약은_번호() -> None:
+    got = _run(
+        ONE + "r = add(lg, 'function'); lg = r.lg; const g = r.box;\n"
+        "let x = M.link(lg, { box: man.id, name: '석공' }, { box: g.id, name: '' }).lg;\n"
+        "x = M.link(x, { box: f.id, name: '노무비' }, { box: g.id, name: '' }).lg;\n"
+        "r = add(x, 'input'); x = r.lg; const m2 = r.box;\n"
+        "x = M.updateBox(x, m2.id, { input: { mode: 'group', group: '인력', elements: [{ ref: 'LB1', name: '석공', spec: '', unit: '인' }], variables: [] } });\n"
+        "x = M.link(x, { box: m2.id, name: '석공' }, { box: g.id, name: '' }).lg;\n"
+        "x = M.link(x, { box: area.id, name: '면적' }, { box: g.id, name: '할증' }).lg;\n"
+        "out(x.boxes.find(y => y.id === g.id).func.inputs.map(i => i.port));"
+    )
+    assert got == ["석공", "노무비", "석공 (2)", "할증"]