有没有办法强制 JavaCC 接受模棱两可的非 LL(1) 语法？

Question

我正在尝试在 JavaCC 中创建一个教学解析器来解释我的家庭作业中前瞻的使用。 我正在考虑在 porpose 上创建一个模棱两可的语法来显示解析器在这种情况下的行为。 我的语法如下：

void s() : 
{}
{
    "a" ( bc() | bd() ) <EOF>   
}

void bc() :
{}
{
    "b" "c"
}

void bd() :
{}
{
    "b" "d"
}

阅读关于前瞻的JavaCC 教程我明白，在解析器创建时，将显示有关使用前瞻的警告（好的），如果忽略，解析器仍然可以工作，但始终选择第一个选项。 我认为是最后一部分，因为教程说“生成的解析器仍将使用默认的前瞻算法工作，但它可能不会按照您的预期运行。”

但是，当我尝试创建解析器时，会显示此错误：

$ javac *.java
ExampleABCD.java:18: error: unreachable statement
        }{
         ^
1 error

原因是：

case 6:{
        bc();
        break;
        }{        //Here
        bd();
        break;
        }

我希望解析器工作但不正常。 不应该是这样吗？ 如果预期会出现此错误，即使使用这种模棱两可的语法，有没有办法使其工作？

注意：我还不想使用lookahead，我的目标是稍后在解释它如何解决问题时使用它。

Answer 1

现在 JavaCC 对此没有任何问题。 它会生成正确反映 .jj 文件的警告和 .java 代码。 问题是您的 Java 编译器不喜欢无法访问的代码。

你能做的是这个

void s() : 
{}
{
    "a" ( LOOKAHEAD({true})  // TODO fix the lookahead
          bc()
        | 
          bd() )
    <EOF>   
}