ANTLR V4 Java 语法移位运算符

Question

我正在使用 github 上提供的 ANTLR v4 Java 语法。

我有一个关于我在特定规则中看到的问题：移位运算符。这些运算符声明如下：

('<' '<' | '>' '>' '>' | '>' '>')

我猜他们没有像这样声明

('<<' | '>>>' | '>>')

因为泛型类型声明可能会发生什么，如

class C<T extends I<T>>

最后的 >> 将被用作移位运算符。我对吗 ？现在我想知道的是：这个符号 '

int a = 1 < < 2;

这将是一个有效的输入？

提前致谢！

Answer 1

解析器将接受1 < < 2 作为表达式，但在生成解析树后执行的侦听器将检查解析树中移位运算符的每个实例，以确保该节点实际上是使用的正确运算符的结果在源代码中。

@Override
public void enterShiftOperator(ShiftOperatorContext ctx) {
  for (int i = 1; i < ctx.getChildCount(); i++) {
    if (ctx.getChild(i).getTokenIndex() != ctx.getChild(i - 1).getTokenIndex() + 1) {
      throw new UnsupportedOperationException("TODO: report error about incorrect operator in the source code");
    }
  }
}

注意事项：

• 此实现依赖于不使用 -> skip 词法分析器命令的语法，因为这样做会影响分配给标记的索引。
• 此实现不直接检查文本，因为JavaUnicodeInputStream 没有为getText() 方法实现Unicode 转换。