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

模块 / 92

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

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

17公开名称

操作符在集合中

公开
化「操作符」而化(「列」于「操作符」)而「爻」

暂无说明。

结构操作符们

公开
(「列」于「操作符」)

暂无说明。

类型操作符们

公开
(「列」于「操作符」)

暂无说明。

控制操作符们

公开
(「列」于「操作符」)

暂无说明。

操作符标记种类

公开
化「操作符」而化「字符串」而「语义标记种类」

暂无说明。

规约组件语义标记

公开
化「操作符」而化(「列」于「栈素」)而化(「列」于「组件」)而(「列」于「语义标记草稿」)

暂无说明。

匹配组件获取参数

公开
化「整数」而化(「列」于「栈素」)而化(「列」于「组件」)而(「或可有」于(「列」于「表达式」))

给定组件的操作符标号,栈(缩减且,反转过的)和组件,其中栈和组件必须是相同长度, 若匹配成功,返回元素或绑定组件的参数, 若匹配失败,返回可无

进行一次栈尾规约

公开
化「字符串」而化(「列」于「栈素」)而(「列」于(「列」于「栈素」))

暂无说明。

进行操作符规约

公开
化「字符串」而化(「列」于「栈素」)而化「栈素」而(「列」于((「列」于「栈素」)合「栈素」))

若规约成功,返回有,若规约失败,返回无 我们规约时会碰到一种情况 A 式 | B,AB没有优先级关系,这种情况下就应该是 A先吃式,还是B先吃式呢? 我们规约会选后者,首先检查 A的优先级没有比B高, 那么B会不会被移位是一个关键问题!如果我们发现B的优先级也没有A高,那么我们应该报错! 但是在这里,为了减少报错, 我们选择移位!之后在总体规约时就会变成B先吃式。 本函数只进行可能规约并返回结果,不进行移位 我们要返回更新的栈操作符,因为规约与否取决于是什么样的栈操作符

移位或规约一步

公开
化「字符串」而化(「列」于「栈素」)而化(「列」于「栈素」)而(「列」于(「列」于「栈素」))

暂无说明。

单一步骤

公开
化「字符串」而化(「列」于「栈素」)而化(「列」于「表达式」)而化化「字符串」而化(「列」于「栈素」)而「有」而(「列」于((「列」于「栈素」)合(「列」于「表达式」)))

一定会消耗输入

所有步骤

公开
化「字符串」而化(「列」于(「表达式」合(「列」于「语义标记草稿」)))而化(「列」于((「列」于「栈素」)合(「列」于「表达式」)))而化化「字符串」而化(「列」于「栈素」)而「有」而(「列」于(「表达式」合(「列」于「语义标记草稿」)))

返回可能的解

进行解析及语义标记

公开
化「字符串」而化(「列」于「表达式」)而(「表达式」合(「列」于「语义标记草稿」))

暂无说明。

进行解析

公开
化「字符串」而化(「列」于「表达式」)而「表达式」

暂无说明。

解表达式

公开
化(「列」于「表达式」)而「表达式」

暂无说明。

解表达式默认操作符

公开
化「字符串」而化(「列」于「表达式」)而「表达式」

暂无说明。

解表达式默认操作符及语义标记

公开
化「字符串」而化(「列」于「表达式」)而(「表达式」合(「列」于「语义标记草稿」))

暂无说明。