ANTLR4语法规则问题：特定上下文保留关键字与STRING区分实现

要实现特定上下文下的词法识别差异，核心是利用ANTLR4的语义谓词结合语法分析器的状态标记，让词法规则仅在指定上下文生效。具体步骤如下：

1. 调整规则命名避免冲突 #

原规则中的A、B与词法字符A冲突，先重命名模式规则，并修改字符词法规则：

// 字符词法规则（避免与模式规则名冲突）
F : 'F';
I : 'I';
R : 'R';
S : 'S';
T : 'T';
D : 'D';
A_LETTER : 'A';
Y : 'Y';

// 重命名模式规则
firstMode
: AMode
| BMode
;

2. 添加上下文状态标记 #

在语法分析器中定义一个布尔变量，标记当前是否处于first函数的参数上下文：

parser grammar YourParserName; // 替换为你的解析器名

@parser::members {
    private boolean insideFirstMode = false;
}

3. 控制上下文状态的切换 #

在first规则中，进入参数区域时开启标记，离开时关闭：

first
: FIRST '(' 
    {insideFirstMode = true;} // 进入first参数上下文，开启标记
    STRING 
    (',' firstMode)? 
    ')' 
    {insideFirstMode = false;} // 离开上下文，关闭标记
;

4. 为模式规则添加语义谓词 #

让AMode和BMode仅在insideFirstMode为true时触发，其他场景由STRING匹配：

AMode
: {insideFirstMode}? '"' F I R S T '"'
;

BMode
: {insideFirstMode}? '"' F I R S T D A Y '"'
;

STRING
: '"' .*? '"' // 非贪婪匹配带引号的字符串
;

效果验证 #

• 当输入FIRST("string", "FIRST")时，第二个"FIRST"会被识别为AMode；
• 当输入单独的"FIRST"或aa "FIRST"时，会被识别为STRING。

内容的提问来源于stack exchange，提问作者dlocyalp