cj-tauri 0.8.0 → 1.1.0

package/src/tests/version_test.cj

@@ -1,65 +1,75 @@
-package cjTauri.tests
-
-import cjTauri.*
-import stdx.encoding.json.*
-import std.unittest.*
-import std.unittest.testmacro.*
-
-/*
- * 版本与内置命令的一致性测试。
- * 版本号的权威目标是 CHANGELOG.md，四处常量由 scripts/check-version.sh 巡检；
- * 这里只锁「代码里的单一来源不漂移」。
- */
-
-@Test
-func testVersionConstantNotEmpty(): Unit {
-    @Expect(CJ_TAURI_VERSION.size > 0, true)
-}
-
-@Test
-func testSystemVersionReportsConstant(): Unit {
-    let commands = SystemCommands()
-    let v = commands.handle("system:version", JsonObject(), IpcContext("main", IpcHub()))
-    let o = v.asObject()
-    // 命令报告的版本必须就是常量本身（防止有人改了其中一处）
-    @Expect(o.get("version").getOrThrow().asString().getValue(), CJ_TAURI_VERSION)
-    @Expect(o.get("name").getOrThrow().asString().getValue(), "cj-tauri")
-    @Expect(o.get("platform").getOrThrow().asString().getValue(), currentPlatform())
-    @Expect(currentPlatform().size > 0, true)
-}
-
-@Test
-func testSystemPingEchoAndUnknown(): Unit {
-    let commands = SystemCommands()
-    let ctx = IpcContext("main", IpcHub())
-    @Expect(commands.handle("system:ping", JsonObject(), ctx).asString().getValue(), "pong")
-
-    var args = JsonObject()
-    args.put("who", JsonString("cj"))
-    let echoed = commands.handle("system:echo", args, ctx).asObject()
-    @Expect(echoed.get("who").getOrThrow().asString().getValue(), "cj")
-
-    // 未定义的 system:* 走 CommandException，前端拿到的是这句原文
-    var thrown = ""
-    try {
-        commands.handle("system:nope", JsonObject(), ctx)
-    } catch (e: CommandException) {
-        thrown = e.message
-    }
-    @Expect(thrown, "unknown system command: system:nope")
-}
-
-@Test
-func testWindowConfigDefaultsMatchBridgeHardcoding(): Unit {
-    // 默认值必须与桥里此前的硬编码一致（标题 cj-tauri / 900x640），否则不调 window() 的应用会变样
-    let def = WindowConfig()
-    @Expect(def.title, "cj-tauri")
-    @Expect(def.width, 900)
-    @Expect(def.height, 640)
-    @Expect(def.devTools, true)
-
-    let custom = WindowConfig("我的应用", 1200, 800)
-    @Expect(custom.title, "我的应用")
-    @Expect(custom.width, 1200)
-    @Expect(custom.height, 800)
-}
+package cjTauri.tests
+
+import cjTauri.*
+import stdx.encoding.json.*
+import std.unittest.*
+import std.unittest.testmacro.*
+
+/*
+ * 版本与内置命令的一致性测试。
+ * 版本号的权威目标是 CHANGELOG.md，四处常量由 scripts/check-version.sh 巡检；
+ * 这里只锁「代码里的单一来源不漂移」。
+ */
+
+@Test
+func testVersionConstantNotEmpty(): Unit {
+    @Expect(CJ_TAURI_VERSION.size > 0, true)
+}
+
+@Test
+func testSystemVersionReportsConstant(): Unit {
+    let commands = SystemCommands()
+    let v = commands.handle("system:version", JsonObject(), IpcContext("main", IpcHub()))
+    let o = v.asObject()
+    // 命令报告的版本必须就是常量本身（防止有人改了其中一处）
+    @Expect(o.get("version").getOrThrow().asString().getValue(), CJ_TAURI_VERSION)
+    @Expect(o.get("name").getOrThrow().asString().getValue(), "cj-tauri")
+    @Expect(o.get("protocol").getOrThrow().asString().getValue(), CJ_IPC_PROTOCOL)
+    @Expect(o.get("platform").getOrThrow().asString().getValue(), currentPlatform())
+    @Expect(currentPlatform().size > 0, true)
+}
+
+@Test
+func testIpcProtocolConstantPresent(): Unit {
+    // 协议版本常量：非空、纯数字（抬版本时按「删字段/改语义必须 +1」的纪律走）
+    @Expect(CJ_IPC_PROTOCOL.size > 0, true)
+    for (b in CJ_IPC_PROTOCOL.toArray()) {
+        @Expect(b >= 48u8 && b <= 57u8, true)
+    }
+}
+
+@Test
+func testSystemPingEchoAndUnknown(): Unit {
+    let commands = SystemCommands()
+    let ctx = IpcContext("main", IpcHub())
+    @Expect(commands.handle("system:ping", JsonObject(), ctx).asString().getValue(), "pong")
+
+    var args = JsonObject()
+    args.put("who", JsonString("cj"))
+    let echoed = commands.handle("system:echo", args, ctx).asObject()
+    @Expect(echoed.get("who").getOrThrow().asString().getValue(), "cj")
+
+    // 未定义的 system:* 走 CommandException，前端拿到的是这句原文
+    var thrown = ""
+    try {
+        commands.handle("system:nope", JsonObject(), ctx)
+    } catch (e: CommandException) {
+        thrown = e.message
+    }
+    @Expect(thrown, "unknown system command: system:nope")
+}
+
+@Test
+func testWindowConfigDefaultsMatchBridgeHardcoding(): Unit {
+    // 默认值必须与桥里此前的硬编码一致（标题 cj-tauri / 900x640），否则不调 window() 的应用会变样
+    let def = WindowConfig()
+    @Expect(def.title, "cj-tauri")
+    @Expect(def.width, 900)
+    @Expect(def.height, 640)
+    @Expect(def.devTools, true)
+
+    let custom = WindowConfig("我的应用", 1200, 800)
+    @Expect(custom.title, "我的应用")
+    @Expect(custom.width, 1200)
+    @Expect(custom.height, 800)
+}

package/src/tray.cj

@@ -0,0 +1,90 @@
+package cjTauri
+
+import std.collection.*
+
+/**
+ * 托盘的**纯仓颉模型**（RFC-002 §5.1 / §7.C）：只描述意图，不含任何平台概念。
+ *
+ * 分层与菜单同构：模型（本文件）→ `WebViewHost.setTray()` → C 桥 `cj_bridge_set_tray` →
+ * 平台翻译层（Linux = libayatana-appindicator3，可选编译；Windows 桩如实报未实现）。
+ *
+ * 托盘是**应用级**资源（一个进程一个图标）：重复 setTray = 整体重建（图标 / 提示 / 菜单一起换）；
+ * 空线路 = 移除托盘。菜单项复用 `MenuItem`（v1 只收 Normal / Checkbox / Separator，
+ * Submenu 整条跳过并打 stderr——托盘菜单平铺，别给子菜单）。
+ *
+ * 线路格式（与 `native/core/bridge_core.h` 的 `pending_tray` 注释逐字对应）：
+ *
+ *     icon\t<路径>\n        （空路径 = 平台用主题默认图标兜底）
+ *     tooltip\t<文本>\n
+ *     <kind>\t<id>\t<label>\t<flags>\t<accel>\n   （与菜单线路同格式，平铺一层）
+ *
+ * 菜单项被点以 `{"kind":"tray","id":"…"}` 走 shell 通道回投（前端事件 `tray:click`，
+ * 需在能力清单 `events` 声明）。图标 / 提示文本来自应用作者，不做转义；
+ * 字段含制表符 / 换行的头部值整体丢弃为空（wire 的结构字符，与菜单同一铁律）。
+ */
+public class TrayModel {
+    /** 图标路径（png/ico 绝对路径）；空串 = 平台用主题默认图标兜底 */
+    public let icon: String
+
+    /** 悬停提示文本；空串 = 不设 */
+    public let tooltip: String
+
+    /** 托盘右键菜单（平铺一层；Submenu 项会被 toWire 丢弃并打 stderr） */
+    public let items: ArrayList<MenuItem>
+
+    public init(icon: String, tooltip: String, items: ArrayList<MenuItem>) {
+        this.icon = icon
+        this.tooltip = tooltip
+        this.items = items
+    }
+
+    /** 无菜单托盘（纯图标 + 提示） */
+    public init(icon: String, tooltip: String) {
+        this.icon = icon
+        this.tooltip = tooltip
+        this.items = ArrayList<MenuItem>()
+    }
+
+    /** 线路文本（三段：icon 行 / tooltip 行 / 菜单行走 MenuModel.emit 同一遍发射器） */
+    public func toWire(): String {
+        // 托盘菜单平铺：Submenu 整条出局（枚举不能写 ==，AGENTS §4，走 match）
+        let flat = ArrayList<MenuItem>()
+        for (it in this.items) {
+            if (TrayModel.isSubmenu(it.kind)) {
+                eprintln("[cj-tauri] tray: submenu item dropped (v1 tray menu is flat): ${it.label}")
+                continue
+            }
+            flat.add(it)
+        }
+        // 头部两行的结构字符会让整份线路解析错位：宁可丢提示也不装错
+        var icon = this.icon
+        var tooltip = this.tooltip
+        if (TrayModel.hasStructChar(icon) || TrayModel.hasStructChar(tooltip)) {
+            eprintln("[cj-tauri] tray: icon/tooltip contains tab or newline - dropped to empty")
+            icon = ""
+            tooltip = ""
+        }
+        var out = "icon\t" + icon + "\n"
+        out += "tooltip\t" + tooltip + "\n"
+        out += MenuModel.emit(flat, 0)
+        return out
+    }
+
+    /** 枚举判别只能走 match（`==` 编译不过，见 MenuModel.isSubmenu 的实测注释） */
+    private static func isSubmenu(kind: MenuItemKind): Bool {
+        match (kind) {
+            case MenuItemKind.Submenu => true
+            case _ => false
+        }
+    }
+
+    /** 结构字符（tab/LF/CR）检查——wire 的分隔符就是它们 */
+    private static func hasStructChar(s: String): Bool {
+        for (b in s) {
+            if (b == 9u8 || b == 10u8 || b == 13u8) {
+                return true
+            }
+        }
+        return false
+    }
+}

package/src/urlutil.cj

@@ -0,0 +1,159 @@
+package cjTauri
+
+/**
+ * URL → host 提取（核心共享层）：http 与 ws 两个插件共用同一套解析与大小写口径。
+ *
+ * 为什么放核心不放插件：主机白名单的「匹配目标」只要有第二份实现，就一定会有一份
+ * 是错的——与 scope 判定同一条铁律（AGENTS §2：安全校验不吃「各插件各写一套」）。
+ * 插件只管调，不自己扫字节。
+ *
+ * 语义：从 `scheme://[user@]host[:port][/path]` 提取 host（小写返回）。
+ * 协议只认 http / https / ws / wss；解析不出 host 返回 None。按字节扫（URL 结构
+ * 是 ASCII），不用 String 切片撞 UTF-8 边界。public 是为了单测可直接构造（跨包须 public）。
+ */
+public func urlHostOf(rawUrl: String): Option<String> {
+    let b = rawUrl.toArray()
+    // 找 "://"（58 47 47）
+    var schemeEnd: Int64 = -1
+    var i: Int64 = 0
+    while (i + 2 < b.size) {
+        if (b[i] == 58u8 && b[i + 1] == 47u8 && b[i + 2] == 47u8) {
+            schemeEnd = i
+            break
+        }
+        i++
+    }
+    if (schemeEnd <= 0) {
+        return None
+    }
+    let scheme = asciiLowerOf(b[0..schemeEnd])
+    if (scheme != "http" && scheme != "https" && scheme != "ws" && scheme != "wss") {
+        return None
+    }
+    // host 段：到 '/' '?' '#' 为止
+    var start = schemeEnd + 3
+    var end = start
+    while (end < b.size) {
+        let c = b[end]
+        if (c == 47u8 || c == 63u8 || c == 35u8) {
+            break
+        }
+        end++
+    }
+    if (end == start) {
+        return None
+    }
+    // 去 userinfo（最后一个 '@' 之前的部分）
+    var at: Int64 = -1
+    var k = end - 1
+    while (k >= start) {
+        if (b[k] == 64u8) {
+            at = k
+            break
+        }
+        k--
+    }
+    if (at >= 0) {
+        start = at + 1
+    }
+    // 去端口（第一个 ':' 之后）——IPv6 字面量 [..] 截到 ']' 为止，方括号内不拆
+    if (b[start] == 91u8) {
+        var close: Int64 = -1
+        var m = start + 1
+        while (m < end) {
+            if (b[m] == 93u8) {
+                close = m
+                break
+            }
+            m++
+        }
+        if (close >= 0) {
+            end = close + 1
+        }
+    } else {
+        var colon: Int64 = -1
+        var m = start
+        while (m < end) {
+            if (b[m] == 58u8) {
+                colon = m
+                break
+            }
+            m++
+        }
+        if (colon >= 0) {
+            end = colon
+        }
+    }
+    if (end <= start) {
+        return None
+    }
+    let host = asciiLowerOf(b[start..end])
+    if (host.size == 0) {
+        return None
+    }
+    return Some(host)
+}
+
+/**
+ * host 是不是 IP 字面量（IPv4 / IPv6，可带方括号）。
+ *
+ * 为什么需要它：建 TLS 客户端时要用 host 当 **SNI**（`serverName`），而 RFC 6066 明确不许 SNI 里放
+ * IP 字面量——stdx 默认不发 SNI，本仓给「域名」补上 SNI 的那一轮必须把 IP 排除在外，否则
+ * 「https 直连 IP」这类原本可用的端点会被对端当场拒掉（修一个坑别踩出另一个）。
+ * 判定只认严格形态：四段十进制且每段 <= 255 的 IPv4，或含冒号 / 带方括号的 IPv6——
+ * 纯十六进制字母的域名（如 `dead.beef`）是域名，不是 IP。
+ */
+public func isIpLiteralHost(host: String): Bool {
+    if (host.size == 0) {
+        return false
+    }
+    let b = host.toArray()
+    // 带方括号 = IPv6 字面量（urlHostOf 会把方括号一起返回）
+    if (b[0] == 91u8 && b[b.size - 1] == 93u8) {
+        return true
+    }
+    for (i in 0..b.size) {
+        if (b[i] == 58u8) {
+            return true    // 含冒号即 IPv6（含 ::1 这类简写）
+        }
+    }
+    var segs = 0
+    var digits = 0
+    var value: Int64 = 0
+    for (i in 0..b.size) {
+        let c = b[i]
+        if (c == 46u8) {
+            if (digits == 0 || value > 255) {
+                return false
+            }
+            segs = segs + 1
+            digits = 0
+            value = 0
+        } else if (c >= 48u8 && c <= 57u8) {
+            digits = digits + 1
+            if (digits > 3) {
+                return false
+            }
+            value = value * 10 + Int64(c - 48u8)
+        } else {
+            return false
+        }
+    }
+    if (digits == 0 || value > 255) {
+        return false
+    }
+    return segs == 3
+}
+
+/** ASCII 字节 → 小写字符串（非 ASCII 原样保留）；host 匹配统一走这里 */
+private func asciiLowerOf(bytes: Array<Byte>): String {
+    let out = Array<Byte>(bytes.size, repeat: 0)
+    for (i in 0..bytes.size) {
+        var c = bytes[i]
+        if (c >= 65u8 && c <= 90u8) {
+            c = c + 32u8
+        }
+        out[i] = c
+    }
+    return String.fromUtf8(out)
+}

package/src/version.cj

@@ -9,14 +9,35 @@ package cjTauri
  *   - cli/src/project.cj      的 cliVersion()
  *   - CHANGELOG.md            顶部第一个已发版段
  */
-public let CJ_TAURI_VERSION = "0.8.0"
+public let CJ_TAURI_VERSION = "1.1.0"
+
+/**
+ * IPC 报文协议版本（报文形状是跨层契约，加版本字段是协议治理惯例）：事件 / 回执信封的 `protocol` 字段
+ * 与 `system:version` 返回的 `protocol` 字段都来自这里——单一代码来源，改协议时同步抬版本。
+ *
+ * 为什么同进程也要有：报文形状现在是跨层契约（C 桥 bridge_js.h 的页面侧解析、CLI 的
+ * manifest 消费、将来 HarmonyOS/独立进程形态的跨进程边界），有版本字段才能在「旧页面
+ * 配新框架」这类错配时给出可诊断的信号，而不是行为悄悄漂移。
+ * v1：`type` + `event`/`id` + `payload` (+ 可选 `coalesce`/`window`)；本字段加入记 v1，
+ * 此后任何「删字段 / 改语义」必须抬到 v2。
+ */
+public let CJ_IPC_PROTOCOL = "1"
 
 /** 当前宿主平台标识（`system:version` 的 platform 字段） */
-@When[os == "Linux"]
+// 鸿蒙目标的 `os` 仍报 Linux（实测），所以 `os` 维度分不开「GTK 宿主」与「ArkWeb 宿主」。
+// 判据用 `env`：鸿蒙目标（`aarch64-linux-ohos`）是 `ohos`，桌面 Linux 是 `gnu`——两者互斥；
+// 而 `arch` 不行（桌面 aarch64 Linux 同样是 `aarch64`，会被误报成鸿蒙）。
+// 平台标识必须是真实的那一个：`linux` / `ohos` 混用会让前端与证据链分不清跑在哪个宿主上。
+@When[os == "Linux" && env != "ohos"]
 public func currentPlatform(): String {
     return "linux"
 }
 
+@When[env == "ohos"]
+public func currentPlatform(): String {
+    return "ohos"
+}
+
 @When[os == "Windows"]
 public func currentPlatform(): String {
     return "windows"

package/src/window.cj

@@ -1,42 +1,51 @@
-package cjTauri
-
-/**
- * 窗口配置（对标 tauri.conf.json 的 app.windows[] 项）
- *
- * 用法：
- *   let app = TauriApp().window(WindowConfig("我的应用", 1200, 800))
- *
- *   // 要自定义窗口图标（可选）：
- *   var cfg = WindowConfig("我的应用", 1200, 800)
- *   cfg.iconPath = "assets/app.ico"
- *   let app = TauriApp().window(cfg)
- *
- * 默认值与此前桥内硬编码的值一致（标题 cj-tauri / 900x640），
- * 因此不调用 window() 的应用行为不变。
- */
-public class WindowConfig {
-    public var title: String
-    public var width: Int64
-    public var height: Int64
-    // 是否允许打开开发者工具（WebView2 的 AreDevToolsEnabled / WebKit 的 developer extras）
-    public var devTools: Bool
-    // 窗口图标路径：Windows 用 .ico（LoadImageW 只认 .ico）；Linux 走 GTK，png/ico 都行。
-    // 空字符串 = 用系统默认图标（默认行为，不影响老应用）。
-    public var iconPath: String
-
-    public init() {
-        this.title = "cj-tauri"
-        this.width = 900
-        this.height = 640
-        this.devTools = true
-        this.iconPath = ""
-    }
-
-    public init(title: String, width: Int64, height: Int64) {
-        this.title = title
-        this.width = width
-        this.height = height
-        this.devTools = true
-        this.iconPath = ""
-    }
-}
+package cjTauri
+
+/**
+ * 窗口配置（对标 tauri.conf.json 的 app.windows[] 项）
+ *
+ * 用法：
+ *   let app = TauriApp().window(WindowConfig("我的应用", 1200, 800))
+ *
+ *   // 要自定义窗口图标（可选）：
+ *   var cfg = WindowConfig("我的应用", 1200, 800)
+ *   cfg.iconPath = "assets/app.ico"
+ *   let app = TauriApp().window(cfg)
+ *
+ * 默认值与此前桥内硬编码的值一致（标题 cj-tauri / 900x640），
+ * 因此不调用 window() 的应用行为不变。
+ */
+public class WindowConfig {
+    public var title: String
+    public var width: Int64
+    public var height: Int64
+    // 是否允许打开开发者工具（WebView2 的 AreDevToolsEnabled / WebKit 的 developer extras）
+    public var devTools: Bool
+    // 窗口图标路径：Windows 用 .ico（LoadImageW 只认 .ico）；Linux 走 GTK，png/ico 都行。
+    // 空字符串 = 用系统默认图标（默认行为，不影响老应用）。
+    public var iconPath: String
+
+    // 最小化到托盘（B 项）：用户在标题栏点「最小化」时窗口**隐藏**（从任务栏消失、只留托盘图标），
+    // 而不是缩成任务栏按钮。默认 false = 老行为不变。
+    // 必须与服务端配套：应用得先 setTray(...)，否则隐藏之后界面上没有任何入口——
+    // 框架不替应用拦这个组合（它不知道应用的托盘菜单长什么样），但真到最小化那一刻平台会
+    // 复核托盘是否**真的**装上了：没装就降级为普通最小化并打一行 stderr，避免「窗口没了也点不回来」。
+    public var minimizeToTray: Bool
+
+    public init() {
+        this.title = "cj-tauri"
+        this.width = 900
+        this.height = 640
+        this.devTools = true
+        this.iconPath = ""
+        this.minimizeToTray = false
+    }
+
+    public init(title: String, width: Int64, height: Int64) {
+        this.title = title
+        this.width = width
+        this.height = height
+        this.devTools = true
+        this.iconPath = ""
+        this.minimizeToTray = false
+    }
+}