我有以下yacc
语法:
%{
#include <stdio.h>
extern FILE* yyin;
extern char* yytext;
%}
%token VAR ID_NAME TYPE_STRING TYPE_BOOL TYPE_NUMBER CONST
%%
var_declaration: VAR ':' type ID_NAME ';' { printf("varn"); }
;
const_declaration: CONST ':' type ID_NAME ';' {printf("constn");}
;
type: TYPE_NUMBER
| TYPE_STRING
| TYPE_BOOL
;
%%
void yyerror (char const *s) {
fprintf (stderr, "%sn", s);
}
int main(int argc, char** argv[])
{
yyparse();
return 0;
}
它应该描述一点语言,此时应该允许形式var:<type> <name>;
的变量声明和形式const:<type> <name>;
的常量声明。
当我运行yacc -vd grammar.y
时,我得到:YACC -VD语法.y
grammar.y: warning: 1 nonterminal useless in grammar [-Wother]
grammar.y: warning: 1 rule useless in grammar [-Wother]
grammar.y:16.1-17: warning: nonterminal useless in grammar: const_declaration [-Wother]
const_declaration: CONST ':' type ID_NAME ';' {printf("constn");}
^^^^^^^^^^^^^^^^^
grammar.y:16.20-67: warning: rule useless in grammar [-Wother]
const_declaration: CONST ':' type ID_NAME ';' {printf("constn");}
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
为什么说const_declaration
规则没用?
您收到此错误消息的原因是规则const_declaration
不会出现在任何其他规则中,因此语法不需要。
规则var_declaration
被视为开始规则(因为您尚未指定开始,因此它使用第一个开始)。此规则仅使用type
规则,因此所有其他规则都是多余的,这就是它告诉您的。
也许这是更大语法的子集?当所有语法都在文件中并且const_declaration
规则在某处使用时,错误将消失。