cj-tauri 2.0.0 → 2.1.1

package/src/menu.cj

@@ -1,197 +1,197 @@
-package cjTauri
-
-import std.collection.*
-
-/**
- * 窗口菜单栏的**纯仓颉模型**（RFC-002 §5.1）：只描述意图，不含任何平台概念。
- *
- * 分层：模型（本文件）→ `WebViewHost.setMenu()`（src/host.cj）→ C 桥 `cj_bridge_set_menu` →
- * 平台翻译层（native/bridge_win.c 的 CreateMenu 族 / bridge_linux.c 的 GtkMenuBar）。
- * 菜单文本来自**应用作者**（不是页面可控的不可信输入），所以这里不做转义——
- * 非法字段让那一项出局并出声，而不是写一套转义/反转义。
- */
-public enum MenuItemKind {
-    | Normal // 普通项：点击回调自己的 id
-    | Checkbox // 可勾选项：回调里带 checked
-    | Separator // 分隔线：无 id、不可点
-    | Submenu // 子菜单：自身不可点，只承载 children
-}
-
-public class MenuItem {
-    public let id: String
-    public let label: String
-    public let kind: MenuItemKind
-    /** 快捷键**提示**文本（如 "Ctrl+S"）。v1 只显示，不抢页面按键 */
-    public let accelerator: String
-    public var enabled: Bool
-    public var checked: Bool
-    /** 仅 Submenu 用；其它 kind 恒为空表 */
-    public let children: ArrayList<MenuItem>
-
-    public init(id: String, label: String, kind: MenuItemKind, accelerator: String,
-                enabled: Bool, checked: Bool, children: ArrayList<MenuItem>) {
-        this.id = id
-        this.label = label
-        this.kind = kind
-        this.accelerator = accelerator
-        this.enabled = enabled
-        this.checked = checked
-        this.children = children
-    }
-
-    /** 普通菜单项（最常用） */
-    public static func normal(id: String, label: String): MenuItem {
-        return MenuItem(id, label, MenuItemKind.Normal, "", true, false, ArrayList<MenuItem>())
-    }
-
-    /** 带快捷键提示的普通项 */
-    public static func normalWithAccel(id: String, label: String, accelerator: String): MenuItem {
-        return MenuItem(id, label, MenuItemKind.Normal, accelerator, true, false, ArrayList<MenuItem>())
-    }
-
-    /** 勾选项（初始 checked） */
-    public static func checkbox(id: String, label: String, checked: Bool): MenuItem {
-        return MenuItem(id, label, MenuItemKind.Checkbox, "", true, checked, ArrayList<MenuItem>())
-    }
-
-    /** 子菜单：id 留空（自身不回调），动作交给 children */
-    public static func submenu(label: String, children: ArrayList<MenuItem>): MenuItem {
-        return MenuItem("", label, MenuItemKind.Submenu, "", true, false, children)
-    }
-
-    /** 分隔线 */
-    public static func separator(): MenuItem {
-        return MenuItem("", "", MenuItemKind.Separator, "", true, false, ArrayList<MenuItem>())
-    }
-}
-
-/**
- * 菜单模型：`items` 是菜单栏的顶层，子菜单靠 `MenuItem.children` 递归。
- *
- * **不可变**（items 只读）：运行期改状态走 `WebViewHost.setMenuItemState(id, …)`，不在这里改——
- * 状态的真身在平台对象上（Windows 的 HMENU、GTK 的 GtkCheckMenuItem），只改模型平台不会自己变。
- */
-public class MenuModel {
-    public let items: ArrayList<MenuItem>
-
-    public init(items: ArrayList<MenuItem>) {
-        this.items = items
-    }
-
-    /**
-     * 按 id 找菜单项（本层优先，再下钻子菜单）；找不到返回 None
-     *
-     * 为什么要它：运行期改状态按 id 定位（`setMenuItemState`），而**应用层的模型状态**必须
-     * 能反查出「这个 id 现在是什么状态」——平台侧一次写两位（enabled + checked，见
-     * `WebViewHost.setMenuItemState`），拿不到另一维就会把用户刚点出来的勾选抹掉。
-     */
-    public func findById(id: String): Option<MenuItem> {
-        return MenuModel.lookup(this.items, id)
-    }
-
-    private static func lookup(items: ArrayList<MenuItem>, id: String): Option<MenuItem> {
-        for (item in items) {
-            if (item.id == id) {
-                return Some(item)
-            }
-            match (MenuModel.lookup(item.children, id)) {
-                case Some(found) => return Some(found)
-                case None => ()
-            }
-        }
-        return None
-    }
-
-    /**
-     * 线路格式（RFC-002 §5.4）：一行一项，字段用制表符分隔，**行首制表符数 = 层级**。
-     *
-     *     <tabs><kind>\t<id>\t<label>\t<flags>\t<accel>\n
-     *
-     * kind：`n` 普通 / `c` 勾选 / `s` 分隔线 / `m` 子菜单；
-     * flags：十进制，bit0 = 可用、bit1 = 勾选（`3` = 又可用又勾选）；
-     * 分隔线与子菜单也走满 5 个字段（id / label / accel 为空），C 侧因此不必为它们开特例。
-     *
-     * 为什么 kind 放最前：C 侧先分派再取值，日志里一眼能看出这行是什么。
-     * 为什么不是 JSON：C 侧（bridge_core.c）是纯 C、不引第三方，行式文本解析几十行就够，
-     * 且坏了能直接 `fprintf` 到 stderr（诊断走 stderr 是项目铁律）。JSON 留在仓颉侧给 CLI / 清单用。
-     * 为什么不做转义：字段里出现制表符 / 换行会破坏「一行一项」的结构——v1 的口径是
-     * **丢弃该项 + stderr 逐项提示**（见 emit），而不是引入转义/反转义这一对必须同时正确的函数。
-     */
-    public func toWire(): String {
-        return MenuModel.emit(this.items, 0)
-    }
-
-    /** 包内共享（TrayModel 的托盘菜单复用同一遍发射器，别再抄一份格式） */
-    static func emit(items: ArrayList<MenuItem>, depth: Int64): String {
-        var out = ""
-        for (item in items) {
-            if (!MenuModel.wireSafe(item.id) || !MenuModel.wireSafe(item.label) ||
-                !MenuModel.wireSafe(item.accelerator)) {
-                eprintln("[cj-tauri] menu: item dropped from wire (id/label/accelerator contains tab or newline)")
-                continue
-            }
-            out += MenuModel.tabs(depth) + MenuModel.kindCode(item.kind) + "\t" + item.id + "\t" +
-                item.label + "\t" + MenuModel.flags(item).toString() + "\t" + item.accelerator + "\n"
-            if (MenuModel.isSubmenu(item.kind)) {
-                out += MenuModel.emit(item.children, depth + 1)
-            }
-        }
-        return out
-    }
-
-    /**
-     * 枚举值**不能用 `==` 比较**（实测：Cangjie 1.2.0 编译期报
-     * `invalid binary operator '==' on type 'Enum-MenuItemKind' and 'Enum-MenuItemKind'`），只有 match 能判。
-     */
-    private static func isSubmenu(kind: MenuItemKind): Bool {
-        match (kind) {
-            case MenuItemKind.Submenu => true
-            case _ => false
-        }
-    }
-
-    /**
-     * 字段里不许有制表符 / 换行 / 回车：它们是线路格式的结构字符。
-     * 注意本 SDK 里 `for (cp in someString)` 迭代出的是 **UInt8 字节**（不是 UInt32 码点，AGENTS §4 那条已更正）：
-     * 三个结构字符都在 ASCII 范围内，按字节比对既够用、也不受多字节字符影响。
-     */
-    private static func wireSafe(s: String): Bool {
-        for (cp in s) {
-            if (cp == 9u8 || cp == 10u8 || cp == 13u8) {
-                return false
-            }
-        }
-        return true
-    }
-
-    private static func tabs(n: Int64): String {
-        var out = ""
-        var i = 0
-        while (i < n) {
-            out += "\t"
-            i++
-        }
-        return out
-    }
-
-    private static func kindCode(kind: MenuItemKind): String {
-        match (kind) {
-            case MenuItemKind.Normal => "n"
-            case MenuItemKind.Checkbox => "c"
-            case MenuItemKind.Separator => "s"
-            case MenuItemKind.Submenu => "m"
-        }
-    }
-
-    /** flags：bit0 = 可用、bit1 = 勾选（十进制传输，C 侧只要 atoi） */
-    private static func flags(item: MenuItem): Int64 {
-        var f = 0
-        if (item.enabled) {
-            f += 1
-        }
-        if (item.checked) {
-            f += 2
-        }
-        return f
-    }
-}
+package cjTauri
+
+import std.collection.*
+
+/**
+ * 窗口菜单栏的**纯仓颉模型**（RFC-002 §5.1）：只描述意图，不含任何平台概念。
+ *
+ * 分层：模型（本文件）→ `WebViewHost.setMenu()`（src/host.cj）→ C 桥 `cj_bridge_set_menu` →
+ * 平台翻译层（native/bridge_win.c 的 CreateMenu 族 / bridge_linux.c 的 GtkMenuBar）。
+ * 菜单文本来自**应用作者**（不是页面可控的不可信输入），所以这里不做转义——
+ * 非法字段让那一项出局并出声，而不是写一套转义/反转义。
+ */
+public enum MenuItemKind {
+    | Normal // 普通项：点击回调自己的 id
+    | Checkbox // 可勾选项：回调里带 checked
+    | Separator // 分隔线：无 id、不可点
+    | Submenu // 子菜单：自身不可点，只承载 children
+}
+
+public class MenuItem {
+    public let id: String
+    public let label: String
+    public let kind: MenuItemKind
+    /** 快捷键**提示**文本（如 "Ctrl+S"）。v1 只显示，不抢页面按键 */
+    public let accelerator: String
+    public var enabled: Bool
+    public var checked: Bool
+    /** 仅 Submenu 用；其它 kind 恒为空表 */
+    public let children: ArrayList<MenuItem>
+
+    public init(id: String, label: String, kind: MenuItemKind, accelerator: String,
+                enabled: Bool, checked: Bool, children: ArrayList<MenuItem>) {
+        this.id = id
+        this.label = label
+        this.kind = kind
+        this.accelerator = accelerator
+        this.enabled = enabled
+        this.checked = checked
+        this.children = children
+    }
+
+    /** 普通菜单项（最常用） */
+    public static func normal(id: String, label: String): MenuItem {
+        return MenuItem(id, label, MenuItemKind.Normal, "", true, false, ArrayList<MenuItem>())
+    }
+
+    /** 带快捷键提示的普通项 */
+    public static func normalWithAccel(id: String, label: String, accelerator: String): MenuItem {
+        return MenuItem(id, label, MenuItemKind.Normal, accelerator, true, false, ArrayList<MenuItem>())
+    }
+
+    /** 勾选项（初始 checked） */
+    public static func checkbox(id: String, label: String, checked: Bool): MenuItem {
+        return MenuItem(id, label, MenuItemKind.Checkbox, "", true, checked, ArrayList<MenuItem>())
+    }
+
+    /** 子菜单：id 留空（自身不回调），动作交给 children */
+    public static func submenu(label: String, children: ArrayList<MenuItem>): MenuItem {
+        return MenuItem("", label, MenuItemKind.Submenu, "", true, false, children)
+    }
+
+    /** 分隔线 */
+    public static func separator(): MenuItem {
+        return MenuItem("", "", MenuItemKind.Separator, "", true, false, ArrayList<MenuItem>())
+    }
+}
+
+/**
+ * 菜单模型：`items` 是菜单栏的顶层，子菜单靠 `MenuItem.children` 递归。
+ *
+ * **不可变**（items 只读）：运行期改状态走 `WebViewHost.setMenuItemState(id, …)`，不在这里改——
+ * 状态的真身在平台对象上（Windows 的 HMENU、GTK 的 GtkCheckMenuItem），只改模型平台不会自己变。
+ */
+public class MenuModel {
+    public let items: ArrayList<MenuItem>
+
+    public init(items: ArrayList<MenuItem>) {
+        this.items = items
+    }
+
+    /**
+     * 按 id 找菜单项（本层优先，再下钻子菜单）；找不到返回 None
+     *
+     * 为什么要它：运行期改状态按 id 定位（`setMenuItemState`），而**应用层的模型状态**必须
+     * 能反查出「这个 id 现在是什么状态」——平台侧一次写两位（enabled + checked，见
+     * `WebViewHost.setMenuItemState`），拿不到另一维就会把用户刚点出来的勾选抹掉。
+     */
+    public func findById(id: String): Option<MenuItem> {
+        return MenuModel.lookup(this.items, id)
+    }
+
+    private static func lookup(items: ArrayList<MenuItem>, id: String): Option<MenuItem> {
+        for (item in items) {
+            if (item.id == id) {
+                return Some(item)
+            }
+            match (MenuModel.lookup(item.children, id)) {
+                case Some(found) => return Some(found)
+                case None => ()
+            }
+        }
+        return None
+    }
+
+    /**
+     * 线路格式（RFC-002 §5.4）：一行一项，字段用制表符分隔，**行首制表符数 = 层级**。
+     *
+     *     <tabs><kind>\t<id>\t<label>\t<flags>\t<accel>\n
+     *
+     * kind：`n` 普通 / `c` 勾选 / `s` 分隔线 / `m` 子菜单；
+     * flags：十进制，bit0 = 可用、bit1 = 勾选（`3` = 又可用又勾选）；
+     * 分隔线与子菜单也走满 5 个字段（id / label / accel 为空），C 侧因此不必为它们开特例。
+     *
+     * 为什么 kind 放最前：C 侧先分派再取值，日志里一眼能看出这行是什么。
+     * 为什么不是 JSON：C 侧（bridge_core.c）是纯 C、不引第三方，行式文本解析几十行就够，
+     * 且坏了能直接 `fprintf` 到 stderr（诊断走 stderr 是项目铁律）。JSON 留在仓颉侧给 CLI / 清单用。
+     * 为什么不做转义：字段里出现制表符 / 换行会破坏「一行一项」的结构——v1 的口径是
+     * **丢弃该项 + stderr 逐项提示**（见 emit），而不是引入转义/反转义这一对必须同时正确的函数。
+     */
+    public func toWire(): String {
+        return MenuModel.emit(this.items, 0)
+    }
+
+    /** 包内共享（TrayModel 的托盘菜单复用同一遍发射器，别再抄一份格式） */
+    static func emit(items: ArrayList<MenuItem>, depth: Int64): String {
+        var out = ""
+        for (item in items) {
+            if (!MenuModel.wireSafe(item.id) || !MenuModel.wireSafe(item.label) ||
+                !MenuModel.wireSafe(item.accelerator)) {
+                eprintln("[cj-tauri] menu: item dropped from wire (id/label/accelerator contains tab or newline)")
+                continue
+            }
+            out += MenuModel.tabs(depth) + MenuModel.kindCode(item.kind) + "\t" + item.id + "\t" +
+                item.label + "\t" + MenuModel.flags(item).toString() + "\t" + item.accelerator + "\n"
+            if (MenuModel.isSubmenu(item.kind)) {
+                out += MenuModel.emit(item.children, depth + 1)
+            }
+        }
+        return out
+    }
+
+    /**
+     * 枚举值**不能用 `==` 比较**（实测：Cangjie 1.2.0 编译期报
+     * `invalid binary operator '==' on type 'Enum-MenuItemKind' and 'Enum-MenuItemKind'`），只有 match 能判。
+     */
+    private static func isSubmenu(kind: MenuItemKind): Bool {
+        match (kind) {
+            case MenuItemKind.Submenu => true
+            case _ => false
+        }
+    }
+
+    /**
+     * 字段里不许有制表符 / 换行 / 回车：它们是线路格式的结构字符。
+     * 注意本 SDK 里 `for (cp in someString)` 迭代出的是 **UInt8 字节**（不是 UInt32 码点，AGENTS §4 那条已更正）：
+     * 三个结构字符都在 ASCII 范围内，按字节比对既够用、也不受多字节字符影响。
+     */
+    private static func wireSafe(s: String): Bool {
+        for (cp in s) {
+            if (cp == 9u8 || cp == 10u8 || cp == 13u8) {
+                return false
+            }
+        }
+        return true
+    }
+
+    private static func tabs(n: Int64): String {
+        var out = ""
+        var i = 0
+        while (i < n) {
+            out += "\t"
+            i++
+        }
+        return out
+    }
+
+    private static func kindCode(kind: MenuItemKind): String {
+        match (kind) {
+            case MenuItemKind.Normal => "n"
+            case MenuItemKind.Checkbox => "c"
+            case MenuItemKind.Separator => "s"
+            case MenuItemKind.Submenu => "m"
+        }
+    }
+
+    /** flags：bit0 = 可用、bit1 = 勾选（十进制传输，C 侧只要 atoi） */
+    private static func flags(item: MenuItem): Int64 {
+        var f = 0
+        if (item.enabled) {
+            f += 1
+        }
+        if (item.checked) {
+            f += 2
+        }
+        return f
+    }
+}

package/src/platform/platform_app_context.cj

@@ -1,77 +1,77 @@
-package cjTauri.platform
-
-import std.collection.ArrayList
-
-/**
- * 应用可写目录（RFC-002 §5.2）
- *
- * 默认跟应用 id 走平台规范目录（XDG / AppData / filesDir），不落可执行文件旁边；
- * 便携版（数据跟 exe）是显式选项，由骨架构建期注入，见 RFC §5.2。
- * Windows 下统一用 "/" 分隔符（Windows API 均接受），减少按端拼路径的分支。
- */
-public class AppPaths {
-    public let dataDir: String   // 收藏库、状态等持久数据
-    public let cacheDir: String  // 可清理缓存
-    public let tempDir: String   // 本次运行临时文件
-
-    public init(dataDir: String, cacheDir: String, tempDir: String) {
-        this.dataDir = dataDir
-        this.cacheDir = cacheDir
-        this.tempDir = tempDir
-    }
-}
-
-/**
- * 运行时上下文（RFC-002 §4.5）——框架在 launch() 里构建，业务只读
- *
- * supports() 是业务唯一的平台判断入口；target 字段仅供日志与埋点，
- * code review 里出现「按 target.os 分支」应被拒绝（RFC 硬约束 1）。
- */
-public class AppContext {
-    public let paths: AppPaths
-    public let target: TargetInfo
-    /** 开发期：资产优先读盘、允许 DevServer */
-    public let dev: Bool
-    private let features: ArrayList<PlatformFeature>
-
-    public init(paths: AppPaths, target: TargetInfo, dev: Bool, features: ArrayList<PlatformFeature>) {
-        this.paths = paths
-        this.target = target
-        this.dev = dev
-        this.features = features
-    }
-
-    /** 特性探测：批次 0 用线性扫（特性位数 ≤ 十几，不值得上哈希表） */
-    public func supports(f: PlatformFeature): Bool {
-        for (item in features) {
-            if (PlatformFeature.same(item, f)) {
-                return true
-            }
-        }
-        return false
-    }
-
-    /** 供日志输出：本端支持哪些特性位（降级行为要可观测，见 RFC §8） */
-    public func describeFeatures(): String {
-        let sb = StringBuilder()
-        var first = true
-        for (item in features) {
-            if (!first) {
-                sb.append(", ")
-            }
-            first = false
-            sb.append(featureName(item))
-        }
-        return sb.toString()
-    }
-
-    private static func featureName(f: PlatformFeature): String {
-        match (f) {
-            case Tray => "Tray"
-            case MultiWindow => "MultiWindow"
-            case FilePicker => "FilePicker"
-            case ClipboardImage => "ClipboardImage"
-            case SoftKeyboardInset => "SoftKeyboardInset"
-        }
-    }
-}
+package cjTauri.platform
+
+import std.collection.ArrayList
+
+/**
+ * 应用可写目录（RFC-002 §5.2）
+ *
+ * 默认跟应用 id 走平台规范目录（XDG / AppData / filesDir），不落可执行文件旁边；
+ * 便携版（数据跟 exe）是显式选项，由骨架构建期注入，见 RFC §5.2。
+ * Windows 下统一用 "/" 分隔符（Windows API 均接受），减少按端拼路径的分支。
+ */
+public class AppPaths {
+    public let dataDir: String   // 收藏库、状态等持久数据
+    public let cacheDir: String  // 可清理缓存
+    public let tempDir: String   // 本次运行临时文件
+
+    public init(dataDir: String, cacheDir: String, tempDir: String) {
+        this.dataDir = dataDir
+        this.cacheDir = cacheDir
+        this.tempDir = tempDir
+    }
+}
+
+/**
+ * 运行时上下文（RFC-002 §4.5）——框架在 launch() 里构建，业务只读
+ *
+ * supports() 是业务唯一的平台判断入口；target 字段仅供日志与埋点，
+ * code review 里出现「按 target.os 分支」应被拒绝（RFC 硬约束 1）。
+ */
+public class AppContext {
+    public let paths: AppPaths
+    public let target: TargetInfo
+    /** 开发期：资产优先读盘、允许 DevServer */
+    public let dev: Bool
+    private let features: ArrayList<PlatformFeature>
+
+    public init(paths: AppPaths, target: TargetInfo, dev: Bool, features: ArrayList<PlatformFeature>) {
+        this.paths = paths
+        this.target = target
+        this.dev = dev
+        this.features = features
+    }
+
+    /** 特性探测：批次 0 用线性扫（特性位数 ≤ 十几，不值得上哈希表） */
+    public func supports(f: PlatformFeature): Bool {
+        for (item in features) {
+            if (PlatformFeature.same(item, f)) {
+                return true
+            }
+        }
+        return false
+    }
+
+    /** 供日志输出：本端支持哪些特性位（降级行为要可观测，见 RFC §8） */
+    public func describeFeatures(): String {
+        let sb = StringBuilder()
+        var first = true
+        for (item in features) {
+            if (!first) {
+                sb.append(", ")
+            }
+            first = false
+            sb.append(featureName(item))
+        }
+        return sb.toString()
+    }
+
+    private static func featureName(f: PlatformFeature): String {
+        match (f) {
+            case Tray => "Tray"
+            case MultiWindow => "MultiWindow"
+            case FilePicker => "FilePicker"
+            case ClipboardImage => "ClipboardImage"
+            case SoftKeyboardInset => "SoftKeyboardInset"
+        }
+    }
+}

package/src/platform/platform_assets.cj

@@ -1,33 +1,33 @@
-package cjTauri.platform
-
-import std.fs.*
-
-/**
- * 目录型资产解析器（RFC §6.2）：桌面开发期 / 发布读盘路径的默认实现
- *
- * root 为资产根（清单 [assets] root），逻辑名按 <root>/<name> 相对寻址。
- * 沙箱端实现（鸿蒙 rawfile / 内嵌常量）在各自适配层，批次 3 随清单派生接入。
- */
-public class DirectoryAssetResolver <: AssetResolver {
-    private let root: String
-
-    public init(root: String) {
-        this.root = root
-    }
-
-    public func readText(name: String): Option<String> {
-        try {
-            return Some(String.fromUtf8(File.readFrom(root + "/" + name)))
-        } catch (e: Exception) {
-            return None
-        }
-    }
-
-    /** 以「能否读到」为准（批次 2 只服务文本资产；图标等二进制走各端资源目录，不进常量表） */
-    public func exists(name: String): Bool {
-        match (readText(name)) {
-            case Some(_) => return true
-            case None => return false
-        }
-    }
-}
+package cjTauri.platform
+
+import std.fs.*
+
+/**
+ * 目录型资产解析器（RFC §6.2）：桌面开发期 / 发布读盘路径的默认实现
+ *
+ * root 为资产根（清单 [assets] root），逻辑名按 <root>/<name> 相对寻址。
+ * 沙箱端实现（鸿蒙 rawfile / 内嵌常量）在各自适配层，批次 3 随清单派生接入。
+ */
+public class DirectoryAssetResolver <: AssetResolver {
+    private let root: String
+
+    public init(root: String) {
+        this.root = root
+    }
+
+    public func readText(name: String): Option<String> {
+        try {
+            return Some(String.fromUtf8(File.readFrom(root + "/" + name)))
+        } catch (e: Exception) {
+            return None
+        }
+    }
+
+    /** 以「能否读到」为准（批次 2 只服务文本资产；图标等二进制走各端资源目录，不进常量表） */
+    public func exists(name: String): Bool {
+        match (readText(name)) {
+            case Some(_) => return true
+            case None => return false
+        }
+    }
+}