cj-tauri 1.1.2 → 2.1.0

package/src/host_arkweb.cj

@@ -43,6 +43,16 @@ import stdx.encoding.json.JsonArray
 @When[env == "ohos"]
 import stdx.encoding.json.JsonString
 
+// 页面来源契约（load(source) 收敛，RFC §4.3）：Asset 由胶水注入的 rawfile 解析器材化
+@When[env == "ohos"]
+import cjTauri.platform.*
+
+// chdir：musl libc 的 C 函数（与 serial_ohos.cj 的 FFI 同模式；@When 门禁保桌面零影响）。
+// foreign func 是包级符号——必须放文件顶层，嵌进类体会报「member function can not be foreign」。
+@When[env == "ohos"]
+@C
+foreign func chdir(path: CString): Int32
+
 /**
  * 鸿蒙宿主的进程级运行时：沙箱目录、各窗口宿主、跨线程队列开关
  *
@@ -71,6 +81,11 @@ public class ArkWebRuntime {
      *
      * 用 `context.filesDir`：鸿蒙上它是应用私有可写目录，进程重启后内容仍在，
      * 于是页面文件可以在**每次启动**重建（内容由应用决定，不做持久化依赖）。
+     *
+     * **cwd 同时切进沙箱**：鸿蒙上进程 cwd 指向不可写位置（实测 errno 13），而应用唯一
+     * 免权限可写的就是沙箱目录。相对路径（业务的工作区、store 插件的落盘、scope 的
+     * `$CWD` 变量）全部以 cwd 为基准——不切的话，所有按相对路径落盘的插件在设备上
+     * 全部不可用。这等价于 Tauri 移动端的做法：路径基准必须是 appDataDir，不是进程 cwd。
      */
     public static func configure(filesDir: String): Unit {
         if (filesDir.size == 0) {
@@ -78,6 +93,14 @@ public class ArkWebRuntime {
             return
         }
         ArkWebRuntime.sandboxDir = filesDir
+        unsafe {
+            let cpath = LibC.mallocCString(filesDir)
+            let r = chdir(cpath)
+            LibC.free(cpath)
+            if (r != 0) {
+                eprintln("[cj-tauri] chdir(${filesDir}) failed: errno=${r}（相对路径落盘仍以原 cwd 为基准）")
+            }
+        }
         eprintln("[cj-tauri] ArkWeb sandbox: ${filesDir}")
     }
 
@@ -145,9 +168,14 @@ public class ArkWebDialogRequest {
         this.message = message
     }
 
-    /** 是否「确定 / 取消」两键（其余 kind 只有一个确定键，弹出即成立） */
+    /**
+     * 是否「确定 / 取消」两键（`info` / `warning` / `error` 只有一个确定键，弹出即成立）
+     *
+     * 判定本身在 `src/dialog_spec.cj`（三平台共用一份）：这里原先写死 `kind == "confirm"`，
+     * 而这个文件带平台门禁、桌面编不到，同一个 kind 在两个平台各判一次就迟早判岔。
+     */
     public func isConfirm(): Bool {
-        return this.kind == "confirm"
+        return dialogShapeIsTwoKey(dialogShapeOf(this.kind))
     }
 }
 
@@ -175,6 +203,8 @@ let CJ_ARKWEB_DIALOG_POLL_MS: Int64 = 20
 @When[env == "ohos"]
 public class ArkWebHost <: WebViewHost {
     private let windowLabel: String
+    // 资产解析器：胶水在 load 前注入（rawfile 材化）；鸿蒙没有 cwd 读盘兜底
+    private var assetResolver: Option<AssetResolver> = None
 
     /* 页面来源：start(html) 先存 html、落盘后 pageUrl 才成立；startUrl 直接定 pageUrl。 */
     private var pageHtml: String = ""
@@ -208,6 +238,15 @@ public class ArkWebHost <: WebViewHost {
     private var dialogRequestCount: Int64 = 0
     private var dialogAnswerCount: Int64 = 0
 
+    /*
+     * 菜单模型快照：worker 线程写（setMenu / setMenuItemState）、UI 线程读（menuModel），
+     * 与上面三个对话框槽同受 queueLock 保护。ArkUI 那半边（bindMenu）在应用侧，
+     * 框架这边只存模型——理由见 arkweb_menu.cj 的类注释。
+     */
+    private var menuRoot: ArrayList<ArkWebMenuItem> = ArrayList<ArkWebMenuItem>()
+    private var menuItemCount: Int64 = 0
+    private var menuClickCount: Int64 = 0
+
     private var messageHandler: (String) -> Unit = { _ => }
     private var shellHandler: (String) -> Unit = { _ => }
     private var destroyHandler: () -> Unit = { => }
@@ -249,7 +288,37 @@ public class ArkWebHost <: WebViewHost {
     }
 
     /**
-     * 注册预执行脚本（必须早于 start / startUrl，与桌面同一契约）
+     * 加载页面（唯一入口，RFC §4.3）
+     *
+     * 与桌面的差异：Asset **没有 cwd 读盘兜底**——hap 里没有工程目录，资产只能来自
+     * 胶水注入的 resolver（rawfile 材化）。缺注入或资产缺失时如实报错，不静默白屏。
+     */
+    public func load(source: PageSource): Unit {
+        match (source) {
+            case Inline(html) => this.start(html)
+            case Url(url) => this.startUrl(url)
+            case DevServer(url) => this.startUrl(url)
+            case Asset(name) =>
+                match (this.assetResolver) {
+                    case Some(r) =>
+                        match (r.readText(name)) {
+                            case Some(html) => this.start(html)
+                            case None =>
+                                throw AssetResolutionException("资产未找到：${name}（胶水注入的 rawfile 里没有这个资产，检查清单 [assets] 与骨架 rawfile 拷贝）")
+                        }
+                    case None =>
+                        throw AssetResolutionException("资产 ${name} 未注入 AssetResolver（鸿蒙侧胶水须先把 rawfile 材化并注入解析器，再 load）")
+                }
+        }
+    }
+
+    /** 注入资产解析器（胶水在 load 前调用，rawfile 材化器） */
+    public func setAssetResolver(resolver: Option<AssetResolver>): Unit {
+        this.assetResolver = resolver
+    }
+
+    /**
+     * 注册预执行脚本（必须早于 load，与桌面同一契约）
      *
      * 内联 HTML 走「拼进 head 最前」这条通道（真正早于页面脚本）；URL 页面只能等
      * `onPageBegin` 再 runJavaScript——那时页面顶层脚本可能已经跑过，**这是本平台的已知限制**，
@@ -284,17 +353,99 @@ public class ArkWebHost <: WebViewHost {
         eprintln("[cj-tauri] ArkWeb: openDevTools is not available on this platform (use web debugging)")
     }
 
-    /* ---- 以下宿主能力位为 0：一律如实拒绝，不假装成功（AGENTS §2 的 scaffold 纪律） ---- */
+    /* ---- 菜单：框架存模型，应用侧用 bindMenu 画（见 arkweb_menu.cj 的类注释） ---- */
 
+    /**
+     * 收下应用给的菜单线路格式（`MenuModel.toWire()`），解析成快照存起来。
+     *
+     * **不阻塞、也不画界面**：真正的菜单由应用侧的 `ArkWebView` 在 `bindMenu` 里画，
+     * UI 线程经 [menuModel] 取快照。这样框架包不引用 ArkUI（AGENTS §4 的 SIGSEGV 坑）。
+     */
     public func setMenu(wire: String): Unit {
-        let _ = wire
-        eprintln("[cj-tauri] ArkWeb: menu unsupported (host capability bit is 0)")
+        let parsed = parseArkWebMenuWire(wire)
+        var rows: Int64 = 0
+        synchronized(ArkWebRuntime.queueLock) {
+            this.menuRoot = parsed
+            rows = countMenuItems(parsed)
+            this.menuItemCount = rows
+        }
+        eprintln("[cj-tauri] ArkWeb: menu applied (${wire.size} bytes, ${rows} item(s), app-side bindMenu)")
     }
 
+    /**
+     * 运行期改单项状态（按 id 找，找不到静默忽略——与桌面两平台同口径）。
+     *
+     * 这里**不再抛异常**：菜单模型住在本进程，改动是纯内存动作；UI 下一轮 [menuModel]
+     * 拿到的就是新状态（`bindMenu` 每次 build 重新生成，不需要额外通知）。
+     */
     public func setMenuItemState(id: String, enabled: Bool, checked: Bool): Unit {
-        let _ = id
-        let _ = enabled
-        let _ = checked
+        var hit = false
+        synchronized(ArkWebRuntime.queueLock) {
+            for (item in this.menuRoot) {
+                match (item.find(id)) {
+                    case Some(node) =>
+                        node.enabled = enabled
+                        node.checked = checked
+                        hit = true
+                    case None => ()
+                }
+            }
+        }
+        eprintln("[cj-tauri] ArkWeb: menu item state id=\"${id}\" enabled=${enabled} checked=${checked} hit=${hit}")
+    }
+
+    /**
+     * UI 线程取菜单快照（每次一份深拷贝，UI 改它不会动到宿主里的模型）。
+     *
+     * 应用侧的 `ArkWebView` 在 `build()` 里按它生成 `bindMenu` 的 `MenuElement` 数组；
+     * 没有菜单时回空表（应用照常建树，别等菜单才画 Web）。
+     */
+    public func menuModel(): ArrayList<ArkWebMenuItem> {
+        let out = ArrayList<ArkWebMenuItem>()
+        synchronized(ArkWebRuntime.queueLock) {
+            for (item in this.menuRoot) {
+                out.add(item.snapshot())
+            }
+        }
+        return out
+    }
+
+    /**
+     * 应用侧 UI 里「这一项被点了」→ 回投 shell 事件。
+     *
+     * 报文与桌面 C 桥的 `cj_core_menu_clicked` **逐字同形**
+     * （`{"kind":"menu","id":…,"enabled":…,"checked":…}`），于是应用层的 `onShellEvent`、
+     * 前端 `menu:click`、以及应用按事件同步自己模型的代码都不用分平台。
+     *
+     * 勾选项的翻转由本函数做（与 Windows 侧「Win32 不替我们翻，自己翻」同口径）：
+     * 报出去的是**翻转后**的状态，页面照它更新即可。
+     */
+    public func noteMenuClick(id: String): Unit {
+        var enabled = true
+        var checked = false
+        var found = false
+        synchronized(ArkWebRuntime.queueLock) {
+            for (item in this.menuRoot) {
+                match (item.find(id)) {
+                    case Some(node) =>
+                        if (node.isCheckbox()) {
+                            node.checked = !node.checked
+                        }
+                        enabled = node.enabled
+                        checked = node.checked
+                        found = true
+                    case None => ()
+                }
+            }
+        }
+        if (!found) {
+            eprintln("[cj-tauri] ArkWeb: menu click ignored (id=\"${id}\" is not in the current menu)")
+            return
+        }
+        this.menuClickCount++
+        eprintln("[cj-tauri] ArkWeb: menu clicked id=\"${id}\" enabled=${enabled} checked=${checked}")
+        this.shellHandler("{\"kind\":\"menu\",\"id\":\"${arkWebJsonEscape(id)}\",\"enabled\":${enabled}," +
+            "\"checked\":${checked}}")
     }
 
     public func setTitlebarSubtitle(text: String): Unit {
@@ -325,9 +476,16 @@ public class ArkWebHost <: WebViewHost {
         let _ = enabled
     }
 
-    /** 能力位全 0：鸿蒙侧还没有任何一项宿主级能力通过实机取证（AGENTS §1 门禁 4） */
+    /** 能力位：菜单已置 1（2026-10-24 真机取证），其余仍为 0（AGENTS §1 门禁 4） */
     public func hostCapabilities(): Int32 {
-        return 0
+        /*
+         * 菜单是鸿蒙侧第一项真落地的宿主能力：框架存模型（arkweb_menu.cj）、应用侧 bindMenu 画、
+         * 点击经 noteMenuClick 回投（报文与桌面同形）。其余位仍为 0——判据是「仓颉侧有没有 API」：
+         * 托盘（鸿蒙无系统托盘）、全局快捷键（只有组件级 keyboardshortcut）、拖入文件（SDK 只有
+         * 拖出侧的 drag / dragPreview，没有 drop 回调）、通知（SDK 无 notification_manager 模块）、
+         * 标题栏副标题（无 setWindowTitle）。AGENTS §1 门禁 4：没有实机证据的位置 1。
+         */
+        return CJ_CAP_MENU
     }
 
     public func setShellHandler(handler: (String) -> Unit): Unit {
@@ -469,16 +627,23 @@ public class ArkWebHost <: WebViewHost {
         }
     }
 
+    /**
+     * 写文本进系统剪贴板（鸿蒙 = 原生 pasteboard，见 `clipboard_bridge.cj` 的鸿蒙段）
+     *
+     * 返回 false 只有三种可能：句柄拿不到、UDMF 对象建不出来、平台拒绝这次写入。
+     * **不要把 false 读成「暂时没接」**——这条能力在鸿蒙上已经接了，false 就是真失败。
+     */
     public func clipboardWriteText(text: String): Bool {
-        let _ = text
-        // 剪贴板在鸿蒙走 pasteboard 模块（`ohos.pasteboard`），尚未接入：如实 false，
-        // 不返回 true 骗调用方（这正是「发后即忘返回 0 ≠ 发送成功」那条坑的同族）。
-        eprintln("[cj-tauri] ArkWeb: clipboard write unsupported (pasteboard not wired yet)")
-        return false
+        return arkwebClipboardWriteText(text)
     }
 
+    /**
+     * 读系统剪贴板文本：None = 空 / 非文本 / 平台拒绝（含缺 `READ_PASTEBOARD` 权限）
+     *
+     * 三种 None 对调用方是同一个「没拿到」——接口契约就是 Option，不在这儿编造区分。
+     */
     public func clipboardReadText(): Option<String> {
-        return None
+        return arkwebClipboardReadText()
     }
 
     public func notify(title: String, body: String): Bool {
@@ -738,3 +903,22 @@ public class ArkWebHost <: WebViewHost {
         return "${block}${html}"
     }
 }
+
+/* 菜单项总数（含各级子孙）：只用于日志对账，不参与渲染 */
+@When[env == "ohos"]
+private func countMenuItems(items: ArrayList<ArkWebMenuItem>): Int64 {
+    var total: Int64 = 0
+    for (item in items) {
+        total++
+        total += countMenuItems(item.children)
+    }
+    return total
+}
+
+/* shell 报文里 id 的最小转义：只处理 `\` 与 `"`（与 C 侧 cj_json_escape_into 同口径） */
+@When[env == "ohos"]
+private func arkWebJsonEscape(text: String): String {
+    // 迭代 String 得到的是 UInt8 字节（AGENTS §4），`String(byte)` 并不接受 UInt8——
+    // 这里只需要处理两个 ASCII 元字符，直接走 replace 更稳，也不碰字节/码点的口径。
+    return text.replace("\\", "\\\\").replace("\"", "\\\"")
+}