测试/规范样本/标准/注释穿插控制边界。豫
yuyan · 22 行 · 929 字节 · UTF-8
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
寻观「标准库」之书。
「结果」立「元类型」也。
「已得整数」立化「整数」而「结果」也。
「仍需等待」立「结果」也。
「:文言:诸注各有所附;汉语:以下注释分别附着在条件、分支和局部绑定附近。:」
「处理带注释的结果」乃化「结果」而「整数」也。
「处理带注释的结果」者会「输入」而
鉴「输入」而
有(「已得整数」于「值」)则(
「:文言:先验已得。汉语:第一分支正文的前置注释。:」
虑「翻倍值」者「乘」于「值」于「二」而
若「大于」于「翻倍值」于「一零」则
「翻倍值」
否则
「加」于「翻倍值」于「一」
)
或有「仍需等待」则
「:文言:后验待时。汉语:第二分支正文的前置注释。:」
「零」
也。