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

寻观「底层库」之书。
寻观「客体二号」之「布局」之书。
寻观「客体二号」之「平台」之书。
寻观「客体二号」之「基础」之书。
寻观「客体二号」之「实例」之书。
寻观「客体二号」之「模块」之书。
寻观「客体二号」之「堆」之书。
寻观「客体二号」之「对象」之书。

「：文言：宿主之对象：字节串、元组、大整之构与拆，及十进制之转。汉语：宿主调用的值表示（见运行时的 WasmGC 类型）：整数 = i31 立即数或 $big 结构（i64）；字节串 = $bytes 数组（i8）；元组 = $tuple 数组（eqref）。宿主对象的类型由客体模块导出的原型全局取得。：」
「串_字节数组」者（「静态串」于『yy_bytes』）也。

「串_元组」者（「静态串」于『yy_tuple』）也。

「串_大整」者（「静态串」于『yy_big』）也。

「串_浮点」者（「静态串」于『yy_float』）也。

「取原型类型」乃化「整数」而「整数」也。
「取原型类型」者会「导出名」而
  虑「全局号」者「查导出」于「导出名」而
  若「小于」于「全局号」于「零」则
    「负一」
  否则
    「位与」
      于（「读四」于（「读四」于（「加」于（「读四」于「状态_全局表」）于（「乘」于「全局号」于「八」））））
      于「六五五三五」
也。

「发现宿主类型」乃化「有」而「有」也。
「发现宿主类型」者会「无」而
  虑「无」者
    （「写四」于「状态_型字节」于（「取原型类型」于「串_字节数组」））而
    虑「无」者
      （「写四」于「状态_型元组」于（「取原型类型」于「串_元组」））而
      虑「无」者
        （「写四」于「状态_型大整」于（「取原型类型」于「串_大整」））
      而
      「写四」于「状态_型浮点」于（「取原型类型」于「串_浮点」）
也。

「：文言：对象之构。汉语：构造宿主对象：新字节数组、新元组（长度写在偏移 8，元素从偏移 16 起）；装箱（能放进 i31 者用立即数，否则用 $big 结构）；拆箱到 8 字节槽。：」
「新数组对象」乃化「整数」而化「整数」而「整数」也。
「新数组对象」者会「类型号」而会「长」而
  虑「对象」者
    「分配对象」于（「数组字节」于「类型号」于「长」）于「种类数组」于「类型号」而
    虑「无」者（「写字段」于「对象」于「八」于「长」）而
    「对象」
也。

「新字节数组」乃化「整数」而「整数」也。
「新字节数组」者会「长」而
  「新数组对象」于（「读四」于「状态_型字节」）于「长」
也。

「新元组」乃化「整数」而「整数」也。
「新元组」者会「长」而
  「新数组对象」于（「读四」于「状态_型元组」）于「长」
也。

「能装立即数」乃化「整数」而化「整数」而「爻」也。
「能装立即数」者会「低」而会「高」而
  「且」
    于（「等」于「高」于（「有符号右移」于「低」于「三一」））
    于（「或者」
      于（「等零」于（「有符号右移」于「低」于「三零」））
      于（「等」于（「有符号右移」于「低」于「三零」）于「负一」））
也。

「装箱」乃化「整数」而化「整数」而「整数」也。
「装箱」者会「低」而会「高」而
  若「能装立即数」于「低」于「高」
  则
    「位或」于（「左移」于「低」于「一」）于「一」
  否则
    虑「类型号」者「读四」于「状态_型大整」而
    虑「对象」者
      「分配对象」于（「结构字节」于「类型号」）于「种类结构」于「类型号」
    而
    虑「无」者（「写字段」于「对象」于「八」于「低」）而
    虑「无」者（「写字段」于「对象」于「一二」于「高」）而
    「对象」
也。

「装箱整」乃化「整数」而「整数」也。
「装箱整」者会「值」而
  「装箱」于「值」于（「有符号右移」于「值」于「三一」）
也。

「拆箱」乃化「整数」而化「整数」而「有」也。
「拆箱」者会「引用」而会「槽」而
  虑「无」者（「空引用检」于「引用」）而
  若「不等于」于（「位与」于「引用」于「一」）于「零」
  则
    「宽存」于「槽」于（「有符号右移」于「引用」于「一」）于（「有符号右移」于「引用」于「三一」）
  否则
    「宽存」于「槽」于（「读字段」于「引用」于「八」）于（「读字段」于「引用」于「一二」）
也。

「字节数组长」乃化「整数」而「整数」也。
「字节数组长」者会「对象」而
  「读字段」于「对象」于「八」
也。

「字节数组址」乃化「整数」而「整数」也。
「字节数组址」者会「对象」而
  「加」于「对象」于「一六」
也。

「打印字节数组」乃化「整数」而「有」也。
「打印字节数组」者会「对象」而
  虑「无」者（「空引用检」于「对象」）而
  「打印串」于（「字节数组址」于「对象」）于（「字节数组长」于「对象」）
也。

「元组项」乃化「整数」而化「整数」而「整数」也。
「元组项」者会「元组」而会「序」而
  虑「无」者（「空引用检」于「元组」）而
  虑「无」者
    （「若则致命」
      于（「无符号大等」于「序」于（「读字段」于「元组」于「八」））于「一二七」
        于（「静态串」于『宿主参数个数不足』））
  而
  「读四」于（「加」于（「加」于「元组」于「一六」）于（「乘」于「序」于「四」））
也。

「设元组项」乃化「整数」而化「整数」而化「整数」而「有」也。
「设元组项」者会「元组」而会「序」而会「值」而
  「写四」于（「加」于（「加」于「元组」于「一六」）于（「乘」于「序」于「四」））于「值」
也。

「主机名相同」乃化「整数」而化「整数」而「爻」也。
「主机名相同」者会「名」而会「串」而
  若「不等于」于（「字节数组长」于「名」）于（「零串长」于「串」）则
    「阴」
  否则
    「相同字节」于（「字节数组址」于「名」）于「串」于（「字节数组长」于「名」）
也。

「字节串常量」乃化「整数」而「整数」也。
「字节串常量」者会「串」而
  虑「长」者「零串长」于「串」而
  虑「对象」者「新字节数组」于「长」而
  虑「无」者（「拷贝」于（「加」于「对象」于「一六」）于「串」于「长」）而
  「对象」
也。