野牛错误恢复

Question

我发现我可以在语法规则中使用'error'作为错误恢复的机制.因此,如果出现错误,解析器必须丢弃当前行并从下一行继续解析.来自野牛手册的一个例子可能是这样的:

stmts:
      exp
      |stmts exp
      | error '\n'

但我不能用它; 因为我必须在我的scannar中使flex忽略'\n',所以表达式不限于在一行中表示.我怎样才能使解析器 - 遇到错误时 - 继续解析到下一行,假设没有特殊字符(即分号)来表示表达式的结尾并且没有'换行符'令牌？

谢谢..

Answer 1

由于您已经删除了示例中使用的标记,因此您将不得不进行特技以获得相同的效果.

我想你可以用这个:

stmts:
      exp
    | stmts exp
    | error { eat_to_newline(); }

eat_to_newline()扫描仪(源文件)中的一个功能在哪里安排丢弃任何已保存的令牌并读取到下一个换行符.

extern void eat_to_newline(void);

void eat_to_newline(void)
{
    int c;
    while ((c = getchar()) != EOF && c != '\n')
        ;
}

它可能需要比这更复杂一点,但并不比那复杂得多.你可能需要在打电话后使用yyerrok;(而且,正如评论所提醒我的那样yyclearin;)eat_to_newline().