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
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
「：
豫言静态文档网站生成器。
古义：或循一书，或以包为纲，录诸篇之公名、实类及先注。
今义：支持入口依赖闭包与完整包两种模式，展示公开名称、检查后类型与顶层注释。
用法：
yy文档网站生成器 构建 入口文件 【输出目录】
yy文档网站生成器 构建包 包文件 输出目录 【外部包目录】
此器以入口文件为纲，先完成其依赖闭包的类型检查，再为每个模块读取检查后的
公开名称与真实类型。源码里的顶层注释依声明名附于相应名称，作为说明文字。
所得网站以入口页列诸模块，每模块各有一页；全站只含本地 HTML、CSS 与 JavaScript，可离线阅读，
也可交给「工具/简易网页服务器/入口。豫」预览。
：」
寻观「标准库」之书。
寻观「构建基础」之「包定位」之书。
寻观「构建基础」之「包上下文」之书。
寻观「包配置」之「包依赖」之书。
寻观「包配置」之「配置数据」之书。
寻观「包配置」之「配置解析」之书。
寻观「标准库」之「操作系统」之「命令行参数」之书。
寻观「标准库」之「操作系统」之「文件系统」之书。
寻观「标准库」之「操作系统」之「路径」之书。
寻观「拓展库」之「网页客户端」之「核心」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「模块操作」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「检查后定义处理」之书。
寻观「编译器核心」之「编译数据」之「编译配置」之「全局配置」之书。
寻观「编译器核心」之「编译数据」之「语言服务信息」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「抽象语法分析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「注释操作」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译过程」之书。
寻观「编译器核心」之「编译步骤」之「总体过程」之「编译文件缓存工具」之书。
「文档名称」即
「字符串」「：名称：」合
「字符串」「：类型：」合
「字符串」「：说明：」
也。
「文档模块」即
「字符串」「：显示路径：」合
「字符串」「：实际路径：」合
（「列」于「文档名称」）「：公开名称们：」
也。
「说明对」即「字符串」「：名称：」合「字符串」「：说明：」也。
「非空字符串」乃化「字符串」而「爻」也。
「非空字符串」者会「串」而「非」于（「字符串相等吗」于「串」于『』）也。
「合并注释」乃化（「列」于「字符串」）而化（「列」于「字符串」）而「字符串」也。
「合并注释」者会「前注释」而会「后注释」而
「间合」于『「：换行：」「：换行：」』于
（（「滤」授以「字符串」）于「非空字符串」于
（（「附加」授以「字符串」）于「前注释」于「后注释」））
也。
「声明真实内容」乃化「表达式」而「表达式」也。
「声明真实内容」者会「当前声明」而
鉴「当前声明」而
有（「式节点」于（「顶层注释节点」于「忽略前」于「忽略后」）于（（「列」【「原声明」】）））则
「声明真实内容」于「原声明」
或有「其他」则「去除表达式表层注释」于「当前声明」
也。
「声明名称」乃化「表达式」而「或可有」于「字符串」也。
「声明名称」者会「当前声明」而
鉴（「声明真实内容」于「当前声明」）而
有（「式节点」于「类型声明近似类型节点」于（「缀」于（「自由变量」于「名称」）于「忽略尾」））则
「可有」于「名称」
或有（「式节点」于（「定义声明近似类型节点」于「忽略透明性」）于（「缀」于（「自由变量」于「名称」）于「忽略尾」））则
「可有」于「名称」
或有（「式节点」于「构造声明近似类型节点」于
（（「列」【（「式节点」于（「唯一构造器节点」于「忽略序数」于「忽略文件」于「名称」）于「忽略子式」）】）））则
「可有」于「名称」
或有「其他」则「可无」
也。
「声明顶层注释」乃化「表达式」而「字符串」也。
「声明顶层注释」者会「当前声明」而
鉴「当前声明」而
有（「式节点」于（「顶层注释节点」于「前注释」于「后注释」）于（（「列」【「忽略原声明」】）））则
「合并注释」于「前注释」于「后注释」
或有「其他」则『』
也。
「收集声明说明」乃化（「列」于「表达式」）而「列」于「说明对」也。
「收集声明说明」者会「声明们」而
鉴「声明们」而
有「罄」则「罄」
或有（「缀」于「当前声明」于「尾」）则
虑「后说明」者「收集声明说明」于「尾」而
虑「说明」者「声明顶层注释」于「当前声明」而
鉴（「声明名称」于「当前声明」）而
有（「可有」于「名称」）则
若「非空字符串」于「说明」则「缀」于（「名称」与「说明」）于「后说明」否则「后说明」
或有「可无」则「后说明」
也。
「查找名称说明」乃化「字符串」而化（「列」于「说明对」）而「字符串」也。
「查找名称说明」者会「名称」而会「说明们」而
鉴「说明们」而
有「罄」则『』
或有（「缀」于（「当前名称」与「当前说明」）于「尾」）则
若「字符串相等吗」于「名称」于「当前名称」
则
虑「后说明」者「查找名称说明」于「名称」于「尾」而
若「非空字符串」于「后说明」则「当前说明」附『「：换行：」「：换行：」』附「后说明」否则「当前说明」
否则「查找名称说明」于「名称」于「尾」
也。
「读取模块说明」乃化「字符串」而「列」于「说明对」也。
「读取模块说明」者会「文件路径」而
虑「源码」者「读文件」于「文件路径」而
虑「带注释单元」者「抽象语法解析编译单元带注释」于「文件路径」于（「词法解析顶层」于「源码」）而
「收集声明说明」于（「带注释编译单元声明列」于「带注释单元」）
也。
「内部匿名名称吗」乃化「字符串」而「爻」也。
「内部匿名名称吗」者会「名称」而
「串开头是它吗」于『《《内部匿名顶层表达式_』于「名称」
也。
「文档类型表示」乃化「表达式」而「字符串」也。
「文档类型表示」者会「类型」而
递归虑「表示」其化（「列」于「字符串」）而化「表达式」而「字符串」者会「绑定名们」而会「当前类型」而
鉴「当前类型」而
有（「自由变量」于「名称」）则『「』附「名称」附『」』
或有（「绑定变量」于「序数」）则『「』附（「第N个」于（「减」于「序数」于「一」）于「绑定名们」）附『」』
或有（「绑定」于「可有名称」于「体」）则（
鉴「可有名称」而
有（「可有」于「名称」）则『承「』附「名称」附『」而』附
（「表示」于（「缀」于「名称」于「绑定名们」）于「体」）
或有「可无」则『承一类型而』附（「表示」于（「缀」于『所承类型』于「绑定名们」）于「体」））
或有（「式节点」于（「内建节点」于「常量」）于「罄」）则
『「』附（「内建常量悬停表示」于「常量」）附『」』
或有（「式节点」于「箭头类型节点」于「类型们」）则（
递归虑「表示箭头」其化（「列」于「表达式」）而「字符串」者会「余下类型」而
鉴「余下类型」而
有（（「列」【「值域」】））则「表示」于「绑定名们」于「值域」
或有（「缀」于「定义域」于「后类型」）则
『化』附（「表示」于「绑定名们」于「定义域」）附『而』附（「表示箭头」于「后类型」）
或有「罄」则『「未知类型」』
而「表示箭头」于「类型们」）
或有（「式节点」于「元组类型节点」于「类型们」）则
『（』附（「间合」于『合』于（（「态射」授以「表达式」授以「字符串」）于「类型们」于
（会「子类型」而「表示」于「绑定名们」于「子类型」）））附『）』
或有（「式节点」于「函数调用」于「子式们」）则
『（』附（「间合」于『于』于（（「态射」授以「表达式」授以「字符串」）于「子式们」于
（会「子式」而
鉴「子式」而
有（「式节点」于（「参数节点」于「忽略形式」）于（（「列」【「参数」】）））则
「表示」于「绑定名们」于「参数」
或有「其他」则「表示」于「绑定名们」于「子式」）））附『）』
或有（「式节点」于（「隐式派类型节点」于「忽略个数」）于（（「列」【「体」】）））则
「表示」于「绑定名们」于「体」
或有（「式节点」于（「文件定义引用节点」于「忽略文件」于「定义名」于「忽略序数」）于「罄」）则
『「』附「定义名」附『」』
或有（「式节点」于（「唯一构造器节点」于「忽略序数」于「忽略文件」于「构造器名」）于「忽略子式」）则
『「』附「构造器名」附『」』
或有（「式节点」于（「文件引用节点」于「忽略路径」）于「罄」）则『「模块」』
或有（「式节点」于（「源码范围标注节点」于「忽略范围」）于（（「列」【「原式」】）））则
「表示」于「绑定名们」于「原式」
或有（「式节点」于（「源码绑定范围标注节点」于「忽略范围」）于（（「列」【「原式」】）））则
「表示」于「绑定名们」于「原式」
或有「其他」则『「未知类型」』
而「表示」于「罄」于「类型」
也。
「收集公开名称」乃化「字符串」而化「整数」而化「文件定义列」而化（「列」于「说明对」）而「列」于「文档名称」也。
「收集公开名称」者会「文件路径」而会「序数」而会「定义们」而会「说明们」而
鉴「定义们」而
有「罄」则「罄」
或有（「缀」于（「名称」与「公开」与「定义项」）于「尾」）则
虑「后名称」者「收集公开名称」于「文件路径」于（「加」于「序数」于「一」）于「尾」于「说明们」而
若「且」于「公开」于（「非」于（「内部匿名名称吗」于「名称」））
则
虑「类及物」者「检查后定义项类及物」于「文件路径」于「名称」于「序数」于「定义项」而
虑「类型文字」者「文档类型表示」于（「类及物」中「零」）而
「缀」于（「名称」与「类型文字」与（「查找名称说明」于「名称」于「说明们」））于「后名称」
否则「后名称」
也。
「相对显示路径」乃化「字符串」而化「字符串」而「字符串」也。
「相对显示路径」者会「根目录」而会「文件路径」而
虑「根前缀」者若「串结尾是它吗」于「路径分隔符」于「根目录」则「根目录」否则「根目录」附「路径分隔符」而
若「串开头是它吗」于「根前缀」于「文件路径」则「去除串开头」于「根前缀」于「文件路径」否则「文件路径」
也。
「构建文档模块」乃化「字符串」而化「字符串」而「文档模块」也。
「构建文档模块」者会「根目录」而会「文件路径」而
虑「说明们」者「读取模块说明」于「文件路径」而
虑「公开名称」者「收集公开名称」于「文件路径」于「零」于（「读检查后定义」于「文件路径」）于「说明们」而
（「相对显示路径」于「根目录」于「文件路径」）与「文件路径」与「公开名称」
也。
「构建文档模块们」乃化「字符串」而化（「列」于「字符串」）而「列」于「文档模块」也。
「构建文档模块们」者会「根目录」而会「路径们」而
（「态射」授以「字符串」授以「文档模块」）于「路径们」于（会「文件路径」而「构建文档模块」于「根目录」于「文件路径」）
也。
「逐模块类型检查」乃化（「列」于「字符串」）而「有」也。
「逐模块类型检查」者会「路径们」而
鉴「路径们」而
有「罄」则「元」
或有（「缀」于「文件路径」于「尾」）则（「进行编译」于「文件路径」；「逐模块类型检查」于「尾」）
也。
「统计公开名称」乃化（「列」于「文档模块」）而「整数」也。
「统计公开名称」者会「模块们」而
鉴「模块们」而
有「罄」则「零」
或有（「缀」于「模块」于「尾」）则「加」于（（「长度」授以「文档名称」）于（「模块」中「二」））于（「统计公开名称」于「尾」）
也。
「渲染名称卡片」乃化「文档名称」而「字符串」也。
「渲染名称卡片」者会「名称」而
虑「名」者「转义网页文字」于（「名称」中「零」）而
虑「类型」者「转义网页文字」于（「名称」中「一」）而
虑「原说明」者「名称」中「二」而
虑「说明」者若「非空字符串」于「原说明」则「转义网页文字」于「原说明」否则『暂无说明。』而
虑「说明类」者若「非空字符串」于「原说明」则『symbol-description』否则『symbol-description is-empty』而
『<article class="symbol-card"><div class="symbol-heading"><h3>』附「名」附
『</h3><span class="visibility"><span aria-hidden="true"></span>公开</span></div><pre class="type-signature"><code>』附「类型」附
『</code></pre><p class="』附「说明类」附『">』附「说明」附『</p></article>』
也。
「渲染名称们」乃化（「列」于「文档名称」）而「字符串」也。
「渲染名称们」者会「名称们」而
若「等于」于（「长度」于「名称们」）于「零」
则『<div class="empty-state"><span aria-hidden="true">◇</span><p>此模块没有公开名称。</p></div>』
否则「串组合并」于（（「态射」授以「文档名称」授以「字符串」）于「名称们」于「渲染名称卡片」）
也。
「模块页面名」乃化「整数」而「字符串」也。
「模块页面名」者会「序数」而『模块-』附（「整数表示」于「序数」）附『.html』也。
「渲染模块目录项」乃化「整数」而化「整数」而化「文档模块」而「字符串」也。
「渲染模块目录项」者会「当前序数」而会「序数」而会「模块」而
虑「编号」者「整数表示」于「序数」而
虑「显示路径」者「转义网页文字」于（「模块」中「零」）而
虑「名称数量」者「整数表示」于（（「长度」授以「文档名称」）于（「模块」中「二」））而
虑「链接类」者若「等于」于「当前序数」于「序数」则『 class="is-current" aria-current="page"』否则『』而
『<li><a』附「链接类」附『 href="』附（「模块页面名」于「序数」）附『"><span class="module-index">』附「编号」附
『</span><span class="module-link-name">』附「显示路径」附『</span><span class="module-count">』附「名称数量」附『</span></a></li>』
也。
「渲染模块目录」乃化「整数」而化「整数」而化（「列」于「文档模块」）而「字符串」也。
「渲染模块目录」者会「当前序数」而会「序数」而会「模块们」而
鉴「模块们」而
有「罄」则『』
或有（「缀」于「模块」于「尾」）则
（「渲染模块目录项」于「当前序数」于「序数」于「模块」）附
（「渲染模块目录」于「当前序数」于（「加」于「序数」于「一」）于「尾」）
也。
「渲染模块正文」乃化「整数」而化「文档模块」而「字符串」也。
「渲染模块正文」者会「序数」而会「模块」而
虑「编号」者「整数表示」于「序数」而
虑「显示路径」者「转义网页文字」于（「模块」中「零」）而
虑「相对源码路径」者「转义网页文字」于（「模块」中「零」）而
虑「名称们」者「模块」中「二」而
虑「名称数量」者「整数表示」于（（「长度」授以「文档名称」）于「名称们」）而
『<section class="module-section"><header class="module-heading"><div class="module-orbit" aria-hidden="true"><span>』附
「编号」附『</span></div><div class="module-title"><p class="eyebrow">模块 / 』附「编号」附『</p><h2>』附「显示路径」附
『</h2><p class="source-path">』附「相对源码路径」附『</p></div><div class="module-total"><strong>』附「名称数量」附
『</strong><span>公开名称</span></div></header><div class="symbol-grid">』附（「渲染名称们」于「名称们」）附『</div></section>』
也。
「渲染模块总览项」乃化「整数」而化「文档模块」而「字符串」也。
「渲染模块总览项」者会「序数」而会「模块」而
虑「编号」者「整数表示」于「序数」而
虑「显示路径」者「转义网页文字」于（「模块」中「零」）而
虑「名称数量」者「整数表示」于（（「长度」授以「文档名称」）于（「模块」中「二」））而
『<a class="module-overview-card" href="』附（「模块页面名」于「序数」）附『"><span class="overview-number">』附
「编号」附『</span><div><h2>』附「显示路径」附『</h2><p>』附「名称数量」附
『 个公开名称</p></div><span class="overview-arrow" aria-hidden="true">↗</span></a>』
也。
「渲染模块总览」乃化「整数」而化（「列」于「文档模块」）而「字符串」也。
「渲染模块总览」者会「序数」而会「模块们」而
鉴「模块们」而
有「罄」则『』
或有（「缀」于「模块」于「尾」）则
（「渲染模块总览项」于「序数」于「模块」）附（「渲染模块总览」于（「加」于「序数」于「一」）于「尾」）
也。
「网页公共开头」乃化「字符串」而化「字符串」而化「字符串」而化「整数」而化（「列」于「文档模块」）而「字符串」也。
「网页公共开头」者会「页面标题」而会「项目名」而会「入口显示路径」而会「当前序数」而会「模块们」而
虑「模块数量」者「整数表示」于（「长度」于「模块们」）而
虑「名称数量」者「整数表示」于（「统计公开名称」于「模块们」）而
虑「安全项目名」者「转义网页文字」于「项目名」而
虑「安全入口」者「转义网页文字」于「入口显示路径」而
『<!doctype html><html lang="zh-CN"><head><meta charset="utf-8"><meta name="viewport" content="width=device-width, initial-scale=1"><meta name="color-scheme" content="light"><meta name="description" content="豫言模块与公开 API 文档"><title>』附
（「转义网页文字」于「页面标题」）附『 · 』附「安全项目名」附『</title><link rel="stylesheet" href="界面.css"><link rel="stylesheet" href="主题.css"><script defer src="通用.js"></script></head><body><div data-yuyan-site="docs" data-home="index.html"></div><a class="skip-link" href="#正文">跳到正文</a><div class="ambient" aria-hidden="true"></div><header class="topbar"><a class="brand" href="index.html"><span class="brand-mark">豫</span><span><strong>豫言文档</strong><small>API ATLAS</small></span></a><div class="build-origin"><span>入口</span><code>』附
「安全入口」附『</code></div><div class="top-stats"><span><strong>』附「模块数量」附『</strong> 模块</span><i></i><span><strong>』附「名称数量」附
『</strong> 名称</span></div></header><div class="layout"><aside class="sidebar"><div class="sidebar-intro"><p class="eyebrow">模块目录</p><h2>模块星图</h2><p data-han="浏览本次生成的模块公开接口。" data-wen="阅此次所录诸篇之公名。">浏览本次生成的模块公开接口。</p></div><nav aria-label="模块目录"><ol>』附
（「渲染模块目录」于「当前序数」于「一」于「模块们」）附『</ol></nav><footer><span class="status-dot"></span>静态生成</footer></aside><main id="正文">』
也。
「网页公共结尾」乃「字符串」也。
「网页公共结尾」者『<footer class="page-footer"><span>由豫言静态生成</span><a href="#正文">返回顶部 ↑</a></footer></main></div></body></html>』也。
「编制索引网页」乃化「字符串」而化「字符串」而化（「列」于「文档模块」）而「字符串」也。
「编制索引网页」者会「项目名」而会「入口显示路径」而会「模块们」而
虑「模块数量」者「整数表示」于（「长度」于「模块们」）而
虑「名称数量」者「整数表示」于（「统计公开名称」于「模块们」）而
（「网页公共开头」于『模块总览』于「项目名」于「入口显示路径」于「零」于「模块们」）附
（若「串相等」于「入口显示路径」于『包说明.html』则『<a class="back-link" href="包说明.html" data-han="包说明" data-wen="包之说">包说明</a>』否则『』）附
『<section class="hero"><div><p class="eyebrow">接口参考</p><h1>』附（「转义网页文字」于「项目名」）附
『</h1><p class="hero-copy">选择模块，查看其公开名称、中文类型与源码注释。</p></div><div class="hero-metrics"><div><span>模块</span><strong>』附
「模块数量」附『</strong></div><div><span>公开名称</span><strong>』附「名称数量」附
『</strong></div></div></section><section class="module-overview" aria-label="全部模块">』附
（「渲染模块总览」于「一」于「模块们」）附『</section>』附「网页公共结尾」
也。
「编制模块网页」乃化「字符串」而化「字符串」而化（「列」于「文档模块」）而化「整数」而化「文档模块」而「字符串」也。
「编制模块网页」者会「项目名」而会「入口显示路径」而会「所有模块」而会「序数」而会「当前模块」而
（「网页公共开头」于（「当前模块」中「零」）于「项目名」于「入口显示路径」于「序数」于「所有模块」）附
『<a class="back-link" href="index.html">← 全部模块</a>』附（「渲染模块正文」于「序数」于「当前模块」）附「网页公共结尾」
也。
「写模块页面们」乃化「字符串」而化「字符串」而化「字符串」而化（「列」于「文档模块」）而化「整数」而化（「列」于「文档模块」）而「有」也。
「写模块页面们」者会「输出目录」而会「项目名」而会「入口显示路径」而会「所有模块」而会「序数」而会「余下模块」而
鉴「余下模块」而
有「罄」则「元」
或有（「缀」于「当前模块」于「尾」）则
虑「页面」者「编制模块网页」于「项目名」于「入口显示路径」于「所有模块」于「序数」于「当前模块」而
虑「无」者「写文件」于（「路径合并」于「输出目录」于（「模块页面名」于「序数」））于「页面」而
「写模块页面们」于「输出目录」于「项目名」于「入口显示路径」于「所有模块」于（「加」于「序数」于「一」）于「尾」
也。
「默认输出目录」乃「字符串」也。
「默认输出目录」者『dist/文档网站』也。
「绝对输入路径」乃化「字符串」而化「字符串」而「字符串」也。
「绝对输入路径」者会「根目录」而会「文件路径」而
若「路径名是绝对路径」于「文件路径」则「文件路径」否则「路径合并」于「根目录」于「文件路径」
也。
「：文言：先验诸篇，后书其页。汉语：两种生成模式共用输出阶段，检查失败时不写文档。：」
「输出文档静态站」乃化「字符串」而化「字符串」而化「字符串」而化「字符串」而化（「列」于「文档模块」）而化「字符串」而「有」也。
「输出文档静态站」者会「根目录」而会「输出目录」而会「项目名」而会「入口显示路径」而会「模块们」而会「包说明网页」而
虑「索引网页」者「编制索引网页」于「项目名」于「入口显示路径」于「模块们」而
虑「无」者「写文件」于（「路径合并」于「输出目录」于『index.html』）于「索引网页」而
虑「无」者若「非空字符串」于「包说明网页」则「写文件」于（「路径合并」于「输出目录」于『包说明.html』）于「包说明网页」否则「元」而
虑「无」者「写模块页面们」于「输出目录」于「项目名」于「入口显示路径」于「模块们」于「一」于「模块们」而
虑「无」者「写文件」于（「路径合并」于「输出目录」于『主题.css』）于（「读文件」于（「路径合并」于「根目录」于『网站/共用/主题.css』））而
虑「无」者「写文件」于（「路径合并」于「输出目录」于『通用.js』）于（「读文件」于（「路径合并」于「根目录」于『网站/共用/界面.js』））而
虑「无」者「写文件」于（「路径合并」于「输出目录」于『界面.css』）于（「读文件」于（「路径合并」于「根目录」于『工具/文档网站生成器/界面.css』））而
虑「无」者「写文件」于（「路径合并」于「输出目录」于『.nojekyll』）于『』而
「打印行」于（『文档静态站已生成：』附「输出目录」附『（』附（「整数表示」于（「长度」于「模块们」））附『 个模块，』附
（「整数表示」于（「统计公开名称」于「模块们」））附『 个公开名称）』）
也。
「构建文档静态站」乃化「字符串」而化「字符串」而化「字符串」而「有」也。
「构建文档静态站」者会「根目录」而会「入口参数」而会「输出目录」而
虑「入口路径」者「绝对输入路径」于「根目录」于「入口参数」而
虑「无」者若「路径是普通文件」于「入口路径」则「元」否则「发生事故」于（『入口文件不存在：』附「入口路径」）而
虑「索引」者「发现具名包」于「根目录」于『』而
虑「图」者「解析包图」于「索引」于（「包身份」于（「所属包」于「索引」于（「真实路径」于「入口路径」）））而
虑「无」者「启用包上下文」于（「存放上下文」于（「编码包上下文」于（「图」中「零」）））而
虑「无」者「标准错误打印行」于（『正在检查入口及依赖：』附「入口路径」）而
虑「无」者（「写引用」授以「爻」）于「仅执行类型检查」于「阳」而
虑「无」者（「写引用」授以「爻」）于「打印非常粗略调试信息」于「阴」而
虑「无」者「所有依赖分析」于「入口路径」而
虑「编译顺序」者（「读引用」授以（「列」于「字符串」））于「文件编译顺序」而
虑「无」者「逐模块类型检查」于「编译顺序」而
虑「显示顺序」者（「反转」授以「字符串」）于「编译顺序」而
虑「模块们」者「构建文档模块们」于「根目录」于「显示顺序」而
虑「入口显示路径」者「相对显示路径」于「根目录」于「入口路径」而
虑「项目名」者「获取文件名」于「入口路径」而
「输出文档静态站」于「根目录」于「输出目录」于「项目名」于「入口显示路径」于「模块们」于『』
也。
「：文言：包为纲，所依助验而不入篇；别包与试篇皆除。汉语：按包枚举源码，依赖只参与检查，排除嵌套包和测试入口。：」
「插入文档路径」乃化「字符串」而化（「列」于「字符串」）而「列」于「字符串」也。
「插入文档路径」者会「路径」而会「路径们」而鉴「路径们」而
有「罄」则「列」【「路径」】
或有（「缀」于「首」于「余」）则
若《《C调用》》名『豫言_字符串按字节在前』传「路径」与「首」
则「缀」于「路径」于「路径们」否则「缀」于「首」于（「插入文档路径」于「路径」于「余」）
也。
「检查文档入口们」乃化（「列」于「字符串」）而「有」也。
「检查文档入口们」者会「路径们」而
虑「已检查」者「新引用」授以（「列」于「字符串」）于「罄」而
虑「无」者「态射」授以「字符串」授以「有」于「路径们」于（会「路径」而
虑「无」者「所有依赖分析」于「路径」而
虑「新增」者「滤」授以「字符串」于（会「文件」而「非」于（「包内含名」于（「读引用」于「已检查」）于「文件」））于（「读引用」于「文件编译顺序」）而
虑「无」者「逐模块类型检查」于「新增」而
「写引用」于「已检查」于（「附加」于（「读引用」于「已检查」）于「新增」））而「元」
也。
「构建包文档」乃化「字符串」而化「字符串」而化「字符串」而化「字符串」而「有」也。
「构建包文档」者会「根目录」而会「包文件」而会「输出目录」而会「外部目录」而
「：文言：旧页不可杂新籍。汉语：包文档要求新目录或空目录，避免发布时带入旧版本页面。：」
虑「无」者若「路径存在」于「输出目录」则
若「且」于（「路径是文件夹」于「输出目录」）于（「等于」于（「长度」授以「字符串」于（「读文件夹」于「输出目录」））于「零」）
则「元」否则「发生事故」授以「有」于『包文档输出目录必须为空』否则「元」而
虑「实径」者「真实路径」于（「绝对输入路径」于「根目录」于「包文件」）而
虑「配置」者「解析包文件」于「实径」而
虑「候选」者「发现具名包」于「根目录」于「外部目录」而
虑「记录」者「所属包」于「候选」于「实径」而
虑「图」者「解析包图」于「候选」于（「包身份」于「记录」）而
虑「无」者「启用包上下文」于（「存放上下文」于（「编码包上下文」于（「图」中「零」）））而
虑「无」者「写引用」于「仅执行类型检查」于「阳」而
虑「无」者「写引用」于「打印非常粗略调试信息」于「阴」而
虑「包根」者「包目录」于「记录」而
虑「源码们」者「滤」授以「字符串」于（会「路径」而「非」于（「串结尾是它吗」于『。测试。豫』于「路径」））于（「收集包源码」于「包根」于「阳」）而
虑「路径们」者「从左折叠」授以「字符串」授以（「列」于「字符串」）于「插入文档路径」于「罄」于「源码们」而
虑「无」者「检查文档入口们」于「路径们」而
虑「模块们」者「构建文档模块们」于「包根」于「路径们」而
虑「项目名」者（「包所有者」于「配置」）附『 / 』附（「包名」于「配置」）附『 @ 』附（「包版本」于「配置」）而
虑「说明页」者（「网页公共开头」于『包说明』于「项目名」于（「获取文件名」于「实径」）于「零」于「模块们」）附
『<a href="index.html">全部模块</a><h1 data-原文>』附（「转义网页文字」于「项目名」）附『</h1><p data-原文>』附（「转义网页文字」于（「包简介」于「配置」））附『</p>』附
（「串组合并」于（「态射」授以「字符串」授以「字符串」于（「包说明」于「配置」）于（会「路径」而
『<section data-原文><h2>』附（「转义网页文字」于「路径」）附『</h2><pre>』附（「转义网页文字」于（「读文件」于（「路径合并」于「包根」于「路径」）））附『</pre></section>』）））附「网页公共结尾」而
「输出文档静态站」于「根目录」于「输出目录」于「项目名」于『包说明.html』于「模块们」于「说明页」
也。
虑「根目录」者「获取当前路径」于「元」而
鉴「获取参数」于「元」而
有（（「列」【『构建包』，「包文件」，「输出目录」】））则
「构建包文档」于「根目录」于「包文件」于「输出目录」于『』
或有（（「列」【『构建包』，「包文件」，「输出目录」，「外部目录」】））则
「构建包文档」于「根目录」于「包文件」于「输出目录」于「外部目录」
或有（（「列」【『构建』，「入口文件」】））则
「构建文档静态站」于「根目录」于「入口文件」于「默认输出目录」
或有（（「列」【『构建』，「入口文件」，「输出目录」】））则
「构建文档静态站」于「根目录」于「入口文件」于「输出目录」
或有「其他」则「发生事故」于『用法：yy文档网站生成器 构建 入口文件 【输出目录】；构建包 包文件 输出目录 【外部包目录】』
。