STIXPattern ANTLR文法异常：为何误触objectPathThl而非orderableLiteral规则

异常是多规则缺陷叠加触发的，和“标识符规则未纳入单引号字符”本身没有直接关系，完整触发链路如下：

1. 词法规则优先级配置错误 #

ANTLR 词法分析器严格按照规则书写顺序判定优先级，先定义的规则会优先匹配输入序列。当前文法的规则顺序存在明显问题：

• IdentifierWithoutHyphen、IdentifierWithHyphen 两个标识符规则，定义在TimestampLiteral、StringLiteral等所有字面量规则之前
• 单引号（对应QUOTE）、点号（对应DOT）等通用符号的规则，优先级同样高于后置定义的TimestampLiteral

这就导致遇到以t开头的时间格式输入时，分析器会优先把开头的t切分为独立的Identifier token，把后续的单引号切分为独立的QUOTE token，完全不会尝试把整个带单引号的时间串识别为一个完整的TimestampLiteral词法单元。

2. TimestampLiteral 规则本身不匹配测试输入 #

测试用的时间文本为 t'2019-04-25T1:23:00.000Z'，其中小时部分是单数字1，但TimestampLiteral的正则规则强制要求小时必须为两位数字格式（匹配范围00-23），就算调整规则优先级，该输入也无法被规则正确识别。

3. 语法层的分支误判 #

当本该属于单个时间字面量的输入被拆分为零散token后，语法分析器在解析primitiveLiteral分支时：

• 以Identifier开头的序列不符合orderableLiteral、BoolLiteral的分支匹配要求
• 仅剩objectPathThl分支可接收以Identifier开头的输入，而该分支要求的“Identifier + 点号”结构，刚好和拆分后token流的特征匹配：开头的t是Identifier token，时间串毫秒位置的.会被切分为DOT token

分析器顺着该匹配路径，会把后续零散的无效token（单引号、数字、冒号等）归并为非预期的objectPathThl分支，最终触发匹配异常。

修复调整方向 #

• 调整词法规则顺序，把TimestampLiteral、StringLiteral、数字/二进制/十六进制等所有字面量规则，移到标识符规则、通用符号规则之前
• 修正TimestampLiteral的小时部分正则，兼容单数字格式的ISO8601时间
• 为objectPathThl增加前置约束，避免零散token流被误识别为对象路径。

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