我正在尝试学习bison和flex来制作编译器。现在我只想检查语法,然后继续。我遇到这些我无法弄清楚的错误,将寻求帮助。我使用bison -d发出了一些警告,但我暂时忽略了它,而且在我无法运行代码之前,我也无法修复语法(这可能是不好的)。
[我知道野牛使用词法分析器,我认为我已经正确地链接了它们。
我得到的错误是:lex.yy.c:710:18:错误:在“中断”之前应为“;”Scanner.lex:53:2:注意:扩展宏“ YY_BREAK”
我正在使用的文件是:
scanner.lex
%{
/* Declarations section */
#define YYSTYPE int
#include <stdio.h>
#include "bisonbison.tab.hpp"
%}
%option yylineno
%option noyywrap
digit ([0-9])
letter ([a-zA-Z])
whitespace ([\t\n ])
%%
{whitespace} ;
void return VOID;
int return INT;
byte return BYTE;
b return B;
bool return BOOL;
enum return ENUM;
and return AND;
or return OR;
not return NOT;
true return TRUE;
false return FALSE;
return return RETURN;
if return IF;
else return ELSE;
while return WHILE;
break return BREAK;
continue return CONTINUE;
; return SC;
, return COMMA;
[(] return LPAREN;
[)] return RPAREN;
{ return LBRACE;
} return RBRACE;
= return ASSIGN;
[+] return PLUS;
- return MINUS;
[*] return MULT;
[/] return DIV;
[<]|[>]|[<=]|[>=] return RELATION;
!=|== return EQUALITY;
[a-zA-Z][a-zA-Z0-9]* return ID;
0 | [1-9][0-9]* return NUM;
["]([^\n\r\"\\]|\\[rnt"\\])+["] return STRING;
[//][^\r\n]*[ \r|\n|\r\n]? return COMMENT
. return ILLEGAL;
{
/* code */
}
%%
和bisonbison.ypp
%{
#define YYSTYPE int
#include <iostream>
#include <stdlib.h>
extern int yylex();
int yyerror(const char * message);
%}
%token VOID
%token INT
%token BYTE
%token B
%token BOOL
%token ENUM
%left NOT
%token TRUE
%token FALSE
%token RETURN
%token IF
%token ELSE
%token WHILE
%token BREAK
%token CONTINUE
%token SC
%token COMMA
%token LBRACE
%token RBRACE
%token ID
%token NUM
%token STRING
%token ILLEGAL
%token COMMENT
%right ASSIGN
%left OR
%left AND
%left EQUALITY
%nonassoc RELATION
%left PLUS
%left MINUS
%left MULT
%left DIV
%token LPAREN
%token RPAREN
%type<program> Program
%type<func> Funcs
%type<func_dec> FuncDecl
%type<enum_dec> EnumsDecl
%type<formal_dec> FormalDecl
%type<ret_type> RetType
%type<formal> Formals
%type<formal_list> FormalsList
%type<enum_list> EnumeratorList
%type<statements> Statements
%type<statement> Statement
%type<call> Call
%type<exp> ExpList
%type<exp> Exp
%type<type> Type
%type<enum_type> EnumType
%type<enumerator> Enumerator
%type<enums> Enums
%%
Program : ENUM Funcs
|
;
Exp : Exp AND Exp
| Exp OR Exp
| Exp NOT Exp
| LPAREN Exp RPAREN
| Exp EQUALITY Exp
| Exp RELATION Exp
| Exp PLUS Exp
| Exp MINUS Exp
| Exp MULT Exp
| Exp DIV Exp
| LPAREN Type RPAREN Exp
;
Funcs : FuncDecl Funcs
|
;
FuncDecl : RetType ID LPAREN Formals RPAREN LBRACE Statements RBRACE
;
Enums : EnumsDecl ENUM
|
;
RetType : Type
| VOID
;
Formals : FormalsList
;
FormalsList : FormalDecl COMMA FormalsList
| FormalDecl
;
FormalDecl : Type ID
| EnumType ID
;
EnumeratorList : Enumerator
| EnumeratorList COMMA Enumerator
;
Enumerator : ID
;
Statements : Statements Statement
| Statement
;
EnumType : ENUM ID
;
Statement : LBRACE Statements RBRACE
| Type ID ASSIGN Exp SC
| Type ID SC
| EnumType ID SC
| EnumsDecl
| ID ASSIGN Exp SC
| Call SC
| RETURN Exp SC
| RETURN SC
| IF LPAREN Exp RPAREN Statement ELSE Statement
| IF LPAREN Exp RPAREN Statement
| WHILE LPAREN Exp RPAREN Statement
| BREAK SC
| CONTINUE SC
;
Call : ID LPAREN ExpList RPAREN
| ID LPAREN RPAREN
;
EnumsDecl : ENUM ID LBRACE EnumeratorList RBRACE SC
;
ExpList : Exp COMMA ExpList
| Exp
;
Type : INT
| BYTE
| BOOL
;
%%
int main()
{
yyparse();
}
int yyerror(const char * message)
{
printf("Parse error: %s\n",message);
exit(0);
}
#include "lex.yy.c"
解决它,丢失了;在这一行[//] [^ \ r \ n] * [\ r | \ n | \ r \ n]?返回评论真不敢相信我花了这么长时间才找到这个...