豫言源码浏览器 / 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

寻观「底层库」之书。
寻观「底层库」之「内存」之书。
寻观「客体二号」之「基础」之书。

「：文言：域名之报文循 RFC 1035；此模块唯编码与解码，不发网络。汉语：DNS 报文编码与解析，供原生后端通过 UDP 查询；本模块不执行网络调用。：」

「域名读双」乃化「整数」而「整数」也。
「域名读双」者会「址」而
  「加」于（「左移」于（「读一」于「址」）于「八」）于（「读一」于（「加」于「址」于「一」））
也。

「域名写双」乃化「整数」而化「整数」而「有」也。
「域名写双」者会「址」而会「值」而
  虑「无」者
    「写一」于「址」于（「位与」于（「无符号右移」于「值」于「八」）于「二五五」）而
    虑「无」者
      「写一」于（「加」于「址」于「一」）于（「位与」于「值」于「二五五」）
    而
    「元」
也。

「域名标签末」乃化「整数」而化「整数」而化「整数」而「整数」也。
「域名标签末」者会「名」而会「位」而会「长」而
  若「有符号大等」于「位」于「长」则
    「位」
  否则
    若「等」于（「读一」于（「加」于「名」于「位」））于「四六」则
      「位」
    否则
      「域名标签末」于「名」于（「加」于「位」于「一」）于「长」
也。

「：文言：每段先书长，继书其字，末书零；单段至多六十三字节。汉语：按 DNS 标签格式写入域名；每段最长 63 字节，末尾写零。：」
「域名写名」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名写名」者会「名」而会「长」而会「位」而会「出」而会「出位」而
  若「有符号大等」于「位」于「长」则
    （（「写一」于（「加」于「出」于「出位」）于「零」）；
      （「加」于「出位」于「一」））
  否则
    虑「末」者「域名标签末」于「名」于「位」于「长」而
    虑「段长」者「减」于「末」于「位」而
    若「或者」于（「等零」于「段长」）于（「大于」于「段长」于「六三」）则（「减」于「零」于「一」）否则
      虑「无」者「写一」于（「加」于「出」于「出位」）于「段长」
      而
      虑「无」者
        「拷贝」于（「加」于「出」于（「加」于「出位」于「一」））
        于（「加」于「名」于「位」）于「段长」
      而
      「域名写名」
        于「名」
        于「长」
        于（若「等」于「末」于「长」则「末」否则「加」于「末」于「一」）
        于「出」
        于（「加」于（「加」于「出位」于「一」）于「段长」）
也。

「：文言：造一问：标识、递归标、问题名、类型与类一。汉语：构造单问题 DNS 查询，类型 1 为 A、28 为 AAAA；返回报文长度，非法名字或缓冲不足返回 -1。：」
「域名写查询」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名写查询」者会「名」而会「名长」而会「型」而会「标识」而会「出」而会「容」而
  若「或者」
    于（「有符号小等」于「名长」于「零」）
    于（「或者」于（「大于」于「名长」于「二五三」）于（「小于」于「容」于（「加」于「名长」于「一八」）））则
    （「减」于「零」于「一」）
  否则
    虑「无」者「域名写双」于「出」于「标识」
    而
    虑「无」者「域名写双」于（「加」于「出」于「二」）于「二五六」而
    虑「无」者「域名写双」于（「加」于「出」于「四」）于「一」而
    虑「无」者「域名写双」于（「加」于「出」于「六」）于「零」而
    虑「无」者「域名写双」于（「加」于「出」于「八」）于「零」而
    虑「无」者「域名写双」于（「加」于「出」于「一零」）于「零」而
    虑「尾」者「域名写名」于「名」于「名长」于「零」于「出」于「一二」而
    若「小于」于「尾」于「零」则
      「尾」
    否则
      虑「无」者「域名写双」于（「加」于「出」于「尾」）于「型」
      而
      虑「无」者
        「域名写双」于（「加」于「出」于（「加」于「尾」于「二」））于「一」
      而
      「加」于「尾」于「四」
也。

「：文言：跳过报文中之名；压缩指针只占双字节，偏址须在报文内。汉语：跳过回答中的域名；压缩指针占 2 字节，并校验其目标偏移在报文内。：」
「域名越名」乃化「整数」而化「整数」而化「整数」而化「整数」而「整数」也。
「域名越名」者会「文」而会「长」而会「位」而会「数」而
  若「或者」于（「有符号大等」于「位」于「长」）于（「大于」于「数」于「一二八」）则（「减」于「零」于「一」）否则
    虑「首」者「读一」于（「加」于「文」于「位」）而
    若「等零」于「首」则（「加」于「位」于「一」）否则
      若「等」于（「位与」于「首」于「一九二」）于「一九二」则
        若「有符号大等」于（「加」于「位」于「一」）于「长」则（「减」于「零」于「一」）否则
          若「有符号大等」
            于（「加」
              于（「左移」于（「位与」于「首」于「六三」）于「八」）
              于（「读一」于（「加」于「文」于（「加」于「位」于「一」））））
              于「长」则（「减」于「零」于「一」）
          否则
            （「加」于「位」于「二」）
      否则若「或者」
        于（「大于」于「首」于「六三」）
        于（「大于」于（「加」于（「加」于「位」于「一」）于「首」）于「长」）则（「减」于「零」于「一」）
      否则
        「域名越名」
          于「文」
          于「长」
          于（「加」于（「加」于「位」于「一」）于「首」）
          于（「加」于「数」于「一」）
也。

「：文言：循答段，取首个同型同类之址。汉语：遍历回答段，取第一个类型和类别匹配的 A 或 AAAA 地址。：」
「域名找回答」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名找回答」者会「文」而会「长」而会「位」而会「余」而会「型」而会「出」而
  若「等零」于「余」则（「减」于「零」于「一」）否则
    虑「尾」者「域名越名」于「文」于「长」于「位」于「零」而
    若「或者」于（「小于」于「尾」于「零」）于（「大于」于（「加」于「尾」于「一零」）于「长」）则
      （「减」于「零」于「一」）
    否则
      虑「答型」者「域名读双」于（「加」于「文」于「尾」）
      而
      虑「类」者
        「域名读双」于（「加」于「文」于（「加」于「尾」于「二」））
      而
      虑「数」者
        「域名读双」于（「加」于「文」于（「加」于「尾」于「八」））
      而
      虑「数据」者「加」于「尾」于「一零」
      而
      若「大于」于（「加」于「数据」于「数」）于「长」则（「减」于「零」于「一」）否则
        若「且」
          于（「等」于「答型」于「型」）
          于（「且」
            于（「等」于「类」于「一」）
            于（「等」于「数」于（
              若「等」于「型」于「二八」则「一六」否则「四」）））则
          虑「无」者
            「拷贝」于「出」于（「加」于「文」于「数据」）于「数」
          而
          （若「等」于「型」于「二八」则「一零」否则「二」）
        否则
          「域名找回答」
            于「文」
            于「长」
            于（「加」于「数据」于「数」）
            于（「减」于「余」于「一」）于「型」于「出」
也。

「：文言：核标识、应答标、问题型与类，再寻同型地址。汉语：验证交易标识、响应标志、单个问题的类型与类别，再解析 A 或 AAAA 回答。：」
「域名读回答」乃
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  化「整数」而
  「整数」
也。
「域名读回答」者会「文」而会「长」而会「标识」而会「型」而会「出」而
  若「小于」于「长」于「一二」则（「减」于「零」于「一」）否则
    虑「标」者「域名读双」于（「加」于「文」于「二」）而
    若「或者」
      于（「不等于」于（「域名读双」于「文」）于「标识」）
      于（「或者」
        于（「等零」于（「位与」于「标」于「三二七六八」））
        于（「或者」
          于（「不等于」于（「位与」于「标」于「一五」）于「零」）
          于（「不等于」于（「域名读双」于（「加」于「文」于「四」））于「一」）））则（「减」于「零」于「一」）
    否则
      虑「问尾」者「域名越名」于「文」于「长」于「一二」于「零」
      而
      若「或者」于（「小于」于「问尾」于「零」）于（「大于」于（「加」于「问尾」于「四」）于「长」）则
        （「减」于「零」于「一」）
      否则
        若「或者」
          于（「不等于」于（「域名读双」于（「加」于「文」于「问尾」））于「型」）
          于（「不等于」于（「域名读双」于（「加」于「文」于（「加」于「问尾」于「二」）））于「一」）则
          （「减」于「零」于「一」）
        否则
          「域名找回答」
            于「文」
            于「长」
            于（「加」于「问尾」于「四」）
            于（「域名读双」于（「加」于「文」于「六」））于「型」于「出」
也。