23、ANTLR语法规则深度解析

ANTLR语法规则深度解析

1. 代码示例与符号引用分析

首先来看一段代码示例：

{
    int i;
    int j;
    i = 0;
    {
        int i;
        int x;
        x = 5;
    }
    x = 3;
}

运行 $ grun DynScope prog nested - input 后，输出如下：

symbols=[i, x]
undefined variable: x
symbols=[i, j]

这里出现了未定义变量 x 的错误，因为 x 的作用域仅限于内层代码块。若要访问符号实例，可通过 $ctx.getParent() 从当前上下文开始回溯调用链。

2. 词法规则详解

2.1 词法规则基础

词法语法由词法规则构成，可分为多个模式。词法规则用于定义标记，其语法与解析器规则类似，但不能有参数、返回值和局部变量，且规则名必须以大写字母开头。例如：

/** Optional document comment */
TokenName : «alternative1» | ... | «alternativeN» ;