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

寻观「标准库」之书。
寻观「癸象工具」之「总集」之书。
寻观「宿主接口清单」之「支持」之书。

「规范制表」者「字节转字符串」于「九」也。

「：文言：癸象若为文则取之，否则归空文。汉语：从 AST 字段提取字符串，缺失时返回空字符串。：」
「规范取文」乃化「癸象」而「字符串」也。
「规范取文」者会「值」而
  鉴「值」而
    有（「癸象字符串」于「文」）则「文」
    或有「其他」则『』
也。

「规范取爻位」乃化「癸象」而「字符串」也。
「规范取爻位」者会「值」而
  鉴「值」而
    有（「癸象爻」于「真」）则
      若「真」则『1』否则『0』
    或有「其他」则『0』
也。

「规范暴露右值」乃化「癸象」而「字符串」也。
「规范暴露右值」者会「右」而
  虑「种」者「规范取文」于（「取字段或空」于「右」于『type』）而
  若「字符串相等吗」于「种」于『*』则
    『*』
  否则若「字符串相等吗」于「种」于『identifier-list』则（
    鉴（「取字段或空」于「右」于『value』）而
      有（「癸象数组」于「项」）则
        「间合」
          于『,』
          于（「态射」授以「癸象」授以「字符串」
            于「项」
            于（会「值」而「规范取文」于（「取字段或空」于「值」于『value』）））
      或有「其他」则『』
  ）
  否则
    「规范取文」于（「取字段或空」于「右」于『value』）
也。

「规范显式暴露」乃化「癸象」而「字符串」也。
「规范显式暴露」者会「定义」而
  鉴（「取字段或空」于「定义」于『extAttrs』）而
    有（「癸象数组」于「诸注」）则（
      鉴（「滤」授以「癸象」
        于（会「注」而「字符串相等吗」于（「规范取文」于（「取字段或空」于「注」于『name』））于『Exposed』）于「诸注」）
        而
        有（「列」【「注」】）则
          「规范暴露右值」于（「取字段或空」于「注」于『rhs』）
        或有「其他」则『』
    ）
    或有「其他」则『』
也。

「规范成员名」乃化「癸象」而「字符串」也。
「规范成员名」者会「成员」而
  虑「名」者「规范取文」于（「取字段或空」于「成员」于『name』）而
  若「字符串相等吗」于「名」于『』则（
    虑「种」者「规范取文」于（「取字段或空」于「成员」于『type』）而
    若「字符串相等吗」于「种」于『constructor』则『constructor』
    否则若「字符串相等吗」于「种」于『iterable』则『@@iterator』
    否则若「字符串相等吗」于「种」于『async_iterable』则『@@asyncIterator』
    否则若「字符串相等吗」于「种」于『maplike』则『@@maplike』
    否则若「字符串相等吗」于「种」于『setlike』则『@@setlike』
    否则
      『@匿名』
  ）
  否则
    「名」
也。

「规范输出成员」乃
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「字符串」而
  化「癸象」而
  「有」
也。
「规范输出成员」者会「规范」而会「定义类」而会「定义名」而会「部分」而会「暴露」而会「成员」而
  「打印行」于（「规范」附「规范制表」附「定义类」附「规范制表」附「定义名」附「规范制表」附「部分」附「规范制表」附（「规范取文」
    于（「取字段或空」于「成员」于『type』））附「规范制表」附（「规范成员名」于「成员」）附「规范制表」附「暴露」）
也。

「规范输出定义」乃化「字符串」而化「癸象」而「有」也。
「规范输出定义」者会「规范」而会「定义」而
  虑「定义类」者「规范取文」于（「取字段或空」于「定义」于『type』）而
  虑「定义名」者
    若「字符串相等吗」于「定义类」于『includes』则
      「规范取文」于（「取字段或空」于「定义」于『target』）
    否则
      「规范取文」于（「取字段或空」于「定义」于『name』）
  而
  虑「部分」者「规范取爻位」于（「取字段或空」于「定义」于『partial』）而
  虑「暴露」者「规范显式暴露」于「定义」而
  鉴（「取字段或空」于「定义」于『members』）而
    有（「癸象数组」于「诸成员」）则（
      若「等于」于（「长度」授以「癸象」于「诸成员」）于「零」则
        「打印行」于（「规范」附「规范制表」附「定义类」附「规范制表」附「定义名」附「规范制表」附「部分」附「规范制表」
          附『』附「规范制表」附『』附「规范制表」附「暴露」）
      否则
        （
          虑「无」者
            「态射」授以「癸象」授以「有」
            于「诸成员」
            于（会「成员」而「规范输出成员」于「规范」于「定义类」于「定义名」于「部分」于「暴露」于「成员」）
          而
          「元」
        ）
    ）
    或有「其他」则
      「打印行」于（「规范」附「规范制表」附「定义类」附「规范制表」附「定义名」附「规范制表」附「部分」附「规范制表」附
        『』附「规范制表」附（
          若「字符串相等吗」于「定义类」于『includes』则「规范取文」
          于（「取字段或空」于「定义」于『includes』）
          否则
            『』
        ）附「规范制表」附「暴露」）
也。

「：文言：逐规范及其定义，明列成员；此为规范原貌，未与 BCD 同径。汉语：遍历 WebIDL2 AST，输出规范、定义和成员，不把它误认为 BCD 覆盖率。：」
「规范输出清单」乃化「癸象」而「有」也。
「规范输出清单」者会「根」而
  鉴「根」而
    有（「癸象数组」于「诸规范」）则（
      虑「无」者
        「打印行」于（『规范』附「规范制表」附『定义类』附「规范制表」附『定义名』附「规范制表」附『部分』附「规范制表」
          附『成员类』附「规范制表」附『成员名』附「规范制表」附『显式暴露』）而
          虑「无」者
            「态射」授以「癸象」授以「有」
            于「诸规范」
            于（会「项」而
            虑「名」者
              「规范取文」于（「取字段或空」于「项」于『spec』）而
            鉴（「取字段或空」于「项」于『definitions』）而
              有（「癸象数组」于「诸定义」）
              则（
                虑「无」者
                  「态射」授以「癸象」授以「有」
                  于「诸定义」
                  于（会「定义」而「规范输出定义」于「名」于「定义」）
                而
                「元」
              ）
              或有「其他」则
                「发生事故」授以「有」于『规范缺少定义数组』）
          而
          「元」
    ）
    或有「其他」则
      「发生事故」授以「有」于『规范 AST 根不是数组』
也。