豫言源码浏览器 / 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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211

寻观「标准库」之书。
寻观「标准库」之「数据结构」之「特殊字符」之书。
寻观「双宿主构建」之「文本工具」之书。
寻观「双宿主构建」之「依赖解析」之书。
寻观「双宿主构建」之「上下文生成」之书。
寻观「双宿主构建」之「测试辅助」之书。

「：文言：验包上下文之文：格式逐字，制表分栏，应用居末，畸字段拒。汉语：上下文生成的原生单元测试：输出必须与旧 Makefile 手写的包上下文格式逐字一致（真制表符分栏、换行结尾），接口在库之前，应用在末，含制表或换行的字段被拒。：」

「制」者「制表符」也。

「行」乃化（「列」于「字符串」）而「字符串」也。
「行」者会「诸字段」而
  （「间合」于「制表符」于「诸字段」）附「新行」
也。

「：文言：标准之式：头、标准库、基础库、诸接口、诸库、应用。汉语：完整样例：一个基础库、一个接口、一个库、一个应用。期望文本按行拼出。：」
「期望一」者
  『豫构包上下文二』附「新行」附
  （「行」于（「列」【『豫言』，『标准库』，『/y/库/标准库/标准库。包。豫』】））附
    （「行」于（「列」【『豫言』，『癸象工具』，『/y/库/癸象工具/癸象工具。包。豫』，『豫言』，『标准库』】））附
      （「行」于（「列」【
        『豫言』，
        『豫言操作系统日志』，
        『/s/dist/操作系统绑定/日志/豫言操作系统日志。包。豫』，
        『豫言』，
        『标准库』，
        『豫言』，
        『癸象工具』
      】））附
      （「行」于（「列」【『豫言』，『库甲』，『/r/库甲/库甲。包。豫』，『豫言』，『标准库』】））附
        （「行」于（「列」【
          『豫言』，
          『应用』，
          『/a/应用。包。豫』，
          『豫言』，
          『标准库』，
          『豫言』，
          『库甲』，
          『豫言』，
          『豫言操作系统日志』
        】））
也。

「基础库们一」乃（「列」于「包节点」）也。
「基础库们一」者「列」【『癸象工具』与『/y/库/癸象工具/癸象工具。包。豫』与（「列」【『标准库』】）】也。

「节点们一」乃（「列」于「包节点」）也。
「节点们一」者
  「列」【
    『库甲』与『/r/库甲/库甲。包。豫』与（「列」【『标准库』】），
    『应用』与『/a/应用。包。豫』与（「列」【『标准库』，『库甲』，『豫言操作系统日志』】）
  】
也。

「实际一」者
  「生成上下文」
    于『/y/库/标准库/标准库。包。豫』
    于「基础库们一」
    于（「列」【『日志』与『/s/dist/操作系统绑定/日志/豫言操作系统日志。包。豫』】）于「节点们一」
也。

「查串」于『完整样例』于「期望一」于「实际一」。

「：文言：无接口者，标准库、基础库之后即库。汉语：没有接口时，标准库与基础库两行后直接是库与应用。：」
「期望二」者
  『豫构包上下文二』附「新行」附
  （「行」于（「列」【『豫言』，『标准库』，『/y/库/标准库/标准库。包。豫』】））附
    （「行」于（「列」【『豫言』，『癸象工具』，『/y/库/癸象工具/癸象工具。包。豫』，『豫言』，『标准库』】））附
      （「行」于（「列」【『豫言』，『应用』，『/a/应用。包。豫』】））
也。

「实际二」者
  「生成上下文」
    于『/y/库/标准库/标准库。包。豫』
    于「基础库们一」
    于（「罄」授以（「字符串」合「字符串」））
    于（「列」【『应用』与『/a/应用。包。豫』与（「罄」授以「字符串」）】）
也。

「查串」于『无接口无依赖』于「期望二」于「实际二」。

「：文言：分栏必为真制表：行中制表之数可数。汉语：换行与制表符的个数：全文六行、各以换行结尾；应用行有两栏加三个依赖各两栏，共八个制表符。检查分栏真的是制表符而不是空格。：」
「计字符」乃化「字符串」而化「字符串」而「整数」也。
「计字符」者会「文」而会「字」而
  「数出现次数」授以「字符串」
    于（会「片」而「字符串相等吗」于「片」于「字」）
    于（「串转通字符」于「文」）
也。

「取行」乃化「字符串」而化「整数」而「字符串」也。
「取行」者会「文」而会「序」而
  「串组合并」于（「第N个」授以（「列」于「字符串」）
  于「序」
  于（「元素分隔」授以「字符串」于（会「片」而「字符串相等吗」于「片」于「新行」）于（「串转通字符」于「文」）））
也。

「查整」于『换行个数』于「六」于（「计字符」于「实际一」于「新行」）。
「查爻」于『以换行结尾』于「阳」于（「串结尾是它吗」于「新行」于「实际一」）。
「查爻」于『只一个结尾换行』于「阴」于（「串结尾是它吗」于（「新行」附「新行」）于「实际一」）。
「查整」于『应用行·制表数』于「八」于（「计字符」于（「取行」于「实际一」于「五」）于「制表符」）。
「查整」于『标准库行·制表数』于「二」于（「计字符」于（「取行」于「实际一」于「一」）于「制表符」）。
「查整」于『接口行·制表数』于「六」于（「计字符」于（「取行」于「实际一」于「三」）于「制表符」）。
「查整」于『全文无空格（分栏不是空格）』于「零」于（「计字符」于「实际一」于『 』）。

「：文言：字段中若含制表、换行，则拒。汉语：路径、包名或依赖名里含制表符、换行或回车时抛出中文事故（否则一行会裂成多行）。：」
「查异常含」
  于『路径含制表』
  于（会「无」而虑「无」者
    「生成上下文」
      于（『/y』附「制表符」附『x』）
      于（「罄」授以「包节点」）
      于（「罄」授以（「字符串」合「字符串」））
      于（「罄」授以「包节点」）而『』
  ）于『包上下文字段不能含制表符或换行』。

「查异常含」
  于『包名含换行』
  于（会「无」而虑「无」者
    「生成上下文」
      于『/y』
      于（「罄」授以「包节点」）
      于（「罄」授以（「字符串」合「字符串」））
      于（「列」【（『甲』附「新行」附『乙』）与『/a』与（「罄」授以「字符串」）】）而『』
  ）于『包上下文字段不能含制表符或换行』。

「查异常含」
  于『依赖名含回车』
  于（会「无」而虑「无」者
    「生成上下文」
      于『/y』
      于（「罄」授以「包节点」）
      于（「罄」授以（「字符串」合「字符串」））
      于（「列」【『甲』与『/a』与（「列」【（『乙』附「回车」）】）】）而『』
  ）于『包上下文字段不能含制表符或换行』。

「查异常含」
  于『接口路径含换行』
  于（会「无」而虑「无」者
    「生成上下文」
      于『/y』
      于（「罄」授以「包节点」）
      于（「列」【『日志』与（『/s』附「新行」）】）
      于（「罄」授以「包节点」）而『』
  ）于『包上下文字段不能含制表符或换行』。

「：文言：四空格之「制表」非制表，路径含之无妨。汉语：路径里出现四个空格是合法的（它不是制表符），不应被拒。：」
「空格路径」者
  「生成上下文」
    于『/y/含    空格』
    于（「罄」授以「包节点」）
    于（「罄」授以（「字符串」合「字符串」））
    于（「罄」授以「包节点」）
也。

「查爻」于『四空格路径可用』于「阳」于（「是子字符串吗」于『/y/含    空格』于「空格路径」）。

「：文言：接口依他接口者，其绑定之行附所依之全名于基础库之后。汉语：接口依赖其他接口时（如文件依赖基础），绑定包那一行在标准库与基础库之后附上所依接口的完整包名。：」
「期望三」者
  『豫构包上下文二』附「新行」附
  （「行」于（「列」【『豫言』，『标准库』，『/y/库/标准库/标准库。包。豫』】））附
    （「行」于（「列」【『豫言』，『癸象工具』，『/y/库/癸象工具/癸象工具。包。豫』，『豫言』，『标准库』】））附
      （「行」于（「列」【
        『豫言』，
        『豫言操作系统基础』，
        『/s/基础/豫言操作系统基础。包。豫』，
        『豫言』，
        『标准库』，
        『豫言』，
        『癸象工具』
      】））附
      （「行」于（「列」【
        『豫言』，
        『豫言操作系统文件』，
        『/s/文件/豫言操作系统文件。包。豫』，
        『豫言』，
        『标准库』，
        『豫言』，
        『癸象工具』，
        『豫言』，
        『豫言操作系统基础』
      】））附
      （「行」于（「列」【『豫言』，『应用』，『/a/应用。包。豫』，『豫言』，『豫言操作系统文件』】））
也。

「实际三」者
  「生成带接口依赖上下文」
    于『/y/库/标准库/标准库。包。豫』
    于「基础库们一」
    于（「列」【
      『基础』与『/s/基础/豫言操作系统基础。包。豫』与（「罄」授以「字符串」），
      『文件』与『/s/文件/豫言操作系统文件。包。豫』与（「列」【『豫言操作系统基础』】）
    】）
    于（「列」【『应用』与『/a/应用。包。豫』与（「列」【『豫言操作系统文件』】）】）
也。

「查串」于『接口依赖他接口』于「期望三」于「实际三」。
「查异常含」
  于『接口依赖名含换行』
  于（会「无」而虑「无」者
    「生成带接口依赖上下文」
      于『/y』
      于（「罄」授以「包节点」）
      于（「列」【『文件』与『/s』与（「列」【（『甲』附「新行」）】）】）
      于（「罄」授以「包节点」）
                而
                『』
  ）
  于『包上下文字段不能含制表符或换行』。

「收尾」于「元」。