代码之家 › 专栏 › 技术社区 › gornvix

分析多个文件时出现错误的lex状态

lex yacc bison c

gornvix · 技术社区 · 10 年前

我试图用win-flex和bison解析两个文件,但我遇到了一个问题,因为lex不是我期望的状态。在lex文件中:

include[ \t]+\" { BEGIN(include_state); }
<include_state>([^\\\"\n]|\\.)+ {
    yyin = fopen(yytext, "r");
    if (!yyin) {
        printf("Error opening include file: %s\n", yytext);
        return 1;
    }
    yypush_buffer_state(yy_create_buffer(yyin, YY_BUF_SIZE, yyscanner),
        yyscanner);
    BEGIN(INITIAL);
}
<include_state>\"[ \t]*";" { BEGIN(INITIAL); }
<<EOF>> {
    yypop_buffer_state(yyscanner);
    if (!YY_CURRENT_BUFFER)
        yyterminate();
}

被解析的第一文件包括如下的第二文件:

include "hello.txt";

解析时发生的情况是,第二个文件(“hello.txt”)解析正常,没有问题,但返回到第一个文件时出现了问题。读取行末尾的引号和分号,但lex处于INITIAL状态。所以lex不匹配我期望它匹配的规则。我知道这一点,因为如果我添加以下规则(它匹配):

<INITIAL>\"[ \t]*";" { printf("Right matching, wrong state.\n"); return 1; }

为什么它不返回include_state,我该如何解决?

2 回复 | 直到 10 年前

Jens 10 年前

看起来它会转到INITIAL,因为这是你打电话后告诉它要做的 yypush_buffer_state() 。它怎么会和第二个相匹配 <include_state> 如果你这样做?如果删除状态更改会发生什么?

rici 10 年前

启动条件为 全球的 。它不是缓冲状态的一部分。推动和弹出缓冲状态不要改变它。你必须自己管理它。

您可以将启动条件恢复为 include_state 在你完成 yypop_buffer_state 您甚至可以将自己的lexer状态堆栈保留在缓冲区堆栈的一侧。但最简单的解决方案似乎是阅读 #include 语句,然后执行 #包括 ,使您始终处于 INITIAL 更改缓冲区时的状态:

<include_state>[^\n"]+\" {
    yytext[yyleng - 1] = 0; // Get rid of the close quote.
    yyin = fopen(yytext, "r");
    if (!yyin) {
        printf("Error opening include file: %s\n", yytext);
        return 1;
    }
    yypush_buffer_state(yy_create_buffer(yyin, YY_BUF_SIZE, yyscanner),
                        yyscanner);
    BEGIN(INITIAL);
}
<include_state>.|\n   { /* Handle syntax error in #include */ }

推荐文章

Pandemonium · 更改词法分析的状态。lexbuf公司

7 年前

gornvix · 分析多个文件时出现错误的lex状态

10 年前

Xethen · 用C语言进行Lex编码

11 年前

Jerry B · 是否已经存在一个Python(2.7)模块来执行flex生产的lexer?

11 年前

Shehzaad · 为什么它显示我的函数在返回char*时返回int?

11 年前

Nikon the Third · 如何解析连续的文本流

12 年前

TreeTree · lex和yacc的运行时“语法错误”

12 年前

footy · 如何解决2+2和2++2冲突

12 年前

Robottinosino · “反向”XSLT(用于解析和构建XMLDOM的语言)

12 年前