X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/2c5690250c9489f1ec3cd083ee754938bb47707f..7029f8927fff6c48dfc1e1b26b8e3b8d473fa1ad:/src/parse-gram.c?ds=sidebyside diff --git a/src/parse-gram.c b/src/parse-gram.c index 054c0025..ed21950a 100644 --- a/src/parse-gram.c +++ b/src/parse-gram.c @@ -1,395 +1,380 @@ -/* A Bison parser, made from parse-gram.y - by GNU bison 1.35. */ +/* A Bison parser, made by GNU Bison 2.1a. */ -#define YYBISON 1 /* Identify Bison output. */ +/* Skeleton parser for Yacc-like parsing with Bison, + Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005 Free Software Foundation, Inc. + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2, or (at your option) + any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, + Boston, MA 02110-1301, USA. */ + +/* As a special exception, when this parser skeleton is copied by + Bison into a Bison output file, you may use that output file + without restriction. This special exception was added by the Free + Software Foundation for C LALR(1) parsers in version 1.24 of + Bison. */ + +/* C LALR(1) parser skeleton written by Richard Stallman, by + simplifying the original so-called "semantic" parser. */ + +/* All symbols defined below should begin with yy or YY, to avoid + infringing on user name space. This should be done even for local + variables, as they might otherwise be expanded by user macros. + There are some unavoidable exceptions within include files to + define necessary library symbols; they are noted "INFRINGES ON + USER NAME SPACE" below. */ + +/* Identify Bison output. */ +#define YYBISON 1 + +/* Bison version. */ +#define YYBISON_VERSION "2.1a" + +/* Skeleton name. */ +#define YYSKELETON_NAME "yacc.c" + +/* Pure parsers. */ +#define YYPURE 1 + +/* Using locations. */ +#define YYLSP_NEEDED 1 + +/* Substitute the variable and function names. */ #define yyparse gram_parse -#define yylex gram_lex +#define yylex gram_lex #define yyerror gram_error -#define yylval gram_lval -#define yychar gram_char +#define yylval gram_lval +#define yychar gram_char #define yydebug gram_debug #define yynerrs gram_nerrs -#define YYLSP_NEEDED 1 +#define yylloc gram_lloc + +/* Tokens. */ +#ifndef YYTOKENTYPE +# define YYTOKENTYPE + /* Put the tokens into the symbol table, so that GDB and other debuggers + know about them. */ + enum yytokentype { + GRAM_EOF = 0, + STRING = 258, + INT = 259, + PERCENT_TOKEN = 260, + PERCENT_NTERM = 261, + PERCENT_TYPE = 262, + PERCENT_DESTRUCTOR = 263, + PERCENT_PRINTER = 264, + PERCENT_UNION = 265, + PERCENT_LEFT = 266, + PERCENT_RIGHT = 267, + PERCENT_NONASSOC = 268, + PERCENT_PREC = 269, + PERCENT_DPREC = 270, + PERCENT_MERGE = 271, + PERCENT_DEBUG = 272, + PERCENT_DEFAULT_PREC = 273, + PERCENT_DEFINE = 274, + PERCENT_DEFINES = 275, + PERCENT_ERROR_VERBOSE = 276, + PERCENT_EXPECT = 277, + PERCENT_EXPECT_RR = 278, + PERCENT_FILE_PREFIX = 279, + PERCENT_GLR_PARSER = 280, + PERCENT_INITIAL_ACTION = 281, + PERCENT_LEX_PARAM = 282, + PERCENT_LOCATIONS = 283, + PERCENT_NAME_PREFIX = 284, + PERCENT_NO_DEFAULT_PREC = 285, + PERCENT_NO_LINES = 286, + PERCENT_NONDETERMINISTIC_PARSER = 287, + PERCENT_OUTPUT = 288, + PERCENT_PARSE_PARAM = 289, + PERCENT_PURE_PARSER = 290, + PERCENT_REQUIRE = 291, + PERCENT_SKELETON = 292, + PERCENT_START = 293, + PERCENT_TOKEN_TABLE = 294, + PERCENT_VERBOSE = 295, + PERCENT_YACC = 296, + TYPE = 297, + EQUAL = 298, + SEMICOLON = 299, + PIPE = 300, + ID = 301, + ID_COLON = 302, + PERCENT_PERCENT = 303, + PROLOGUE = 304, + EPILOGUE = 305, + BRACED_CODE = 306 + }; +#endif +/* Tokens. */ +#define GRAM_EOF 0 +#define STRING 258 +#define INT 259 +#define PERCENT_TOKEN 260 +#define PERCENT_NTERM 261 +#define PERCENT_TYPE 262 +#define PERCENT_DESTRUCTOR 263 +#define PERCENT_PRINTER 264 +#define PERCENT_UNION 265 +#define PERCENT_LEFT 266 +#define PERCENT_RIGHT 267 +#define PERCENT_NONASSOC 268 +#define PERCENT_PREC 269 +#define PERCENT_DPREC 270 +#define PERCENT_MERGE 271 +#define PERCENT_DEBUG 272 +#define PERCENT_DEFAULT_PREC 273 +#define PERCENT_DEFINE 274 +#define PERCENT_DEFINES 275 +#define PERCENT_ERROR_VERBOSE 276 +#define PERCENT_EXPECT 277 +#define PERCENT_EXPECT_RR 278 +#define PERCENT_FILE_PREFIX 279 +#define PERCENT_GLR_PARSER 280 +#define PERCENT_INITIAL_ACTION 281 +#define PERCENT_LEX_PARAM 282 +#define PERCENT_LOCATIONS 283 +#define PERCENT_NAME_PREFIX 284 +#define PERCENT_NO_DEFAULT_PREC 285 +#define PERCENT_NO_LINES 286 +#define PERCENT_NONDETERMINISTIC_PARSER 287 +#define PERCENT_OUTPUT 288 +#define PERCENT_PARSE_PARAM 289 +#define PERCENT_PURE_PARSER 290 +#define PERCENT_REQUIRE 291 +#define PERCENT_SKELETON 292 +#define PERCENT_START 293 +#define PERCENT_TOKEN_TABLE 294 +#define PERCENT_VERBOSE 295 +#define PERCENT_YACC 296 +#define TYPE 297 +#define EQUAL 298 +#define SEMICOLON 299 +#define PIPE 300 +#define ID 301 +#define ID_COLON 302 +#define PERCENT_PERCENT 303 +#define PROLOGUE 304 +#define EPILOGUE 305 +#define BRACED_CODE 306 + + + + +/* Copy the first part of user declarations. */ +#line 1 "parse-gram.y" +/* Bison Grammar Parser -*- C -*- + + Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc. + + This file is part of Bison, the GNU Compiler Compiler. + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. -# define GRAM_EOF 0 -# define STRING 257 -# define CHARACTER 258 -# define INT 259 -# define PERCENT_TOKEN 260 -# define PERCENT_NTERM 261 -# define PERCENT_TYPE 262 -# define PERCENT_UNION 263 -# define PERCENT_EXPECT 264 -# define PERCENT_START 265 -# define PERCENT_LEFT 266 -# define PERCENT_RIGHT 267 -# define PERCENT_NONASSOC 268 -# define PERCENT_PREC 269 -# define PERCENT_VERBOSE 270 -# define PERCENT_ERROR_VERBOSE 271 -# define PERCENT_OUTPUT 272 -# define PERCENT_FILE_PREFIX 273 -# define PERCENT_NAME_PREFIX 274 -# define PERCENT_DEFINE 275 -# define PERCENT_PURE_PARSER 276 -# define PERCENT_DEFINES 277 -# define PERCENT_YACC 278 -# define PERCENT_DEBUG 279 -# define PERCENT_LOCATIONS 280 -# define PERCENT_NO_LINES 281 -# define PERCENT_SKELETON 282 -# define PERCENT_TOKEN_TABLE 283 -# define TYPE 284 -# define EQUAL 285 -# define SEMICOLON 286 -# define COLON 287 -# define PIPE 288 -# define ID 289 -# define PERCENT_PERCENT 290 -# define PROLOGUE 291 -# define EPILOGUE 292 -# define BRACED_CODE 293 - -#line 31 "parse-gram.y" + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + 02110-1301 USA +*/ #include "system.h" -#include "muscle_tab.h" + +#include "complain.h" +#include "conflicts.h" #include "files.h" #include "getargs.h" -#include "output.h" #include "gram.h" +#include "muscle_tab.h" +#include "output.h" +#include "quotearg.h" #include "reader.h" -#include "conflicts.h" +#include "symlist.h" +#include "strverscmp.h" + +#define YYLLOC_DEFAULT(Current, Rhs, N) (Current) = lloc_default (Rhs, N) +static YYLTYPE lloc_default (YYLTYPE const *, int); -/* Produce verbose parse errors. */ -#define YYERROR_VERBOSE 1 +#define YY_LOCATION_PRINT(File, Loc) \ + location_print (File, Loc) -/* Pass the control structure to YYPARSE and YYLEX. */ -#define YYPARSE_PARAM gram_control -#define YYLEX_PARAM gram_control -/* YYPARSE receives GRAM_CONTROL as a void *. Provide a - correctly typed access to it. */ -#define yycontrol ((gram_control_t *) gram_control) +static void version_check (location const *loc, char const *version); -/* Request detailed parse error messages, and pass them to - GRAM_ERROR. */ +/* Request detailed syntax error messages, and pass them to GRAM_ERROR. + FIXME: depends on the undocumented availability of YYLLOC. */ #undef yyerror #define yyerror(Msg) \ - gram_error (yycontrol, &yylloc, Msg) - -/* When debugging our pure parser, we want to see values and locations - of the tokens. */ -#define YYPRINT(File, Type, Value) \ - yyprint (File, &yylloc, Type, &Value) -static void yyprint (FILE *file, const location_t *loc, - int type, const yystype *value); - -symbol_class current_class = unknown_sym; -char *current_type = 0; -symbol_t *current_lhs; -associativity current_assoc; -int current_prec = 0; - -#line 73 "parse-gram.y" -#ifndef YYSTYPE -typedef union -{ - symbol_t *symbol; - int integer; - char *string; - associativity assoc; -} yystype; -# define YYSTYPE yystype -# define YYSTYPE_IS_TRIVIAL 1 -#endif + gram_error (&yylloc, Msg) +static void gram_error (location const *, char const *); -#ifndef YYLTYPE -typedef struct yyltype -{ - int first_line; - int first_column; +static void add_param (char const *, char *, location); - int last_line; - int last_column; -} yyltype; +static symbol_class current_class = unknown_sym; +static uniqstr current_type = 0; +static symbol *current_lhs; +static location current_lhs_location; +static int current_prec = 0; -# define YYLTYPE yyltype -# define YYLTYPE_IS_TRIVIAL 1 -#endif +/* Enabling traces. */ #ifndef YYDEBUG # define YYDEBUG 1 #endif - - -#define YYFINAL 95 -#define YYFLAG -32768 -#define YYNTBASE 41 - -/* YYTRANSLATE(YYLEX) -- Bison token number corresponding to YYLEX. */ -#define YYTRANSLATE(x) ((unsigned)(x) <= 293 ? yytranslate[x] : 69) - -/* YYTRANSLATE[YYLEX] -- Bison token number corresponding to YYLEX. */ -static const char yytranslate[] = -{ - 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, - 2, 2, 2, 2, 2, 2, 1, 4, 5, 6, - 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, - 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, - 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, - 37, 38, 39, 40 -}; - -#if YYDEBUG -static const short yyprhs[] = -{ - 0, 0, 1, 7, 8, 11, 13, 15, 17, 21, - 23, 25, 28, 32, 34, 38, 40, 44, 46, 49, - 51, 53, 55, 57, 59, 62, 66, 67, 71, 72, - 76, 77, 82, 83, 88, 90, 92, 94, 95, 97, - 99, 102, 104, 107, 109, 111, 114, 117, 121, 123, - 126, 128, 131, 132, 138, 140, 144, 145, 148, 151, - 155, 157, 159, 161, 163, 165, 167, 168, 171, 172 -}; -static const short yyrhs[] = -{ - -1, 42, 43, 37, 58, 67, 0, 0, 43, 44, - 0, 45, 0, 38, 0, 26, 0, 22, 66, 66, - 0, 24, 0, 18, 0, 11, 6, 0, 20, 32, - 66, 0, 27, 0, 21, 32, 66, 0, 28, 0, - 19, 32, 66, 0, 23, 0, 29, 66, 0, 30, - 0, 17, 0, 25, 0, 50, 0, 46, 0, 12, - 63, 0, 10, 40, 68, 0, 0, 8, 47, 57, - 0, 0, 7, 48, 57, 0, 0, 9, 31, 49, - 54, 0, 0, 52, 53, 51, 55, 0, 13, 0, - 14, 0, 15, 0, 0, 31, 0, 36, 0, 54, - 36, 0, 63, 0, 55, 63, 0, 31, 0, 36, - 0, 36, 6, 0, 36, 65, 0, 36, 6, 65, - 0, 56, 0, 57, 56, 0, 59, 0, 58, 59, - 0, 0, 36, 34, 60, 61, 33, 0, 62, 0, - 61, 35, 62, 0, 0, 62, 63, 0, 62, 64, - 0, 62, 16, 63, 0, 36, 0, 65, 0, 5, - 0, 40, 0, 4, 0, 4, 0, 0, 37, 39, - 0, 0, 33, 0 -}; - +/* Enabling verbose error messages. */ +#ifdef YYERROR_VERBOSE +# undef YYERROR_VERBOSE +# define YYERROR_VERBOSE 1 +#else +# define YYERROR_VERBOSE 1 #endif -#if YYDEBUG -/* YYRLINE[YYN] -- source line where rule number YYN was defined. */ -static const short yyrline[] = -{ - 0, 134, 134, 147, 149, 152, 154, 155, 156, 157, - 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, - 168, 169, 172, 174, 175, 179, 187, 187, 193, 193, - 198, 198, 204, 204, 211, 213, 214, 217, 219, 223, - 225, 229, 235, 243, 248, 253, 259, 265, 275, 278, - 287, 289, 292, 292, 297, 299, 302, 305, 307, 309, - 313, 315, 316, 319, 325, 334, 342, 347, 353, 355 -}; +/* Enabling the token table. */ +#ifndef YYTOKEN_TABLE +# define YYTOKEN_TABLE 0 #endif - -#if (YYDEBUG) || defined YYERROR_VERBOSE - -/* YYTNAME[TOKEN_NUM] -- String name of the token TOKEN_NUM. */ -static const char *const yytname[] = -{ - "$", "error", "$undefined.", "\"end of string\"", "STRING", "CHARACTER", - "INT", "\"%token\"", "\"%nterm\"", "\"%type\"", "\"%union\"", - "\"%expect\"", "\"%start\"", "\"%left\"", "\"%right\"", "\"%nonassoc\"", - "\"%prec\"", "\"%verbose\"", "\"%error-verbose\"", "\"%output\"", - "\"%file-prefix\"", "\"%name-prefix\"", "\"%define\"", - "\"%pure-parser\"", "\"%defines\"", "\"%yacc\"", "\"%debug\"", - "\"%locations\"", "\"%no-lines\"", "\"%skeleton\"", "\"%token-table\"", - "TYPE", "\"=\"", "\";\"", "\":\"", "\"|\"", "\"identifier\"", "\"%%\"", - "PROLOGUE", "EPILOGUE", "BRACED_CODE", "input", "@1", "declarations", - "declaration", "grammar_declaration", "symbol_declaration", "@2", "@3", - "@4", "precedence_declaration", "@5", "precedence_declarator", - "type.opt", "nterms_to_type.1", "terms_to_prec.1", "symbol_def", - "symbol_defs.1", "grammar", "rules", "@6", "rhses.1", "rhs", "symbol", - "action", "string_as_id", "string_content", "epilogue.opt", - "semi_colon_opt", 0 -}; +#if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED) +#line 81 "parse-gram.y" +typedef union YYSTYPE { + symbol *symbol; + symbol_list *list; + int integer; + char *chars; + assoc assoc; + uniqstr uniqstr; +} YYSTYPE; +/* Line 197 of yacc.c. */ +#line 267 "parse-gram.c" +# define yystype YYSTYPE /* obsolescent; will be withdrawn */ +# define YYSTYPE_IS_DECLARED 1 +# define YYSTYPE_IS_TRIVIAL 1 #endif -/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ -static const short yyr1[] = +#if ! defined (YYLTYPE) && ! defined (YYLTYPE_IS_DECLARED) +typedef struct YYLTYPE { - 0, 42, 41, 43, 43, 44, 44, 44, 44, 44, - 44, 44, 44, 44, 44, 44, 44, 44, 44, 44, - 44, 44, 45, 45, 45, 45, 47, 46, 48, 46, - 49, 46, 51, 50, 52, 52, 52, 53, 53, 54, - 54, 55, 55, 56, 56, 56, 56, 56, 57, 57, - 58, 58, 60, 59, 61, 61, 62, 62, 62, 62, - 63, 63, 63, 64, 65, 66, 67, 67, 68, 68 -}; + int first_line; + int first_column; + int last_line; + int last_column; +} YYLTYPE; +# define yyltype YYLTYPE /* obsolescent; will be withdrawn */ +# define YYLTYPE_IS_DECLARED 1 +# define YYLTYPE_IS_TRIVIAL 1 +#endif -/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */ -static const short yyr2[] = -{ - 0, 0, 5, 0, 2, 1, 1, 1, 3, 1, - 1, 2, 3, 1, 3, 1, 3, 1, 2, 1, - 1, 1, 1, 1, 2, 3, 0, 3, 0, 3, - 0, 4, 0, 4, 1, 1, 1, 0, 1, 1, - 2, 1, 2, 1, 1, 2, 2, 3, 1, 2, - 1, 2, 0, 5, 1, 3, 0, 2, 2, 3, - 1, 1, 1, 1, 1, 1, 0, 2, 0, 1 -}; -/* YYDEFACT[S] -- default rule to reduce with in state S when YYTABLE - doesn't specify something else to do. Zero means the default is an - error. */ -static const short yydefact[] = -{ - 1, 3, 0, 28, 26, 0, 0, 0, 0, 34, - 35, 36, 20, 10, 0, 0, 0, 0, 17, 9, - 21, 7, 13, 15, 0, 19, 0, 6, 4, 5, - 23, 22, 37, 0, 0, 30, 68, 11, 64, 62, - 60, 24, 61, 0, 0, 0, 65, 0, 18, 0, - 66, 50, 38, 32, 43, 44, 48, 29, 27, 0, - 69, 25, 16, 12, 14, 8, 52, 0, 51, 2, - 0, 45, 46, 49, 39, 31, 56, 67, 33, 41, - 47, 40, 0, 54, 42, 53, 56, 0, 63, 57, - 58, 55, 59, 0, 0, 0 -}; +/* Copy the second part of user declarations. */ -static const short yydefgoto[] = -{ - 93, 1, 2, 28, 29, 30, 34, 33, 59, 31, - 70, 32, 53, 75, 78, 56, 57, 50, 51, 76, - 82, 83, 89, 90, 42, 47, 69, 61 -}; -static const short yypact[] = -{ - -32768,-32768, 31,-32768,-32768, -22, -29, 8, -1,-32768, - -32768,-32768,-32768,-32768, -16, -14, -11, 19,-32768,-32768, - -32768,-32768,-32768,-32768, 19,-32768, -9,-32768,-32768,-32768, - -32768,-32768, 0, -24, -24,-32768, 1,-32768,-32768,-32768, - -32768,-32768,-32768, 19, 19, 19,-32768, 19,-32768, -2, - -17,-32768,-32768,-32768,-32768, 4,-32768, -24, -24, 11, - -32768,-32768,-32768,-32768,-32768,-32768,-32768, 24,-32768,-32768, - -1, 32,-32768,-32768,-32768, 28,-32768,-32768, -1,-32768, - -32768,-32768, -18, -3,-32768,-32768,-32768, -1,-32768,-32768, - -32768, -3,-32768, 65, 66,-32768 -}; +/* Line 220 of yacc.c. */ +#line 291 "parse-gram.c" -static const short yypgoto[] = -{ - -32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768,-32768, - -32768,-32768,-32768,-32768,-32768, -28, 33,-32768, 21,-32768, - -32768, -13, -8,-32768, -49, -19,-32768,-32768 -}; +/* Define YYMODERN_C if this compiler supports C89 or better. If + __STDC__ is defined, the compiler is modern. IBM xlc 7.0 when run + as 'cc' doesn't define __STDC__ (or __STDC_VERSION__) for pedantic + reasons, but it defines __C99__FUNC__ so check that as well. + Consider a C++ compiler to be modern if it defines __cplusplus. */ +#ifndef YYMODERN_C +# if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +# define YYMODERN_C 1 +# else +# define YYMODERN_C 0 +# endif +#endif +#ifndef YYSIZE_T +# if defined (__SIZE_TYPE__) +# define YYSIZE_T __SIZE_TYPE__ +# elif defined (size_t) +# define YYSIZE_T size_t +# elif ! defined (YYSIZE_T) && YYMODERN_C +# include /* INFRINGES ON USER NAME SPACE */ +# define YYSIZE_T size_t +# else +# define YYSIZE_T unsigned int +# endif +#endif -#define YYLAST 79 +#define YYSIZE_MAXIMUM ((YYSIZE_T) -1) +#ifndef YY_ +# if YYENABLE_NLS +# if ENABLE_NLS +# include /* INFRINGES ON USER NAME SPACE */ +# define YY_(msgid) dgettext ("bison-runtime", msgid) +# endif +# endif +# ifndef YY_ +# define YY_(msgid) msgid +# endif +#endif -static const short yytable[] = -{ - 41, 38, 39, 38, 39, 48, 72, 54, 38, 35, - 71, 36, 55, 87, 37, 85, 43, 86, 44, 49, - 67, 45, 80, 46, 62, 63, 64, 49, 65, 73, - 73, 52, 66, 40, 60, 40, 38, 88, 3, 4, - 5, 6, 7, 8, 9, 10, 11, 74, 12, 13, - 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, - 24, 25, 79, 77, 81, 94, 95, 58, 26, 27, - 84, 68, 0, 91, 0, 0, 0, 0, 0, 92 -}; +/* Suppress unused-variable warnings by "using" E. */ +#ifndef lint +# define YYUSE(e) ((void) (e)) +#else +# define YYUSE(e) /* empty */ +#endif -static const short yycheck[] = +/* Identity function, used to suppress warnings about constant conditions. */ +#ifndef lint +# define YYID(n) (n) +#else +#if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +static int +YYID (int i) +#else +static int +YYID (i) + int i; +#endif { - 8, 4, 5, 4, 5, 24, 55, 31, 4, 31, - 6, 40, 36, 16, 6, 33, 32, 35, 32, 36, - 37, 32, 71, 4, 43, 44, 45, 36, 47, 57, - 58, 31, 34, 36, 33, 36, 4, 40, 7, 8, - 9, 10, 11, 12, 13, 14, 15, 36, 17, 18, - 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, - 29, 30, 70, 39, 36, 0, 0, 34, 37, 38, - 78, 50, -1, 86, -1, -1, -1, -1, -1, 87 -}; -#define YYPURE 1 - -/* -*-C-*- Note some compilers choke on comments on `#line' lines. */ -#line 3 "/usr/share/bison/bison.simple" - -/* Skeleton output parser for bison, - - Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software - Foundation, Inc. - - This program is free software; you can redistribute it and/or modify - it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2, or (at your option) - any later version. - - This program is distributed in the hope that it will be useful, - but WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the - GNU General Public License for more details. - - You should have received a copy of the GNU General Public License - along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, - Boston, MA 02111-1307, USA. */ - -/* As a special exception, when this file is copied by Bison into a - Bison output file, you may use that output file without restriction. - This special exception was added by the Free Software Foundation - in version 1.24 of Bison. */ - -/* This is the parser code that is written into each bison parser when - the %semantic_parser declaration is not specified in the grammar. - It was written by Richard Stallman by simplifying the hairy parser - used when %semantic_parser is specified. */ - -/* All symbols defined below should begin with yy or YY, to avoid - infringing on user name space. This should be done even for local - variables, as they might otherwise be expanded by user macros. - There are some unavoidable exceptions within include files to - define necessary library symbols; they are noted "INFRINGES ON - USER NAME SPACE" below. */ + return i; +} +#endif -#if ! defined (yyoverflow) || defined (YYERROR_VERBOSE) +#if ! defined (yyoverflow) || YYERROR_VERBOSE /* The parser invokes alloca or malloc; define the necessary symbols. */ -# if YYSTACK_USE_ALLOCA -# define YYSTACK_ALLOC alloca -# else -# ifndef YYSTACK_USE_ALLOCA -# if defined (alloca) || defined (_ALLOCA_H) -# define YYSTACK_ALLOC alloca +# ifdef YYSTACK_USE_ALLOCA +# if YYSTACK_USE_ALLOCA +# ifdef __GNUC__ +# define YYSTACK_ALLOC __builtin_alloca +# elif defined (__BUILTIN_VA_ARG_INCR) +# include /* INFRINGES ON USER NAME SPACE */ +# elif defined (_AIX) +# define YYSTACK_ALLOC __alloca +# elif defined (_MSC_VER) +# include /* INFRINGES ON USER NAME SPACE */ +# define alloca _alloca # else -# ifdef __GNUC__ -# define YYSTACK_ALLOC __builtin_alloca +# define YYSTACK_ALLOC alloca +# if ! defined (_ALLOCA_H) && ! defined (_STDLIB_H) && YYMODERN_C +# include /* INFRINGES ON USER NAME SPACE */ +# ifndef _STDLIB_H +# define _STDLIB_H 1 +# endif # endif # endif # endif @@ -397,62 +382,79 @@ static const short yycheck[] = # ifdef YYSTACK_ALLOC /* Pacify GCC's `empty if-body' warning. */ -# define YYSTACK_FREE(Ptr) do { /* empty */; } while (0) +# define YYSTACK_FREE(Ptr) do { /* empty */; } while (YYID (0)) +# ifndef YYSTACK_ALLOC_MAXIMUM + /* The OS might guarantee only one guard page at the bottom of the stack, + and a page size can be as small as 4096 bytes. So we cannot safely + invoke alloca (N) if N exceeds 4096. Use a slightly smaller number + to allow for a few compiler-allocated temporary stack slots. */ +# define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2005 */ +# endif # else -# if defined (__STDC__) || defined (__cplusplus) -# include /* INFRINGES ON USER NAME SPACE */ -# define YYSIZE_T size_t +# define YYSTACK_ALLOC YYMALLOC +# define YYSTACK_FREE YYFREE +# ifndef YYSTACK_ALLOC_MAXIMUM +# define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM +# endif +# ifdef __cplusplus +extern "C" { +# endif +# ifndef YYMALLOC +# define YYMALLOC malloc +# if ! defined (malloc) && ! defined (_STDLIB_H) && YYMODERN_C +void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifndef YYFREE +# define YYFREE free +# if ! defined (free) && ! defined (_STDLIB_H) && YYMODERN_C +void free (void *); /* INFRINGES ON USER NAME SPACE */ +# endif +# endif +# ifdef __cplusplus +} # endif -# define YYSTACK_ALLOC malloc -# define YYSTACK_FREE free # endif -#endif /* ! defined (yyoverflow) || defined (YYERROR_VERBOSE) */ +#endif /* ! defined (yyoverflow) || YYERROR_VERBOSE */ #if (! defined (yyoverflow) \ && (! defined (__cplusplus) \ - || (YYLTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL))) + || (defined (YYLTYPE_IS_TRIVIAL) && YYLTYPE_IS_TRIVIAL \ + && defined (YYSTYPE_IS_TRIVIAL) && YYSTYPE_IS_TRIVIAL))) /* A type that is properly aligned for any stack member. */ union yyalloc { - short yyss; + short int yyss; YYSTYPE yyvs; -# if YYLSP_NEEDED - YYLTYPE yyls; -# endif + YYLTYPE yyls; }; /* The size of the maximum gap between one aligned stack and the next. */ -# define YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1) +# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) /* The size of an array large to enough to hold all stacks, each with N elements. */ -# if YYLSP_NEEDED -# define YYSTACK_BYTES(N) \ - ((N) * (sizeof (short) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \ - + 2 * YYSTACK_GAP_MAX) -# else -# define YYSTACK_BYTES(N) \ - ((N) * (sizeof (short) + sizeof (YYSTYPE)) \ - + YYSTACK_GAP_MAX) -# endif +# define YYSTACK_BYTES(N) \ + ((N) * (sizeof (short int) + sizeof (YYSTYPE) + sizeof (YYLTYPE)) \ + + 2 * YYSTACK_GAP_MAXIMUM) /* Copy COUNT objects from FROM to TO. The source and destination do not overlap. */ # ifndef YYCOPY -# if 1 < __GNUC__ +# if defined (__GNUC__) && 1 < __GNUC__ # define YYCOPY(To, From, Count) \ __builtin_memcpy (To, From, (Count) * sizeof (*(From))) # else # define YYCOPY(To, From, Count) \ do \ { \ - register YYSIZE_T yyi; \ + YYSIZE_T yyi; \ for (yyi = 0; yyi < (Count); yyi++) \ (To)[yyi] = (From)[yyi]; \ } \ - while (0) + while (YYID (0)) # endif # endif @@ -467,97 +469,407 @@ union yyalloc YYSIZE_T yynewbytes; \ YYCOPY (&yyptr->Stack, Stack, yysize); \ Stack = &yyptr->Stack; \ - yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \ + yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \ yyptr += yynewbytes / sizeof (*yyptr); \ } \ - while (0) + while (YYID (0)) #endif +#if YYMODERN_C + typedef signed char yysigned_char; +#else + typedef short int yysigned_char; +#endif + +/* YYFINAL -- State number of the termination state. */ +#define YYFINAL 3 +/* YYLAST -- Last index in YYTABLE. */ +#define YYLAST 161 + +/* YYNTOKENS -- Number of terminals. */ +#define YYNTOKENS 52 +/* YYNNTS -- Number of nonterminals. */ +#define YYNNTS 25 +/* YYNRULES -- Number of rules. */ +#define YYNRULES 81 +/* YYNRULES -- Number of states. */ +#define YYNSTATES 110 + +/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */ +#define YYUNDEFTOK 2 +#define YYMAXUTOK 306 + +#define YYTRANSLATE(YYX) \ + ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) + +/* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */ +static const unsigned char yytranslate[] = +{ + 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, + 2, 2, 2, 2, 2, 2, 1, 2, 3, 4, + 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, + 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, + 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, + 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, + 45, 46, 47, 48, 49, 50, 51 +}; -#if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__) -# define YYSIZE_T __SIZE_TYPE__ +#if YYDEBUG +/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in + YYRHS. */ +static const unsigned char yyprhs[] = +{ + 0, 0, 3, 8, 9, 12, 14, 16, 18, 21, + 25, 27, 29, 32, 35, 39, 41, 43, 45, 47, + 51, 53, 55, 59, 61, 63, 66, 69, 71, 73, + 75, 77, 79, 81, 84, 86, 89, 92, 94, 96, + 97, 101, 102, 106, 110, 114, 116, 118, 120, 121, + 123, 125, 128, 130, 132, 135, 138, 142, 144, 147, + 149, 152, 154, 157, 160, 161, 165, 167, 171, 174, + 175, 178, 181, 185, 189, 193, 195, 197, 199, 201, + 203, 204 +}; + +/* YYRHS -- A `-1'-separated list of the rules' RHS. */ +static const yysigned_char yyrhs[] = +{ + 53, 0, -1, 54, 48, 66, 76, -1, -1, 54, + 55, -1, 56, -1, 49, -1, 17, -1, 19, 75, + -1, 19, 75, 75, -1, 20, -1, 21, -1, 22, + 4, -1, 23, 4, -1, 24, 43, 75, -1, 25, + -1, 26, -1, 27, -1, 28, -1, 29, 43, 75, + -1, 31, -1, 32, -1, 33, 43, 75, -1, 34, + -1, 35, -1, 36, 75, -1, 37, 75, -1, 39, + -1, 40, -1, 41, -1, 44, -1, 60, -1, 57, + -1, 38, 72, -1, 10, -1, 8, 63, -1, 9, + 63, -1, 18, -1, 30, -1, -1, 6, 58, 65, + -1, -1, 5, 59, 65, -1, 7, 42, 63, -1, + 61, 62, 63, -1, 11, -1, 12, -1, 13, -1, + -1, 42, -1, 72, -1, 63, 72, -1, 42, -1, + 46, -1, 46, 4, -1, 46, 74, -1, 46, 4, + 74, -1, 64, -1, 65, 64, -1, 67, -1, 66, + 67, -1, 68, -1, 56, 44, -1, 1, 44, -1, + -1, 47, 69, 70, -1, 71, -1, 70, 45, 71, + -1, 70, 44, -1, -1, 71, 72, -1, 71, 73, + -1, 71, 14, 72, -1, 71, 15, 4, -1, 71, + 16, 42, -1, 46, -1, 74, -1, 51, -1, 3, + -1, 3, -1, -1, 48, 50, -1 +}; + +/* YYRLINE[YYN] -- source line where rule number YYN was defined. */ +static const unsigned short int yyrline[] = +{ + 0, 191, 191, 199, 201, 205, 206, 207, 208, 209, + 210, 211, 212, 213, 214, 215, 220, 224, 225, 226, + 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, + 237, 241, 242, 243, 247, 253, 260, 267, 271, 278, + 278, 283, 283, 288, 298, 313, 314, 315, 319, 320, + 326, 327, 332, 336, 341, 347, 353, 364, 365, 374, + 375, 381, 382, 387, 394, 394, 398, 399, 400, 405, + 406, 408, 410, 412, 414, 419, 420, 424, 430, 439, + 444, 446 +}; #endif -#if ! defined (YYSIZE_T) && defined (size_t) -# define YYSIZE_T size_t + +#if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE +/* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM. + First, the terminals, then, starting at YYNTOKENS, nonterminals. */ +static const char *const yytname[] = +{ + "\"end of file\"", "error", "$undefined", "\"string\"", "\"integer\"", + "\"%token\"", "\"%nterm\"", "\"%type\"", "\"%destructor {...}\"", + "\"%printer {...}\"", "\"%union {...}\"", "\"%left\"", "\"%right\"", + "\"%nonassoc\"", "\"%prec\"", "\"%dprec\"", "\"%merge\"", "\"%debug\"", + "\"%default-prec\"", "\"%define\"", "\"%defines\"", "\"%error-verbose\"", + "\"%expect\"", "\"%expect-rr\"", "\"%file-prefix\"", "\"%glr-parser\"", + "\"%initial-action {...}\"", "\"%lex-param {...}\"", "\"%locations\"", + "\"%name-prefix\"", "\"%no-default-prec\"", "\"%no-lines\"", + "\"%nondeterministic-parser\"", "\"%output\"", "\"%parse-param {...}\"", + "\"%pure-parser\"", "\"%require\"", "\"%skeleton\"", "\"%start\"", + "\"%token-table\"", "\"%verbose\"", "\"%yacc\"", "\"type\"", "\"=\"", + "\";\"", "\"|\"", "\"identifier\"", "\"identifier:\"", "\"%%\"", + "\"%{...%}\"", "\"epilogue\"", "\"{...}\"", "$accept", "input", + "declarations", "declaration", "grammar_declaration", + "symbol_declaration", "@1", "@2", "precedence_declaration", + "precedence_declarator", "type.opt", "symbols.1", "symbol_def", + "symbol_defs.1", "grammar", "rules_or_grammar_declaration", "rules", + "@3", "rhses.1", "rhs", "symbol", "action", "string_as_id", + "string_content", "epilogue.opt", 0 +}; #endif -#if ! defined (YYSIZE_T) -# if defined (__STDC__) || defined (__cplusplus) -# include /* INFRINGES ON USER NAME SPACE */ -# define YYSIZE_T size_t + +# ifdef YYPRINT +/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to + token YYLEX-NUM. */ +static const unsigned short int yytoknum[] = +{ + 0, 256, 257, 258, 259, 260, 261, 262, 263, 264, + 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, + 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, + 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, + 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, + 305, 306 +}; # endif -#endif -#if ! defined (YYSIZE_T) -# define YYSIZE_T unsigned int -#endif + +/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */ +static const unsigned char yyr1[] = +{ + 0, 52, 53, 54, 54, 55, 55, 55, 55, 55, + 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, + 55, 55, 55, 55, 55, 55, 55, 55, 55, 55, + 55, 56, 56, 56, 56, 56, 56, 56, 56, 58, + 57, 59, 57, 57, 60, 61, 61, 61, 62, 62, + 63, 63, 64, 64, 64, 64, 64, 65, 65, 66, + 66, 67, 67, 67, 69, 68, 70, 70, 70, 71, + 71, 71, 71, 71, 71, 72, 72, 73, 74, 75, + 76, 76 +}; + +/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */ +static const unsigned char yyr2[] = +{ + 0, 2, 4, 0, 2, 1, 1, 1, 2, 3, + 1, 1, 2, 2, 3, 1, 1, 1, 1, 3, + 1, 1, 3, 1, 1, 2, 2, 1, 1, 1, + 1, 1, 1, 2, 1, 2, 2, 1, 1, 0, + 3, 0, 3, 3, 3, 1, 1, 1, 0, 1, + 1, 2, 1, 1, 2, 2, 3, 1, 2, 1, + 2, 1, 2, 2, 0, 3, 1, 3, 2, 0, + 2, 2, 3, 3, 3, 1, 1, 1, 1, 1, + 0, 2 +}; + +/* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state + STATE-NUM when YYTABLE doesn't specify something else to do. Zero + means the default is an error. */ +static const unsigned char yydefact[] = +{ + 3, 0, 0, 1, 41, 39, 0, 0, 0, 34, + 45, 46, 47, 7, 37, 0, 10, 11, 0, 0, + 0, 15, 16, 17, 18, 0, 38, 20, 21, 0, + 23, 24, 0, 0, 0, 27, 28, 29, 30, 0, + 6, 4, 5, 32, 31, 48, 0, 0, 0, 78, + 75, 35, 50, 76, 36, 79, 8, 12, 13, 0, + 0, 0, 25, 26, 33, 0, 64, 0, 0, 59, + 61, 49, 0, 52, 53, 57, 42, 40, 43, 51, + 9, 14, 19, 22, 63, 69, 62, 0, 60, 2, + 44, 54, 55, 58, 65, 66, 81, 56, 68, 69, + 0, 0, 0, 77, 70, 71, 67, 72, 73, 74 +}; + +/* YYDEFGOTO[NTERM-NUM]. */ +static const yysigned_char yydefgoto[] = +{ + -1, 1, 2, 41, 67, 43, 47, 46, 44, 45, + 72, 51, 75, 76, 68, 69, 70, 85, 94, 95, + 52, 105, 53, 56, 89 +}; + +/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing + STATE-NUM. */ +#define YYPACT_NINF -69 +static const yysigned_char yypact[] = +{ + -69, 5, 112, -69, -69, -69, -35, 0, 0, -69, + -69, -69, -69, -69, -69, 13, -69, -69, 20, 31, + -18, -69, -69, -69, -69, -6, -69, -69, -69, -5, + -69, -69, 13, 13, 0, -69, -69, -69, -69, 69, + -69, -69, -69, -69, -69, -2, -38, -38, 0, -69, + -69, 0, -69, -69, 0, -69, 13, -69, -69, 13, + 13, 13, -69, -69, -69, -8, -69, 3, 21, -69, + -69, -69, 0, -69, 6, -69, -38, -38, 0, -69, + -69, -69, -69, -69, -69, -69, -69, 2, -69, -69, + 0, 39, -69, -69, -33, -1, -69, -69, -69, -69, + 0, 44, 1, -69, -69, -69, -1, -69, -69, -69 +}; + +/* YYPGOTO[NTERM-NUM]. */ +static const yysigned_char yypgoto[] = +{ + -69, -69, -69, -69, 47, -69, -69, -69, -69, -69, + -69, -7, -58, 7, -69, -15, -69, -69, -69, -44, + -34, -69, -68, 30, -69 +}; + +/* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If + positive, shift that token. If negative, reduce the rule which + number is the opposite. If zero, do what YYDEFACT says. + If YYTABLE_NINF, syntax error. */ +#define YYTABLE_NINF -81 +static const yysigned_char yytable[] = +{ + 64, 54, 49, 49, 73, 3, 92, 48, 74, 49, + 91, 98, 99, 100, 101, 102, 55, 79, 93, 93, + 79, -80, 65, 97, 57, 59, 4, 5, 6, 7, + 8, 9, 10, 11, 12, 58, 84, 60, 61, 14, + 71, 78, 49, 109, 79, 50, 50, 86, 108, 42, + 103, 26, 96, 88, 77, 106, 79, 0, 0, 34, + 0, 104, 62, 63, 0, 90, 107, 0, 66, 87, + 65, 0, 104, 0, 4, 5, 6, 7, 8, 9, + 10, 11, 12, 0, 0, 0, 80, 14, 0, 81, + 82, 83, 0, 0, 0, 0, 0, 0, 0, 26, + 0, 0, 0, 0, 0, 0, 0, 34, 0, 0, + 0, 0, 0, 0, 0, 0, 66, 4, 5, 6, + 7, 8, 9, 10, 11, 12, 0, 0, 0, 13, + 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, + 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, + 34, 35, 36, 37, 0, 0, 38, 0, 0, 0, + 39, 40 +}; + +static const yysigned_char yycheck[] = +{ + 34, 8, 3, 3, 42, 0, 74, 42, 46, 3, + 4, 44, 45, 14, 15, 16, 3, 51, 76, 77, + 54, 0, 1, 91, 4, 43, 5, 6, 7, 8, + 9, 10, 11, 12, 13, 4, 44, 43, 43, 18, + 42, 48, 3, 42, 78, 46, 46, 44, 4, 2, + 51, 30, 50, 68, 47, 99, 90, -1, -1, 38, + -1, 95, 32, 33, -1, 72, 100, -1, 47, 48, + 1, -1, 106, -1, 5, 6, 7, 8, 9, 10, + 11, 12, 13, -1, -1, -1, 56, 18, -1, 59, + 60, 61, -1, -1, -1, -1, -1, -1, -1, 30, + -1, -1, -1, -1, -1, -1, -1, 38, -1, -1, + -1, -1, -1, -1, -1, -1, 47, 5, 6, 7, + 8, 9, 10, 11, 12, 13, -1, -1, -1, 17, + 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, + 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, + 38, 39, 40, 41, -1, -1, 44, -1, -1, -1, + 48, 49 +}; + +/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing + symbol of state STATE-NUM. */ +static const unsigned char yystos[] = +{ + 0, 53, 54, 0, 5, 6, 7, 8, 9, 10, + 11, 12, 13, 17, 18, 19, 20, 21, 22, 23, + 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, + 34, 35, 36, 37, 38, 39, 40, 41, 44, 48, + 49, 55, 56, 57, 60, 61, 59, 58, 42, 3, + 46, 63, 72, 74, 63, 3, 75, 4, 4, 43, + 43, 43, 75, 75, 72, 1, 47, 56, 66, 67, + 68, 42, 62, 42, 46, 64, 65, 65, 63, 72, + 75, 75, 75, 75, 44, 69, 44, 48, 67, 76, + 63, 4, 74, 64, 70, 71, 50, 74, 44, 45, + 14, 15, 16, 51, 72, 73, 71, 72, 4, 42 +}; #define yyerrok (yyerrstatus = 0) #define yyclearin (yychar = YYEMPTY) -#define YYEMPTY -2 +#define YYEMPTY (-2) #define YYEOF 0 + #define YYACCEPT goto yyacceptlab -#define YYABORT goto yyabortlab -#define YYERROR goto yyerrlab1 +#define YYABORT goto yyabortlab +#define YYERROR goto yyerrorlab + + /* Like YYERROR except do call yyerror. This remains here temporarily to ease the transition to the new meaning of YYERROR, for GCC. Once GCC version 2 has supplanted version 1, this can go. */ + #define YYFAIL goto yyerrlab + #define YYRECOVERING() (!!yyerrstatus) + #define YYBACKUP(Token, Value) \ do \ if (yychar == YYEMPTY && yylen == 1) \ { \ yychar = (Token); \ yylval = (Value); \ - yychar1 = YYTRANSLATE (yychar); \ + yytoken = YYTRANSLATE (yychar); \ YYPOPSTACK; \ goto yybackup; \ } \ else \ - { \ - yyerror ("syntax error: cannot back up"); \ + { \ + yyerror (YY_("syntax error: cannot back up")); \ YYERROR; \ } \ -while (0) +while (YYID (0)) + #define YYTERROR 1 #define YYERRCODE 256 -/* YYLLOC_DEFAULT -- Compute the default location (before the actions - are run). - - When YYLLOC_DEFAULT is run, CURRENT is set the location of the - first token. By default, to implement support for ranges, extend - its range to the last symbol. */ +/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N]. + If N is 0, then set CURRENT to the empty location which ends + the previous symbol: RHS[0] (always defined). */ +#define YYRHSLOC(Rhs, K) ((Rhs)[K]) #ifndef YYLLOC_DEFAULT -# define YYLLOC_DEFAULT(Current, Rhs, N) \ - Current.last_line = Rhs[N].last_line; \ - Current.last_column = Rhs[N].last_column; +# define YYLLOC_DEFAULT(Current, Rhs, N) \ + do \ + if (N) \ + { \ + (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \ + (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \ + (Current).last_line = YYRHSLOC (Rhs, N).last_line; \ + (Current).last_column = YYRHSLOC (Rhs, N).last_column; \ + } \ + else \ + { \ + (Current).first_line = (Current).last_line = \ + YYRHSLOC (Rhs, 0).last_line; \ + (Current).first_column = (Current).last_column = \ + YYRHSLOC (Rhs, 0).last_column; \ + } \ + while (YYID (0)) #endif -/* YYLEX -- calling `yylex' with the right arguments. */ +/* YY_LOCATION_PRINT -- Print the location on the stream. + This macro was not mandated originally: define only if we know + we won't break user code: when these are the locations we know. */ + +#ifndef YY_LOCATION_PRINT +# if YYLTYPE_IS_TRIVIAL +# define YY_LOCATION_PRINT(File, Loc) \ + fprintf (File, "%d.%d-%d.%d", \ + (Loc).first_line, (Loc).first_column, \ + (Loc).last_line, (Loc).last_column) +# else +# define YY_LOCATION_PRINT(File, Loc) ((void) 0) +# endif +#endif -#if YYPURE -# if YYLSP_NEEDED -# ifdef YYLEX_PARAM -# define YYLEX yylex (&yylval, &yylloc, YYLEX_PARAM) -# else -# define YYLEX yylex (&yylval, &yylloc) -# endif -# else /* !YYLSP_NEEDED */ -# ifdef YYLEX_PARAM -# define YYLEX yylex (&yylval, YYLEX_PARAM) -# else -# define YYLEX yylex (&yylval) -# endif -# endif /* !YYLSP_NEEDED */ -#else /* !YYPURE */ -# define YYLEX yylex () -#endif /* !YYPURE */ +/* YYLEX -- calling `yylex' with the right arguments. */ + +#ifdef YYLEX_PARAM +# define YYLEX yylex (&yylval, &yylloc, YYLEX_PARAM) +#else +# define YYLEX yylex (&yylval, &yylloc) +#endif /* Enable debugging if requested. */ #if YYDEBUG @@ -571,14 +883,225 @@ while (0) do { \ if (yydebug) \ YYFPRINTF Args; \ -} while (0) +} while (YYID (0)) + +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \ +do { \ + if (yydebug) \ + { \ + YYFPRINTF (stderr, "%s ", Title); \ + yysymprint (stderr, \ + Type, Value, Location); \ + YYFPRINTF (stderr, "\n"); \ + } \ +} while (YYID (0)) + +/*--------------------------------. +| Print this symbol on YYOUTPUT. | +`--------------------------------*/ + +/*ARGSUSED*/ +#if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +static void +yysymprint (FILE *yyoutput, int yytype, const YYSTYPE * const yyvaluep, const YYLTYPE * const yylocationp) +#else +static void +yysymprint (yyoutput, yytype, yyvaluep, yylocationp) + FILE *yyoutput; + int yytype; + const YYSTYPE * const yyvaluep; + const YYLTYPE * const yylocationp; +#endif +{ + YYUSE (yyvaluep); + YYUSE (yylocationp); + if (yytype < YYNTOKENS) + YYFPRINTF (yyoutput, "token %s (", yytname[yytype]); + else + YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]); + + YY_LOCATION_PRINT (yyoutput, *yylocationp); + YYFPRINTF (yyoutput, ": "); + +# ifdef YYPRINT + if (yytype < YYNTOKENS) + YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep); +# endif + switch (yytype) + { + case 3: /* "\"string\"" */ +#line 168 "parse-gram.y" + { fprintf (stderr, "\"%s\"", (yyvaluep->chars)); }; +#line 936 "parse-gram.c" + break; + case 4: /* "\"integer\"" */ +#line 181 "parse-gram.y" + { fprintf (stderr, "%d", (yyvaluep->integer)); }; +#line 941 "parse-gram.c" + break; + case 8: /* "\"%destructor {...}\"" */ +#line 170 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 946 "parse-gram.c" + break; + case 9: /* "\"%printer {...}\"" */ +#line 174 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 951 "parse-gram.c" + break; + case 10: /* "\"%union {...}\"" */ +#line 175 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 956 "parse-gram.c" + break; + case 26: /* "\"%initial-action {...}\"" */ +#line 171 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 961 "parse-gram.c" + break; + case 27: /* "\"%lex-param {...}\"" */ +#line 172 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 966 "parse-gram.c" + break; + case 34: /* "\"%parse-param {...}\"" */ +#line 173 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 971 "parse-gram.c" + break; + case 42: /* "\"type\"" */ +#line 179 "parse-gram.y" + { fprintf (stderr, "<%s>", (yyvaluep->uniqstr)); }; +#line 976 "parse-gram.c" + break; + case 46: /* "\"identifier\"" */ +#line 183 "parse-gram.y" + { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); }; +#line 981 "parse-gram.c" + break; + case 47: /* "\"identifier:\"" */ +#line 185 "parse-gram.y" + { fprintf (stderr, "%s:", (yyvaluep->symbol)->tag); }; +#line 986 "parse-gram.c" + break; + case 49: /* "\"%{...%}\"" */ +#line 177 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 991 "parse-gram.c" + break; + case 50: /* "\"epilogue\"" */ +#line 177 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 996 "parse-gram.c" + break; + case 51: /* "\"{...}\"" */ +#line 176 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1001 "parse-gram.c" + break; + case 72: /* "symbol" */ +#line 183 "parse-gram.y" + { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); }; +#line 1006 "parse-gram.c" + break; + case 73: /* "action" */ +#line 176 "parse-gram.y" + { fprintf (stderr, "{\n%s\n}", (yyvaluep->chars)); }; +#line 1011 "parse-gram.c" + break; + case 74: /* "string_as_id" */ +#line 183 "parse-gram.y" + { fprintf (stderr, "%s", (yyvaluep->symbol)->tag); }; +#line 1016 "parse-gram.c" + break; + case 75: /* "string_content" */ +#line 168 "parse-gram.y" + { fprintf (stderr, "\"%s\"", (yyvaluep->chars)); }; +#line 1021 "parse-gram.c" + break; + default: + break; + } + YYFPRINTF (yyoutput, ")"); +} + +/*------------------------------------------------------------------. +| yy_stack_print -- Print the state stack from its BOTTOM up to its | +| TOP (included). | +`------------------------------------------------------------------*/ + +#if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +static void +yy_stack_print (short int *bottom, short int *top) +#else +static void +yy_stack_print (bottom, top) + short int *bottom; + short int *top; +#endif +{ + YYFPRINTF (stderr, "Stack now"); + for (/* Nothing. */; bottom <= top; ++bottom) + YYFPRINTF (stderr, " %d", *bottom); + YYFPRINTF (stderr, "\n"); +} + +# define YY_STACK_PRINT(Bottom, Top) \ +do { \ + if (yydebug) \ + yy_stack_print ((Bottom), (Top)); \ +} while (YYID (0)) + + +/*------------------------------------------------. +| Report that the YYRULE is going to be reduced. | +`------------------------------------------------*/ + +#if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +static void +yy_reduce_print (YYSTYPE *yyvsp, YYLTYPE *yylsp, int yyrule) +#else +static void +yy_reduce_print (yyvsp, yylsp, yyrule + ) + YYSTYPE *yyvsp; + YYLTYPE *yylsp; + int yyrule; +#endif +{ + int yynrhs = yyr2[yyrule]; + int yyi; + unsigned long int yylno = yyrline[yyrule]; + YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n", + yyrule - 1, yylno); + /* The symbols being reduced. */ + for (yyi = 0; yyi < yynrhs; yyi++) + { + fprintf (stderr, " $%d = ", yyi + 1); + yysymprint (stderr, yyrhs[yyprhs[yyrule] + yyi], + &(yyvsp[(yyi + 1) - (yynrhs)]) + , &(yylsp[(yyi + 1) - (yynrhs)]) ); + fprintf (stderr, "\n"); + } +} + +# define YY_REDUCE_PRINT(Rule) \ +do { \ + if (yydebug) \ + yy_reduce_print (yyvsp, yylsp, Rule); \ +} while (YYID (0)) + /* Nonzero means print parse trace. It is left uninitialized so that multiple parsers can coexist. */ int yydebug; #else /* !YYDEBUG */ # define YYDPRINTF(Args) +# define YY_SYMBOL_PRINT(Title, Type, Value, Location) +# define YY_STACK_PRINT(Bottom, Top) +# define YY_REDUCE_PRINT(Rule) #endif /* !YYDEBUG */ + /* YYINITDEPTH -- initial size of the parser's stacks. */ #ifndef YYINITDEPTH # define YYINITDEPTH 200 @@ -588,18 +1111,16 @@ int yydebug; if the built-in stack extension method is used). Do not make this value too large; the results are undefined if - SIZE_MAX < YYSTACK_BYTES (YYMAXDEPTH) + YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH) evaluated with infinite-precision integer arithmetic. */ -#if YYMAXDEPTH == 0 -# undef YYMAXDEPTH -#endif - #ifndef YYMAXDEPTH # define YYMAXDEPTH 10000 #endif + -#ifdef YYERROR_VERBOSE + +#if YYERROR_VERBOSE # ifndef yystrlen # if defined (__GLIBC__) && defined (_STRING_H) @@ -607,19 +1128,17 @@ int yydebug; # else /* Return the length of YYSTR. */ static YYSIZE_T -# if defined (__STDC__) || defined (__cplusplus) +# if YYMODERN_C yystrlen (const char *yystr) # else yystrlen (yystr) const char *yystr; # endif { - register const char *yys = yystr; - - while (*yys++ != '\0') + YYSIZE_T yylen; + for (yylen = 0; yystr[yylen]; yylen++) continue; - - return yys - yystr - 1; + return yylen; } # endif # endif @@ -631,7 +1150,7 @@ yystrlen (yystr) /* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in YYDEST. */ static char * -# if defined (__STDC__) || defined (__cplusplus) +# if YYMODERN_C yystpcpy (char *yydest, const char *yysrc) # else yystpcpy (yydest, yysrc) @@ -639,8 +1158,8 @@ yystpcpy (yydest, yysrc) const char *yysrc; # endif { - register char *yyd = yydest; - register const char *yys = yysrc; + char *yyd = yydest; + const char *yys = yysrc; while ((*yyd++ = *yys++) != '\0') continue; @@ -649,86 +1168,265 @@ yystpcpy (yydest, yysrc) } # endif # endif -#endif + +# ifndef yytnamerr +/* Copy to YYRES the contents of YYSTR after stripping away unnecessary + quotes and backslashes, so that it's suitable for yyerror. The + heuristic is that double-quoting is unnecessary unless the string + contains an apostrophe, a comma, or backslash (other than + backslash-backslash). YYSTR is taken from yytname. If YYRES is + null, do not copy; instead, return the length of what the result + would have been. */ +static YYSIZE_T +yytnamerr (char *yyres, const char *yystr) +{ + if (*yystr == '"') + { + size_t yyn = 0; + char const *yyp = yystr; + + for (;;) + switch (*++yyp) + { + case '\'': + case ',': + goto do_not_strip_quotes; + + case '\\': + if (*++yyp != '\\') + goto do_not_strip_quotes; + /* Fall through. */ + default: + if (yyres) + yyres[yyn] = *yyp; + yyn++; + break; + + case '"': + if (yyres) + yyres[yyn] = '\0'; + return yyn; + } + do_not_strip_quotes: ; + } + + if (! yyres) + return yystrlen (yystr); + + return yystpcpy (yyres, yystr) - yyres; +} +# endif + +/* Copy into YYRESULT an error message about the unexpected token + YYCHAR while in state YYSTATE. Return the number of bytes copied, + including the terminating null byte. If YYRESULT is null, do not + copy anything; just return the number of bytes that would be + copied. As a special case, return 0 if an ordinary "syntax error" + message will do. Return YYSIZE_MAXIMUM if overflow occurs during + size calculation. */ +static YYSIZE_T +yysyntax_error (char *yyresult, int yystate, int yychar) +{ + int yyn = yypact[yystate]; + + if (! (YYPACT_NINF < yyn && yyn < YYLAST)) + return 0; + else + { + int yytype = YYTRANSLATE (yychar); + YYSIZE_T yysize0 = yytnamerr (0, yytname[yytype]); + YYSIZE_T yysize = yysize0; + YYSIZE_T yysize1; + int yysize_overflow = 0; + enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 }; + char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM]; + int yyx; + +# if 0 + /* This is so xgettext sees the translatable formats that are + constructed on the fly. */ + YY_("syntax error, unexpected %s"); + YY_("syntax error, unexpected %s, expecting %s"); + YY_("syntax error, unexpected %s, expecting %s or %s"); + YY_("syntax error, unexpected %s, expecting %s or %s or %s"); + YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"); +# endif + char *yyfmt; + char const *yyf; + static char const yyunexpected[] = "syntax error, unexpected %s"; + static char const yyexpecting[] = ", expecting %s"; + static char const yyor[] = " or %s"; + char yyformat[sizeof yyunexpected + + sizeof yyexpecting - 1 + + ((YYERROR_VERBOSE_ARGS_MAXIMUM - 2) + * (sizeof yyor - 1))]; + char const *yyprefix = yyexpecting; + + /* Start YYX at -YYN if negative to avoid negative indexes in + YYCHECK. */ + int yyxbegin = yyn < 0 ? -yyn : 0; + + /* Stay within bounds of both yycheck and yytname. */ + int yychecklim = YYLAST - yyn; + int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS; + int yycount = 1; + + yyarg[0] = yytname[yytype]; + yyfmt = yystpcpy (yyformat, yyunexpected); + + for (yyx = yyxbegin; yyx < yyxend; ++yyx) + if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR) + { + if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM) + { + yycount = 1; + yysize = yysize0; + yyformat[sizeof yyunexpected - 1] = '\0'; + break; + } + yyarg[yycount++] = yytname[yyx]; + yysize1 = yysize + yytnamerr (0, yytname[yyx]); + yysize_overflow |= (yysize1 < yysize); + yysize = yysize1; + yyfmt = yystpcpy (yyfmt, yyprefix); + yyprefix = yyor; + } + + yyf = YY_(yyformat); + yysize1 = yysize + yystrlen (yyf); + yysize_overflow |= (yysize1 < yysize); + yysize = yysize1; + + if (yysize_overflow) + return YYSIZE_MAXIMUM; + + if (yyresult) + { + /* Avoid sprintf, as that infringes on the user's name space. + Don't have undefined behavior even if the translation + produced a string with the wrong number of "%s"s. */ + char *yyp = yyresult; + int yyi = 0; + while ((*yyp = *yyf) != '\0') + { + if (*yyp == '%' && yyf[1] == 's' && yyi < yycount) + { + yyp += yytnamerr (yyp, yyarg[yyi++]); + yyf += 2; + } + else + { + yyp++; + yyf++; + } + } + } + return yysize; + } +} +#endif /* YYERROR_VERBOSE */ -#line 315 "/usr/share/bison/bison.simple" +/*-----------------------------------------------. +| Release the memory associated to this symbol. | +`-----------------------------------------------*/ + +/*ARGSUSED*/ +#if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +static void +yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep, YYLTYPE *yylocationp) +#else +static void +yydestruct (yymsg, yytype, yyvaluep, yylocationp) + const char *yymsg; + int yytype; + YYSTYPE *yyvaluep; + YYLTYPE *yylocationp; +#endif +{ + YYUSE (yyvaluep); + YYUSE (yylocationp); + + if (!yymsg) + yymsg = "Deleting"; + YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp); + + switch (yytype) + { + + default: + break; + } +} + -/* The user can define YYPARSE_PARAM as the name of an argument to be passed - into yyparse. The argument should have type void *. - It should actually point to an object. - Grammar actions can access the variable by casting it - to the proper pointer type. */ +/* Prevent warnings from -Wmissing-prototypes. */ #ifdef YYPARSE_PARAM -# if defined (__STDC__) || defined (__cplusplus) -# define YYPARSE_PARAM_ARG void *YYPARSE_PARAM -# define YYPARSE_PARAM_DECL +# if YYMODERN_C +int yyparse (void *YYPARSE_PARAM); # else -# define YYPARSE_PARAM_ARG YYPARSE_PARAM -# define YYPARSE_PARAM_DECL void *YYPARSE_PARAM; +int yyparse (); # endif -#else /* !YYPARSE_PARAM */ -# define YYPARSE_PARAM_ARG -# define YYPARSE_PARAM_DECL -#endif /* !YYPARSE_PARAM */ - -/* Prevent warning if -Wstrict-prototypes. */ -#ifdef __GNUC__ -# ifdef YYPARSE_PARAM -int yyparse (void *); -# else +#else /* ! YYPARSE_PARAM */ +#if defined (__STDC__) || defined (__cplusplus) int yyparse (void); -# endif +#else +int yyparse (); #endif +#endif /* ! YYPARSE_PARAM */ -/* YY_DECL_VARIABLES -- depending whether we use a pure parser, - variables are global, or local to YYPARSE. */ - -#define YY_DECL_NON_LSP_VARIABLES \ -/* The lookahead symbol. */ \ -int yychar; \ - \ -/* The semantic value of the lookahead symbol. */ \ -YYSTYPE yylval; \ - \ -/* Number of parse errors so far. */ \ -int yynerrs; -#if YYLSP_NEEDED -# define YY_DECL_VARIABLES \ -YY_DECL_NON_LSP_VARIABLES \ - \ -/* Location data for the lookahead symbol. */ \ -YYLTYPE yylloc; -#else -# define YY_DECL_VARIABLES \ -YY_DECL_NON_LSP_VARIABLES -#endif -/* If nonreentrant, generate the variables here. */ -#if !YYPURE -YY_DECL_VARIABLES -#endif /* !YYPURE */ +/*----------. +| yyparse. | +`----------*/ + +#ifdef YYPARSE_PARAM +# if YYMODERN_C +int yyparse (void *YYPARSE_PARAM) +# else +int yyparse (YYPARSE_PARAM) + void *YYPARSE_PARAM; +# endif +#else /* ! YYPARSE_PARAM */ +#if defined (__STDC__) || defined (__C99__FUNC__) || defined (__cplusplus) +int +yyparse (void) +#else int -yyparse (YYPARSE_PARAM_ARG) - YYPARSE_PARAM_DECL +yyparse () + +#endif +#endif { - /* If reentrant, generate the variables here. */ -#if YYPURE - YY_DECL_VARIABLES -#endif /* !YYPURE */ + /* The look-ahead symbol. */ +int yychar; + +/* The semantic value of the look-ahead symbol. */ +YYSTYPE yylval; - register int yystate; - register int yyn; +/* Number of syntax errors so far. */ +int yynerrs; +/* Location data for the look-ahead symbol. */ +YYLTYPE yylloc; + + int yystate; + int yyn; int yyresult; /* Number of tokens to shift before error messages enabled. */ int yyerrstatus; - /* Lookahead token as an internal (translated) token number. */ - int yychar1 = 0; + /* Look-ahead token as an internal (translated) token number. */ + int yytoken = 0; +#if YYERROR_VERBOSE + /* Buffer for error messages, and its allocated size. */ + char yymsgbuf[128]; + char *yymsg = yymsgbuf; + YYSIZE_T yymsg_alloc = sizeof yymsgbuf; +#endif /* Three stacks and their tools: `yyss': related to states, @@ -738,41 +1436,34 @@ yyparse (YYPARSE_PARAM_ARG) Refer to the stacks thru separate pointers, to allow yyoverflow to reallocate them elsewhere. */ - /* The state stack. */ - short yyssa[YYINITDEPTH]; - short *yyss = yyssa; - register short *yyssp; + /* The state stack. */ + short int yyssa[YYINITDEPTH]; + short int *yyss = yyssa; + short int *yyssp; /* The semantic value stack. */ YYSTYPE yyvsa[YYINITDEPTH]; YYSTYPE *yyvs = yyvsa; - register YYSTYPE *yyvsp; + YYSTYPE *yyvsp; -#if YYLSP_NEEDED /* The location stack. */ YYLTYPE yylsa[YYINITDEPTH]; YYLTYPE *yyls = yylsa; YYLTYPE *yylsp; -#endif + /* The locations where the error started and ended. */ + YYLTYPE yyerror_range[2]; -#if YYLSP_NEEDED -# define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) -#else -# define YYPOPSTACK (yyvsp--, yyssp--) -#endif +#define YYPOPSTACK (yyvsp--, yyssp--, yylsp--) YYSIZE_T yystacksize = YYINITDEPTH; - /* The variables used to return semantic value and location from the action routines. */ YYSTYPE yyval; -#if YYLSP_NEEDED YYLTYPE yyloc; -#endif /* When reducing, the number of symbols on the RHS of the reduced - rule. */ + rule. */ int yylen; YYDPRINTF ((stderr, "Starting parse\n")); @@ -789,9 +1480,26 @@ yyparse (YYPARSE_PARAM_ARG) yyssp = yyss; yyvsp = yyvs; -#if YYLSP_NEEDED yylsp = yyls; +#if YYLTYPE_IS_TRIVIAL + /* Initialize the default location before parsing starts. */ + yylloc.first_line = yylloc.last_line = 1; + yylloc.first_column = yylloc.last_column = 0; #endif + + + /* User initialization code. */ +#line 71 "parse-gram.y" +{ + /* Bison's grammar can initial empty locations, hence a default + location is needed. */ + yylloc.start.file = yylloc.end.file = current_file; + yylloc.start.line = yylloc.end.line = 1; + yylloc.start.column = yylloc.end.column = 0; +} +/* Line 1088 of yacc.c. */ +#line 1502 "parse-gram.c" + yylsp[0] = yylloc; goto yysetstate; /*------------------------------------------------------------. @@ -806,7 +1514,7 @@ yyparse (YYPARSE_PARAM_ARG) yysetstate: *yyssp = yystate; - if (yyssp >= yyss + yystacksize - 1) + if (yyss + yystacksize - 1 <= yyssp) { /* Get the current used size of the three stacks, in elements. */ YYSIZE_T yysize = yyssp - yyss + 1; @@ -817,52 +1525,43 @@ yyparse (YYPARSE_PARAM_ARG) these so that the &'s don't force the real ones into memory. */ YYSTYPE *yyvs1 = yyvs; - short *yyss1 = yyss; + short int *yyss1 = yyss; + YYLTYPE *yyls1 = yyls; /* Each stack pointer address is followed by the size of the - data in use in that stack, in bytes. */ -# if YYLSP_NEEDED - YYLTYPE *yyls1 = yyls; - /* This used to be a conditional around just the two extra args, - but that might be undefined if yyoverflow is a macro. */ - yyoverflow ("parser stack overflow", + data in use in that stack, in bytes. This used to be a + conditional around just the two extra args, but that might + be undefined if yyoverflow is a macro. */ + yyoverflow (YY_("memory exhausted"), &yyss1, yysize * sizeof (*yyssp), &yyvs1, yysize * sizeof (*yyvsp), &yyls1, yysize * sizeof (*yylsp), &yystacksize); yyls = yyls1; -# else - yyoverflow ("parser stack overflow", - &yyss1, yysize * sizeof (*yyssp), - &yyvs1, yysize * sizeof (*yyvsp), - &yystacksize); -# endif yyss = yyss1; yyvs = yyvs1; } #else /* no yyoverflow */ # ifndef YYSTACK_RELOCATE - goto yyoverflowlab; + goto yyexhaustedlab; # else /* Extend the stack our own way. */ - if (yystacksize >= YYMAXDEPTH) - goto yyoverflowlab; + if (YYMAXDEPTH <= yystacksize) + goto yyexhaustedlab; yystacksize *= 2; - if (yystacksize > YYMAXDEPTH) + if (YYMAXDEPTH < yystacksize) yystacksize = YYMAXDEPTH; { - short *yyss1 = yyss; + short int *yyss1 = yyss; union yyalloc *yyptr = (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize)); if (! yyptr) - goto yyoverflowlab; + goto yyexhaustedlab; YYSTACK_RELOCATE (yyss); YYSTACK_RELOCATE (yyvs); -# if YYLSP_NEEDED YYSTACK_RELOCATE (yyls); -# endif -# undef YYSTACK_RELOCATE +# undef YYSTACK_RELOCATE if (yyss1 != yyssa) YYSTACK_FREE (yyss1); } @@ -871,14 +1570,12 @@ yyparse (YYPARSE_PARAM_ARG) yyssp = yyss + yysize - 1; yyvsp = yyvs + yysize - 1; -#if YYLSP_NEEDED yylsp = yyls + yysize - 1; -#endif YYDPRINTF ((stderr, "Stack size increased to %lu\n", (unsigned long int) yystacksize)); - if (yyssp >= yyss + yystacksize - 1) + if (yyss + yystacksize - 1 <= yyssp) YYABORT; } @@ -886,101 +1583,67 @@ yyparse (YYPARSE_PARAM_ARG) goto yybackup; - /*-----------. | yybackup. | `-----------*/ yybackup: /* Do appropriate processing given the current state. */ -/* Read a lookahead token if we need one and don't already have one. */ +/* Read a look-ahead token if we need one and don't already have one. */ /* yyresume: */ - /* First try to decide what to do without reference to lookahead token. */ + /* First try to decide what to do without reference to look-ahead token. */ yyn = yypact[yystate]; - if (yyn == YYFLAG) + if (yyn == YYPACT_NINF) goto yydefault; - /* Not known => get a lookahead token if don't already have one. */ - - /* yychar is either YYEMPTY or YYEOF - or a valid token in external form. */ + /* Not known => get a look-ahead token if don't already have one. */ + /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol. */ if (yychar == YYEMPTY) { YYDPRINTF ((stderr, "Reading a token: ")); yychar = YYLEX; } - /* Convert token to internal form (in yychar1) for indexing tables with */ - - if (yychar <= 0) /* This means end of input. */ + if (yychar <= YYEOF) { - yychar1 = 0; - yychar = YYEOF; /* Don't call YYLEX any more */ - + yychar = yytoken = YYEOF; YYDPRINTF ((stderr, "Now at end of input.\n")); } else { - yychar1 = YYTRANSLATE (yychar); - -#if YYDEBUG - /* We have to keep this `#if YYDEBUG', since we use variables - which are defined only if `YYDEBUG' is set. */ - if (yydebug) - { - YYFPRINTF (stderr, "Next token is %d (%s", - yychar, yytname[yychar1]); - /* Give the individual parser a way to print the precise - meaning of a token, for further debugging info. */ -# ifdef YYPRINT - YYPRINT (stderr, yychar, yylval); -# endif - YYFPRINTF (stderr, ")\n"); - } -#endif + yytoken = YYTRANSLATE (yychar); + YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc); } - yyn += yychar1; - if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1) + /* If the proper action on seeing token YYTOKEN is to reduce or to + detect an error, take that action. */ + yyn += yytoken; + if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken) goto yydefault; - yyn = yytable[yyn]; - - /* yyn is what to do for this token type in this state. - Negative => reduce, -yyn is rule number. - Positive => shift, yyn is new state. - New state is final state => don't bother to shift, - just return success. - 0, or most negative number => error. */ - - if (yyn < 0) + if (yyn <= 0) { - if (yyn == YYFLAG) + if (yyn == 0 || yyn == YYTABLE_NINF) goto yyerrlab; yyn = -yyn; goto yyreduce; } - else if (yyn == 0) - goto yyerrlab; if (yyn == YYFINAL) YYACCEPT; - /* Shift the lookahead token. */ - YYDPRINTF ((stderr, "Shifting token %d (%s), ", - yychar, yytname[yychar1])); + /* Shift the look-ahead token. */ + YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc); /* Discard the token being shifted unless it is eof. */ if (yychar != YYEOF) yychar = YYEMPTY; *++yyvsp = yylval; -#if YYLSP_NEEDED *++yylsp = yylloc; -#endif /* Count tokens shifted since error; after three, turn off error status. */ @@ -1008,359 +1671,437 @@ yyreduce: /* yyn is the number of a rule to reduce with. */ yylen = yyr2[yyn]; - /* If YYLEN is nonzero, implement the default value of the action: - `$$ = $1'. + /* If YYLEN is nonzero, implement the default value of the action: + `$$ = $1'. + + Otherwise, the following line sets YYVAL to garbage. + This behavior is undocumented and Bison + users should not rely upon it. Assigning to YYVAL + unconditionally makes the parser a bit smaller, and it avoids a + GCC warning that YYVAL may be used uninitialized. */ + yyval = yyvsp[1-yylen]; + + /* Default location. */ + YYLLOC_DEFAULT (yyloc, yylsp - yylen, yylen); + YY_REDUCE_PRINT (yyn); + switch (yyn) + { + case 6: +#line 206 "parse-gram.y" + { prologue_augment ((yyvsp[(1) - (1)].chars), (yylsp[(1) - (1)])); } + break; + + case 7: +#line 207 "parse-gram.y" + { debug_flag = true; } + break; + + case 8: +#line 208 "parse-gram.y" + { muscle_insert ((yyvsp[(2) - (2)].chars), "1"); } + break; + + case 9: +#line 209 "parse-gram.y" + { muscle_insert ((yyvsp[(2) - (3)].chars), (yyvsp[(3) - (3)].chars)); } + break; - Otherwise, the following line sets YYVAL to the semantic value of - the lookahead token. This behavior is undocumented and Bison - users should not rely upon it. Assigning to YYVAL - unconditionally makes the parser a bit smaller, and it avoids a - GCC warning that YYVAL may be used uninitialized. */ - yyval = yyvsp[1-yylen]; + case 10: +#line 210 "parse-gram.y" + { defines_flag = true; } + break; -#if YYLSP_NEEDED - /* Similarly for the default location. Let the user run additional - commands if for instance locations are ranges. */ - yyloc = yylsp[1-yylen]; - YYLLOC_DEFAULT (yyloc, (yylsp - yylen), yylen); -#endif + case 11: +#line 211 "parse-gram.y" + { error_verbose = true; } + break; -#if YYDEBUG - /* We have to keep this `#if YYDEBUG', since we use variables which - are defined only if `YYDEBUG' is set. */ - if (yydebug) - { - int yyi; + case 12: +#line 212 "parse-gram.y" + { expected_sr_conflicts = (yyvsp[(2) - (2)].integer); } + break; - YYFPRINTF (stderr, "Reducing via rule %d (line %d), ", - yyn, yyrline[yyn]); + case 13: +#line 213 "parse-gram.y" + { expected_rr_conflicts = (yyvsp[(2) - (2)].integer); } + break; - /* Print the symbols being reduced, and their result. */ - for (yyi = yyprhs[yyn]; yyrhs[yyi] > 0; yyi++) - YYFPRINTF (stderr, "%s ", yytname[yyrhs[yyi]]); - YYFPRINTF (stderr, " -> %s\n", yytname[yyr1[yyn]]); - } -#endif + case 14: +#line 214 "parse-gram.y" + { spec_file_prefix = (yyvsp[(3) - (3)].chars); } + break; - switch (yyn) { + case 15: +#line 216 "parse-gram.y" + { + nondeterministic_parser = true; + glr_parser = true; + } + break; -case 1: -#line 134 "parse-gram.y" -{ LOCATION_RESET (yylloc); } + case 16: +#line 221 "parse-gram.y" + { + muscle_code_grow ("initial_action", (yyvsp[(1) - (1)].chars), (yylsp[(1) - (1)])); + } break; -case 2: -#line 136 "parse-gram.y" -{ - yycontrol->errcode = 0; - epilogue_set (yyvsp[0].string, yylsp[0]); - } + + case 17: +#line 224 "parse-gram.y" + { add_param ("lex_param", (yyvsp[(1) - (1)].chars), (yylsp[(1) - (1)])); } break; -case 6: -#line 154 "parse-gram.y" -{ prologue_augment (yyvsp[0].string, yylsp[0]); } + + case 18: +#line 225 "parse-gram.y" + { locations_flag = true; } break; -case 7: -#line 155 "parse-gram.y" -{ debug_flag = 1; } + + case 19: +#line 226 "parse-gram.y" + { spec_name_prefix = (yyvsp[(3) - (3)].chars); } break; -case 8: -#line 156 "parse-gram.y" -{ muscle_insert (yyvsp[-1].string, yyvsp[0].string); } + + case 20: +#line 227 "parse-gram.y" + { no_lines_flag = true; } break; -case 9: -#line 157 "parse-gram.y" -{ defines_flag = 1; } + + case 21: +#line 228 "parse-gram.y" + { nondeterministic_parser = true; } break; -case 10: -#line 158 "parse-gram.y" -{ error_verbose = 1; } + + case 22: +#line 229 "parse-gram.y" + { spec_outfile = (yyvsp[(3) - (3)].chars); } break; -case 11: -#line 159 "parse-gram.y" -{ expected_conflicts = yyvsp[0].integer; } + + case 23: +#line 230 "parse-gram.y" + { add_param ("parse_param", (yyvsp[(1) - (1)].chars), (yylsp[(1) - (1)])); } break; -case 12: -#line 160 "parse-gram.y" -{ spec_file_prefix = yyvsp[0].string; } + + case 24: +#line 231 "parse-gram.y" + { pure_parser = true; } break; -case 13: -#line 161 "parse-gram.y" -{ locations_flag = 1; } + + case 25: +#line 232 "parse-gram.y" + { version_check (&(yylsp[(2) - (2)]), (yyvsp[(2) - (2)].chars)); } break; -case 14: -#line 162 "parse-gram.y" -{ spec_name_prefix = yyvsp[0].string; } + + case 26: +#line 233 "parse-gram.y" + { skeleton = (yyvsp[(2) - (2)].chars); } break; -case 15: -#line 163 "parse-gram.y" -{ no_lines_flag = 1; } + + case 27: +#line 234 "parse-gram.y" + { token_table_flag = true; } break; -case 16: -#line 164 "parse-gram.y" -{ spec_outfile = yyvsp[0].string; } + + case 28: +#line 235 "parse-gram.y" + { report_flag = report_states; } break; -case 17: -#line 165 "parse-gram.y" -{ pure_parser = 1; } + + case 29: +#line 236 "parse-gram.y" + { yacc_flag = true; } break; -case 18: -#line 166 "parse-gram.y" -{ skeleton = yyvsp[0].string; } + + case 33: +#line 244 "parse-gram.y" + { + grammar_start_symbol_set ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)])); + } break; -case 19: -#line 167 "parse-gram.y" -{ token_table_flag = 1; } + + case 34: +#line 248 "parse-gram.y" + { + typed = true; + MUSCLE_INSERT_INT ("stype_line", (yylsp[(1) - (1)]).start.line); + muscle_insert ("stype", (yyvsp[(1) - (1)].chars)); + } break; -case 20: -#line 168 "parse-gram.y" -{ report_flag = 1; } + + case 35: +#line 254 "parse-gram.y" + { + symbol_list *list; + for (list = (yyvsp[(2) - (2)].list); list; list = list->next) + symbol_destructor_set (list->sym, (yyvsp[(1) - (2)].chars), (yylsp[(1) - (2)])); + symbol_list_free ((yyvsp[(2) - (2)].list)); + } break; -case 21: -#line 169 "parse-gram.y" -{ yacc_flag = 1; } + + case 36: +#line 261 "parse-gram.y" + { + symbol_list *list; + for (list = (yyvsp[(2) - (2)].list); list; list = list->next) + symbol_printer_set (list->sym, (yyvsp[(1) - (2)].chars), list->location); + symbol_list_free ((yyvsp[(2) - (2)].list)); + } break; -case 24: -#line 176 "parse-gram.y" -{ - grammar_start_symbol_set (yyvsp[0].symbol); + + case 37: +#line 268 "parse-gram.y" + { + default_prec = true; } break; -case 25: -#line 180 "parse-gram.y" -{ - typed = 1; - MUSCLE_INSERT_INT ("stype_line", yylsp[-1].first_line); - muscle_insert ("stype", yyvsp[-1].string); + + case 38: +#line 272 "parse-gram.y" + { + default_prec = false; } break; -case 26: -#line 188 "parse-gram.y" -{ current_class = nterm_sym; } + + case 39: +#line 278 "parse-gram.y" + { current_class = nterm_sym; } break; -case 27: -#line 189 "parse-gram.y" -{ + + case 40: +#line 279 "parse-gram.y" + { current_class = unknown_sym; current_type = NULL; } break; -case 28: -#line 193 "parse-gram.y" -{ current_class = token_sym; } + + case 41: +#line 283 "parse-gram.y" + { current_class = token_sym; } break; -case 29: -#line 194 "parse-gram.y" -{ + + case 42: +#line 284 "parse-gram.y" + { current_class = unknown_sym; current_type = NULL; } break; -case 30: -#line 198 "parse-gram.y" -{current_type = yyvsp[0].string; } + + case 43: +#line 289 "parse-gram.y" + { + symbol_list *list; + for (list = (yyvsp[(3) - (3)].list); list; list = list->next) + symbol_type_set (list->sym, (yyvsp[(2) - (3)].uniqstr), (yylsp[(2) - (3)])); + symbol_list_free ((yyvsp[(3) - (3)].list)); + } break; -case 31: -#line 199 "parse-gram.y" -{ + + case 44: +#line 299 "parse-gram.y" + { + symbol_list *list; + ++current_prec; + for (list = (yyvsp[(3) - (3)].list); list; list = list->next) + { + symbol_type_set (list->sym, current_type, (yylsp[(2) - (3)])); + symbol_precedence_set (list->sym, current_prec, (yyvsp[(1) - (3)].assoc), (yylsp[(1) - (3)])); + } + symbol_list_free ((yyvsp[(3) - (3)].list)); current_type = NULL; } break; -case 32: -#line 206 "parse-gram.y" -{ current_assoc = yyvsp[-1].assoc; ++current_prec; } - break; -case 33: -#line 208 "parse-gram.y" -{ current_assoc = non_assoc; current_type = NULL; } - break; -case 34: -#line 212 "parse-gram.y" -{ yyval.assoc = left_assoc; } - break; -case 35: -#line 213 "parse-gram.y" -{ yyval.assoc = right_assoc; } - break; -case 36: -#line 214 "parse-gram.y" -{ yyval.assoc = non_assoc; } + + case 45: +#line 313 "parse-gram.y" + { (yyval.assoc) = left_assoc; } break; -case 37: -#line 218 "parse-gram.y" -{ current_type = NULL;} + + case 46: +#line 314 "parse-gram.y" + { (yyval.assoc) = right_assoc; } break; -case 38: -#line 219 "parse-gram.y" -{ current_type = yyvsp[0].string; } + + case 47: +#line 315 "parse-gram.y" + { (yyval.assoc) = non_assoc; } break; -case 39: -#line 224 "parse-gram.y" -{ symbol_type_set (yyvsp[0].symbol, current_type); } + + case 48: +#line 319 "parse-gram.y" + { current_type = NULL; } break; -case 40: -#line 225 "parse-gram.y" -{ symbol_type_set (yyvsp[0].symbol, current_type); } + + case 49: +#line 320 "parse-gram.y" + { current_type = (yyvsp[(1) - (1)].uniqstr); } break; -case 41: -#line 231 "parse-gram.y" -{ - symbol_type_set (yyvsp[0].symbol, current_type); - symbol_precedence_set (yyvsp[0].symbol, current_prec, current_assoc); - } + + case 50: +#line 326 "parse-gram.y" + { (yyval.list) = symbol_list_new ((yyvsp[(1) - (1)].symbol), (yylsp[(1) - (1)])); } break; -case 42: -#line 236 "parse-gram.y" -{ - symbol_type_set (yyvsp[0].symbol, current_type); - symbol_precedence_set (yyvsp[0].symbol, current_prec, current_assoc); - } + + case 51: +#line 327 "parse-gram.y" + { (yyval.list) = symbol_list_prepend ((yyvsp[(1) - (2)].list), (yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)])); } break; -case 43: -#line 245 "parse-gram.y" -{ - current_type = yyvsp[0].string; + + case 52: +#line 333 "parse-gram.y" + { + current_type = (yyvsp[(1) - (1)].uniqstr); } break; -case 44: -#line 249 "parse-gram.y" -{ - symbol_class_set (yyvsp[0].symbol, current_class); - symbol_type_set (yyvsp[0].symbol, current_type); + + case 53: +#line 337 "parse-gram.y" + { + symbol_class_set ((yyvsp[(1) - (1)].symbol), current_class, (yylsp[(1) - (1)])); + symbol_type_set ((yyvsp[(1) - (1)].symbol), current_type, (yylsp[(1) - (1)])); } break; -case 45: -#line 254 "parse-gram.y" -{ - symbol_class_set (yyvsp[-1].symbol, current_class); - symbol_type_set (yyvsp[-1].symbol, current_type); - symbol_user_token_number_set (yyvsp[-1].symbol, yyvsp[0].integer); + + case 54: +#line 342 "parse-gram.y" + { + symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)])); + symbol_type_set ((yyvsp[(1) - (2)].symbol), current_type, (yylsp[(1) - (2)])); + symbol_user_token_number_set ((yyvsp[(1) - (2)].symbol), (yyvsp[(2) - (2)].integer), (yylsp[(2) - (2)])); } break; -case 46: -#line 260 "parse-gram.y" -{ - symbol_class_set (yyvsp[-1].symbol, current_class); - symbol_type_set (yyvsp[-1].symbol, current_type); - symbol_make_alias (yyvsp[-1].symbol, yyvsp[0].symbol); + + case 55: +#line 348 "parse-gram.y" + { + symbol_class_set ((yyvsp[(1) - (2)].symbol), current_class, (yylsp[(1) - (2)])); + symbol_type_set ((yyvsp[(1) - (2)].symbol), current_type, (yylsp[(1) - (2)])); + symbol_make_alias ((yyvsp[(1) - (2)].symbol), (yyvsp[(2) - (2)].symbol), (yyloc)); } break; -case 47: -#line 266 "parse-gram.y" -{ - symbol_class_set (yyvsp[-2].symbol, current_class); - symbol_type_set (yyvsp[-2].symbol, current_type); - symbol_user_token_number_set (yyvsp[-2].symbol, yyvsp[-1].integer); - symbol_make_alias (yyvsp[-2].symbol, yyvsp[0].symbol); + + case 56: +#line 354 "parse-gram.y" + { + symbol_class_set ((yyvsp[(1) - (3)].symbol), current_class, (yylsp[(1) - (3)])); + symbol_type_set ((yyvsp[(1) - (3)].symbol), current_type, (yylsp[(1) - (3)])); + symbol_user_token_number_set ((yyvsp[(1) - (3)].symbol), (yyvsp[(2) - (3)].integer), (yylsp[(2) - (3)])); + symbol_make_alias ((yyvsp[(1) - (3)].symbol), (yyvsp[(3) - (3)].symbol), (yyloc)); } break; -case 48: -#line 277 "parse-gram.y" -{;} - break; -case 49: -#line 279 "parse-gram.y" -{;} + + case 62: +#line 383 "parse-gram.y" + { + if (yacc_flag) + complain_at ((yyloc), _("POSIX forbids declarations in the grammar")); + } break; -case 52: -#line 293 "parse-gram.y" -{ current_lhs = yyvsp[-1].symbol; } + + case 63: +#line 388 "parse-gram.y" + { + yyerrok; + } break; -case 53: -#line 294 "parse-gram.y" -{;} + + case 64: +#line 394 "parse-gram.y" + { current_lhs = (yyvsp[(1) - (1)].symbol); current_lhs_location = (yylsp[(1) - (1)]); } break; -case 54: -#line 298 "parse-gram.y" -{ grammar_rule_end (); } + + case 66: +#line 398 "parse-gram.y" + { grammar_rule_end ((yylsp[(1) - (1)])); } break; -case 55: -#line 299 "parse-gram.y" -{ grammar_rule_end (); } + + case 67: +#line 399 "parse-gram.y" + { grammar_rule_end ((yylsp[(3) - (3)])); } break; -case 56: -#line 304 "parse-gram.y" -{ grammar_rule_begin (current_lhs); } + + case 69: +#line 405 "parse-gram.y" + { grammar_rule_begin (current_lhs, current_lhs_location); } break; -case 57: -#line 306 "parse-gram.y" -{ grammar_current_rule_symbol_append (yyvsp[0].symbol); } + + case 70: +#line 407 "parse-gram.y" + { grammar_current_rule_symbol_append ((yyvsp[(2) - (2)].symbol), (yylsp[(2) - (2)])); } break; -case 58: -#line 308 "parse-gram.y" -{ grammar_current_rule_action_append (yyvsp[0].string, yylsp[0].first_line); } + + case 71: +#line 409 "parse-gram.y" + { grammar_current_rule_action_append ((yyvsp[(2) - (2)].chars), (yylsp[(2) - (2)])); } break; -case 59: -#line 310 "parse-gram.y" -{ grammar_current_rule_prec_set (yyvsp[0].symbol); } + + case 72: +#line 411 "parse-gram.y" + { grammar_current_rule_prec_set ((yyvsp[(3) - (3)].symbol), (yylsp[(3) - (3)])); } break; -case 60: -#line 314 "parse-gram.y" -{ yyval.symbol = yyvsp[0].symbol; } + + case 73: +#line 413 "parse-gram.y" + { grammar_current_rule_dprec_set ((yyvsp[(3) - (3)].integer), (yylsp[(3) - (3)])); } break; -case 61: -#line 315 "parse-gram.y" -{ yyval.symbol = yyvsp[0].symbol; } + + case 74: +#line 415 "parse-gram.y" + { grammar_current_rule_merge_set ((yyvsp[(3) - (3)].uniqstr), (yylsp[(3) - (3)])); } break; -case 62: -#line 316 "parse-gram.y" -{ yyval.symbol = getsym (yyvsp[0].string); } + + case 75: +#line 419 "parse-gram.y" + { (yyval.symbol) = (yyvsp[(1) - (1)].symbol); } break; -case 63: -#line 321 "parse-gram.y" -{ yyval.string = yyvsp[0].string; } + + case 76: +#line 420 "parse-gram.y" + { (yyval.symbol) = (yyvsp[(1) - (1)].symbol); } break; -case 64: -#line 327 "parse-gram.y" -{ - yyval.symbol = getsym (yyvsp[0].string); - symbol_class_set (yyval.symbol, token_sym); - } + + case 77: +#line 425 "parse-gram.y" + { (yyval.chars) = (yyvsp[(1) - (1)].chars); } break; -case 65: -#line 336 "parse-gram.y" -{ - yyval.string = yyvsp[0].string + 1; - yyval.string[strlen (yyval.string) - 1] = '\0'; + + case 78: +#line 431 "parse-gram.y" + { + (yyval.symbol) = symbol_get (quotearg_style (c_quoting_style, (yyvsp[(1) - (1)].chars)), (yylsp[(1) - (1)])); + symbol_class_set ((yyval.symbol), token_sym, (yylsp[(1) - (1)])); } break; -case 66: -#line 344 "parse-gram.y" -{ - yyval.string = xstrdup (""); - } + + case 79: +#line 440 "parse-gram.y" + { (yyval.chars) = (yyvsp[(1) - (1)].chars); } break; -case 67: -#line 348 "parse-gram.y" -{ - yyval.string = yyvsp[0].string; + + case 81: +#line 447 "parse-gram.y" + { + muscle_code_grow ("epilogue", (yyvsp[(2) - (2)].chars), (yylsp[(2) - (2)])); + scanner_last_string_free (); } break; -} -#line 705 "/usr/share/bison/bison.simple" + default: break; + } + YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc); + +/* Line __line__ of yacc.c. */ +#line 2096 "parse-gram.c" yyvsp -= yylen; yyssp -= yylen; -#if YYLSP_NEEDED yylsp -= yylen; -#endif -#if YYDEBUG - if (yydebug) - { - short *yyssp1 = yyss - 1; - YYFPRINTF (stderr, "state stack now"); - while (yyssp1 != yyssp) - YYFPRINTF (stderr, " %d", *++yyssp1); - YYFPRINTF (stderr, "\n"); - } -#endif + YY_STACK_PRINT (yyss, yyssp); *++yyvsp = yyval; -#if YYLSP_NEEDED *++yylsp = yyloc; -#endif /* Now `shift' the result of the reduction. Determine what state that goes to, based on the state we popped back to and the rule @@ -1368,11 +2109,11 @@ case 67: yyn = yyr1[yyn]; - yystate = yypgoto[yyn - YYNTBASE] + *yyssp; - if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp) + yystate = yypgoto[yyn - YYNTOKENS] + *yyssp; + if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp) yystate = yytable[yystate]; else - yystate = yydefgoto[yyn - YYNTBASE]; + yystate = yydefgoto[yyn - YYNTOKENS]; goto yynewstate; @@ -1385,155 +2126,133 @@ yyerrlab: if (!yyerrstatus) { ++yynerrs; - -#ifdef YYERROR_VERBOSE - yyn = yypact[yystate]; - - if (yyn > YYFLAG && yyn < YYLAST) - { - YYSIZE_T yysize = 0; - char *yymsg; - int yyx, yycount; - - yycount = 0; - /* Start YYX at -YYN if negative to avoid negative indexes in - YYCHECK. */ - for (yyx = yyn < 0 ? -yyn : 0; - yyx < (int) (sizeof (yytname) / sizeof (char *)); yyx++) - if (yycheck[yyx + yyn] == yyx) - yysize += yystrlen (yytname[yyx]) + 15, yycount++; - yysize += yystrlen ("parse error, unexpected ") + 1; - yysize += yystrlen (yytname[YYTRANSLATE (yychar)]); - yymsg = (char *) YYSTACK_ALLOC (yysize); - if (yymsg != 0) - { - char *yyp = yystpcpy (yymsg, "parse error, unexpected "); - yyp = yystpcpy (yyp, yytname[YYTRANSLATE (yychar)]); - - if (yycount < 5) - { - yycount = 0; - for (yyx = yyn < 0 ? -yyn : 0; - yyx < (int) (sizeof (yytname) / sizeof (char *)); - yyx++) - if (yycheck[yyx + yyn] == yyx) - { - const char *yyq = ! yycount ? ", expecting " : " or "; - yyp = yystpcpy (yyp, yyq); - yyp = yystpcpy (yyp, yytname[yyx]); - yycount++; - } - } - yyerror (yymsg); +#if ! YYERROR_VERBOSE + yyerror (YY_("syntax error")); +#else + { + YYSIZE_T yysize = yysyntax_error (0, yystate, yychar); + if (yymsg_alloc < yysize && yymsg_alloc < YYSTACK_ALLOC_MAXIMUM) + { + YYSIZE_T yyalloc = 2 * yysize; + if (! (yysize <= yyalloc && yyalloc <= YYSTACK_ALLOC_MAXIMUM)) + yyalloc = YYSTACK_ALLOC_MAXIMUM; + if (yymsg != yymsgbuf) YYSTACK_FREE (yymsg); - } - else - yyerror ("parse error; also virtual memory exhausted"); - } - else -#endif /* defined (YYERROR_VERBOSE) */ - yyerror ("parse error"); + yymsg = (char *) YYSTACK_ALLOC (yyalloc); + if (yymsg) + yymsg_alloc = yyalloc; + else + { + yymsg = yymsgbuf; + yymsg_alloc = sizeof yymsgbuf; + } + } + + if (0 < yysize && yysize <= yymsg_alloc) + { + (void) yysyntax_error (yymsg, yystate, yychar); + yyerror (yymsg); + } + else + { + yyerror (YY_("syntax error")); + if (yysize != 0) + goto yyexhaustedlab; + } + } +#endif } - goto yyerrlab1; + yyerror_range[0] = yylloc; -/*--------------------------------------------------. -| yyerrlab1 -- error raised explicitly by an action | -`--------------------------------------------------*/ -yyerrlab1: if (yyerrstatus == 3) { - /* If just tried and failed to reuse lookahead token after an + /* If just tried and failed to reuse look-ahead token after an error, discard it. */ - /* return failure if at end of input */ - if (yychar == YYEOF) - YYABORT; - YYDPRINTF ((stderr, "Discarding token %d (%s).\n", - yychar, yytname[yychar1])); - yychar = YYEMPTY; + if (yychar <= YYEOF) + { + /* Return failure if at end of input. */ + if (yychar == YYEOF) + YYABORT; + } + else + { + yydestruct ("Error: discarding", + yytoken, &yylval, &yylloc); + yychar = YYEMPTY; + } } - /* Else will try to reuse lookahead token after shifting the error + /* Else will try to reuse look-ahead token after shifting the error token. */ + goto yyerrlab1; - yyerrstatus = 3; /* Each real token shifted decrements this */ - - goto yyerrhandle; +/*---------------------------------------------------. +| yyerrorlab -- error raised explicitly by YYERROR. | +`---------------------------------------------------*/ +yyerrorlab: -/*-------------------------------------------------------------------. -| yyerrdefault -- current state does not do anything special for the | -| error token. | -`-------------------------------------------------------------------*/ -yyerrdefault: -#if 0 - /* This is wrong; only states that explicitly want error tokens - should shift them. */ + /* Pacify compilers like GCC when the user code never invokes + YYERROR and the label yyerrorlab therefore never appears in user + code. */ + if (/*CONSTCOND*/ 0) + goto yyerrorlab; - /* If its default is to accept any token, ok. Otherwise pop it. */ - yyn = yydefact[yystate]; - if (yyn) - goto yydefault; -#endif + yyerror_range[0] = yylsp[1-yylen]; + yylsp -= yylen; + yyvsp -= yylen; + yyssp -= yylen; + yystate = *yyssp; + goto yyerrlab1; -/*---------------------------------------------------------------. -| yyerrpop -- pop the current state because it cannot handle the | -| error token | -`---------------------------------------------------------------*/ -yyerrpop: - if (yyssp == yyss) - YYABORT; - yyvsp--; - yystate = *--yyssp; -#if YYLSP_NEEDED - yylsp--; -#endif +/*-------------------------------------------------------------. +| yyerrlab1 -- common code for both syntax error and YYERROR. | +`-------------------------------------------------------------*/ +yyerrlab1: + yyerrstatus = 3; /* Each real token shifted decrements this. */ -#if YYDEBUG - if (yydebug) + for (;;) { - short *yyssp1 = yyss - 1; - YYFPRINTF (stderr, "Error: state stack now"); - while (yyssp1 != yyssp) - YYFPRINTF (stderr, " %d", *++yyssp1); - YYFPRINTF (stderr, "\n"); - } -#endif - -/*--------------. -| yyerrhandle. | -`--------------*/ -yyerrhandle: - yyn = yypact[yystate]; - if (yyn == YYFLAG) - goto yyerrdefault; + yyn = yypact[yystate]; + if (yyn != YYPACT_NINF) + { + yyn += YYTERROR; + if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR) + { + yyn = yytable[yyn]; + if (0 < yyn) + break; + } + } - yyn += YYTERROR; - if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR) - goto yyerrdefault; + /* Pop the current state because it cannot handle the error token. */ + if (yyssp == yyss) + YYABORT; - yyn = yytable[yyn]; - if (yyn < 0) - { - if (yyn == YYFLAG) - goto yyerrpop; - yyn = -yyn; - goto yyreduce; + yyerror_range[0] = *yylsp; + yydestruct ("Error: popping", + yystos[yystate], yyvsp, yylsp); + YYPOPSTACK; + yystate = *yyssp; + YY_STACK_PRINT (yyss, yyssp); } - else if (yyn == 0) - goto yyerrpop; if (yyn == YYFINAL) YYACCEPT; - YYDPRINTF ((stderr, "Shifting error token, ")); - *++yyvsp = yylval; -#if YYLSP_NEEDED - *++yylsp = yylloc; -#endif + + yyerror_range[1] = yylloc; + /* Using YYLLOC is tempting, but would change the location of + the look-ahead. YYLOC is available though. */ + YYLLOC_DEFAULT (yyloc, yyerror_range - 1, 2); + *++yylsp = yyloc; + + /* Shift the error token. */ + YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp); yystate = yyn; goto yynewstate; @@ -1553,68 +2272,143 @@ yyabortlab: yyresult = 1; goto yyreturn; -/*---------------------------------------------. -| yyoverflowab -- parser overflow comes here. | -`---------------------------------------------*/ -yyoverflowlab: - yyerror ("parser stack overflow"); +#ifndef yyoverflow +/*-------------------------------------------------. +| yyexhaustedlab -- memory exhaustion comes here. | +`-------------------------------------------------*/ +yyexhaustedlab: + yyerror (YY_("memory exhausted")); yyresult = 2; /* Fall through. */ +#endif yyreturn: + if (yychar != YYEOF && yychar != YYEMPTY) + yydestruct ("Cleanup: discarding lookahead", + yytoken, &yylval, &yylloc); + while (yyssp != yyss) + { + yydestruct ("Cleanup: popping", + yystos[*yyssp], yyvsp, yylsp); + YYPOPSTACK; + } #ifndef yyoverflow if (yyss != yyssa) YYSTACK_FREE (yyss); +#endif +#if YYERROR_VERBOSE + if (yymsg != yymsgbuf) + YYSTACK_FREE (yymsg); #endif return yyresult; } -#line 357 "parse-gram.y" -/*------------------------------------------------------------------. -| When debugging the parser, display tokens' locations and values. | -`------------------------------------------------------------------*/ + +#line 453 "parse-gram.y" + + + +/* Return the location of the left-hand side of a rule whose + right-hand side is RHS[1] ... RHS[N]. Ignore empty nonterminals in + the right-hand side, and return an empty location equal to the end + boundary of RHS[0] if the right-hand side is empty. */ + +static YYLTYPE +lloc_default (YYLTYPE const *rhs, int n) +{ + int i; + YYLTYPE loc; + + /* SGI MIPSpro 7.4.1m miscompiles "loc.start = loc.end = rhs[n].end;". + The bug is fixed in 7.4.2m, but play it safe for now. */ + loc.start = rhs[n].end; + loc.end = rhs[n].end; + + /* Ignore empty nonterminals the start of the the right-hand side. + Do not bother to ignore them at the end of the right-hand side, + since empty nonterminals have the same end as their predecessors. */ + for (i = 1; i <= n; i++) + if (! equal_boundaries (rhs[i].start, rhs[i].end)) + { + loc.start = rhs[i].start; + break; + } + + return loc; +} + + +/* Add a lex-param or a parse-param (depending on TYPE) with + declaration DECL and location LOC. */ static void -yyprint (FILE *file, - const location_t *loc, int type, const yystype *value) +add_param (char const *type, char *decl, location loc) { - fputs (" (", file); - LOCATION_PRINT (file, *loc); - fputs (")", file); - switch (type) + static char const alphanum[26 + 26 + 1 + 10] = + "abcdefghijklmnopqrstuvwxyz" + "ABCDEFGHIJKLMNOPQRSTUVWXYZ" + "_" + "0123456789"; + char const *name_start = NULL; + char *p; + + /* Stop on last actual character. */ + for (p = decl; p[1]; p++) + if ((p == decl + || ! memchr (alphanum, p[-1], sizeof alphanum)) + && memchr (alphanum, p[0], sizeof alphanum - 10)) + name_start = p; + + /* Strip the surrounding '{' and '}', and any blanks just inside + the braces. */ + while (*--p == ' ' || *p == '\t') + continue; + p[1] = '\0'; + while (*++decl == ' ' || *decl == '\t') + continue; + + if (! name_start) + complain_at (loc, _("missing identifier in parameter declaration")); + else + { + char *name; + size_t name_len; + + for (name_len = 1; + memchr (alphanum, name_start[name_len], sizeof alphanum); + name_len++) + continue; + + name = xmalloc (name_len + 1); + memcpy (name, name_start, name_len); + name[name_len] = '\0'; + muscle_pair_list_grow (type, decl, name); + free (name); + } + + scanner_last_string_free (); +} + +static void +version_check (location const *loc, char const *version) +{ + if (strverscmp (version, PACKAGE_VERSION) > 0) { - case CHARACTER: - fprintf (file, " = '%s'", value->string); - break; - - case ID: - fprintf (file, " = %s", value->symbol->tag); - break; - - case INT: - fprintf (file, " = %d", value->integer); - break; - - case STRING: - fprintf (file, " = \"%s\"", value->string); - break; - - case TYPE: - fprintf (file, " = <%s>", value->string); - break; - - case BRACED_CODE: - case PROLOGUE: - case EPILOGUE: - fprintf (file, " = {{ %s }}", value->string); - break; + complain_at (*loc, "require bison %s, but have %s", + version, PACKAGE_VERSION); + exit (63); } } -void -gram_error (gram_control_t *control ATTRIBUTE_UNUSED, - location_t *yylloc, const char *msg) +static void +gram_error (location const *loc, char const *msg) +{ + complain_at (*loc, "%s", msg); +} + +char const * +token_name (int type) { - LOCATION_PRINT (stderr, *yylloc); - fprintf (stderr, ": %s\n", msg); + return yytname[YYTRANSLATE (type)]; } +