豫言源码浏览器 / Source Browser

浏览项目文件与源码

yuyan · 65 行 · 3728 字节 · UTF-8
§
寻观「标准库」之书。
寻观「标准库」之「数据结构」之「字节串」之书。
寻观「编译器核心」之「网页汇编核心」之「完整类型」之书。
寻观「编译器核心」之「网页汇编核心」之「完整函数体」之书。
寻观「编译器核心」之「网页汇编核心」之「完整控制类型」之书。
寻观「编译器核心」之「网页汇编核心」之「二进制读取」之书。

「:文言:启动段唯载一函数号,参果皆须为空,重复与余字皆拒。汉语:扫描第八段读取唯一启动函数索引,查无尾随字节、段不重复;索引须在导入加定义之合并函数表内有效,且目标类型参数与结果皆为空。无启动段为合法。本书只作验证,从不实际调用启动函数。:」
「网页读取完整启动」乃化「网页类型化代码模块」而(「列」于「整数」)也。
「网页读取完整启动」者会「模」而
  虑「器」者
    (「网页读取器」也(「模」中「一」)与(「新引用」授以「整数」于「八」)与(「字节串长度」于(「模」中「一」)))而
  递归虑「逐段」其化(「列」于「整数」)而(「列」于「整数」)者会「启」而
    若「等于」于(「读引用」授以「整数」于(「器」中「一」))
    于(「器」中「二」)则「启」
    否则
      虑「号」者「网页读字节」于「器」
      而
      虑「子」者「网页读子段」于「器」
      而
      虑「新」者
        若「等于」于「号」于「八」则(
          若「非」于(「等于」于(「长度」授以「整数」于「启」)于「零」)则
            「发生事故」于『启动段不得重复』
          否则
            虑「号数」者「网页读自然」于「子」
            而
            虑「尽」者「网页检查读尽」于「子」而
            「列」【「号数」】
        )否则(虑「跳」者「写引用」授以「整数」于(「子」中「一」)于(「子」中「二」)而「启」)
      而
      虑「尽」者「网页检查读尽」于「子」而
      「逐段」于「新」
  而
  「逐段」于(「罄」授以「整数」)
也。

「网页验证完整启动」乃化「网页类型化代码模块」而「有」也。
「网页验证完整启动」者会「模」而
  虑「接口」者「模」中「零」而
  虑「诸号」者「接口」中「二」而
  虑「总」者「长度」授以「整数」于「诸号」而
  虑「启」者「网页读取完整启动」于「模」而
  若「等于」于(「长度」授以「整数」于「启」)于「零」则
    「元」
  否则
    虑「号」者「第N个」授以「整数」于「零」于「启」
    而
    若「非」于(「小于」于「号」于「总」)则
      「发生事故」于『启动函数索引越界』
    否则
      虑「境」者((「接口」中「零」)中「一」)
      而
      虑「型号」者「第N个」授以「整数」于「号」于「诸号」
      而
      虑「签」者「网页取完整签名」于「境」于「型号」
      而
      若「非」于(「等于」于(「长度」授以「网页完整值型」于(「签」中「零」))于「零」)则
        「发生事故」于『启动函数不得有参数』
      否则
        若「非」于(「等于」于(「长度」授以「网页完整值型」于(「签」中「一」))于「零」)则
          「发生事故」于『启动函数不得有结果』
        否则
          「元」
也。