From 6666f98f4f1997c1325197e6ecdf98d4227c849e Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Fri, 17 Mar 2000 11:30:24 +0000 Subject: [PATCH] Change the handling of @s so that they behave exactly like $s. There is now a pseudo variable @$ (readble and writable), location of the lhs of the rule (by default ranging from the location of the first symbol of the rhs, to the location of the last symbol, or, if the rhs is empty, YYLLOC). * src/bison.s1 [YYLSP_NEEDED] (yyloc): New variable, twin of yyval. (yyparse): When providing a default semantic action, provide a default location action. (after the $): No longer change `*YYLSP', just stack YYLOC the same way you stack YYVAL. * src/reader.c (read_declarations): Use warns. (copy_guard, case '@'): Also recognize `@$', expanded as `YYLOC'. (copy_action, case '@'): Likewise. Use a standard error message, to save useless work from translators. --- ChangeLog | 20 +++++++++++ src/bison.s1 | 46 ++++++++++++++---------- src/bison.simple | 46 ++++++++++++++---------- src/reader.c | 107 ++++++++++++++++++++++++++++++++++--------------------- 4 files changed, 143 insertions(+), 76 deletions(-) diff --git a/ChangeLog b/ChangeLog index a7d45e2..a545983 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,25 @@ 2000-03-17 Akim Demaille + Change the handling of @s so that they behave exactly like $s. + There is now a pseudo variable @$ (readble and writable), location + of the lhs of the rule (by default ranging from the location of + the first symbol of the rhs, to the location of the last symbol, + or, if the rhs is empty, YYLLOC). + + * src/bison.s1 [YYLSP_NEEDED] (yyloc): New variable, twin of + yyval. + (yyparse): When providing a default semantic action, provide a + default location action. + (after the $): No longer change `*YYLSP', just stack YYLOC the + same way you stack YYVAL. + * src/reader.c (read_declarations): Use warns. + (copy_guard, case '@'): Also recognize `@$', expanded as `YYLOC'. + (copy_action, case '@'): Likewise. + Use a standard error message, to save useless work from + translators. + +2000-03-17 Akim Demaille + * bison.s1: Formatting and cosmetics changes. * reader.c: Likewise. Update the Copyright notice. diff --git a/src/bison.s1 b/src/bison.s1 index f3cc2f6..e71ac99 100644 --- a/src/bison.s1 +++ b/src/bison.s1 @@ -309,10 +309,15 @@ yyparse(YYPARSE_PARAM_ARG) #endif - /* The variable used to return semantic values from the action - routines. */ + /* The variables used to return semantic value and location from the + action routines. */ YYSTYPE yyval; +# ifdef YYLSP_NEEDED + YYLTYPE yyloc; +# endif + /* When reducing, the number of symbols on the RHS of the reduced + rule. */ int yylen; if (yydebug) @@ -533,8 +538,27 @@ yydefault: /* Do a reduction. yyn is the number of a rule to reduce with. */ yyreduce: yylen = yyr2[yyn]; + /* Implement default value of the action: + `{dollar}{dollar} = {dollar}1'. */ + if (yylen > 0) + yyval = yyvsp[1-yylen]; +#ifdef YYLSP_NEEDED + /* Implement default location. If the rhs is empty, extend YYLOC to + YYLLOC, which corresponds to the current token, otherwise + implement `@{dollar} = Starts at @1, ends at @YYLEN'. */ if (yylen > 0) - yyval = yyvsp[1-yylen]; /* implement default value of the action */ + { + yyloc = yylsp[1-yylen]; + yyloc.last_line = yylsp[0].last_line; + yyloc.last_column = yylsp[0].last_column; + } + else + { + yyloc.last_line = yylsp[0].last_line; + yyloc.last_column = yylsp[0].last_column; + yyloc.text = 0; + } +#endif #if YYDEBUG /* We have to keep this `#if YYDEBUG', since we use variables which @@ -571,22 +595,8 @@ $ /* the action file gets copied in in place of this dollarsign */ } *++yyvsp = yyval; - #ifdef YYLSP_NEEDED - yylsp++; - if (yylen == 0) - { - yylsp->first_line = yylloc.first_line; - yylsp->first_column = yylloc.first_column; - yylsp->last_line = (yylsp-1)->last_line; - yylsp->last_column = (yylsp-1)->last_column; - yylsp->text = 0; - } - else - { - yylsp->last_line = (yylsp+yylen-1)->last_line; - yylsp->last_column = (yylsp+yylen-1)->last_column; - } + *++yylsp = yyloc; #endif /* Now `shift' the result of the reduction. Determine what state diff --git a/src/bison.simple b/src/bison.simple index f3cc2f6..e71ac99 100644 --- a/src/bison.simple +++ b/src/bison.simple @@ -309,10 +309,15 @@ yyparse(YYPARSE_PARAM_ARG) #endif - /* The variable used to return semantic values from the action - routines. */ + /* The variables used to return semantic value and location from the + action routines. */ YYSTYPE yyval; +# ifdef YYLSP_NEEDED + YYLTYPE yyloc; +# endif + /* When reducing, the number of symbols on the RHS of the reduced + rule. */ int yylen; if (yydebug) @@ -533,8 +538,27 @@ yydefault: /* Do a reduction. yyn is the number of a rule to reduce with. */ yyreduce: yylen = yyr2[yyn]; + /* Implement default value of the action: + `{dollar}{dollar} = {dollar}1'. */ + if (yylen > 0) + yyval = yyvsp[1-yylen]; +#ifdef YYLSP_NEEDED + /* Implement default location. If the rhs is empty, extend YYLOC to + YYLLOC, which corresponds to the current token, otherwise + implement `@{dollar} = Starts at @1, ends at @YYLEN'. */ if (yylen > 0) - yyval = yyvsp[1-yylen]; /* implement default value of the action */ + { + yyloc = yylsp[1-yylen]; + yyloc.last_line = yylsp[0].last_line; + yyloc.last_column = yylsp[0].last_column; + } + else + { + yyloc.last_line = yylsp[0].last_line; + yyloc.last_column = yylsp[0].last_column; + yyloc.text = 0; + } +#endif #if YYDEBUG /* We have to keep this `#if YYDEBUG', since we use variables which @@ -571,22 +595,8 @@ $ /* the action file gets copied in in place of this dollarsign */ } *++yyvsp = yyval; - #ifdef YYLSP_NEEDED - yylsp++; - if (yylen == 0) - { - yylsp->first_line = yylloc.first_line; - yylsp->first_column = yylloc.first_column; - yylsp->last_line = (yylsp-1)->last_line; - yylsp->last_column = (yylsp-1)->last_column; - yylsp->text = 0; - } - else - { - yylsp->last_line = (yylsp+yylen-1)->last_line; - yylsp->last_column = (yylsp+yylen-1)->last_column; - } + *++yylsp = yyloc; #endif /* Now `shift' the result of the reduction. Determine what state diff --git a/src/reader.c b/src/reader.c index 36af464..d670310 100644 --- a/src/reader.c +++ b/src/reader.c @@ -36,10 +36,27 @@ #include "gram.h" #include "machine.h" -#define LTYPESTR "\n#ifndef YYLTYPE\ntypedef\n struct yyltype\n\ - {\n int timestamp;\n int first_line;\n int first_column;\ -\n int last_line;\n int last_column;\n char *text;\n }\n\ - yyltype;\n\n#define YYLTYPE yyltype\n#endif\n\n" +#define LTYPESTR "\ +\n\ +#ifndef YYLTYPE\n\ +typedef\n\ + struct yyltype\n\ +\ + {\n\ + int timestamp;\n\ + int first_line;\n\ + int first_column;\ +\n\ + int last_line;\n\ + int last_column;\n\ + char *text;\n\ + }\n\ +\ + yyltype;\n\ +\n\ +#define YYLTYPE yyltype\n\ +#endif\n\ +\n" /* Number of slots allocated (but not necessarily used yet) in `rline' */ int rline_allocated; @@ -329,10 +346,8 @@ read_declarations (void) fatal(_("no input grammar")); else { - char buff[100]; - sprintf(buff, _("unknown character: %s"), printable_version(c)); - warn(buff); - skip_to_char('%'); + warns (_("unknown character: %s"), printable_version(c)); + skip_to_char('%'); } } } @@ -1156,39 +1171,43 @@ copy_guard (symbol_list *rule, int stack_offset) fprintf(fguard, "yyvsp[%d]", n - stack_offset); if (type_name) fprintf(fguard, ".%s", type_name); - if(!type_name && typed) - warnss(_("$%s of `%s' has no declared type"), int_to_string(n), rule->sym->tag); + if (!type_name && typed) + warnss (_("$%s of `%s' has no declared type"), + int_to_string(n), rule->sym->tag); continue; } else warns(_("$%s is invalid"), printable_version(c)); - break; case '@': - c = getc(finput); - if (isdigit(c) || c == '-') + c = getc (finput); + if (c == '$') + { + fprintf (fguard, "yyloc"); + yylsp_needed = 1; + } + else if (isdigit(c) || c == '-') { ungetc (c, finput); - n = read_signed_integer(finput); - c = getc(finput); + n = read_signed_integer (finput); + c = getc (finput); + fprintf (fguard, "yylsp[%d]", n - stack_offset); + yylsp_needed = 1; + continue; } else { - warns(_("@%s is invalid"), printable_version(c)); + warns (_("@%s is invalid"), printable_version (c)); n = 1; } - - fprintf(fguard, "yylsp[%d]", n - stack_offset); - yylsp_needed = 1; - - continue; + break; case EOF: - fatal(_("unterminated %%guard clause")); + fatal (_("unterminated %%guard clause")); default: - putc(c, fguard); + putc (c, fguard); } if (c != '}' || count != 0) @@ -1394,23 +1413,27 @@ copy_action (symbol_list *rule, int stack_offset) break; case '@': - c = getc(finput); - if (isdigit(c) || c == '-') + c = getc (finput); + if (c == '$') + { + fprintf (faction, "yyloc"); + yylsp_needed = 1; + } + else if (isdigit(c) || c == '-') { ungetc (c, finput); - n = read_signed_integer(finput); - c = getc(finput); + n = read_signed_integer (finput); + c = getc (finput); + fprintf (faction, "yylsp[%d]", n - stack_offset); + yylsp_needed = 1; + continue; } else { - warn(_("invalid @-construct")); + warns (_("@%s is invalid"), printable_version (c)); n = 1; } - - fprintf(faction, "yylsp[%d]", n - stack_offset); - yylsp_needed = 1; - - continue; + break; case EOF: fatal(_("unmatched `{'")); @@ -1651,21 +1674,25 @@ readgram (void) else if (t == LEFT_CURLY) { /* This case never occurs -wjh */ - if (actionflag) warn(_("two actions at end of one rule")); + if (actionflag) + warn(_("two actions at end of one rule")); copy_action(crule, rulelength); actionflag = 1; xactions++; /* -wjh */ t = lex(); } - /* If $$ is being set in default way, - warn if any type mismatch. */ - else if (!xactions && first_rhs && lhs->type_name != first_rhs->type_name) + /* If $$ is being set in default way, warn if any type + mismatch. */ + else if (!xactions + && first_rhs + && lhs->type_name != first_rhs->type_name) { - if (lhs->type_name == 0 || first_rhs->type_name == 0 + if (lhs->type_name == 0 + || first_rhs->type_name == 0 || strcmp(lhs->type_name,first_rhs->type_name)) warnss(_("type clash (`%s' `%s') on default action"), - lhs->type_name ? lhs->type_name : "", - first_rhs->type_name ? first_rhs->type_name : ""); + lhs->type_name ? lhs->type_name : "", + first_rhs->type_name ? first_rhs->type_name : ""); } /* Warn if there is no default for $$ but we need one. */ else if (!xactions && !first_rhs && lhs->type_name != 0) -- 2.7.4