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

寻观「标准库」之「豫言标准内核」之书。
寻观「标准库」之「数据结构」之「字符串术」之书。
寻观「标准库」之「数据结构」之「整数操作」之书。
寻观「癸象工具」之「总集」之书。
寻观「云工宿主」之「事件」之书。
寻观「云工宿主」之「句柄」之书。
寻观「云工宿主」之「请求」之书。
寻观「云工宿主」之「持久对象」之书。
寻观「云工宿主」之「持久对象内部」之书。

「：文言：事务内验两键，改之或复之；主役仅转请求。汉语：在事务回调中读取两项旧值并决定更新或回滚，Worker 只转发请求。：」
若「字符串相等吗」于（「云工事件种类」于「元」）于『durable-transaction』则（
 虑「事务名」者「云工持久事务名」于「元」而
 若「字符串相等吗」于「事务名」于『提交』则（
  虑「账」者「云工持久读取文字」于『账』而
  虑「客」者「云工持久读取文字」于『客』而
  若「且」于（「字符串相等吗」于（「账」中「一」）于『10』）于（「字符串相等吗」于（「客」中「一」）于『3』）则（
   虑「无」者「云工持久写入文字」于『账』于『9』而
   虑「无」者「云工持久写入文字」于『客』于『4』而
   「云工持久事务输出」于『已提交』）
  否则「云工持久事务输出」于『旧值错误』）
 否则若「字符串相等吗」于「事务名」于『异常』则（
  虑「无」者「云工持久写入文字」于『账』于『0』而
  虑「无」者「云工持久写入文字」于『客』于『0』而
  「发生事故」于『事务测试异常』）
 否则若「字符串相等吗」于「事务名」于『列举』则（
  虑「无」者「云工持久写入文字」于『项:d』于『丁』而
  虑「所见」者「云工持久列举值文」于『{"prefix":"项:","startAfter":"项:c"}』而
  虑「无」者「云工持久事务回滚」于「元」而
  「云工持久事务输出」于「所见」）
 否则若「字符串相等吗」于「事务名」于『批量』则（
  虑「无」者「云工持久批写值文」于『{"批:b":"乙","批:c":"丙"}』于『{}』而
  虑「所见」者「云工持久批读值文」于『["批:c","批:b"]』于『{}』而
  虑「无」者「云工持久事务回滚」于「元」而
  「云工持久事务输出」于「所见」）
 否则若「字符串相等吗」于「事务名」于『缺键』则（
  虑「原账对」者「云工持久读取值文」于『不存在的总账』而
  虑「原桶对」者「云工持久读取值文」于『不存在的客簿』而
  虑「原桶」者若「原桶对」中「零」则「癸象解析」于（「原桶对」中「一」）否则「癸象对象」于（「列」【『day』与（「癸象字符串」于『今』）】）而
  若「且」于（「非」于（「原账对」中「零」））于（「字符串相等吗」于（「癸象表示」于「原桶」）于『{"day":"今"}』）
  则「云工持久事务输出」于『缺键事务通过』
  否则「云工持久事务输出」于『缺键事务错误』）
 否则若「字符串相等吗」于「事务名」于『缺键安全』则（
  虑「无」者「云工持久写入值文」于『安全测试值』于『{"n":1}』而
  虑「缺」者「云工持久读取值安全文」于『安全测试缺键』而
  虑「有」者「云工持久读取值安全文」于『安全测试值』而
  虑「无」者「云工持久事务回滚」于「元」而
  若「且」于（「字符串相等吗」于「缺」于『{"存在":false}』）于（「字符串相等吗」于「有」于『{"存在":true,"值":{"n":1}}』）
  则「云工持久事务输出」于『缺键安全通过』
  否则「云工持久事务输出」于（『缺键安全失败|』附「缺」附『|』附「有」））
 否则（
  虑「无」者「云工持久写入文字」于『账』于『0』而
  虑「无」者「云工持久写入文字」于『客』于『0』而
  虑「无」者「云工持久事务回滚」于「元」而
  「云工持久事务输出」于『已回滚』））
否则若「字符串相等吗」于（「云工事件种类」于「元」）于『durable-fetch』则（
 虑「请求」者「读取云工请求」于「元」而
 若「是子字符串吗」于『/init』于「请求」则（
  虑「无」者「云工持久写入文字」于『账』于『10』而
  虑「无」者「云工持久写入文字」于『客』于『3』而
  虑「无」者「云工持久写入文字」于『项:a』于『甲』而
  虑「无」者「云工持久写入文字」于『项:b』于『乙』而
  虑「无」者「云工持久写入文字」于『项:c』于『丙』而
  虑「无」者「云工持久写入值文」于『结构:一』于『{"n":1}』而
  「设置云工响应」于「二零零」于『text/plain』于『已初始化』）
 否则若「是子字符串吗」于『/commit』于「请求」则
  「设置云工响应」于「二零零」于『text/plain』于（「云工持久事务执行」于『提交』）
 否则若「是子字符串吗」于『/rollback』于「请求」则
  「设置云工响应」于「二零零」于『text/plain』于（「云工持久事务执行」于『回滚』）
 否则若「是子字符串吗」于『/fail』于「请求」则
  「设置云工响应」于「二零零」于『text/plain』于（「云工持久事务执行」于『异常』）
 否则若「是子字符串吗」于『/missing-check』于「请求」则
  「设置云工响应」于「二零零」于『text/plain』于（「云工持久事务执行」于『缺键』）
 否则若「是子字符串吗」于『/missing-safe-check』于「请求」则
  「设置云工响应」于「二零零」于『text/plain』于（「云工持久事务执行」于『缺键安全』）
 否则若「是子字符串吗」于『/list-check』于「请求」则（
  虑「前缀」者「云工持久列举值文」于『{"prefix":"项:"}』而
  虑「逆序」者「云工持久列举值文」于『{"prefix":"项:","reverse":true,"limit":2}』而
  虑「续页」者「云工持久列举值文」于『{"prefix":"项:","startAfter":"项:a","limit":1}』而
  虑「区间」者「云工持久列举值文」于『{"start":"项:b","end":"项:c"}』而
  虑「事务」者「云工持久事务执行」于『列举』而
  虑「事后」者「云工持久列举值文」于『{"prefix":"项:","startAfter":"项:c"}』而
  虑「结构」者「癸象表示」于（「云工持久列举癸象」于（「癸象解析」于『{"prefix":"结构:"}』））而
  若「且」于（「字符串相等吗」于「前缀」于『[["项:a","甲"],["项:b","乙"],["项:c","丙"]]』）于
   （「且」于（「字符串相等吗」于「逆序」于『[["项:c","丙"],["项:b","乙"]]』）于
    （「且」于（「字符串相等吗」于「续页」于『[["项:b","乙"]]』）于
     （「且」于（「字符串相等吗」于「区间」于『[["项:b","乙"]]』）于
      （「且」于（「字符串相等吗」于「事务」于『[["项:d","丁"]]』）于（「且」于（「字符串相等吗」于「事后」于『[]』）于（「字符串相等吗」于「结构」于『[["结构:一",{"n":1}]]』））））））
  则「设置云工响应」于「二零零」于『text/plain』于『持久列举通过』
  否则「设置云工响应」于「二零零」于『text/plain』于（『持久列举失败|』附「前缀」附『|』附「逆序」附『|』附「续页」附『|』附「区间」附『|』附「事务」附『|』附「事后」附『|』附「结构」））
 否则若「是子字符串吗」于『/bulk-check』于「请求」则（
  虑「无」者「云工持久批写癸象」于（「癸象解析」于『{"批:a":"甲","批:b":{"n":2},"批:c":"丙"}』）于（「癸象解析」于『{}』）而
  虑「所见」者「癸象表示」于（「云工持久批读癸象」于（「癸象解析」于『["批:c","批:无","批:a","批:b"]』）于（「癸象解析」于『{}』））而
  虑「已删」者「云工持久批删癸象」于（「癸象解析」于『["批:b","批:无","批:c"]』）于（「癸象解析」于『{}』）而
  虑「删后」者「云工持久批读值文」于『["批:a","批:b","批:c"]』于『{}』而
  虑「事务」者「云工持久事务执行」于『批量』而
  虑「事后」者「云工持久批读值文」于『["批:a","批:b","批:c"]』于『{}』而
  若「且」于（「字符串相等吗」于「所见」于『[["批:a","甲"],["批:b",{"n":2}],["批:c","丙"]]』）于
   （「且」于（「等于」于「已删」于（「理解整数」于『2』））于
    （「且」于（「字符串相等吗」于「删后」于『[["批:a","甲"]]』）于
     （「且」于（「字符串相等吗」于「事务」于『[["批:b","乙"],["批:c","丙"]]』）于（「字符串相等吗」于「事后」于『[["批:a","甲"]]』））））
  则「设置云工响应」于「二零零」于『text/plain』于『持久批量通过』
  否则「设置云工响应」于「二零零」于『text/plain』于（『持久批量失败|』附「所见」附『|』附（「整数表示」于「已删」）附『|』附「删后」附『|』附「事务」附『|』附「事后」））
 否则（
  虑「账」者「云工持久读取文字」于『账』而
  虑「客」者「云工持久读取文字」于『客』而
  「设置云工响应」于「二零零」于『text/plain』于（（「账」中「一」）附『|』附（「客」中「一」））））
否则（
 虑「请求号」者「云工请求句柄」于「元」而
 虑「网址文」者「云工读取属性」于「请求号」于『url』而
 虑「网址」者鉴（「癸象解析」于「网址文」）而有（「癸象字符串」于「文」）则「文」或有「其他」则「发生事故」授以「字符串」于『请求网址非文』而
 虑「结果」者「云工持久对象请求文字」于『测试对象』于『同一对象』于『GET』于「网址」于『』而
 「设置云工响应」于「二零零」于『text/plain』于「结果」）。