如何使用Antlr进行语义分析？

Question

我目前正在尝试实现一个 ruby​​ 编译器。为了创建解析器和词法分析器，我使用了 Antlr4。现在我无法弄清楚如何在解析器中实现语义分析。有人可以解释如何使用生成的解析器进行语义分析吗？如果你能用一个简单的例子解释一下，说如何检查变量是否是，那就更好了使用前初始化。

Answer 1

好吧，我无法描述您可以和必须做的所有事情，但我会尽力向您展示其背后的原则......

ANTLR 为您生成一个ParseTree，然后您可以使用ParseTreeWalker. 该步行器将从最顶层开始逐个节点地遍历解析树，然后处理所有子节点（尽管据我所知可以指定该行为）。ParseTreeListener如果您已向步行者注册，它将收到有关其每一步的通知。语法中的每个解析器规则有两种方法：一种是在解析器进入此规则时（在访问该节点的子节点之前）收到通知，另一种是在解析器退出规则时（在相应节点的所有子节点都被访问之后）。访问过）。

您可以在此处ParseTreeListener进行语义分析。您提到了对未定义变量的检查：为此，您必须连接声明规则，读出变量名称并将其存储在List. 现在您可以连接每个可以包含变量的规则，读取它的名称并检查它是否在您声明的变量列表中。如果不是，则该变量未定义。

作为如何完成类似操作的示例，您可以在这里查看ParseTreeListener我的一个示例。相应的语法可以在这里找到。