Flutter Web中Antlr4 Dart解析FHIRPath报输入不匹配错误

问题背景 #

使用标准FHIRPath语法，通过Antlr4生成Dart代码（命令：antlr4 -Dlanguage=Dart FhirPath.g4 -visitor -no-listener），在Flutter Linux、Android环境下解析正常，但Web环境执行以下测试代码解析字符串name时出现错误：

final input = InputStream.fromString('name');
final lexer = FhirPathLexer(input);
final tokens = CommonTokenStream(lexer);
final parser = FhirPathParser(tokens);
parser.buildParseTree = true;
final tree = parser.expression();

报错信息 #

line 1:0 mismatched input 'name' expecting {'as', 'in', 'is', 'contains', 'div', 'mod', IDENTIFIER, DELIMITEDIDENTIFIER}

原因分析 #

这个错误的核心是Lexer没有将name识别为期望的IDENTIFIER token，反而输出了其他类型的token或无效token，导致Parser无法匹配规则。结合跨环境差异，可能的原因包括：

• Antlr4 Dart Runtime在Web与Native环境的实现差异，导致Lexer对字符的处理逻辑不一致
• Web环境下字符串输入的处理（如编码、字符序列）与Native存在细微差别
• Lexer规则的优先级或关键字匹配逻辑在Web环境下出现异常（尽管name不在报错提示的关键字列表中，但需排查是否有隐含规则冲突）

解决思路 #

1. 调试Lexer的Token输出 #

在Web环境的测试代码中添加Lexer调试逻辑，明确name被识别成了什么token：

final input = InputStream.fromString('name');
final lexer = FhirPathLexer(input);

// 打印所有生成的Token
Token? token;
while ((token = lexer.nextToken())?.type != Token.EOF) {
  final tokenName = FhirPathLexer.VOCABULARY.getSymbolicName(token.type);
  print('Token: $tokenName | Text: ${token.text}');
}

如果输出的token不是IDENTIFIER，则可以确定是Lexer的识别逻辑问题，进一步排查对应的规则。

2. 统一Antlr4 Dart Runtime版本 #

确认Flutter Web和Native环境使用的antlr4dart依赖版本完全一致，版本差异可能导致Lexer的行为不一致。检查pubspec.yaml中的依赖版本，确保没有因平台差异引入不同版本的包。

3. 检查FHIRPath语法中的IDENTIFIER规则 #

查看FHIRPath语法文件中IDENTIFIER的定义，确认name符合规则要求（通常IDENTIFIER为以字母开头，后跟字母、数字、下划线的序列）。如果规则中存在特殊限制（如排除某些单词），需确认name是否被意外排除。

4. 验证Web环境的字符串输入 #

检查Web环境下输入字符串的实际内容，确保没有不可见字符或编码问题。可以通过打印每个字符的Unicode编码来验证：

final inputStr = 'name';
for (var char in inputStr.runes) {
  print('Char: ${String.fromCharCode(char)} | Unicode: $char');
}

确保输入的name每个字符都是正常的ASCII编码（n:110, a:97, m:109, e:101）。

5. 排查Lexer规则优先级 #

Antlr4中关键字的匹配优先级高于IDENTIFIER，需确认FHIRPath语法中是否存在隐含的name关键字（即使不在报错提示的列表中）。检查语法文件中所有的词法规则，确保name没有被定义为关键字。

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