我试图建立一个Bison语法,似乎缺少了一些东西。我将其保持为非常基础,但仍然遇到语法错误,无法弄清原因:
这是我的野牛代码:
%{
#include <stdlib.h>
#include <stdio.h>
int yylex(void);
int yyerror(char *s);
%}
// Define the types flex could return
%union {
long lval;
char *sval;
}
// Define the terminal symbol token types
%token <sval> IDENT;
%token <lval> NUM;
%%
Program:
Def ';'
;
Def:
IDENT '=' Lambda { printf("Successfully parsed file"); }
;
Lambda:
"fun" IDENT "->" "end"
;
%%
main() {
yyparse();
return 0;
}
int yyerror(char *s)
{
extern int yylineno; // defined and maintained in flex.flex
extern char *yytext; // defined and maintained in flex.flex
printf("ERROR: %s at symbol \"%s\" on line %i", s, yytext, yylineno);
exit(2);
}
这是我的弹性代码
%{
#include <stdlib.h>
#include "bison.tab.h"
%}
ID [A-Za-z][A-Za-z0-9]*
NUM [0-9][0-9]*
HEX [$][A-Fa-f0-9]+
COMM [/][/].*$
%%
fun|if|then|else|let|in|not|head|tail|and|end|isnum|islist|isfun {
printf("Scanning a keyword\n");
}
{ID} {
printf("Scanning an IDENT\n");
yylval.sval = strdup( yytext );
return IDENT;
}
{NUM} {
printf("Scanning a NUM\n");
/* Convert into long to loose leading zeros */
char *ptr = NULL;
long num = strtol(yytext, &ptr, 10);
if( errno == ERANGE ) {
printf("Number was to big");
exit(1);
}
yylval.lval = num;
return NUM;
}
{HEX} {
printf("Scanning a NUM\n");
char *ptr = NULL;
/* convert hex into decimal using offset 1 because of the $ */
long num = strtol(&yytext[1], &ptr, 16);
if( errno == ERANGE ) {
printf("Number was to big");
exit(1);
}
yylval.lval = num;
return NUM;
}
";"|"="|"+"|"-"|"*"|"."|"<"|"="|"("|")"|"->" {
printf("Scanning an operator\n");
}
[ \t\n]+ /* eat up whitespace */
{COMM}* /* eat up one-line comments */
. {
printf("Unrecognized character: %s at linenumber %d\n", yytext, yylineno );
exit(1);
}
%%
这是我的 Makefile :
all: parser
parser: bison flex
gcc bison.tab.c lex.yy.c -o parser -lfl
bison: bison.y
bison -d bison.y
flex: flex.flex
flex flex.flex
clean:
rm bison.tab.h
rm bison.tab.c
rm lex.yy.c
rm parser
一切都可以编译,我不会遇到任何错误。
这是我的测试文件
f = fun x -> end;
这是输出:
./parser < a0.0
Scanning an IDENT
Scanning an operator
Scanning a keyword
Scanning an IDENT
ERROR: syntax error at symbol "x" on line 1
由于x似乎被识别为IDENT,因此规则应该正确,但我仍然感到语法错误。
我觉得自己缺少一些重要的东西,希望有人可以帮助我。
提前致谢!
编辑:
我试图删除Lambda规则和测试文件中的
IDENT
,现在它似乎可以通过该行运行,但是仍然会抛出ERROR: syntax error at symbol "" on line 1
在EOF之后。
最佳答案
您的扫描仪可以识别关键字(并打印出调试行,但请参见下文),但不会麻烦向解析器报告任何内容。因此,它们实际上被忽略了。
在野牛定义文件中,您使用(例如)“fun”作为终端,但没有为终端提供可以在扫描仪中使用的名称。扫描程序需要此名称,因为它必须向解析器返回令牌ID。
总而言之,您需要的是这样的:
在语法中,在%%
之前:
token T_FUN "fun"
token T_IF "if"
token T_THEN "then"
/* Etc. */
在您的扫描仪定义中:
fun { return T_FUN; }
if { return T_IF; }
then { return T_THEN; }
/* Etc. */
其他一些注意事项:
"=" { return '='; }
/* Etc. */
但是一次完成所有单字符令牌会更容易:
[;+*.<=()-] { return yytext[0]; }
甚至更容易使用默认规则:
. { return yytext[0]; }
通过向解析器返回未知的令牌ID,将具有处理无法识别的字符的效果,这将导致语法错误。
这不适用于“->”,因为它不是单个字符标记,必须以与关键字相同的方式进行处理。
-d
标志,则Flex将自动生成调试输出。这比插入您自己的调试打印输出要容易得多,因为您可以通过简单地删除-d
选项将其关闭。 (如果不想更改makefile中的flex调用,可以改用%option debug
。)这样做也更好,因为它提供了一致的信息,包括位置信息。 [0-9][0-9]*
可以更容易地写成[0-9]+
"//".*
总是匹配最长的非换行字符序列,因此注释模式$
不需要在末尾提前.*
。因此,第一个不匹配的字符必须是换行符或EOF。如果该模式以EOF终止,则$
预行将不匹配,如果文件以注释结尾且末尾没有换行符,则将导致奇怪的错误。 {COMM}*
,因此不可能有两个连续的注释匹配。但是无论如何,在匹配注释和以下换行符之后,flex将继续匹配以下注释,因此{COMM}
就足够了。 (就我个人而言,我不会使用COMM
的缩写;它确实不会增加可读性,恕我直言。)