如何判断是否在yacc文件中字面解释或不解释?
问题描述:
确实在下面的文件中,INT是字面上的,而ID不是?你怎么知道?如何判断是否在yacc文件中字面解释或不解释?
/* C-Minus BNF Grammar */
%token ELSE
%token IF
%token INT
%token RETURN
%token VOID
%token WHILE
%token ID
%token NUM
%token LTE
%token GTE
%token EQUAL
%token NOTEQUAL
%%
program : declaration_list ;
declaration_list : declaration_list declaration | declaration ;
declaration : var_declaration | fun_declaration ;
var_declaration : type_specifier ID ';'
| type_specifier ID '[' NUM ']' ';' ;
type_specifier : INT | VOID ;
fun_declaration : type_specifier ID '(' params ')' compound_stmt ;
params : param_list | VOID ;
param_list : param_list ',' param
| param ;
param : type_specifier ID | type_specifier ID '[' ']' ;
compound_stmt : '{' local_declarations statement_list '}' ;
local_declarations : local_declarations var_declaration
| /* empty */ ;
statement_list : statement_list statement
| /* empty */ ;
statement : expression_stmt
| compound_stmt
| selection_stmt
| iteration_stmt
| return_stmt ;
expression_stmt : expression ';'
| ';' ;
selection_stmt : IF '(' expression ')' statement
| IF '(' expression ')' statement ELSE statement ;
iteration_stmt : WHILE '(' expression ')' statement ;
return_stmt : RETURN ';' | RETURN expression ';' ;
expression : var '=' expression | simple_expression ;
var : ID | ID '[' expression ']' ;
simple_expression : additive_expression relop additive_expression
| additive_expression ;
relop : LTE | '<' | '>' | GTE | EQUAL | NOTEQUAL ;
additive_expression : additive_expression addop term | term ;
addop : '+' | '-' ;
term : term mulop factor | factor ;
mulop : '*' | '/' ;
factor : '(' expression ')' | var | call | NUM ;
call : ID '(' args ')' ;
args : arg_list | /* empty */ ;
arg_list : arg_list ',' expression | expression ;
答
通常情况下,yacc会逐字引用单引号字符,其他所有内容都会声明为生产或令牌。
在这种情况下,无论是INT
和ID
被声明为令牌所以一个假定它们将从词法分析器与分配给全球yylval
一个对应的语义值被返回。
有一个复杂的机制来处理多字符标记,但是这个语法没有使用它。
词法分析器如何返回语义值?它会是什么样子? – neuromancer 2009-11-17 08:30:41
一般来说,请参阅http://www.gnu.org/software/bison/manual/ 具体来说,ID和INT被声明为标记,所以yylex()必须返回它们。这个语法希望yylex()能够识别关键字并将它们作为记号返回。任何其他单词都应该作为ID返回。词法分析器通过分配“yylval”来返回语义值。这对'ID'来说很重要,它可以是任何单词,但代表特定符号(如您所说)的文字符号和关键字并不重要。 – DigitalRoss 2009-11-17 15:46:50