YACC + FLEX。忽略空格不能很好地工作

时间:2018-03-28 15:23:33

标签: whitespace bison flex-lexer yacc lex

我的问题是输入行中的空格。 我正在和Lex和Yacc合作,我有下一个文件:

interpret.l

%option noyywrap
%{
#include "interpret.tab.h"
%}

%x string
%x substring
%%

[\t ]+      /* ignore whitespace */ ;
"+"         { return SUM; }
"-"         { return SUB; }
"*"         { return MUL; }
"/"         { return DIV; }

"=="        { return EQ; }
">"         { return GT; }
"<"         { return LT; }

":="        {return IS;}

"("         { return LPAR; }
")"         { return RPAR; }

"if"        { return IF; }
"else"      { return ELSE; }
"then"      { return THEN; }

"print"     { return PRINT; }

[a-z A-Z]+  { return ID; }
[0-9]+      { yylval.i = atoi( yytext ); return INT; }

[\n]        { return EOLN; }

.           { printf("Illegal character %c: ", *yytext); }

interpret.y

%error-verbose
%{
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <stdbool.h>

char* int_to_string();
char* reformat(char* sub);
int yyerror();
int yylex();
%}

%union {
  int b;
  int i;
}

%type <i> expr INT inst
%type <b> expr_booleana

%token SUM SUB MUL DIV
%token EQ GT LT IS
%token IF ELSE THEN
%token ID
%token INT
%token LPAR RPAR
%token EOLN
%token PRINT

%%

expr_lst : 
    | expr_lst inst EOLN 
    ;


inst : IF expr_booleana THEN {if($2){printf("true\n");}}
     | PRINT expr   {printf("print expr %i\n", $2);}
     ;

expr_booleana: expr EQ expr { $$ = $1==$3; }
             | expr GT expr { $$ = $1>$3; }
             | expr LT expr { $$ = $1<$3;}
             | LPAR expr_booleana RPAR { $$ = $2; }
             ;

expr : INT { $$ = $1; }
      | expr SUM expr   { $$ = $1 + $3; }
      | expr SUB expr   { $$ = $1 - $3; }
      | expr MUL expr   { $$ = $1 * $3; }
      | expr DIV expr   { $$ = $1 / $3; }
      | LPAR expr RPAR  { $$ = $2; }
      ;



%%


int yyerror( char* m ) {
   fprintf( stderr, "%s\n", m );
}

int main() {
  return yyparse();
}

YACC计划尚未完成 当我编译时,它不会显示警告。

我的问题是输入“if(4&gt; 2)then”。控制台显示消息“语法错误,意外ID,期待那么”。

如果我不写空间,一切都OK。 我不明白它,因为行“[\ t] + / *忽略空格* /;”在interpret.l中写的是为了忽略空格......

你能帮助我吗?

提前谢谢。

1 个答案:

答案 0 :(得分:2)

^ALTER\sTABLE\sADMIN_\sADD\sCONSTRAINT\s((.*))\sPRIMARY\sKEY\s\((.*)\);

表示ID可以是小写字母,空格或大写字母。因此,“然后”(带有前导空格)是一个ID。 (它优先于你的空白模式,因为匹配更长。)

还要考虑数字是否正常,如()。常见的id模式是

[a-z A-Z]+  { return ID; }