openpuppet-language 2.0__py3-none-any.whl

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/grammar.json

@@ -0,0 +1,248 @@
+[
+  {
+    "id": "g-minimal",
+    "title": "最小程序：根节点为内置节点，结构无诊断",
+    "spec": "01-grammar.md 第 5、7.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #main"
+    ],
+    "loadExpect": {
+      "noDiagnostics": true,
+      "nodes": ["#root", "#win", "#main"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#main"] } }
+    ]
+  },
+  {
+    "id": "g-id-dup",
+    "title": "地址重复是错误，且不阻断本批后续语句",
+    "spec": "01-grammar.md 第 3 节；03-semantics.md 第 1 节",
+    "program": [
+      "add #root window #win",
+      "add #root window #win",
+      "add #win col #main"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "ID_DUP", "level": "error" }],
+      "nodes": ["#win", "#main"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#main"] } }
+    ]
+  },
+  {
+    "id": "g-parent-missing",
+    "title": "父地址不存在是错误",
+    "spec": "01-grammar.md 第 7.1 节",
+    "program": [
+      "add #ghost col #c"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "PARENT_MISSING", "level": "error" }],
+      "nodesAbsent": ["#c"]
+    },
+    "steps": [
+      { "expect": { "noDiagnostics": true } }
+    ]
+  },
+  {
+    "id": "g-anchor-missing",
+    "title": "锚点不存在是错误，且不得静默追加到末尾",
+    "spec": "01-grammar.md 第 7.1、7.5 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #a",
+      "add #win col #b after #ghost"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "ANCHOR_MISSING", "level": "error" }],
+      "nodes": ["#a"],
+      "nodesAbsent": ["#b"]
+    },
+    "steps": [
+      { "expect": { "nodesAbsent": ["#b"] } }
+    ]
+  },
+  {
+    "id": "g-del-missing",
+    "title": "删除不存在的目标是警告而非错误",
+    "spec": "01-grammar.md 第 7.4 节",
+    "program": [
+      "add #root window #win",
+      "del #ghost"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "DEL_MISSING", "level": "warning" }],
+      "forbid": ["TARGET_MISSING"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#win"] } }
+    ]
+  },
+  {
+    "id": "g-move-cycle",
+    "title": "移动造成成环是错误",
+    "spec": "01-grammar.md 第 7.5 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #a",
+      "add #a col #b",
+      "move #a #b"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "MOVE_CYCLE", "level": "error" }],
+      "nodes": ["#a", "#b"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#b"] } }
+    ]
+  },
+  {
+    "id": "g-unknown-attr",
+    "title": "词汇表外的属性名是警告，不得静默丢弃",
+    "spec": "01-grammar.md 第 5 节；04-vocabulary.md 第 1 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #c bgcolr=#ffffff"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "UNKNOWN_ATTR", "level": "warning" }],
+      "nodes": ["#c"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#c"] } }
+    ]
+  },
+  {
+    "id": "g-unknown-type",
+    "title": "词汇表外的节点类型是警告，不得渲染成空白",
+    "spec": "01-grammar.md 第 5 节；04-vocabulary.md 第 2 节",
+    "program": [
+      "add #root widget #w"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "UNKNOWN_TYPE", "level": "warning" }]
+    },
+    "steps": [
+      { "expect": { "noDiagnostics": true } }
+    ]
+  },
+  {
+    "id": "g-color-not-address",
+    "title": "颜色字面量与地址记号消歧：十六进制即颜色，不产生诊断",
+    "spec": "README.md 派生决定 5；01-grammar.md 第 2 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #c bgcolor=#eeeeee fg=#1d4ed8"
+    ],
+    "loadExpect": {
+      "noDiagnostics": true,
+      "nodes": ["#c"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#c"] } }
+    ]
+  },
+  {
+    "id": "g-comment-line",
+    "title": "双斜杠注释行被忽略，不产生诊断",
+    "spec": "01-grammar.md 第 2 节",
+    "program": [
+      "// 这是一个注释",
+      "add #root window #win",
+      "add #win col #main"
+    ],
+    "loadExpect": {
+      "noDiagnostics": true,
+      "nodes": ["#main"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#main"] } }
+    ]
+  },
+  {
+    "id": "g-template-node",
+    "title": "模板是一等节点：拥有地址与子节点，不产生专属节点表",
+    "spec": "01-grammar.md 第 8 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #main",
+      "add #main list #items source=#todos template=#tpl",
+      "add #root template #tpl as t",
+      "add #tpl row #r",
+      "data #todos = [] of {text: str = \"\"}"
+    ],
+    "loadExpect": {
+      "noDiagnostics": true,
+      "nodes": ["#tpl", "#r"]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#tpl", "#r"] } }
+    ]
+  },
+  {
+    "id": "g-states-layout-attr",
+    "title": "状态外观里出现布局属性是警告",
+    "spec": "01-grammar.md 第 9 节；04-vocabulary.md 第 3.6 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #c states={hover: {pad: 8}}"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "STATE_LAYOUT_ATTR", "level": "warning" }]
+    },
+    "steps": [
+      { "expect": { "noDiagnostics": true } }
+    ]
+  },
+  {
+    "id": "g-unknown-event",
+    "title": "未识别的事件名是警告",
+    "spec": "01-grammar.md 第 7.7 节；04-vocabulary.md 第 5 节",
+    "program": [
+      "add #root window #win",
+      "add #win col #c",
+      "on #c hovered: set #c visible=false"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "UNKNOWN_EVENT", "level": "warning" }]
+    },
+    "steps": [
+      { "expect": { "noDiagnostics": true } }
+    ]
+  },
+  {
+    "id": "g-on-body-multiline",
+    "title": "行为头之后的缩进体属于它，与单行写法等价",
+    "spec": "01-grammar.md 第 1、7.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "add #win text #t text=\"\"",
+      "on #b click:",
+      "    set #t text=\"hit\"",
+      "on #b focus: set #t text=\"focused\"",
+      "",
+      "on #b blur:",
+      "    // 注释行不参与缩进判定",
+      "    set #t text=\"blurred\""
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "fire": { "target": "#b", "event": "click" },
+        "expect": { "attrs": { "#t.text": "hit" } }
+      },
+      {
+        "fire": { "target": "#b", "event": "focus" },
+        "expect": { "attrs": { "#t.text": "focused" } }
+      },
+      {
+        "fire": { "target": "#b", "event": "blur" },
+        "expect": { "attrs": { "#t.text": "blurred" } }
+      }
+    ]
+  }
+]

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/interaction.json

@@ -0,0 +1,220 @@
+[
+  {
+    "id": "i-uncovered-button",
+    "title": "按钮的 click 没有处理器是警告：点了没反应必须被说出来",
+    "spec": "04-vocabulary.md 第 5.1 节；06-diagnostics.md 第 4.8 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\""
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "UNCOVERED_INTERACTION", "level": "warning" }]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#b"] } }
+    ]
+  },
+  {
+    "id": "i-covered-button",
+    "title": "按钮的 click 有处理器即无此警告",
+    "spec": "04-vocabulary.md 第 5.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\""
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "fire": { "target": "#b", "event": "click" },
+        "expect": { "attrs": { "#b.text": "hit" } }
+      }
+    ]
+  },
+  {
+    "id": "i-input-has-no-primary-action",
+    "title": "输入框不因“没有 change 处理器”而报警告",
+    "spec": "04-vocabulary.md 第 5.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win input #q placeholder=\"搜索\""
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      { "expect": { "nodes": ["#q"] } }
+    ]
+  },
+  {
+    "id": "i-template-checkbox-uncovered",
+    "title": "模板行内的勾选框没有 change 处理器同样是警告",
+    "spec": "04-vocabulary.md 第 5.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win list #items source=#todos template=#tpl",
+      "add #root template #tpl as t",
+      "add #tpl checkbox #done value=t.done",
+      "data #todos = [] of {done: bool = false}"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "UNCOVERED_INTERACTION", "level": "warning" }]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#done"] } }
+    ]
+  },
+  {
+    "id": "i-checkbox-toggle-writes-back",
+    "title": "勾选框的 change 处理器把状态写回数据源，绑定随之更新",
+    "spec": "03-semantics.md 第 2.7 节；04-vocabulary.md 第 5.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win list #items source=#todos template=#tpl",
+      "add #win text #n text=str(count(#todos))",
+      "add #root template #tpl as t",
+      "add #tpl checkbox #done value=t.done",
+      "add #tpl text #label text=t.text",
+      "data #todos = [] of {text: str = \"\", done: bool = false}",
+      "on #done change as e: update_where #todos as r set done=e.value where r.text == t.text"
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "send": ["append #todos item={text: \"a\", done: false}"],
+        "expect": { "data": { "#todos": [{ "text": "a", "done": false }] } }
+      },
+      {
+        "fire": { "target": "#done", "event": "change", "row": 0, "value": true },
+        "expect": { "data": { "#todos": [{ "text": "a", "done": true }] } }
+      },
+      {
+        "fire": { "target": "#done", "event": "change", "row": 0, "value": false },
+        "expect": { "data": { "#todos": [{ "text": "a", "done": false }] } }
+      }
+    ]
+  },
+  {
+    "id": "i-change-payload-value",
+    "title": "change 事件的载荷携带新值，处理器据此回写（不必靠取反猜测）",
+    "spec": "03-semantics.md 第 2.8 节；01-grammar.md 第 7.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win list #items source=#todos template=#tpl",
+      "add #root template #tpl as t",
+      "add #tpl checkbox #done value=t.done",
+      "add #tpl text #label text=t.text",
+      "data #todos = [] of {text: str = \"\", done: bool = false}",
+      "on #done change as e: update_where #todos as r set done=e.value where r.text == t.text"
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "send": ["append #todos item={text: \"a\", done: false}"],
+        "expect": { "data": { "#todos": [{ "text": "a", "done": false }] } }
+      },
+      {
+        "fire": { "target": "#done", "event": "change", "row": 0, "value": true },
+        "expect": { "data": { "#todos": [{ "text": "a", "done": true }] } }
+      },
+      {
+        "fire": { "target": "#done", "event": "change", "row": 0, "value": true },
+        "expect": { "data": { "#todos": [{ "text": "a", "done": true }] } }
+      }
+    ]
+  },
+  {
+    "id": "i-bound-value-not-written",
+    "title": "值绑定了数据源却没回写：警告（用户的改动会被覆盖）",
+    "spec": "03-semantics.md 第 2.8 节；06-diagnostics.md 第 4.8 节",
+    "program": [
+      "add #root window #win",
+      "add #win list #items source=#todos template=#tpl",
+      "add #win text #echo text=\"\"",
+      "add #root template #tpl as t",
+      "add #tpl checkbox #done value=t.done",
+      "data #todos = [] of {text: str = \"\", done: bool = false}",
+      "on #done change as e: set #echo text=str(e.value)"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "BOUND_VALUE_NOT_WRITTEN", "level": "warning" }]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#done"] } }
+    ]
+  },
+  {
+    "id": "i-change-payload-observed",
+    "title": "订阅的 change 事件载荷也带新值",
+    "spec": "03-semantics.md 第 6 节",
+    "program": [
+      "add #root window #win",
+      "add #win input #q placeholder=\"搜索\"",
+      "add #win text #n text=\"\"",
+      "listen #q change",
+      "on #q change as e: set #n text=e.value"
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "fire": { "target": "#q", "event": "change", "value": "abc" },
+        "expect": {
+          "events": [{ "target": "#q", "event": "change", "value": "abc" }],
+          "attrs": { "#n.text": "abc" }
+        }
+      }
+    ]
+  },
+  {
+    "id": "ir-click-via-renderer",
+    "title": "点击经渲染器投递为 click 事件并触发处理器（可观察触发条件）",
+    "spec": "05-render-contract.md 第 4 节",
+    "requires": ["interaction"],
+    "program": [
+      "add #root window #win",
+      "add #win text #t text=\"\"",
+      "add #win button #b text=\"点我\"",
+      "on #b click: set #t text=\"clicked\""
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "interact": { "target": "#b", "action": "click" },
+        "expect": { "attrs": { "#t.text": "clicked" } }
+      }
+    ]
+  },
+  {
+    "id": "ir-change-writeback-via-renderer",
+    "title": "勾选经渲染器投递为 change，受控处理器回写数据源",
+    "spec": "05-render-contract.md 第 4 节；03-semantics.md 第 2.8 节",
+    "requires": ["interaction"],
+    "program": [
+      "add #root window #win",
+      "data #n = [{v: false}] of {v: bool = false}",
+      "add #win checkbox #c value=#n.v",
+      "on #c change as e: update_where #n as r set v=e.value where r.v == false"
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "interact": { "target": "#c", "action": "change", "value": true },
+        "expect": { "data": { "#n": [{ "v": true }] } }
+      }
+    ]
+  },
+  {
+    "id": "ir-no-renderer-degrades",
+    "title": "没有渲染层时用户动作必须可见降级（禁止假装送达）",
+    "spec": "05-render-contract.md 第 4 节；06-diagnostics.md 第 4.7 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\""
+    ],
+    "steps": [
+      {
+        "interact": { "target": "#b", "action": "click" },
+        "expect": { "degraded": ["interaction"] }
+      }
+    ]
+  }
+]

openpuppet_language-2.0.data/data/share/puppet/conformance/cases/listen.json

@@ -0,0 +1,133 @@
+[
+  {
+    "id": "l-listen-click",
+    "title": "listen 把订阅的事件回推给驱动者，与有没有处理器无关",
+    "spec": "01-grammar.md 第 7.8 节；03-semantics.md 第 6 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "listen #b click",
+      "on #b click: set #b text=\"hit\""
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "fire": { "target": "#b", "event": "click" },
+        "expect": {
+          "events": [{ "target": "#b", "event": "click" }],
+          "attrs": { "#b.text": "hit" }
+        }
+      }
+    ]
+  },
+  {
+    "id": "l-listen-without-reaction",
+    "title": "只订阅不处理：事件照样回推，且不算未覆盖交互",
+    "spec": "01-grammar.md 第 7.8 节；04-vocabulary.md 第 5.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "listen #b click"
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "fire": { "target": "#b", "event": "click" },
+        "expect": { "events": [{ "target": "#b", "event": "click" }] }
+      }
+    ]
+  },
+  {
+    "id": "l-listen-data-change",
+    "title": "订阅数据源变化：每次内容变化都回推一条事件",
+    "spec": "01-grammar.md 第 7.8 节",
+    "program": [
+      "add #root window #win",
+      "add #win text #n text=str(count(#todos))",
+      "data #todos = [] of {text: str = \"\"}",
+      "listen #todos change"
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "send": ["append #todos item={text: \"a\"}"],
+        "expect": { "events": [{ "target": "#todos", "event": "change" }] }
+      },
+      {
+        "send": ["append #todos item={text: \"b\"}"],
+        "expect": { "events": [{ "target": "#todos", "event": "change" }] }
+      }
+    ]
+  },
+  {
+    "id": "l-listen-unsubscribed-not-pushed",
+    "title": "没被订阅的事件不进观察流",
+    "spec": "01-grammar.md 第 7.8 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\""
+    ],
+    "loadExpect": { "noDiagnostics": true },
+    "steps": [
+      {
+        "fire": { "target": "#b", "event": "click" },
+        "expect": { "noEvents": true, "attrs": { "#b.text": "hit" } }
+      }
+    ]
+  },
+  {
+    "id": "l-listen-row-event",
+    "title": "行内订阅事件带行序号",
+    "spec": "01-grammar.md 第 7.8、8.1 节",
+    "program": [
+      "add #root window #win",
+      "add #win list #items source=#todos template=#tpl",
+      "add #root template #tpl as t",
+      "add #tpl button #del text=\"删除\"",
+      "listen #del click",
+      "data #todos = [] of {text: str = \"\"}",
+      "on #del click: append #todos item={text: t.text}"
+    ],
+    "steps": [
+      {
+        "send": ["append #todos item={text: \"a\"}"],
+        "expect": { "noEvents": true }
+      },
+      {
+        "fire": { "target": "#del", "event": "click", "row": 0 },
+        "expect": { "events": [{ "target": "#del", "event": "click", "row": 0 }] }
+      }
+    ]
+  },
+  {
+    "id": "l-listen-unknown-event",
+    "title": "订阅未识别的事件名是警告",
+    "spec": "01-grammar.md 第 7.8 节",
+    "program": [
+      "add #root window #win",
+      "add #win button #b text=\"x\"",
+      "on #b click: set #b text=\"hit\"",
+      "listen #b hovered"
+    ],
+    "loadExpect": { "diagnostics": [{ "code": "UNKNOWN_EVENT", "level": "warning" }] },
+    "steps": [
+      { "expect": { "nodes": ["#b"] } }
+    ]
+  },
+  {
+    "id": "l-listen-missing-target",
+    "title": "订阅不存在的目标是错误",
+    "spec": "01-grammar.md 第 7.8 节",
+    "program": [
+      "add #root window #win",
+      "listen #ghost click"
+    ],
+    "loadExpect": {
+      "diagnostics": [{ "code": "TARGET_MISSING", "level": "error" }]
+    },
+    "steps": [
+      { "expect": { "nodes": ["#root"] } }
+    ]
+  }
+]