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

Question

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

Answer 1

嗯，我无法描述你能做和不得不做的一切，但我会尽力向你展示它背后的原理......

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

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

作为关于如何做到这一点的示例，您可以查看我的NSAppleMusicUsageDescription here。可以找到相应的语法here。