豫言源码浏览器 / Source Browser

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

寻观「标准库」之书。

「请求事件」立「元类型」也。
  「请求成功并包含用户与序号」立化「字符串」而化「整数」而「请求事件」也。
  「请求失败并包含错误说明」立化「字符串」而「请求事件」也。
  「请求仍在等待更多数据」立「请求事件」也。
  「请求已经主动取消」立「请求事件」也。

「请求事件生成可供审查的详细日志文字」乃化「请求事件」而「字符串」也。
「请求事件生成可供审查的详细日志文字」者会「当前请求事件」而
  鉴「当前请求事件」而
    有（「请求成功并包含用户与序号」于「用户名」于「事件序号」）则
      『请求已成功；用户：』附「用户名」附『；序号：』附（「整数表示」于「事件序号」）
    或有（「请求失败并包含错误说明」于「错误说明」）则
      『请求失败；错误说明：』附「错误说明」
    或有「请求仍在等待更多数据」则
      『请求尚在等待更多数据，当前没有可以提交的最终结果。』
    或有「请求已经主动取消」则
      『请求已经由调用者主动取消，后续结果应予忽略。』
也。