豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 440 行 · 23063 字节 · UTF-8
§
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「语言核心」之「不安全」之书。
寻观「癸象工具」之「总集」之书。
寻观「癸象工具」之「癸象访问」之书。
寻观「云工宿主」之「核心」之书。

「:文言:本适配以具名广播为质,频道之名前缀区别于应用直用之广播;正文原字节不加头,惟以首字节 0xFF(合法 UTF-8 绝不以之起首)标控制帧。汉语:宿主广播只传原始字节块;这里把消息文字的 UTF-8 字节原样作为一块发送,控制帧(探测、关闭)以字节 0xFF 起首,所以不占用消息文字的 65536 字节额度。:」

「:文言:订阅之记:柄、读取器号、待读承诺号、终态(零活跃一已终)、终因。汉语:登记簿中每项是(订阅柄,读取器句柄号,尚未消费的 read 承诺句柄号或空串,终态引用,终因引用)。:」
「持久频道内记录」即
  「字符串」
  合「字符串」
  合(「引用类」于「字符串」)
  合(「引用类」于「整数」)
  合(「引用类」于「字符串」)
也。

「持久频道内登记簿」乃(「引用类」于(「列」于「持久频道内记录」))也。
「持久频道内登记簿」者「新引用」授以(「列」于「持久频道内记录」)
于(「罄」授以「持久频道内记录」)
也。

「持久频道内实例标记」乃(「引用类」于「字符串」)也。
「持久频道内实例标记」者「新引用」授以「字符串」于『』也。

「持久频道内等结果」立「元类型」也。
  「持久频道内等超时」立「持久频道内等结果」也。
  「持久频道内等到块」立化「字节串」而「持久频道内等结果」也。
  「持久频道内等到终」立化「字符串」而「持久频道内等结果」也。

「持久频道内取实例标记」乃化「有」而「字符串」也。
「持久频道内取实例标记」者会「无」而
  虑「旧」者「读引用」授以「字符串」于「持久频道内实例标记」而
  若「串相等」于「旧」于『』则(
    虑「新」者
      「获取子字符串」于「零」于「一三」于(「云工密码随机识别」于「元」)而
      虑「无」者「写引用」授以「字符串」于「持久频道内实例标记」于「新」而
      「新」
  )
  否则
    「旧」
也。

「持久频道内区间」乃化「整数」而化「整数」而化「整数」而「爻」也。
「持久频道内区间」者会「码」而会「低」而会「高」而
  若「小于」于「码」于「低」则
    「阴」
  否则
    「非」于(「大于」于「码」于「高」)
也。

「:文言:频道名只许 A-Z a-z 0-9 . _ : -,长一至六十四字节。汉语:频道名 1 至 64 字节,字符限 A-Z a-z 0-9 . _ : -。:」
「持久频道内名字节」乃化「整数」而「爻」也。
「持久频道内名字节」者会「码」而
  若「持久频道内区间」于「码」于「四八」于「五七」则
    「阳」
  否则
    若「持久频道内区间」于「码」于「六五」于「九零」则「阳」否则
      若「持久频道内区间」于「码」于「九七」于「一二二」则
        「阳」
      否则
        若「或者」
          于(「等于」于「码」于「四五」)
          于(「或者」
            于(「等于」于「码」于「四六」)
            于(「或者」于(「等于」于「码」于「五八」)于(「等于」于「码」于「九五」)))则「阳」
        否则
          「阴」
也。

「持久频道内验名」乃化「字符串」而「有」也。
「持久频道内验名」者会「名」而
  虑「长」者「字节长度」于「名」而
  若「或者」于(「等于」于「长」于「零」)于(「大于」于「长」于「六四」)则
    「发生事故」授以「有」于『持久频道名须为 1 至 64 字节』
  否则
    递归虑「查」其化「整数」而「有」者会「位」而
      若「等于」于「位」于「长」则
        「元」
      否则
        若「持久频道内名字节」于(「字符转整数」于「名」于「位」)则
          「查」于(「加」于「位」于「一」)
        否则
          「发生事故」授以「有」于『持久频道名只许 A-Z a-z 0-9 . _ : -』
    而
    「查」于「零」
也。

「持久频道内验事件」乃化「有」而「有」也。
「持久频道内验事件」者会「无」而
  若「串开头是它吗」于『durable-』于(「云工事件种类」于「元」)则
    「元」
  否则
    「发生事故」授以「有」于『持久频道只能在持久对象事件内使用』
也。

「持久频道内主机名」乃化「字符串」而「字符串」也。
「持久频道内主机名」者会「名」而
  『持久频道:』附「名」
也。

「持久频道内探测帧」乃「字节串」也。
「持久频道内探测帧」者「拼接字节串」于(「单字节串」于「二五五」)
于(「单字节串」于「二」)
也。

「持久频道内关闭帧」乃化「字符串」而「字节串」也。
「持久频道内关闭帧」者会「原因」而
  「拼接字节串」
    于(「拼接字节串」于(「单字节串」于「二五五」)于(「单字节串」于「一」))
    于(「字符串转字节串」于「原因」)
也。

「持久频道内查订阅」乃化「字符串」而「持久频道内记录」也。
「持久频道内查订阅」者会「柄」而
  递归虑「找」其化(「列」于「持久频道内记录」)而「持久频道内记录」者会「表」而
    鉴「表」而
      有「罄」则「发生事故」授以「持久频道内记录」
      于『持久频道订阅柄无效:不是本次事件创建的订阅』
      或有(「缀」于「项」于「余」)则(
        若「串相等」于(「项」中「零」)于「柄」则「项」否则「找」于「余」)
  而
  「找」于(「读引用」授以(「列」于「持久频道内记录」)于「持久频道内登记簿」)
也。

「持久频道内清待读」乃化「持久频道内记录」而「有」也。
「持久频道内清待读」者会「记」而
  虑「待」者「读引用」授以「字符串」于(「记」中「二」)而
  若「等于」于(「字节长度」于「待」)于「零」则
    「元」
  否则
    (虑「无」者「云工释放句柄」于「待」而「写引用」授以「字符串」于(「记」中「二」)于『』)
也。

「:文言:既终则清待读,且弃读取器之柄;终因既定不复更。汉语:把订阅标记为终态并保存原因,释放尚未消费的 read 承诺和读取器句柄。:」
「持久频道内置终」乃化「持久频道内记录」而化「字符串」而「有」也。
「持久频道内置终」者会「记」而会「原因」而
  若「不等于」于(「读引用」授以「整数」于(「记」中「三」))于「零」则
    「元」
  否则
    (
      虑「无」者「持久频道内清待读」于「记」
      而
      虑「无」者「写引用」授以「整数」于(「记」中「三」)于「一」
      而
      虑「无」者「写引用」授以「字符串」于(「记」中「四」)于「原因」而
      「云工释放句柄」于(「记」中「一」)
    )
也。

「持久频道内取待读」乃化「持久频道内记录」而「字符串」也。
「持久频道内取待读」者会「记」而
  虑「旧」者「读引用」授以「字符串」于(「记」中「二」)而
  若「不等于」于(「字节长度」于「旧」)于「零」则
    「旧」
  否则
    (
      虑「读原」者
        「取云工句柄」于(「云工调用方法原始」于(「记」中「一」)于『read』于『[]』)
      而
      虑「稳」者
        「取云工句柄」于(「云工调用方法原始」
          于(「云工全局句柄」于『Promise』)
          于『allSettled』
          于(『[[』附(「云工句柄引用文」于「读原」)附『]]』))
      而
      虑「无」者「云工释放句柄」于「读原」
      而
      虑「无」者「写引用」授以「字符串」于(「记」中「二」)于「稳」而
      「稳」
    )
也。

「持久频道内错误原因」乃化「字符串」而「字符串」也。
「持久频道内错误原因」者会「消息」而
  若「是子字符串吗」于『积压』于「消息」则
    『订阅积压超过 1 MiB,已被断开』
  否则
    (『订阅读取失败:』附「消息」)
也。

「持久频道内列首」乃化(「列」于「癸象」)而「癸象」也。
「持久频道内列首」者会「诸」而
  鉴「诸」而
    有「罄」则「癸象空」
    或有(「缀」于「首」于「余」)则(「首」)
也。

「持久频道内首项」乃化「癸象」而「癸象」也。
「持久频道内首项」者会「根」而
  鉴「根」而
    有(「癸象数组」于「诸」)则(「持久频道内列首」于「诸」)
    或有「其他」则「癸象空」
也。

「持久频道内读拒因」乃化「癸象」而「字符串」也。
「持久频道内读拒因」者会「项」而
  虑「原因号」者
    「癸象字段字符串」于(「癸象字段」于「项」于『reason』)于『$句柄』于『』而
  若「等于」于(「字节长度」于「原因号」)于「零」则
    『未知』
  否则
    (
      虑「消息文」者「云工读取属性」于「原因号」于『message』
      而
      虑「无」者「云工释放句柄」于「原因号」而
      鉴「癸象解析」于「消息文」而
        有(「癸象字符串」于「消息」)则「消息」
        或有「其他」则『未知』
    )
也。

「持久频道内解析读结果」乃
  化「持久频道内记录」而
  化「癸象」而
  「持久频道内等结果」
也。
「持久频道内解析读结果」者会「记」而会「项」而
  若「串相等」于(「癸象字段字符串」于「项」于『status』于『』)于『fulfilled』则(
    虑「读」者「癸象字段」于「项」于『value』而
    虑「无」者「持久频道内清待读」于「记」而
    若「癸象字段爻」于「读」于『done』于「阴」则
      「持久频道内等到终」于『频道已关闭』
    否则
      虑「柄号」者
        「癸象字段字符串」
          于(「癸象字段」于「读」于『value』)于『$句柄』于『』
      而
      虑「字节」者「云工句柄取字节」于「柄号」
      而
      虑「无」者「云工释放句柄」于「柄号」而
      「持久频道内等到块」于「字节」
  )
  否则
    (
      虑「无」者「持久频道内清待读」于「记」而
      「持久频道内等到终」于(「持久频道内错误原因」于(「持久频道内读拒因」于「项」))
    )
也。

「持久频道内解析竞速」乃
  化「持久频道内记录」而
  化「字符串」而
  「持久频道内等结果」
也。
「持久频道内解析竞速」者会「记」而会「文」而
  虑「首」者「持久频道内首项」于(「癸象解析」于「文」)而
  若「癸象是对象吗」于「首」则
    「持久频道内解析读结果」于「记」于「首」
  否则
    「持久频道内等超时」
也。

「:文言:读承诺与计时相竞;读之承诺存于记,逾时不弃,免失后至之讯。汉语:用 Promise.race 让待读承诺与 scheduler.wait 计时竞争;超时不丢弃承诺,下次等待继续使用,因此不会丢消息。:」
「持久频道内等一次」乃化「持久频道内记录」而化「整数」而「持久频道内等结果」也。
「持久频道内等一次」者会「记」而会「毫秒」而
  虑「承诺」者「持久频道内取待读」于「记」而
  虑「控制」者「云工调度控制器」于「元」而
  虑「计时」者
    「云工调度可取消等待」于(「整数表示」于「毫秒」)于「控制」而
    虑「竞」者
      「云工调用方法安全」
        于(「云工全局句柄」于『Promise』)
        于『race』
        于(『[[』附(「云工句柄引用文」于「承诺」)附『,』附(「云工句柄引用文」于「计时」)附『]]』)而
        虑「无」者「云工调度中断」于「控制」而
        虑「无」者「云工释放句柄」于「控制」而
        虑「无」者「云工释放句柄」于「计时」而
        若「非」于(「竞」中「零」)则
          「持久频道内等到终」于(『持久频道等待失败:』附(「竞」中「一」))
        否则
          「持久频道内解析竞速」于「记」于(「竞」中「一」)
也。

「持久频道内字节尾」乃
  化「字节串」而
  化「整数」而
  化「整数」而
  化「字节串」而
  「字节串」
也。
「持久频道内字节尾」者会「字节」而会「位」而会「长」而会「积」而
  若「非」于(「小于」于「位」于「长」)则
    「积」
  否则
    「持久频道内字节尾」
      于「字节」
      于(「加」于「位」于「一」)
      于「长」
      于(「拼接字节串」于「积」于(「单字节串」于(「字节串取字节」于「字节」于「位」)))
也。

「持久频道内块类」立「元类型」也。
  「持久频道内块数据」立化「字符串」而「持久频道内块类」也。
  「持久频道内块跳过」立「持久频道内块类」也。
  「持久频道内块关闭」立化「字符串」而「持久频道内块类」也。

「:文言:首字节非 0xFF 者为正文;0xFF 后一为闭,二为探,余者略。汉语:把一块字节分类为消息文字、可跳过的控制帧(探测)或关闭帧(带原因)。:」
「持久频道内分类块」乃化「字节串」而「持久频道内块类」也。
「持久频道内分类块」者会「字节」而
  虑「长」者「字节串长度」于「字节」而
  若「等于」于「长」于「零」则
    「持久频道内块数据」于『』
  否则
    若「不等于」于(「字节串取字节」于「字节」于「零」)于「二五五」则
      「持久频道内块数据」于(「不安全转换」授以「字节串」授以「字符串」于「字节」)
    否则
      若「小于」于「长」于「二」则「持久频道内块跳过」否则
        若「等于」于(「字节串取字节」于「字节」于「一」)于「一」则
          「持久频道内块关闭」于(「不安全转换」授以「字节串」授以「字符串」
            于(「持久频道内字节尾」于「字节」于「二」于「长」于(「空字节串」于「元」)))
        否则
          「持久频道内块跳过」
也。

「:文言:循环读之,探帧略过而重算余时,直至得讯、逾时或终。汉语:反复等待一块;探测帧被跳过并按已用时间重算剩余超时,因此探测不会拉长或缩短调用方看到的等待时间。:」
「持久频道内等待循环」乃
  化「持久频道内记录」而
  化「整数」而
  化「整数」而
  (「整数」合「字符串」)
也。
「持久频道内等待循环」者会「记」而会「超时」而会「起」而
  虑「过」者「减」于(「云工当前Unix毫秒」于「元」)于「起」而
  虑「剩」者
    若「大于」于「超时」于「过」则「减」于「超时」于「过」否则「零」而
    虑「结果」者「持久频道内等一次」于「记」于「剩」而
    鉴「结果」而
      有「持久频道内等超时」则(「一」与『』)
      或有(「持久频道内等到终」于「因」)
      则(虑「无」者「持久频道内置终」于「记」于「因」而(「二」与「因」))
      或有(「持久频道内等到块」于「字节」)则(
        鉴(「持久频道内分类块」于「字节」)而
          有(「持久频道内块数据」于「文」)则(「零」与「文」)
          或有(「持久频道内块关闭」于「因」)
          则(虑「无」者「持久频道内置终」于「记」于「因」而(「二」与「因」))
          或有「持久频道内块跳过」则
            「持久频道内等待循环」于「记」于「超时」于「起」
      )
也。

「:文言:订阅之先,探其现数,满则败;订而得读器,柄合标记与读器号。汉语:探测现有订阅数,达 256 时抛出豫言异常;否则创建订阅、取得读取器,并登记订阅柄。:」
「订阅持久频道」乃化「字符串」而「字符串」也。
「订阅持久频道」者会「名」而
  虑「无」者「持久频道内验事件」于「元」而
  虑「无」者「持久频道内验名」于「名」而
  虑「主机名」者「持久频道内主机名」于「名」而
  虑「已有」者「云工广播发字节」于「主机名」于「持久频道内探测帧」而
  若「非」于(「小于」于「已有」于「二五六」)则
    「发生事故」授以「字符串」于『持久频道订阅数已达上限 256』
  否则
    虑「流号」者「云工广播新流」于「主机名」
    而
    虑「读号」者「云工打开可读流」于「流号」而
    虑「无」者「云工释放句柄」于「流号」而
    虑「柄」者(「持久频道内取实例标记」于「元」)附『:』附「读号」而
    虑「无」者
      「写引用」授以(「列」于「持久频道内记录」)
      于「持久频道内登记簿」
      于(「缀」授以「持久频道内记录」
        于(「柄」与「读号」与(「新引用」授以「字符串」于『』)与(「新引用」授以「整数」于「零」)
          与(「新引用」授以「字符串」于『』))
          于(「读引用」授以(「列」于「持久频道内记录」)于「持久频道内登记簿」))
    而
    「柄」
也。

「:文言:文字原节而发,首字节 0xFF 者拒之;返所送订数。汉语:把文字的 UTF-8 字节作为一块发布给频道的所有订阅,返回送达数;文字超过 65536 字节或以字节 0xFF 起首时抛出豫言异常。:」
「发布持久频道文字」乃化「字符串」而化「字符串」而「整数」也。
「发布持久频道文字」者会「名」而会「文字」而
  虑「无」者「持久频道内验事件」于「元」而
  虑「无」者「持久频道内验名」于「名」而
  虑「长」者「字节长度」于「文字」而
  若「大于」于「长」于「六五五三六」则
    「发生事故」授以「整数」于『持久频道文字超过 65536 字节』
  否则
    若「等于」于「长」于「零」则
      「云工广播发字节」于(「持久频道内主机名」于「名」)于(「字符串转字节串」于「文字」)
    否则
      若「等于」于(「字符转整数」于「文字」于「零」)于「二五五」则
        「发生事故」授以「整数」于『持久频道文字不得以字节 0xFF 起首』
      否则
        「云工广播发字节」
          于(「持久频道内主机名」于「名」)
          于(「字符串转字节串」于「文字」)
也。

「等待持久频道消息」乃化「字符串」而化「整数」而(「整数」合「字符串」)也。
「等待持久频道消息」者会「柄」而会「超时」而
  若「或者」于(「小于」于「超时」于「零」)于(「大于」于「超时」于「三六零零零零零」)则
    「发生事故」授以(「整数」合「字符串」)
    于『持久频道等待超时须在 0 至 3600000 毫秒』
  否则
    虑「记」者「持久频道内查订阅」于「柄」
    而
    若「等于」于(「读引用」授以「整数」于(「记」中「三」))于「一」则
      (「二」与(「读引用」授以「字符串」于(「记」中「四」)))
    否则
      「持久频道内等待循环」于「记」于「超时」于(「云工当前Unix毫秒」于「元」)
也。

「:文言:退订幂等;读取器之取消用安全之法,纵流已败亦不越桥而抛。汉语:取消订阅并释放资源,幂等;取消读取器时使用安全调用,流已因积压出错也不会让宿主异常穿出。:」
「取消订阅持久频道」乃化「字符串」而「有」也。
「取消订阅持久频道」者会「柄」而
  虑「记」者「持久频道内查订阅」于「柄」而
  若「不等于」于(「读引用」授以「整数」于(「记」中「三」))于「零」则
    「元」
  否则
    (
      虑「无」者
        「云工调用方法安全」
          于(「记」中「一」)于『cancel』于『["订阅已取消"]』
      而
      「持久频道内置终」于「记」于『订阅已取消』
    )
也。

「:文言:先发闭帧载因,后闭频道;已列之讯先尽。汉语:先向所有订阅发送带原因的关闭帧,再关闭宿主频道;返回被关闭的订阅数。:」
「关闭持久频道」乃化「字符串」而化「字符串」而「整数」也。
「关闭持久频道」者会「名」而会「原因」而
  虑「无」者「持久频道内验事件」于「元」而
  虑「无」者「持久频道内验名」于「名」而
  若「大于」于(「字节长度」于「原因」)于「一零二四」则
    「发生事故」授以「整数」于『持久频道关闭原因超过 1024 字节』
  否则
    虑「主机名」者「持久频道内主机名」于「名」
    而
    虑「无」者
      「云工广播发字节」于「主机名」于(「持久频道内关闭帧」于「原因」)
    而
    「云工广播关闭」于「主机名」
也。

「读取持久频道订阅数」乃化「字符串」而「整数」也。
「读取持久频道订阅数」者会「名」而
  虑「无」者「持久频道内验事件」于「元」而
  虑「无」者「持久频道内验名」于「名」而
  「云工广播发字节」于(「持久频道内主机名」于「名」)于「持久频道内探测帧」
也。