- 수식 응답 새 칸 정의 — 만약 탄 갈래 표지 걸림 그대로 · 같은 기호 한 줄 · 연결 사람 말 · 값 · 단위 · DB 열쇠 없음 - 고침 할일 연결(입력 · 표 · 요소 · 로직 · 상수) · 모르는 기호 까닭 · 후보 길 M01 · M02 equation/links - 낡은 시험 test_796_1 「모르는 이름」 → 「모르는 기호」(까닭 문구 바뀜) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
104 lines
4.1 KiB
Python
104 lines
4.1 KiB
Python
"""M01 수식 탭 서버 몫(PLAN 796-1 · 요구 655 · 657) — 수식 나무 읽기 · 고침 미리 셈 · 저장.
|
|
|
|
모델 = `scripts/master_equation.py`(나무 · 변수 표) · `master_equation_edit.py`(고침 · 검사) ·
|
|
키보드 글 번역 · 상한 = M02 단가산출 식 칸과 한 벌(`M02_Sangeun_Formula` 불러 씀 · 고치지 않음) ·
|
|
셈 = 엔진 한 벌(③ 서버 단독 · 브라우저 값 받아 적지 않음) · 저장 = 기존 M01 `/save`(개정확인) ·
|
|
M02 사본(795-1)은 `export_row` · `edit_row` 를 사본 줄로 부름 · 시험 `test_796_1_formula_model.py`.
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
from typing import Any
|
|
|
|
from M01_MasterData import M01_MasterData_Store as store
|
|
from M01_MasterData import M01_MasterData_Store_Make as make
|
|
|
|
_ERR = (store.cm.mf.FormulaError, ArithmeticError, KeyError, TypeError, ValueError)
|
|
|
|
import master_equation as meq # noqa: E402 — `store` 가 scripts 를 길에 둔 뒤
|
|
import master_equation_link as link # noqa: E402
|
|
import master_equation_edit as me # noqa: E402
|
|
|
|
|
|
def _fx() -> Any:
|
|
from M02_MasterTemplete import M02_Sangeun_Formula as fx # M02 가 M01 을 부름 — 늦게
|
|
|
|
return fx
|
|
|
|
|
|
def words(text: str, row: dict) -> tuple[str, list[str]]:
|
|
"""층 번역 — 상한(길이 · 괄호) · `[노임 …]` · `[별칭]` → 엔진 식."""
|
|
fx = _fx()
|
|
if bad := fx.limits(text):
|
|
return text, bad
|
|
return fx.to_engine(text, row)
|
|
|
|
|
|
def _given(inputs: dict | None) -> dict:
|
|
return {k: store._dec(v) for k, v in (inputs or {}).items()}
|
|
|
|
|
|
def _typed(eq: dict, row: dict) -> dict:
|
|
"""줄마다 `입력글` = 키보드 한 줄 식(이름 꼴 · 변수 글) — 식 칸 처음 글."""
|
|
fx = _fx()
|
|
for line in eq.get("줄") or []:
|
|
if line.get("식"):
|
|
line["입력글"] = me.keyboard_of(fx.to_name(str(line["식"]), row), row)
|
|
return eq
|
|
|
|
|
|
def export_row(whole, row: dict, inputs: dict | None = None) -> dict:
|
|
"""로직 줄(정본 · 사본) → 수식 — 마스터에 그 줄을 얹어 셈."""
|
|
eq = meq.export(me.swap(whole, row), str(row.get("키")), _given(inputs))
|
|
return _typed(eq, row)
|
|
|
|
|
|
def edit_row(whole, row: dict, edits: list) -> tuple[dict, list[str]]:
|
|
"""고침 → (새 줄, 까닭) — 까닭 있으면 저장 안 됨(M01 · M02 사본 같은 함수)."""
|
|
new, why, _ = me.apply(whole, row, edits, words)
|
|
return new, why
|
|
|
|
|
|
def read(key: str, inputs: dict | None = None) -> dict:
|
|
whole = store.loaded()[1]
|
|
try:
|
|
return {"ok": True, "수식": export_row(whole, whole.logic(key), inputs)}
|
|
except _ERR as e:
|
|
return {"ok": False, "reason": str(e) or type(e).__name__}
|
|
|
|
|
|
def preview(key: str, edits: list, inputs: dict | None = None) -> dict:
|
|
"""고침 미리 셈(저장 없음) — {되나, 까닭, 줄, 수식, 전, 후}."""
|
|
whole = store.loaded()[1]
|
|
row = whole.logic(key)
|
|
new, why = edit_row(whole, row, edits)
|
|
if why:
|
|
return {"되나": False, "까닭": why}
|
|
try:
|
|
before = meq.export(whole, key, _given(inputs))["합계"]
|
|
eq = export_row(whole, new, inputs)
|
|
except _ERR as e:
|
|
return {"되나": False, "까닭": [f"셈 막힘 — {e}"]}
|
|
return {"되나": True, "까닭": [], "줄": new, "수식": eq, "전": before, "후": eq["합계"]}
|
|
|
|
|
|
def links(ask: dict) -> dict:
|
|
"""새 기호 연결 후보(800-3) — {갈래: 표 | 요소 | 로직, 검색, 분류?} → {후보, 더있음} · 읽기만."""
|
|
return link.candidates(store.loaded()[1], ask)
|
|
|
|
|
|
def save(
|
|
key: str, edits: list, inputs: dict | None = None, version: str = "", confirmed: bool = False
|
|
) -> dict:
|
|
"""고침 저장 — 검사 통과 · 기존 M01 `/save`(정본 = 개정확인 · 판 다르면 409)."""
|
|
got = store.logic(key)
|
|
if version and version != got["version"]:
|
|
raise store.StoreError(409, {"stale": [got["file"]]})
|
|
new, why = edit_row(store.loaded()[1], got["logic"], edits)
|
|
if why:
|
|
raise store.StoreError(400, {"까닭": why})
|
|
change = {"op": "edit", "key": key, "row": new}
|
|
part = {"file": got["file"], "version": got["version"], "changes": [change]}
|
|
out = make.save([part], confirmed)
|
|
return {**out, **read(key, inputs)}
|