bison - 使用 Flex & Bison 的简单 Java 语法

Question

我最近开始学习基本的 Flex 和 Bison，因为我必须为简单(但不太简单)的语法制作一个解析器。我决定在我的语法中做一个简化的 Java 语言。我制作了 .l 和 .y 文件，并且所有内容都没有错误地编译(我正在使用 gcc 进行编译)。问题是，每次我运行生成的程序时，我都会遇到 Syntax Error，即使是简单的输入，例如:private class Something{}。我唯一没有收到 Syntax Error 的情况是当我输入一个空行 (\n) 时。我已经为此苦苦挣扎了几天，我怀疑我的语法有问题，但我似乎找不到它。当然也可能存在其他问题，因为我对 Flex 和 Bison 还很陌生。

任何帮助将不胜感激。

这是.l 和.y 文件:

java.l

%{
#include "java.tab.h"
%}

%option noyywrap

%%

"\n" return 0;
[ \t] ;

"private" {return PRIVATE;}
"public" {return PUBLIC;}
"protected" {return PROTECTED;}
"implenets" {return IMPLEMENTS;}
"extends" {return EXTENDS;}
"class" {return CLASS;}
"interface" {return INTERFACE;}
"if" {return IF;}
"while" {return WHILE;}
"return" {return RETURN;}
"true" {return BOOLEAN;}
"false" {return BOOLEAN;}

[A-z][a-z0-9]* {return NAME;}

"\""[A-z0-9]*"\"" {return STRING;}
"-"?[1-9][0-9]* {return INT;}

"+"|"-"|"*"|"/"|"="|"==" {return OPERATOR;}

%%

java.y

%{
#include <stdio.h>

int cond=0;
int loops=0;
int assigns=0;
int funcs=0;
int classes=0;

void yyerror(const char* msg){printf("Error: %s\n", msg);}
%}


%token PUBLIC
%token PRIVATE
%token PROTECTED
%token NAME
%token IMPLEMENTS
%token EXTENDS
%token CLASS
%token INTERFACE
%token IF
%token WHILE
%token STRING
%token BOOLEAN
%token OPERATOR
%token RETURN 
%token INT

%%

Code: Class Code | /*empty*/ {printf("classes: %d\n", classes); printf("functions: %d\n", funcs); printf("conditions: %d\n", cond); 
                                printf("loops: %d\n", loops); printf("assign operations: %d\n", assigns);} ;
Class: Modifier ClassType NAME Extra '{' Functions '}' ;
Modifier: PUBLIC | PRIVATE | PROTECTED ;
ClassType: CLASS | INTERFACE ;
Extra: IMPLEMENTS NAME | EXTENDS NAME | /*empty*/ ;
Functions: Function Functions | /*empty*/ ;
Function: Type NAME '(' Arguments ')' '{' Commands '}' {funcs++;} ;
Arguments: Argument Arguments | /*empty*/ ;
Argument: Type NAME Separator ;
Type: STRING | INT | BOOLEAN ;
Separator: ',' | /*empty*/ ;
Commands: Command Commands | /*empty*/ ;
Command: Condition | Loop | Assignment | Return ;
Condition: IF '(' Comparison ')' '{' Commands '}' {cond++;} ;
Loop: WHILE '(' Comparison ')' '{' Commands '}' {loops++;} ;
Comparison: NAME OPERATOR INT | NAME OPERATOR NAME | INT OPERATOR NAME ;
Assignment: NAME '=' Type ';' {assigns++;} ;
Return: RETURN RetVal ';' ;
RetVal: NAME | Type ;

%%

int main()
{
   yyparse();
   return 0;
}

Answer 1

这是一个开始:

首先，flex 提供的默认规则只是回显其他规则无法匹配的字符。 { 和 } 没有被任何规则匹配，所以它们会被回显，永远不会被 bison 看到，这使得生产 Class 匹配。一个简单的解决方案是将默认规则作为最后一个 flex 规则:

. { return yytext[0]; }

其次，[A-z] 与 [A-Za-z] 不同，因为 Z 和 a 在 ASCII 中不是连续的。我建议使用 [[:alpha:]] 来表示字母字符，使用 [[:alnum:]] 来表示字母数字，但是 [A-Za 没有任何问题-z] 和 [A-Za-z0-9]。在这两种情况下，您可能希望允许使用其他字符，例如 _。 (这不会给您带来任何直接的问题，这只是一个提示。)

第三，您拼错了“implements”。