cj-tauri 1.1.2 → 2.1.0

package/src/shell_event.cj

@@ -1,69 +1,69 @@
-package cjTauri
-
-import stdx.encoding.json.*
-
-/**
- * shell 事件信封（C 桥 → 仓颉）的解析与语义映射：RFC-002 §5.5 / §5.6
- *
- * 信封形状（当前定稿，菜单）：`{"kind":"menu","id":"file.save","enabled":true,"checked":false}`
- * 托盘 / 拖放落地后各带自己的 kind（`tray` / `drop`），kind 决定投给前端哪个事件名。
- *
- * 为什么单独成文件：这里是**纯函数**（不进窗口、不碰线程），能脱离宿主在单测里直接验。
- * 信封格式坏掉的表现是「事件静默不到」——没有纯函数边界时，只能靠实机点击去猜。
- */
-
-/** `kind` → 前端事件名；不认识的 kind 返回 None（调用方提示一句后丢弃，不抛异常） */
-public func shellEventNameFor(kind: String): Option<String> {
-    match (kind) {
-        case "menu" => return Some("menu:click")
-        case "tray" => return Some("tray:click")
-        case "drop" => return Some("dragdrop:files")
-        case "hotkey" => return Some("hotkey:press")
-        case _ => return None
-    }
-}
-
-/**
- * 解析信封成对象；不是合法 JSON 对象就返回 None
- *
- * 不抛异常：数据从 C 桥来（**不是**页面可控输入），格式坏了宁可丢一条事件 + 留一行日志，
- * 也不要让异常穿到 FFI 边界——仓颉异常穿过 C 侧回调，进程状态就说不清了。
- */
-public func parseShellEnvelope(json: String): Option<JsonObject> {
-    try {
-        let v = JsonValue.fromStr(json)
-        match (v.kind()) {
-            case JsonKind.JsObject => return Some(v.asObject())
-            case _ => return None
-        }
-    } catch (e: Exception) {
-        return None
-    }
-}
-
-/** 取信封里的字符串字段（缺失 / 类型不对都给 None） */
-public func shellString(obj: JsonObject, key: String): Option<String> {
-    match (obj.get(key)) {
-        case Some(v) => match (v.kind()) {
-            case JsonKind.JsString => return Some(v.asString().getValue())
-            case _ => return None
-        }
-        case None => return None
-    }
-}
-
-/**
- * 取信封里的布尔字段（缺失 / 类型不对都给 None）
- *
- * 缺字段**不能**当 false 用：这两个值要回写到应用层菜单模型（见 `TauriApp` 的模型同步），
- * 拿默认值顶等于把「用户刚点出来的勾选」按默认值改掉——宁可不写。
- */
-public func shellBool(obj: JsonObject, key: String): Option<Bool> {
-    match (obj.get(key)) {
-        case Some(v) => match (v.kind()) {
-            case JsonKind.JsBool => return Some(v.asBool().getValue())
-            case _ => return None
-        }
-        case None => return None
-    }
-}
+package cjTauri
+
+import stdx.encoding.json.*
+
+/**
+ * shell 事件信封（C 桥 → 仓颉）的解析与语义映射：RFC-002 §5.5 / §5.6
+ *
+ * 信封形状（当前定稿，菜单）：`{"kind":"menu","id":"file.save","enabled":true,"checked":false}`
+ * 托盘 / 拖放落地后各带自己的 kind（`tray` / `drop`），kind 决定投给前端哪个事件名。
+ *
+ * 为什么单独成文件：这里是**纯函数**（不进窗口、不碰线程），能脱离宿主在单测里直接验。
+ * 信封格式坏掉的表现是「事件静默不到」——没有纯函数边界时，只能靠实机点击去猜。
+ */
+
+/** `kind` → 前端事件名；不认识的 kind 返回 None（调用方提示一句后丢弃，不抛异常） */
+public func shellEventNameFor(kind: String): Option<String> {
+    match (kind) {
+        case "menu" => return Some("menu:click")
+        case "tray" => return Some("tray:click")
+        case "drop" => return Some("dragdrop:files")
+        case "hotkey" => return Some("hotkey:press")
+        case _ => return None
+    }
+}
+
+/**
+ * 解析信封成对象；不是合法 JSON 对象就返回 None
+ *
+ * 不抛异常：数据从 C 桥来（**不是**页面可控输入），格式坏了宁可丢一条事件 + 留一行日志，
+ * 也不要让异常穿到 FFI 边界——仓颉异常穿过 C 侧回调，进程状态就说不清了。
+ */
+public func parseShellEnvelope(json: String): Option<JsonObject> {
+    try {
+        let v = JsonValue.fromStr(json)
+        match (v.kind()) {
+            case JsonKind.JsObject => return Some(v.asObject())
+            case _ => return None
+        }
+    } catch (e: Exception) {
+        return None
+    }
+}
+
+/** 取信封里的字符串字段（缺失 / 类型不对都给 None） */
+public func shellString(obj: JsonObject, key: String): Option<String> {
+    match (obj.get(key)) {
+        case Some(v) => match (v.kind()) {
+            case JsonKind.JsString => return Some(v.asString().getValue())
+            case _ => return None
+        }
+        case None => return None
+    }
+}
+
+/**
+ * 取信封里的布尔字段（缺失 / 类型不对都给 None）
+ *
+ * 缺字段**不能**当 false 用：这两个值要回写到应用层菜单模型（见 `TauriApp` 的模型同步），
+ * 拿默认值顶等于把「用户刚点出来的勾选」按默认值改掉——宁可不写。
+ */
+public func shellBool(obj: JsonObject, key: String): Option<Bool> {
+    match (obj.get(key)) {
+        case Some(v) => match (v.kind()) {
+            case JsonKind.JsBool => return Some(v.asBool().getValue())
+            case _ => return None
+        }
+        case None => return None
+    }
+}

package/src/tests/app_spec_test.cj

@@ -0,0 +1,126 @@
+package cjTauri.tests
+
+import cjTauri.*
+import cjTauri.platform.*
+import cjTauri.plugins.store.*
+import std.collection.*
+import std.unittest.*
+import std.unittest.testmacro.*
+
+// ---- 批次 3-PR1：AppSpec 构造器链与 assemble 装配 ----
+
+@Test
+func appSpecBuilderChain(): Unit {
+    let spec = AppSpec()
+        .page(PageSource.Inline("<p/>"))
+        .window(WindowConfig("t", 800, 600))
+        .capabilities("assets/capabilities")
+        .capabilityJson("{\"identifier\":\"default\"}")
+    @Expect(spec.appId, "")
+    @Expect(spec.capabilitiesDir, "assets/capabilities")
+    @Expect(spec.capabilityJsons.size, 1)
+    @Expect(spec.windowConfig.title, "t")
+    @Expect(spec.windowConfig.width, 800)
+    @Expect(spec.assetResolver.isSome(), false)
+    @Expect(spec.wireFn.isSome(), false)
+    @Expect(spec.plugins.size, 0)
+    match (spec.pageSource) {
+        case Inline(html) => @Expect(html, "<p/>")
+        case _ => @Expect(false, true)
+    }
+}
+
+/** wire 闭包执行标记（仓颉闭包捕获 var 的语义不冒风险，用对象装状态） */
+class WireBox {
+    public var on: Bool = false
+}
+
+/** 高优先级假宿主：TauriApp 字段初始化就调 resolveHost，无显示环境必须用注册表桩 */
+class AppSpecProbeProvider <: HostProvider {
+    public var last: FakeHost = FakeHost("seed")
+
+    public func priority(target: TargetInfo): Int64 {
+        return 100
+    }
+
+    public func create(label: String, target: TargetInfo): WebViewHost {
+        this.last = FakeHost(label)
+        return this.last
+    }
+}
+
+@Test
+func appSpecAssembleWiresApp(): Unit {
+    let prov = AppSpecProbeProvider()
+    registerHost(prov)
+    let box = WireBox()
+    let spec = AppSpec()
+        .page(PageSource.Inline("<p/>"))
+        .window(WindowConfig("spec窗", 640, 480))
+        .plugin(StorePlugin())
+        .wire({ app =>
+            box.on = true
+        })
+    let app = assemble(spec)
+    @Expect(box.on, true)
+    @Expect(app.hostOf("main").isSome(), true)
+    @Expect(prov.last.label(), "main")
+}
+
+// ---- 批次 3-PR3：load(source) 收敛——装配层把 PageSource 原样交给宿主，resolver 随装配进宿主 ----
+
+@Test
+func fakeHostLoadDispatchesPageSource(): Unit {
+    let h = FakeHost("main")
+    h.load(PageSource.Inline("<p>hi</p>"))
+    @Expect(h.shownHtml, "<p>hi</p>")
+    @Expect(h.startedUrl, "")
+    h.load(PageSource.Url("https://example.com"))
+    @Expect(h.startedUrl, "https://example.com")
+    h.load(PageSource.DevServer("http://127.0.0.1:5173"))
+    @Expect(h.startedUrl, "http://127.0.0.1:5173")
+    h.load(PageSource.Asset("ui/index.html"))
+    @Expect(h.loadedSource, "asset:ui/index.html")
+}
+
+/** run 路径探针：优先级压过既有注册表里的桩，保证本用例拿到的是自己造的宿主 */
+class RunProbeProvider <: HostProvider {
+    public var last: FakeHost = FakeHost("seed")
+
+    public func priority(target: TargetInfo): Int64 {
+        return 200
+    }
+
+    public func create(label: String, target: TargetInfo): WebViewHost {
+        this.last = FakeHost(label)
+        return this.last
+    }
+}
+
+/**
+ * run() 路径：resolver 注入与页面来源交接发生在同一次装配（runWith）里。
+ * 宿主用 FakeHost 桩（不建窗口）；run() 放后台线程，观测到交接后置 quitNow 让它返回。
+ */
+@Test
+func runHandsResolverAndSourceToHost(): Unit {
+    let prov = RunProbeProvider()
+    let provIdx = registerHost(prov)
+    let spec = AppSpec()
+        .page(PageSource.Asset("ui/index.html"))
+        .window(WindowConfig("t", 640, 480))
+        .assets(StubResolver(HashMap()))
+    spawn {
+        let app = assemble(spec)
+        app.run(spec.pageSource)
+    }
+    var polls = 0
+    while (polls < 1000 && prov.last.loadedSource != "asset:ui/index.html") {
+        sleep(Duration.millisecond * 2)
+        polls += 1
+    }
+    @Expect(prov.last.loadedSource, "asset:ui/index.html")
+    @Expect(prov.last.resolverInjected.isSome(), true)
+    prov.last.quitNow = true
+    // 探针宿主清出全局注册表，免得压过后续用例自己的桩
+    unregisterHost(provIdx)
+}