openlifa.openmui 0.3.0: the openmui specification (OpenLifa), its C ABI and C++ module (#604)

Signed-off-by: Sunrisepeak <speakshen@outlook.com>
Co-authored-by: Sunrisepeak <speakshen@outlook.com>

Author: Sunrisepeak

CHANGELOG.md

@@ -9,6 +9,10 @@
 
 ### Added
 
+- **openlifa.openmui 0.3.0。** OpenLifa 标准 openmui 的规范:registry、C ABI(`include/openmui.h`,
+  在使用者的包含路径上)和声明其值类型的 C++ 模块 `openmui.spec`(语义树节点及其一致性检查、actor、
+  信封、Core 组件契约)。actor、效果、授权与信封采用 openas 0.2。只依赖标准库(头文件为 C99);代码
+  Apache-2.0,规范文本 CC BY-SA 4.0。GLOBAL 为 GitHub 标签归档。新增测试成员 `tests/examples/openlifa.openmui`。
 - **openlifa.openas 0.2.0。** OpenLifa 标准 openas 的规范与声明它的 C++ 模块(`openas`、
   `openas.conformance`):actor 及其委托链的文本形式、动词的效果等级、系统上限之下的授权与单个请求的决定、
   运行信封的记录种类、退出码与错误码,以及动词描述、actor 与授权的一致性检查。只依赖标准库;代码 Apache-2.0,

mcpp.toml

@@ -236,6 +236,7 @@ members = [
     "tests/examples/openkal-tools",
     "tests/examples/openkal-bind",
     "tests/examples/openlifa.openas",
+    "tests/examples/openlifa.openmui",
     "tests/examples/os",
 ]
 

pkgs/o/openlifa.openmui.lua

@@ -0,0 +1,46 @@
+-- openlifa.openmui --- the openmui specification, an OpenLifa standard: its
+-- registry, the C ABI (include/openmui.h, on the include path of a consumer),
+-- and the C++ module that declares its value types.
+--
+-- A user interface as one semantic tree, of which pixels, accessibility,
+-- agents and tests are renderings. The module is `openmui.spec`, named for the
+-- specification rather than the organization that publishes it.
+--
+-- No `deps`. Standard library only (C99 for the header).
+package = {
+    spec        = "1",
+    namespace   = "openlifa",
+    name        = "openmui",
+    description = "openmui: a user interface as one semantic tree --- an OpenLifa specification, its C ABI and its C++ module",
+    licenses    = {"Apache-2.0", "CC-BY-SA-4.0"},
+    repo        = "https://github.com/openlifa/openmui",
+    type        = "package",
+
+    extensions = {
+        autoupdate = {
+            tag = "${version}",
+            url = "https://github.com/openlifa/openmui/archive/refs/tags/${tag}.tar.gz",
+        },
+    },
+
+    xpm = {
+        linux = {
+            ["0.3.0"] = {
+                url    = "https://github.com/openlifa/openmui/archive/refs/tags/0.3.0.tar.gz",
+                sha256 = "6986ca5d04e170fc8f8be279c30ffffd248b0e62df2f52e64d570f351d122588",
+            },
+        },
+        macosx = {
+            ["0.3.0"] = {
+                url    = "https://github.com/openlifa/openmui/archive/refs/tags/0.3.0.tar.gz",
+                sha256 = "6986ca5d04e170fc8f8be279c30ffffd248b0e62df2f52e64d570f351d122588",
+            },
+        },
+        windows = {
+            ["0.3.0"] = {
+                url    = "https://github.com/openlifa/openmui/archive/refs/tags/0.3.0.tar.gz",
+                sha256 = "6986ca5d04e170fc8f8be279c30ffffd248b0e62df2f52e64d570f351d122588",
+            },
+        },
+    },
+}

tests/examples/openlifa.openmui/mcpp.toml

@@ -0,0 +1,12 @@
+# openlifa.openmui test project: the specification's value types — an actor
+# in openas's text form, a node and its conformance, a Core contract, an
+# envelope.
+[package]
+name    = "openlifa-openmui-tests"
+version = "0.1.0"
+
+[dependencies]
+openlifa.openmui = "0.3.0"
+
+[indices]
+openlifa = { path = "../../.." }

tests/examples/openlifa.openmui/tests/consume.cpp

@@ -0,0 +1,21 @@
+import std;
+import openmui.spec;
+
+namespace spec = omui::spec;
+
+int main() {
+    const auto actor = spec::Actor::parse("agent:reader;via=person:alice,agent:planner");
+    if (!actor || actor->via.size() != 2 || actor->text() != "agent:reader;via=person:alice,agent:planner") return 1;
+    spec::SemanticNode n;
+    n.id = "notes/delete";
+    n.role = spec::Role::button;
+    n.name = "Delete";
+    n.actions.push_back({.name = "activate", .effect = spec::Effect::irreversible, .verb = "note.delete", .answer = "yes"});
+    if (!spec::check(n).empty()) return 2;
+    if (spec::catalog::find("slider") == nullptr) return 3;
+    spec::Envelope e;
+    e.error(spec::error_code::needs_answer, "confirm").result(spec::exit_code::needs_answer);
+    if (e.exit_code() != 2) return 4;
+    std::println("{}", e.ndjson());
+    return 0;
+}