豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38

寻观「标准库」之「语言核心」之「内建类型」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「豫言操作系统基础」之「错误」之书。

「：文言：目录权与文件柄惟宿主得造；客得持而不得伪。汉语：目录权和文件柄由宿主授予或创建，应用只能持有和使用。：」
「目录权」立「元类型」也。
「文件柄」立「元类型」也。

「目录取得结果」立「元类型」也。
「目录已授」立化「目录权」而「目录取得结果」也。
「目录未得」立化「系统错误」而「目录取得结果」也。
「：文言：以宿主预授之名求目录权。汉语：按宿主预先授权的名称取得目录权。：」
「取得已授目录」乃化「字符串」而「目录取得结果」也。

「文件开启结果」立「元类型」也。
「文件已开」立化「文件柄」而「文件开启结果」也。
「文件未开」立化「系统错误」而「文件开启结果」也。
「：文言：路径惟相对目录权，不得越其界。汉语：路径相对于已授目录，不能越过目录边界。：」
「打开只读文件」乃化「目录权」而化「字符串」而「文件开启结果」也。
「打开可写文件」乃化「目录权」而化「字符串」而「文件开启结果」也。

「文件读取结果」立「元类型」也。
「文件读得」立化「字节串」而「文件读取结果」也。
「文件读尽」立「文件读取结果」也。
「文件读取失败」立化「系统错误」而「文件读取结果」也。
「：文言：按上限读，得空字不谓已尽；已尽自成一类。汉语：读取至多指定字节数；空字节串与文件末尾分开表示。：」
「读取文件」乃化「文件柄」而化「整数」而「文件读取结果」也。

「文件写入结果」立「元类型」也。
「文件写得」立化「整数」而「文件写入结果」也。
「文件写入失败」立化「系统错误」而「文件写入结果」也。
「：文言：所还为本次实写字数，未必尽所给。汉语：返回实际写入字节数，允许部分写入。：」
「写入文件」乃化「文件柄」而化「字节串」而「文件写入结果」也。

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