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

接口参考

豫言 / 编译器核心 @ 0.1.0

选择模块,查看其公开名称、中文类型与源码注释。

模块326
公开名称3507
1

测试/分配分析。测试。豫

4 个公开名称

2

测试/创建证明。测试。豫

7 个公开名称

3

测试/单步压缩。测试。豫

17 个公开名称

4

测试/回收编码。测试。豫

14 个公开名称

5

测试/回收运行时生成。豫

0 个公开名称

6

测试/完整初始化证明。测试。豫

14 个公开名称

7

测试/容器逃逸。测试。豫

19 个公开名称

8

测试/差分关系。测试。豫

6 个公开名称

9

测试/差分关系穷举。测试。豫

6 个公开名称

10

测试/影子根保活。测试。豫

3 个公开名称

11

测试/循环关系。测试。豫

14 个公开名称

12

测试/折叠摘要。测试。豫

6 个公开名称

13

测试/整数返回证明。测试。豫

9 个公开名称

14

测试/条件累加。测试。豫

3 个公开名称

15

测试/栈入口生成。测试。豫

9 个公开名称

16

测试/栈前导生成。测试。豫

9 个公开名称

17

测试/栈双步生成。测试。豫

16 个公开名称

18

测试/栈向量填充生成。测试。豫

9 个公开名称

19

测试/栈向量疏号生成。测试。豫

9 个公开名称

20

测试/栈地址生成。测试。豫

17 个公开名称

21

测试/栈填充证明。测试。豫

7 个公开名称

22

测试/栈封闭证明。测试。豫

16 个公开名称

23

测试/栈循环生成。测试。豫

12 个公开名称

24

测试/栈数值生成。测试。豫

12 个公开名称

25

测试/栈表示证明。测试。豫

17 个公开名称

26

测试/栈覆盖证明。测试。豫

12 个公开名称

27

测试/栈调用图。测试。豫

9 个公开名称

28

测试/栈重复访问。测试。豫

7 个公开名称

29

测试/栈长度复用。测试。豫

8 个公开名称

30

测试/栈长度生成。测试。豫

12 个公开名称

31

测试/注释语法。测试。豫

3 个公开名称

32

测试/源码前缀。测试。豫

5 个公开名称

33

测试/私有构造证明。测试。豫

16 个公开名称

34

测试/索引证明。测试。豫

4 个公开名称

35

测试/纯调用复用。测试。豫

10 个公开名称

36

测试/纯调用证明。测试。豫

12 个公开名称

37

测试/线性栈运行时生成。豫

0 个公开名称

38

测试/统一正则。测试。豫

2 个公开名称

39

测试/虚组取值生成。豫

3 个公开名称

40

测试/虚组消费者生成。豫

15 个公开名称

41

测试/虚组调用链。测试。豫

13 个公开名称

42

测试/语义标记。测试。豫

1 个公开名称

43

测试/调用局部分配。测试。豫

7 个公开名称

44

测试/调用逃逸。测试。豫

6 个公开名称

45

测试/进步证明。测试。豫

6 个公开名称

46

测试/递归形态。测试。豫

2 个公开名称

47

测试/邻接消除。测试。豫

3 个公开名称

48

编译数据/抽象绑定树结构/命名环境术。豫

9 个公开名称

49

编译数据/抽象绑定树结构/抽象语法树/内建常量数据。豫

18 个公开名称

50

编译数据/抽象绑定树结构/抽象语法树/内建常量表示方法。豫

1 个公开名称

51

编译数据/抽象绑定树结构/抽象语法树/副作用检查。豫

1 个公开名称

52

编译数据/抽象绑定树结构/抽象语法树/复杂度计算。豫

1 个公开名称

53

编译数据/抽象绑定树结构/抽象语法树/序列化/序列化总集。豫

4 个公开名称

54

编译数据/抽象绑定树结构/抽象语法树/序列化/抽象语法树反序列化工具。豫

5 个公开名称

55

编译数据/抽象绑定树结构/抽象语法树/序列化/抽象语法树反序列化节点名称。豫

6 个公开名称

56

编译数据/抽象绑定树结构/抽象语法树/序列化/抽象语法树序列化工具。豫

16 个公开名称

57

编译数据/抽象绑定树结构/抽象语法树/总集。豫

247 个公开名称

58

编译数据/抽象绑定树结构/抽象语法树/抽象语法友好表示方法。豫

5 个公开名称

59

编译数据/抽象绑定树结构/抽象语法树/抽象语法树基础操作。豫

40 个公开名称

60

编译数据/抽象绑定树结构/抽象语法树/抽象语法树数据。豫

118 个公开名称

61

编译数据/抽象绑定树结构/抽象语法树/抽象语法树方法。豫

39 个公开名称

62

编译数据/抽象绑定树结构/抽象语法树/抽象语法树相等方法。豫

3 个公开名称

63

编译数据/抽象绑定树结构/抽象语法树/抽象语法树表示。豫

8 个公开名称

64

编译数据/抽象绑定树结构/抽象语法树/结构名称操作数据。豫

9 个公开名称

65

编译数据/抽象绑定树结构/检查后定义处理。豫

2 个公开名称

66

编译数据/抽象绑定树结构/模块操作。豫

6 个公开名称

67

编译数据/操作符/内建操作符/内建操作符对象定义。豫

42 个公开名称

68

编译数据/操作符/内建操作符/内建操作符类型定义。豫

9 个公开名称

69

编译数据/操作符/内建操作符/总集。豫

2 个公开名称

70

编译数据/操作符/内建操作符/文言符集。豫

2 个公开名称

71

编译数据/操作符/操作符操作。豫

21 个公开名称

72

编译数据/操作符/操作符数据结构。豫

37 个公开名称

73

编译数据/编译配置/全局配置。豫

52 个公开名称

74

编译数据/编译配置/编译期输出。豫

7 个公开名称

75

编译数据/编译配置/阶段环境。豫

5 个公开名称

76

编译数据/语义标记信息。豫

27 个公开名称

77

编译数据/语言服务信息。豫

57 个公开名称

78

编译步骤/代码生成/主程序生成入口。豫

3 个公开名称

79

编译步骤/代码生成/回收值桥接。豫

17 个公开名称

80

编译步骤/代码生成/回收运行时。豫

45 个公开名称

81

编译步骤/代码生成/底层后端/底层中间式。豫

30 个公开名称

82

编译步骤/代码生成/底层后端/底层化简。豫

6 个公开名称

83

编译步骤/代码生成/底层后端/底层提升。豫

14 个公开名称

84

编译步骤/代码生成/底层后端/底层模块。豫

30 个公开名称

85

编译步骤/代码生成/底层后端/底层求值。豫

34 个公开名称

86

编译步骤/代码生成/底层后端/底层生成。豫

28 个公开名称

87

编译步骤/代码生成/底层后端/底层读取。豫

32 个公开名称

88

编译步骤/代码生成/统一网页汇编。豫

37 个公开名称

89

编译步骤/代码生成/网页汇编分配分析。豫

4 个公开名称

90

编译步骤/代码生成/网页汇编创建证明。豫

6 个公开名称

91

编译步骤/代码生成/网页汇编初始化证明。豫

15 个公开名称

92

编译步骤/代码生成/网页汇编双整组。豫

12 个公开名称

93

编译步骤/代码生成/网页汇编双步生成。豫

12 个公开名称

94

编译步骤/代码生成/网页汇编容器逃逸。豫

5 个公开名称

95

编译步骤/代码生成/网页汇编差分关系。豫

12 个公开名称

96

编译步骤/代码生成/网页汇编循环入口。豫

5 个公开名称

97

编译步骤/代码生成/网页汇编循环关系。豫

7 个公开名称

98

编译步骤/代码生成/网页汇编折叠摘要。豫

18 个公开名称

99

编译步骤/代码生成/网页汇编整数专门化。豫

18 个公开名称

100

编译步骤/代码生成/网页汇编条件累加。豫

1 个公开名称

101

编译步骤/代码生成/网页汇编构造常量。豫

10 个公开名称

102

编译步骤/代码生成/网页汇编栈入口。豫

2 个公开名称

103

编译步骤/代码生成/网页汇编栈前导。豫

1 个公开名称

104

编译步骤/代码生成/网页汇编栈后端。豫

7 个公开名称

105

编译步骤/代码生成/网页汇编栈向量填充。豫

2 个公开名称

106

编译步骤/代码生成/网页汇编栈地址归纳。豫

4 个公开名称

107

编译步骤/代码生成/网页汇编栈填充证明。豫

10 个公开名称

108

编译步骤/代码生成/网页汇编栈封闭证明。豫

8 个公开名称

109

编译步骤/代码生成/网页汇编栈循环守卫。豫

2 个公开名称

110

编译步骤/代码生成/网页汇编栈数值生成。豫

11 个公开名称

111

编译步骤/代码生成/网页汇编栈标量活性。豫

5 个公开名称

112

编译步骤/代码生成/网页汇编栈表示证明。豫

5 个公开名称

113

编译步骤/代码生成/网页汇编栈覆盖证明。豫

2 个公开名称

114

编译步骤/代码生成/网页汇编栈调用图。豫

5 个公开名称

115

编译步骤/代码生成/网页汇编栈重复访问。豫

3 个公开名称

116

编译步骤/代码生成/网页汇编栈长度复用。豫

2 个公开名称

117

编译步骤/代码生成/网页汇编混合整数。豫

18 个公开名称

118

编译步骤/代码生成/网页汇编私有整组。豫

30 个公开名称

119

编译步骤/代码生成/网页汇编私有构造。豫

27 个公开名称

120

编译步骤/代码生成/网页汇编私有签名。豫

6 个公开名称

121

编译步骤/代码生成/网页汇编私有返回。豫

7 个公开名称

122

编译步骤/代码生成/网页汇编索引证明。豫

2 个公开名称

123

编译步骤/代码生成/网页汇编纯调用复用。豫

5 个公开名称

124

编译步骤/代码生成/网页汇编纯调用证明。豫

3 个公开名称

125

编译步骤/代码生成/网页汇编线性栈基础。豫

1 个公开名称

126

编译步骤/代码生成/网页汇编编码基础。豫

45 个公开名称

127

编译步骤/代码生成/网页汇编虚组入口。豫

4 个公开名称

128

编译步骤/代码生成/网页汇编虚组取值。豫

6 个公开名称

129

编译步骤/代码生成/网页汇编虚组整数。豫

2 个公开名称

130

编译步骤/代码生成/网页汇编虚组消费。豫

1 个公开名称

131

编译步骤/代码生成/网页汇编虚组生成。豫

6 个公开名称

132

编译步骤/代码生成/网页汇编虚组调用链。豫

5 个公开名称

133

编译步骤/代码生成/网页汇编融合入口。豫

9 个公开名称

134

编译步骤/代码生成/网页汇编融合构造。豫

2 个公开名称

135

编译步骤/代码生成/网页汇编调用逃逸。豫

13 个公开名称

136

编译步骤/代码生成/网页汇编返回证明。豫

1 个公开名称

137

编译步骤/代码生成/网页汇编进步证明。豫

4 个公开名称

138

编译步骤/代码生成/网页汇编递归形态。豫

2 个公开名称

139

编译步骤/代码生成/网页汇编邻接消除。豫

1 个公开名称

140

编译步骤/优化/函数参数优化。豫

1 个公开名称

141

编译步骤/优化/前优化入口。豫

5 个公开名称

142

编译步骤/优化/前函数续延化变换。豫

3 个公开名称

143

编译步骤/优化/基础工具/定义查找。豫

1 个公开名称

144

编译步骤/优化/基础工具/表达式带定义操作。豫

6 个公开名称

145

编译步骤/优化/尾调用优化。豫

2 个公开名称

146

编译步骤/优化/栈分配优化。豫

3 个公开名称

147

编译步骤/优化/树组优化框架。豫

1 个公开名称

148

编译步骤/优化/结构顶层绑定优化。豫

1 个公开名称

149

编译步骤/优化/跨文件优化/去柯里化。豫

5 个公开名称

150

编译步骤/优化/跨文件优化/常量内联。豫

21 个公开名称

151

编译步骤/优化/跨文件优化/跨文件优化入口。豫

1 个公开名称

152

编译步骤/名称解析/名称解析。豫

13 个公开名称

153

编译步骤/总体过程/中间语言。测试。豫

10 个公开名称

154

编译步骤/总体过程/中间语言。豫

23 个公开名称

155

编译步骤/总体过程/中间语言性能。豫

1 个公开名称

156

编译步骤/总体过程/中间阶段。测试。豫

4 个公开名称

157

编译步骤/总体过程/中间阶段工具。豫

4 个公开名称

158

编译步骤/总体过程/中间阶段检查。豫

6 个公开名称

159

编译步骤/总体过程/中间阶段集成。测试。豫

4 个公开名称

160

编译步骤/总体过程/分布编译步骤。豫

23 个公开名称

161

编译步骤/总体过程/单一编译工作。豫

1 个公开名称

162

编译步骤/总体过程/编译文件缓存工具。豫

29 个公开名称

163

编译步骤/总体过程/编译过程。豫

2 个公开名称

164

编译步骤/总体过程/编译过程工具。豫

11 个公开名称

165

编译步骤/总体过程/阶段文件写入。测试。豫

1 个公开名称

166

编译步骤/总体过程/阶段样例。测试。豫

5 个公开名称

167

编译步骤/总体过程/阶段源码基础。豫

28 个公开名称

168

编译步骤/总体过程/阶段源码性能。豫

0 个公开名称

169

编译步骤/总体过程/阶段节点语法。豫

2 个公开名称

170

编译步骤/求值正则变换/无类型正则变换。豫

7 个公开名称

171

编译步骤/求值正则变换/正则无副作用消除。豫

2 个公开名称

172

编译步骤/求值正则变换/统一正则数据。豫

50 个公开名称

173

编译步骤/求值正则变换/统一正则构造。豫

11 个公开名称

174

编译步骤/求值正则变换/统一正则验证。豫

2 个公开名称

175

编译步骤/求值正则变换/顶层。豫

3 个公开名称

176

编译步骤/类型标注擦除/当前续延调用转换。豫

1 个公开名称

177

编译步骤/类型标注擦除/模式匹配展开。豫

5 个公开名称

178

编译步骤/类型标注擦除/模式匹配消除。豫

2 个公开名称

179

编译步骤/类型标注擦除/模式匹配转换处理。豫

4 个公开名称

180

编译步骤/类型标注擦除/类型擦除。豫

2 个公开名称

181

编译步骤/类型标注擦除/转换擦除顶层。豫

2 个公开名称

182

编译步骤/类型标注擦除/隐式参数擦除。豫

2 个公开名称

183

编译步骤/类型检查/函数应用隐式参数合成。豫

18 个公开名称

184

编译步骤/类型检查/对象类型检查。豫

2 个公开名称

185

编译步骤/类型检查/文件结构检查。豫

9 个公开名称

186

编译步骤/类型检查/模式匹配类型检查。豫

3 个公开名称

187

编译步骤/类型检查/模式合一。豫

2 个公开名称

188

编译步骤/类型检查/模式合一结构比较。豫

8 个公开名称

189

编译步骤/类型检查/类型检查基础。豫

9 个公开名称

190

编译步骤/类型检查/类型检查工具。豫

8 个公开名称

191

编译步骤/类型检查/类型类型检查。豫

6 个公开名称

192

编译步骤/语法分析/具体语法树。豫

2 个公开名称

193

编译步骤/语法分析/函数合集。豫

9 个公开名称

194

编译步骤/语法分析/导入解析。豫

1 个公开名称

195

编译步骤/语法分析/导入预测。豫

2 个公开名称

196

编译步骤/语法分析/抽象语法分析。豫

25 个公开名称

197

编译步骤/语法分析/抽象语法分析工具。豫

7 个公开名称

198

编译步骤/语法分析/整数小数解析。豫

8 个公开名称

199

编译步骤/语法分析/注释操作。豫

22 个公开名称

200

编译步骤/语法分析/源码语义标记。豫

2 个公开名称

201

编译步骤/语法分析/表达式解析。豫

21 个公开名称

202

编译步骤/语法分析/表达式解析输入分析。豫

8 个公开名称

203

编译步骤/语法分析/词法解析。豫

12 个公开名称

204

编译步骤/闭包转换/全局结构变量储存变换。豫

5 个公开名称

205

编译步骤/闭包转换/函数提升。豫

2 个公开名称

206

编译步骤/闭包转换/正则前闭包转换。豫

1 个公开名称

207

编译步骤/闭包转换/递归节点闭包前变换。豫

2 个公开名称

208

编译步骤/闭包转换/闭包转换顶层。豫

7 个公开名称

209

编译辅助工具/命令行/可打印文档。豫

2 个公开名称

210

编译辅助工具/命令行/命令行参数处理。豫

1 个公开名称

211

编译辅助工具/命令行/版本管理。豫

1 个公开名称

212

编译辅助工具/调试工具/调试入口。豫

8 个公开名称

213

网页汇编核心/中文文本。豫

15 个公开名称

214

网页汇编核心/二进制生成。豫

12 个公开名称

215

网页汇编核心/二进制读取。豫

22 个公开名称

216

网页汇编核心/位运算。测试。豫

5 个公开名称

217

网页汇编核心/位运算用例。豫

3 个公开名称

218

网页汇编核心/内存指令。测试。豫

15 个公开名称

219

网页汇编核心/内存指令执行。豫

1 个公开名称

220

网页汇编核心/回收文本。豫

31 个公开名称

221

网页汇编核心/回收模块。豫

208 个公开名称

222

网页汇编核心/回收编码。豫

87 个公开名称

223

网页汇编核心/复合类型匹配。测试。豫

7 个公开名称

224

网页汇编核心/复合类型匹配。豫

8 个公开名称

225

网页汇编核心/外部模块。测试。豫

26 个公开名称

226

网页汇编核心/外部模块。豫

13 个公开名称

227

网页汇编核心/字节通道。豫

1 个公开名称

228

网页汇编核心/存储二进制。豫

11 个公开名称

229

网页汇编核心/存储模块。测试。豫

22 个公开名称

230

网页汇编核心/存储模块。豫

12 个公开名称

231

网页汇编核心/完整全局。测试。豫

3 个公开名称

232

网页汇编核心/完整全局验证。豫

3 个公开名称

233

网页汇编核心/完整内存。测试。豫

3 个公开名称

234

网页汇编核心/完整内存指令。测试。豫

3 个公开名称

235

网页汇编核心/完整内存验证。豫

3 个公开名称

236

网页汇编核心/完整函数体。测试。豫

5 个公开名称

237

网页汇编核心/完整函数体。豫

6 个公开名称

238

网页汇编核心/完整函数接口。测试。豫

6 个公开名称

239

网页汇编核心/完整函数接口。豫

9 个公开名称

240

网页汇编核心/完整分支表。测试。豫

3 个公开名称

241

网页汇编核心/完整启动。测试。豫

3 个公开名称

242

网页汇编核心/完整启动验证。豫

2 个公开名称

243

网页汇编核心/完整异常。测试。豫

3 个公开名称

244

网页汇编核心/完整捕获。测试。豫

3 个公开名称

245

网页汇编核心/完整控制类型。测试。豫

9 个公开名称

246

网页汇编核心/完整控制类型。豫

5 个公开名称

247

网页汇编核心/完整数据验证。豫

2 个公开名称

248

网页汇编核心/完整标签验证。豫

2 个公开名称

249

网页汇编核心/完整类型。测试。豫

3 个公开名称

250

网页汇编核心/完整类型。豫

39 个公开名称

251

网页汇编核心/完整类型栈。测试。豫

11 个公开名称

252

网页汇编核心/完整类型栈。豫

13 个公开名称

253

网页汇编核心/完整类型读取。测试。豫

5 个公开名称

254

网页汇编核心/完整类型读取。豫

10 个公开名称

255

网页汇编核心/完整结构指令。测试。豫

3 个公开名称

256

网页汇编核心/完整表调用。测试。豫

3 个公开名称

257

网页汇编核心/完整表验证。豫

3 个公开名称

258

网页汇编核心/完整调用。测试。豫

3 个公开名称

259

网页汇编核心/完整选择指令。测试。豫

3 个公开名称

260

网页汇编核心/客体内存执行。豫

1 个公开名称

261

网页汇编核心/客体区段。豫

4 个公开名称

262

网页汇编核心/客体堆。测试。豫

5 个公开名称

263

网页汇编核心/客体堆。豫

6 个公开名称

264

网页汇编核心/客体复合全局初置。豫

1 个公开名称

265

网页汇编核心/客体复合类型索引。豫

3 个公开名称

266

网页汇编核心/客体宽除。豫

2 个公开名称

267

网页汇编核心/客体小整。测试。豫

6 个公开名称

268

网页汇编核心/客体小整。豫

4 个公开名称

269

网页汇编核心/客体执行。豫

6 个公开名称

270

网页汇编核心/客体执行组件。豫

1 个公开名称

271

网页汇编核心/客体数组执行。豫

1 个公开名称

272

网页汇编核心/客体栈验证。豫

7 个公开名称

273

网页汇编核心/客体根回收。豫

1 个公开名称

274

网页汇编核心/客体索引。豫

5 个公开名称

275

网页汇编核心/客体结构执行。豫

1 个公开名称

276

网页汇编核心/客体自动分配。豫

1 个公开名称

277

网页汇编核心/客体解码。豫

2 个公开名称

278

网页汇编核心/客体读数。豫

6 个公开名称

279

网页汇编核心/客体资源。豫

5 个公开名称

280

网页汇编核心/客体链接。豫

5 个公开名称

281

网页汇编核心/常量编码读取。豫

2 个公开名称

282

网页汇编核心/引用转换。测试。豫

3 个公开名称

283

网页汇编核心/引用转换验证。豫

3 个公开名称

284

网页汇编核心/批量内存。测试。豫

10 个公开名称

285

网页汇编核心/提交日志。豫

5 个公开名称

286

网页汇编核心/数据实例。豫

4 个公开名称

287

网页汇编核心/数据数组。测试。豫

3 个公开名称

288

网页汇编核心/数组对象指令。测试。豫

3 个公开名称

289

网页汇编核心/数组对象指令验证。豫

3 个公开名称

290

网页汇编核心/整数执行。豫

21 个公开名称

291

网页汇编核心/整数核心。测试。豫

17 个公开名称

292

网页汇编核心/整数比较。测试。豫

5 个公开名称

293

网页汇编核心/整数比较用例。豫

3 个公开名称

294

网页汇编核心/文件目录。豫

1 个公开名称

295

网页汇编核心/标量指令类型。测试。豫

3 个公开名称

296

网页汇编核心/标量指令类型。豫

2 个公开名称

297

网页汇编核心/模块类型检查。测试。豫

4 个公开名称

298

网页汇编核心/模块类型检查。豫

2 个公开名称

299

网页汇编核心/模块结构。豫

68 个公开名称

300

网页汇编核心/模块装配。测试。豫

14 个公开名称

301

网页汇编核心/模块装配。豫

12 个公开名称

302

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

18 个公开名称

303

网页汇编核心/状态二进制。豫

4 个公开名称

304

网页汇编核心/状态模块。测试。豫

14 个公开名称

305

网页汇编核心/状态模块。豫

6 个公开名称

306

网页汇编核心/类型作用域。测试。豫

3 个公开名称

307

网页汇编核心/类型作用域。豫

10 个公开名称

308

网页汇编核心/类型段验证。测试。豫

7 个公开名称

309

网页汇编核心/类型段验证。豫

6 个公开名称

310

网页汇编核心/类型身份。测试。豫

10 个公开名称

311

网页汇编核心/类型身份。豫

13 个公开名称

312

网页汇编核心/线性内存。测试。豫

8 个公开名称

313

网页汇编核心/线性内存。豫

14 个公开名称

314

网页汇编核心/结构对象指令。测试。豫

3 个公开名称

315

网页汇编核心/结构对象指令验证。豫

4 个公开名称

316

网页汇编核心/结构控制。测试。豫

14 个公开名称

317

网页汇编核心/虚拟磁盘。豫

3 个公开名称

318

网页汇编核心/虚拟磁盘发现。豫

1 个公开名称

319

网页汇编核心/跨模块类型。测试。豫

8 个公开名称

320

网页汇编核心/跨模块类型。豫

4 个公开名称

321

网页汇编核心/选择指令验证。豫

2 个公开名称

322

网页汇编核心/除余。测试。豫

6 个公开名称

323

网页汇编核心/除余用例。豫

4 个公开名称

324

网页汇编核心/顺序指令验证。测试。豫

3 个公开名称

325

网页汇编核心/顺序指令验证。豫

7 个公开名称

326

顺序标识符/顺序标识符。豫

3 个公开名称