ANTLR4：Natural-adabas语法中ADD操作无法按EOL/换行符截断求助

问题分析 #

你当前的addOperation规则用.*?非贪婪匹配任意字符直到END_OF_LINE，这种模糊匹配容易出现跨行或错误匹配后续代码的问题，核心原因包括：

• 若词法分析器的END_OF_LINE定义不精准（比如未覆盖所有换行场景，或行号Token干扰了换行识别），会导致匹配无法及时终止。
• 模糊匹配无法区分ADD语句的合法内容与后续代码，一旦行内存在特殊字符或词法Token边界不清晰，就会出现匹配溢出。

修复方案 #

1. 替换模糊匹配为精准语法规则 #

放弃.*?的模糊写法，按照Natural语言的语法规范，明确定义ADD语句的结构：

addOperation
    : ADD expression (TO identifier)+ END_OF_LINE
    ;

// 辅助规则，贴合Natural语法定义表达式和标识符
expression
    : NUMBER | identifier | expression (PLUS | MINUS | MULTIPLY | DIVIDE) expression
    ;

identifier
    : IDENTIFIER | HASH_IDENTIFIER // 适配#B这类带#的标识符
    ;

这种精准匹配能严格限定ADD语句的合法内容，避免意外匹配后续代码。

2. 优化词法分析器的Token定义 #

Natural语言每行开头通常带数字行号，需确保行号被识别为独立Token，同时换行符被正确捕获：

// 词法规则
LINE_NUMBER : DIGIT+;
END_OF_LINE : '\r'? '\n' | '\r';
HASH_IDENTIFIER : '#' IDENTIFIER;
IDENTIFIER : [A-Za-z_] [A-Za-z0-9_]*;
NUMBER : DIGIT+ ('.' DIGIT+)?;
PLUS : '+';
MINUS : '-';
MULTIPLY : '*';
DIVIDE : '/';
WS : [ \t]+ -> skip; // 跳过空格和制表符

注意让LINE_NUMBER优先于其他Token匹配，避免行号被误识别为NUMBER。

3. 确保未开启DOTALL模式 #

如果你的语法文件中设置了DOTALL选项，会让.匹配换行符，导致.*?跨行匹配，需确认没有开启该选项：

// 禁止添加此选项
// options { dotall = true; }

测试验证 #

用你提供的代码片段测试修复后的规则：

7740       IF TURN-ON-MISC-PAY-FORM-IND(7730) = 'Y' THEN DO
7750         ADD 1 TO #B
7760         RESET #MISC-TRANSACTION-ENTRY

此时addOperation应仅匹配第7750行的ADD 1 TO #B，不会错误覆盖第7760行的RESET语句。

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