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

寻观「标准库」之书。
寻观「癸象工具」之「总集」之书。
寻观「云工宿主」之「核心」之书。

「字段命中」乃化（「列」于（「字符串」合「癸象」））而化「字符串」而「癸象」也。
「字段命中」者会「项」而会「名」而
  鉴（「滤」授以（「字符串」合「癸象」）于（会「一项」而「串相等」于（「一项」中「零」）于「名」）于「项」）而
    有（「缀」于「首」于「余」）则（「首」中「一」）
    或有「其他」则「癸象空」
也。

「字段」乃化「癸象」而化「字符串」而「癸象」也。
「字段」者会「值」而会「名」而
  鉴「值」而
    有（「癸象对象」于「项」）则
      「字段命中」于「项」于「名」
    或有「其他」则「癸象空」
也。

「验当前事务」乃化「有」而「有」也。
「验当前事务」者会「无」而
  若「串相等」于（「云工事件种类」于「元」）于『durable-transaction』则
    「元」
  否则
    「发生事故」授以「有」于『当前事件没有持久事务』
也。

「：文言：键须一至二千零四十八字节，越则败而可捕。汉语：持久键按 UTF-8 计须为 1 至 2048 字节，越界抛可捕获的豫言异常。：」
「验持久键」乃化「字符串」而「有」也。
「验持久键」者会「键」而
  若「或者」于（「小于」于（「字节长度」于「键」）于「一」）于（「大于」于（「字节长度」于「键」）于「二零四八」）
  则
    「发生事故」授以「有」于『持久键须为 1 至 2048 字节』
  否则
    「元」
也。

「：文言：事务之败归于值，此处转为可捕之事故；平台已撤诸写。汉语：事务处理入口抛错、缺少结果或存储失败时，宿主已回滚全部写入；这里把失败转成可用「尝试运行」捕获的豫言异常，消息保留原因文字。：」
「执行持久事务」乃化「字符串」而「字符串」也。
「执行持久事务」者会「参数」而
  虑「净参」者「癸象表示」于（「癸象解析」于「参数」）而
  虑「结果」者「云工持久事务执行安全」于「净参」而
  若「结果」中「零」则
    「癸象表示」于（「癸象解析」于（「结果」中「一」））
  否则
    「发生事故」授以「字符串」于（『持久事务失败：』附（「结果」中「一」））
也。

「读取持久事务参数」乃化「有」而「字符串」也。
「读取持久事务参数」者会「无」而
  虑「无」者「验当前事务」于「元」而
  「癸象表示」于（「癸象解析」于（「云工持久事务名」于「元」））
也。

「：文言：读值径取宿主所书之 JSON 文，不再经豫言析而复书，控制字符与增补平面字皆不失。汉语：返回存在标记和宿主序列化的 JSON 文字（不在豫言里解析再表示）；缺键为阴与空字符串，已存 JSON null 为阳与 null。：」
「读取持久事务键值」乃化「字符串」而（「爻」合「字符串」）也。
「读取持久事务键值」者会「键」而
  虑「无」者「验当前事务」于「元」而
  虑「无」者「验持久键」于「键」而
  「云工持久读取值文」于「键」
也。

「：文言：写值先验于宿主原生 JSON、大小与保留形，败则可捕之事故。汉语：值须为有效 JSON 文字、不超过 2 MiB 且不含宿主保留的单键对象；违反时抛可捕获的豫言异常，写入随事务回滚。：」
「写入持久事务键值」乃化「字符串」而化「字符串」而「有」也。
「写入持久事务键值」者会「键」而会「值」而
  虑「无」者「验当前事务」于「元」而
  虑「无」者「验持久键」于「键」而
  虑「结果」者「云工持久写入值安全」于「键」于「值」而
  若「结果」中「零」则
    「元」
  否则
    「发生事故」授以「有」于（『持久事务写入失败：』附（「结果」中「一」））
也。

「完成持久事务」乃化「字符串」而「有」也。
「完成持久事务」者会「结果」而
  虑「无」者「验当前事务」于「元」而
  「云工持久事务输出」于（「癸象表示」于（「癸象解析」于「结果」））
也。

「：文言：仓外直取，惟持久对象之普通事可行；事务入口内当用事务之术。汉语：直接访问持久仓的函数只在持久对象事件中可用，且不能在 durable-transaction 处理入口内使用（那里的读写必须属于当前事务）。：」
「验持久仓事件」乃化「有」而「有」也。
「验持久仓事件」者会「无」而
  虑「种类」者「云工事件种类」于「元」而
  若「串相等」于「种类」于『durable-transaction』则
    「发生事故」授以「有」
    于『持久事务处理入口内须用持久事务函数，不可直接访问持久仓』
  否则
    若「串开头是它吗」于『durable-』于「种类」则「元」否则「发生事故」授以「有」
    于『当前事件不属于持久对象』
也。

「删除持久事务键」乃化「字符串」而「有」也。
「删除持久事务键」者会「键」而
  虑「无」者「验当前事务」于「元」而
  虑「无」者「验持久键」于「键」而
  虑「已删」者「云工持久删除」于「键」而
  「元」
也。

「列举持久事务键值」乃化「字符串」而「字符串」也。
「列举持久事务键值」者会「选项」而
  虑「无」者「验当前事务」于「元」而
  虑「结果」者「云工持久列举值安全」于「选项」而
  若「结果」中「零」则（「结果」中「一」）否则「发生事故」授以「字符串」
    于（『持久列举失败：』附（「结果」中「一」））
也。

「回滚持久事务」乃化「有」而「有」也。
「回滚持久事务」者会「无」而
  虑「无」者「验当前事务」于「元」而
  「云工持久事务回滚」于「元」
也。

「读取持久仓键值」乃化「字符串」而（「爻」合「字符串」）也。
「读取持久仓键值」者会「键」而
  虑「无」者「验持久仓事件」于「元」而
  虑「无」者「验持久键」于「键」而
  「云工持久读取值文」于「键」
也。

「写入持久仓键值」乃化「字符串」而化「字符串」而「有」也。
「写入持久仓键值」者会「键」而会「值」而
  虑「无」者「验持久仓事件」于「元」而
  虑「无」者「验持久键」于「键」而
  虑「结果」者「云工持久写入值安全」于「键」于「值」而
  若「结果」中「零」则
    「元」
  否则
    「发生事故」授以「有」于（『持久仓写入失败：』附（「结果」中「一」））
也。

「删除持久仓键」乃化「字符串」而「爻」也。
「删除持久仓键」者会「键」而
  虑「无」者「验持久仓事件」于「元」而
  虑「无」者「验持久键」于「键」而
  「云工持久删除」于「键」
也。

「列举持久仓键值」乃化「字符串」而「字符串」也。
「列举持久仓键值」者会「选项」而
  虑「无」者「验持久仓事件」于「元」而
  虑「结果」者「云工持久列举值安全」于「选项」而
  若「结果」中「零」则（「结果」中「一」）否则「发生事故」授以「字符串」
    于（『持久列举失败：』附（「结果」中「一」））
也。

「清空持久仓」乃化「有」而「有」也。
「清空持久仓」者会「无」而
  虑「无」者「验持久仓事件」于「元」而
  「云工持久清仓值文」于『{}』
也。