豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 161 行 · 8739 字节 · UTF-8
§
寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「豫言操作系统基础」之「错误」之书。

「:文言:目录权与文件柄之内惟宿主所给之号;号乃不可推之随机数,宿主每用必核其类与存亡,伪号但得资源已失效。汉语:目录权与文件柄内部只保存 Node 宿主给出的句柄号;号是不可猜测的随机数,宿主每次使用都核对种类与有效期,伪造或已关闭的号只会得到资源已失效。:」
「目录权」立「元类型」也。
  「节点目录权」立化「字符串」而「目录权」也。
「文件柄」立「元类型」也。
  「节点文件柄」立化「字符串」而「文件柄」也。

「目录取得结果」立「元类型」也。
  「目录已授」立化「目录权」而「目录取得结果」也。
  「目录未得」立化「系统错误」而「目录取得结果」也。

「文件开启结果」立「元类型」也。
  「文件已开」立化「文件柄」而「文件开启结果」也。
  「文件未开」立化「系统错误」而「文件开启结果」也。

「文件读取结果」立「元类型」也。
  「文件读得」立化「字节串」而「文件读取结果」也。
  「文件读尽」立「文件读取结果」也。
  「文件读取失败」立化「系统错误」而「文件读取结果」也。

「文件写入结果」立「元类型」也。
  「文件写得」立化「整数」而「文件写入结果」也。
  「文件写入失败」立化「系统错误」而「文件写入结果」也。

「文件关闭结果」立「元类型」也。
  「文件已关闭」立「文件关闭结果」也。
  「文件关闭失败」立化「系统错误」而「文件关闭结果」也。

「:文言:宿主之码归为公误:一未授、二暂不可、三已失效、四不存、五已存、六额尽、七无效,余为宿主操作失败而附其辞。汉语:把 Node 宿主原语的状态码换成公共错误:1 未获授权、2 资源暂不可用、3 资源已失效、4 资源不存在、5 资源已存在、6 资源配额已尽、7 输入无效,其余为宿主操作失败并附上宿主消息。:」
「节点码转系统错误」乃化「整数」而化「字符串」而「系统错误」也。
「节点码转系统错误」者会「码」而会「消息」而
  若「等于」于「码」于「一」则
    「未获授权」
  否则若「等于」于「码」于「二」则「资源暂不可用」
  否则若「等于」于「码」于「三」则「资源已失效」
  否则若「等于」于「码」于「四」则「资源不存在」
  否则若「等于」于「码」于「五」则「资源已存在」
  否则若「等于」于「码」于「六」则「资源配额已尽」
  否则若「等于」于「码」于「七」则「输入无效」
  否则
    「宿主操作失败」于「消息」
也。

「:文言:宿主原语:取授权之目录,得(码,号或辞)。汉语:Node 宿主原语,按 --授权目录 给出的名称取目录权,返回(状态码,句柄号或错误消息)。:」
「节点文件取得目录」乃化「字符串」而(「整数」合「字符串」)也。
「节点文件取得目录」者会「名称」而
  《《外调》》名『豫言_节点_文件取得目录』传「名称」
也。

「:文言:宿主原语:于目录权下开已存之文,或读或写,不造不截。汉语:Node 宿主原语,在目录权下打开已存在的文件(只读或只写,不创建、不截断),返回(状态码,句柄号或错误消息)。:」
「节点文件打开」乃
  化「字符串」而
  化「字符串」而
  化「爻」而
  (「整数」合「字符串」)
也。
「节点文件打开」者会「目录号」而会「路径」而会「可写」而
  《《外调》》名『豫言_节点_文件打开』传「目录号」与「路径」与「可写」
也。

「:文言:宿主原语:读至多上限之字;九为读尽。汉语:Node 宿主原语,读取至多给定字节数,返回(状态码,字节,错误消息);状态码 9 表示读到末尾。:」
「节点文件读取」乃
  化「字符串」而
  化「整数」而
  (「整数」合「字节串」合「字符串」)
也。
「节点文件读取」者会「文件号」而会「上限」而
  《《外调》》名『豫言_节点_文件读取』传「文件号」与「上限」
也。

「节点文件写入」乃
  化「字符串」而
  化「字节串」而
  (「整数」合「整数」合「字符串」)
也。
「节点文件写入」者会「文件号」而会「内容」而
  《《外调》》名『豫言_节点_文件写入』传「文件号」与「内容」
也。

「节点文件关闭」乃化「字符串」而(「整数」合「字符串」)也。
「节点文件关闭」者会「文件号」而
  《《外调》》名『豫言_节点_文件关闭』传「文件号」
也。

「取得已授目录」乃化「字符串」而「目录取得结果」也。
「取得已授目录」者会「名称」而
  虑「果」者「节点文件取得目录」于「名称」而
  若「等于」于(「果」中「零」)于「零」则
    「目录已授」于(「节点目录权」于(「果」中「一」))
  否则
    「目录未得」于(「节点码转系统错误」于(「果」中「零」)于(「果」中「一」))
也。

「:文言:开文之共术,读写之别惟一爻。汉语:打开文件的共同实现,只读与可写只差一个标记。:」
「节点开文件」乃化「目录权」而化「字符串」而化「爻」而「文件开启结果」也。
「节点开文件」者会「目录」而会「路径」而会「可写」而
  鉴「目录」而
    有(「节点目录权」于「号」)则(
      虑「果」者「节点文件打开」于「号」于「路径」于「可写」
      而
      若「等于」于(「果」中「零」)于「零」则
        「文件已开」于(「节点文件柄」于(「果」中「一」))
      否则
        「文件未开」于(「节点码转系统错误」于(「果」中「零」)于(「果」中「一」))
    )
也。

「打开只读文件」乃化「目录权」而化「字符串」而「文件开启结果」也。
「打开只读文件」者会「目录」而会「路径」而
  「节点开文件」于「目录」于「路径」于「阴」
也。

「打开可写文件」乃化「目录权」而化「字符串」而「文件开启结果」也。
「打开可写文件」者会「目录」而会「路径」而
  「节点开文件」于「目录」于「路径」于「阳」
也。

「读取文件」乃化「文件柄」而化「整数」而「文件读取结果」也。
「读取文件」者会「柄」而会「上限」而
  鉴「柄」而
    有(「节点文件柄」于「号」)则(
      虑「果」者「节点文件读取」于「号」于「上限」
      而
      若「等于」于(「果」中「零」)于「零」则
        「文件读得」于(「果」中「一」)
      否则若「等于」于(「果」中「零」)于「九」则
        「文件读尽」
      否则
        「文件读取失败」于(「节点码转系统错误」于(「果」中「零」)于(「果」中「二」))
    )
也。

「写入文件」乃化「文件柄」而化「字节串」而「文件写入结果」也。
「写入文件」者会「柄」而会「内容」而
  鉴「柄」而
    有(「节点文件柄」于「号」)则(
      虑「果」者「节点文件写入」于「号」于「内容」
      而
      若「等于」于(「果」中「零」)于「零」则
        「文件写得」于(「果」中「一」)
      否则
        「文件写入失败」于(「节点码转系统错误」于(「果」中「零」)于(「果」中「二」))
    )
也。

「关闭文件」乃化「文件柄」而「文件关闭结果」也。
「关闭文件」者会「柄」而
  鉴「柄」而
    有(「节点文件柄」于「号」)则(
      虑「果」者「节点文件关闭」于「号」
      而
      若「等于」于(「果」中「零」)于「零」则
        「文件已关闭」
      否则
        「文件关闭失败」于(「节点码转系统错误」于(「果」中「零」)于(「果」中「一」))
    )
也。