0

我已经尝试了很多，但无法弄清楚错误是什么。关于这个的任何详细解释都将非常有帮助。

所以基本上我正在尝试编写一个可重入解析器，这些是我的文件。

Lex1.ll

%{
#include "Globals.h"
#include "yac1.tab.hh"

    extern "C"
    {
        int yylex(void);
    }


%}
alpha [A-Za-z]
digit [0-9]
%option case-insensitive
%option bison-bridge
%option reentrant
%option noyywrap
%%


"DELETE ALL" return DELALL;

"INSERT"       return INSERT;


DELETE       return DELETE;
FIND         return FIND;

(\+|\-)?[0-9]+         { return INT;    }

\n             { return ENDL; }
.    ;
%%

yac1.yy

%{
#include <stdio.h>
#include "Globals.h"
%}
%pure-parser
%error-verbose

%{

#define YYPARSE_PARAM parm
#define YYLEX_PARAM ((struct parsed_vals *)parm)->scanner
#define cast ((struct parsed_vals *) parm)

void yyerror(struct parsed_vals * parm,const char *s)
{
    fprintf(stderr, "error: %s\n", s);
}
extern "C"
{
        int yylex(void );  

      //  int yywrap()
      //  {
      //          return 1;
      //  }
}
%}

%token INSERT DELETE DELALL FIND ENDL
%union {
    int ival;
    float fval;
    char *sval;
}

%token <ival> INT
%token <fval> FLOAT
%token <sval> STRING
%%

S:T    

T:      INSERT val  {cast->cmd=INSERT_CMD;}
      | DELETE val  {cast->cmd=DELETE_CMD;}

;

val :   INT ENDL    {cast->type=INT_TYPE;
                (cast->data).int_data=$1;}   
      |
        FLOAT ENDL  {cast->type=FLOAT_TYPE;
            (cast->data).float_data=$1;}  
      |
        STRING ENDL {cast->type=STRING_TYPE;
            (cast->data).str_data=$1;}       
;

%%

我的主要功能 testlex.cc

#include <stdio.h>
#include "Globals.h"
#include "lexheader.h"
#include "yac1.tab.hh"

int yyparse(void *);
yyscan_t scanner;
main()
{

struct parsed_vals foo;
const char * buffer = "inseRt 4\n";
yylex_init(&(foo.scanner));
yyset_extra(&foo, foo.scanner);
YY_BUFFER_STATE bp = yy_scan_string( buffer, foo.scanner ); 
yy_switch_to_buffer(bp, foo.scanner);
int a; 
int ret_val = yyparse(&foo); 
yy_delete_buffer(bp, foo.scanner);  
if(ret_val!=0) printf("False");
printf ("hello %d\n",foo.data.int_data);
printf ("hello %d\n",foo.type);
yylex_destroy(foo.scanner);

}

全局文件

/* 
 * File:   Globals.h
 * Author: atghosh
 *
 * Created on 3 August, 2013, 8:39 PM
 */

#ifndef GLOBALS_H
#define GLOBALS_H

enum CMD {INSERT_CMD=1, DELETE_CMD, FIND_CMD, DELALL_CMD};
enum TYPE {INT_TYPE=5, FLOAT_TYPE, STRING_TYPE};

struct parsed_vals{
    int cmd;
    int type;
    union{      
        int int_data;
        float float_data;
        char *str_data;
    } data;
    void * scanner;
};
#endif  /* GLOBALS_H */

生成文件

parser: lex1.ll yac1.yy testlex.cc
    bison -d yac1.yy
    flex --header-file="lexheader.h" lex1.ll
    g++ -o parser yac1.tab.cc lex.yy.c testlex.cc -lfl

clean:
    rm -rf *.o parser lexheader.h  lex.yy.c  lex.yy.cc  parser   yac1.tab.cc  yac1.tab.hh

还有我的错误列表

bison -d yac1.yy
flex --header-file="lexheader.h" lex1.ll
g++ -o parser yac1.tab.cc lex.yy.c testlex.cc -lfl
yac1.tab.cc: In function ‘int yyparse(void*)’:
yac1.tab.cc:1302:16: error: too many arguments to function ‘int yylex()’
yac1.yy:20:13: note: declared here
yac1.tab.cc:1510:24: error: cannot convert ‘const char*’ to ‘parsed_vals*’ for argument ‘1’ to ‘void yyerror(parsed_vals*, const char*)’
yac1.tab.cc:1625:35: error: cannot convert ‘const char*’ to ‘parsed_vals*’ for argument ‘1’ to ‘void yyerror(parsed_vals*, const char*)’
In file included from testlex.cc:3:0:
lexheader.h:278:1: error: ‘YYSTYPE’ does not name a type
lexheader.h:280:18: error: variable or field ‘yyset_lval’ declared void
lexheader.h:280:18: error: ‘YYSTYPE’ was not declared in this scope
lexheader.h:280:28: error: ‘yylval_param’ was not declared in this scope
lexheader.h:280:51: error: expected primary-expression before ‘yyscanner’
lexheader.h:328:17: warning: ‘yylex’ initialized and declared ‘extern’ [enabled by default]
lexheader.h:328:17: error: ‘YYSTYPE’ was not declared in this scope
lexheader.h:328:27: error: ‘yylval_param’ was not declared in this scope
lexheader.h:328:50: error: expected primary-expression before ‘yyscanner’
lexheader.h:328:59: error: expression list treated as compound expression in initializer [-fpermissive]
make: *** [parser] Error 1

我只是无法弄清楚出了什么问题。

期待详细的回复，没有链接。

我已经提到了这些链接

http://www.phpcompiler.org/articles/reentrantparser.html

http://plindenbaum.blogspot.in/2009/12/parsing-genetic-code-using-flex-and_14.html

4

1 回答 1

2

这是一些问题和相应的修复。

  1. yylex从lex1.ll和中删除 的原型yac1.yy。您不必在任何地方自己定义它。

  2. #include在 的开头附近添加两个yac1.yy：

    #include "yac1.tab.hh"
#include "lexheader.h"

    确保按此顺序排列它们，因为第一个定义YYSTYPE了第二个使用的顺序。这是 flex/bison 词法分析器和解析器的一个已知问题。

  3. 修复原型和yyerrorin的定义yac1.yy。它应该是：

    void yyerror(const char *s);

    如果你需要一个额外的参数，为了你自己的目的，你不能期望解析器提供它。在这种情况下，请定义您自己的错误处理程序并使用不同的名称。

毕竟，您的程序使用您的Makefile. 它是否按预期工作，我无法判断。

于 2013-09-14T12:09:24.483 回答