豫豫言文档API ATLAS
入口包说明.html
326 模块3507 名称
← 全部模块

模块 / 302

网页汇编核心/模块验证。豫

网页汇编核心/模块验证。豫

18公开名称

网页检查容量

公开
化「整数」而「有」

暂无说明。

网页指令内存号

公开
化「网页指令」而「整数」

文言:逐令验栈,余值须合所返。汉语:当前全为三十二位整数,因此栈高度同时表达值类型;扩展值类型时必须改为类型栈。

网页指令数据号

公开
化「网页指令」而「整数」

暂无说明。

网页指令全局号

公开
化「网页指令」而「整数」

暂无说明。

网页指令使用存储

公开
化「网页指令」而「爻」

暂无说明。

网页验内存立即数

公开
化「整数」而化「整数」而化「整数」而「有」

暂无说明。

网页签名表

公开
「元类型」

文言:函数签名之表:数组与长,按号取之常时。昔以列表,每调用遍历之,函数至数千则验之需平方之时。汉语:函数签名表:数组加长度,按函数号取签名是常数时间。原先用列表,每条调用指令都要遍历,函数有几千个(如预编后的执行器)时验证变成平方时间。

网页列转签名表

公开
化(「列」于(「整数」合「整数」))而((「数组引用类」于(「整数」合「整数」))合「整数」)

暂无说明。

网页签名表取

公开
化「字符串」而化「整数」而化((「数组引用类」于(「整数」合「整数」))合「整数」)而(「整数」合「整数」)

暂无说明。

网页基本变化

公开
化((「数组引用类」于(「整数」合「整数」))合「整数」)而化「整数」而化「网页指令」而(「整数」合「整数」)

暂无说明。

网页控制帧

公开
「元类型」

文言:帧各守其底,不可达亦验索引。汉语:整数子集以栈高度表达类型;每帧记录种类、入口高度、结果数量和不可达状态。循环标签当前无参数。

网页弹栈验

公开
化(「整数」合「整数」合「整数」合「爻」)而化「整数」而化「整数」而「整数」

暂无说明。

网页封帧验

公开
化(「整数」合「整数」合「整数」合「爻」)而化「整数」而「有」

暂无说明。

网页控制种类

公开
化「网页指令」而「整数」

暂无说明。

网页验控制列

公开
化((「数组引用类」于(「整数」合「整数」))合「整数」)而化「整数」而化「整数」而化(「列」于(「整数」合「整数」合「整数」合「爻」))而化「整数」而化(「列」于「网页指令」)而「有」

暂无说明。

网页验导出

公开
化(「列」于「字符串」)而化((「数组引用类」于(「整数」合「整数」))合「整数」)而化(「列」于(「字符串」合「整数」))而「有」

暂无说明。

验证网页函数核心

公开
化((「列」于(「整数」合「整数」))合(「列」于(「字符串」合「字符串」合「整数」))合(「列」于(「整数」合「整数」合(「列」于「网页指令」)))合(「列」于(「字符串」合「整数」)))而「有」

暂无说明。

验证网页模块

公开
化((「列」于(「整数」合「整数」))合(「列」于(「字符串」合「字符串」合「整数」))合(「列」于(「整数」合「整数」合(「列」于「网页指令」)))合(「列」于(「字符串」合「整数」)))而「有」

暂无说明。