寻观「标准库」之书。
寻观「编译器核心」之「编译数据」之「抽象绑定树结构」之「抽象语法树」之「总集」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「词法解析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「抽象语法分析」之书。
寻观「编译器核心」之「编译步骤」之「语法分析」之「注释操作」之书。

「测试成立」乃化「爻」而化「字符串」而「有」也。
「测试成立」者会「条件」而会「信息」而若「条件」则「元」否则「发生事故」于「信息」也。

「表达式含指定内部注释」乃化「表达式」而「爻」也。
「表达式含指定内部注释」者会「式」而
    鉴「式」而
        有（「式节点」于（「带注释节点」于「前注释」于「后注释」）于（（「列」【「原式」】）））则
            若（「且」于
                （「且」于（「等」于（「长度」于「前注释」）于「一」）于（「串相等」于（「第N个」于「零」于「前注释」）于『绑定前』））于
                （「且」于（「等」于（「长度」于「后注释」）于「一」）于（「串相等」于（「第N个」于「零」于「后注释」）于『绑定后』）））
            则「阳」
            否则「表达式含指定内部注释」于「原式」
        或有（「式节点」于「忽略节点名」于「子式们」）则
            （「存在吗」授以「表达式」）于「表达式含指定内部注释」于「子式们」
        或有（「绑定」于「忽略名」于「体」）则「表达式含指定内部注释」于「体」
        或有「其他」则「阴」
    也。

「表达式含排版注释」乃化「表达式」而「爻」也。
「表达式含排版注释」者会「式」而
    鉴「式」而
        有（「式节点」于（「带注释节点」于「忽略前注释」于「忽略后注释」）于「忽略子式」）则「阳」
        或有（「式节点」于（「顶层注释节点」于「忽略前注释」于「忽略后注释」）于「忽略子式」）则「阳」
        或有（「式节点」于「忽略节点名」于「子式们」）则（「存在吗」授以「表达式」）于「表达式含排版注释」于「子式们」
        或有（「绑定」于「忽略名」于「体」）则「表达式含排版注释」于「体」
        或有「其他」则「阴」
    也。

虑「注释开」者『「』附『：』而
虑「注释闭」者『：』附『」』而
虑「源码」者
    「注释开」附『顶层注释』附「注释闭」附『「：换行：」』附
    『「甲」者（「：换行：」』附
    『会「：换行：」』附「注释开」附『绑定前』附「注释闭」附『「：换行：」』附
    『「乙」』附「注释开」附『绑定后』附「注释闭」附『而「乙」「：换行：」）也。「：换行：」』附
    「注释开」附『文件尾注释』附「注释闭」而
虑「词法」者「词法解析顶层」于「源码」而
虑「带注释单元」者「抽象语法解析编译单元带注释」于『注释语法测试。豫』于「词法」而
虑「声明列」者「带注释编译单元声明列」于「带注释单元」而
虑「文件尾注释」者「带注释编译单元文件尾注释」于「带注释单元」而
虑「无」者「测试成立」于（「等」于（「长度」于「声明列」）于「一」）于『带注释声明数量不正确』而
虑「声明」者「第N个」于「零」于「声明列」而
虑「声明体」者（鉴「声明」而
    有（「式节点」于（「顶层注释节点」于（（「列」【「顶层文字」】））于「罄」）于（（「列」【「体」】）））则
        （「测试成立」于（「串相等」于「顶层文字」于『顶层注释』）于『顶层注释文字不正确』；「体」）
    或有「其他」则「发生事故」于『声明没有顶层注释节点』）而
虑「无」者「测试成立」于（「表达式含指定内部注释」于「声明体」）于『表达式内部注释没有附着到语法元素』而
虑「无」者「测试成立」于（「且」于（「等」于（「长度」于「文件尾注释」）于「一」）于（「串相等」于（「第N个」于「零」于「文件尾注释」）于『文件尾注释』））于『文件尾注释不正确』而
虑「定义列」者「抽象语法解析编译单元顶层」于『注释语法测试。豫』于「词法」而
虑「无」者「测试成立」于（「等」于（「长度」于「定义列」）于「一」）于『擦除注释后的定义数量不正确』而
虑「无」者「测试成立」于（「非」于（「表达式含排版注释」于（（「第N个」于「零」于「定义列」）中「二」）））于『编译器抽象语法仍然含有排版注释』而
「打印行」于『注释语法测试通过』。
