/* < end of bison.head > */
-/* A Bison parser, made by GNU Bison 1.875a. */
+/* A Bison parser, made from signature.y
+ by GNU bison 1.35. */
-/* Skeleton parser for Yacc-like parsing with Bison,
- Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003 Free Software Foundation, Inc.
+#define YYBISON 1 /* Identify Bison output. */
- 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. */
-
-/* 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
-
-/* Skeleton name. */
-#define YYSKELETON_NAME "yacc.c"
-
-/* Pure parsers. */
-#define YYPURE 1
-
-/* Using locations. */
-#define YYLSP_NEEDED 0
-
-/* If NAME_PREFIX is specified substitute the variables and functions
- names. */
#define yyparse lslparse
-#define yylex lsllex
+#define yylex lsllex
#define yyerror lslerror
-#define yylval lsllval
-#define yychar lslchar
+#define yylval lsllval
+#define yychar lslchar
#define yydebug lsldebug
#define yynerrs lslnerrs
-
-
-/* Tokens. */
-#ifndef YYTOKENTYPE
-# define YYTOKENTYPE
- /* Put the tokens into the symbol table, so that GDB and other debuggers
- know about them. */
- enum yytokentype {
- LST_SIMPLEID = 258,
- LST_LOGICALOP = 259,
- LST_EQOP = 260,
- LST_SIMPLEOP = 261,
- LST_MAPSYM = 262,
- LST_FIELDMAPSYM = 263,
- LST_MARKERSYM = 264,
- LST_ifTOKEN = 265,
- LST_thenTOKEN = 266,
- LST_elseTOKEN = 267,
- LST_LBRACKET = 268,
- LST_RBRACKET = 269,
- LST_SELECTSYM = 270,
- LST_SEPSYM = 271,
- LST_OPENSYM = 272,
- LST_CLOSESYM = 273,
- LST_COLON = 274,
- LST_COMMA = 275,
- LST_EOL = 276,
- LST_COMMENTSYM = 277,
- LST_WHITESPACE = 278,
- LST_QUANTIFIERSYM = 279,
- LST_EQUATIONSYM = 280,
- LST_EQSEPSYM = 281,
- LST_COMPOSESYM = 282,
- LST_LPAR = 283,
- LST_RPAR = 284,
- LST_assertsTOKEN = 285,
- LST_assumesTOKEN = 286,
- LST_byTOKEN = 287,
- LST_convertsTOKEN = 288,
- LST_enumerationTOKEN = 289,
- LST_equationsTOKEN = 290,
- LST_exemptingTOKEN = 291,
- LST_forTOKEN = 292,
- LST_generatedTOKEN = 293,
- LST_impliesTOKEN = 294,
- LST_includesTOKEN = 295,
- LST_introducesTOKEN = 296,
- LST_ofTOKEN = 297,
- LST_partitionedTOKEN = 298,
- LST_traitTOKEN = 299,
- LST_tupleTOKEN = 300,
- LST_unionTOKEN = 301,
- LST_BADTOKEN = 302
- };
-#endif
-#define LST_SIMPLEID 258
-#define LST_LOGICALOP 259
-#define LST_EQOP 260
-#define LST_SIMPLEOP 261
-#define LST_MAPSYM 262
-#define LST_FIELDMAPSYM 263
-#define LST_MARKERSYM 264
-#define LST_ifTOKEN 265
-#define LST_thenTOKEN 266
-#define LST_elseTOKEN 267
-#define LST_LBRACKET 268
-#define LST_RBRACKET 269
-#define LST_SELECTSYM 270
-#define LST_SEPSYM 271
-#define LST_OPENSYM 272
-#define LST_CLOSESYM 273
-#define LST_COLON 274
-#define LST_COMMA 275
-#define LST_EOL 276
-#define LST_COMMENTSYM 277
-#define LST_WHITESPACE 278
-#define LST_QUANTIFIERSYM 279
-#define LST_EQUATIONSYM 280
-#define LST_EQSEPSYM 281
-#define LST_COMPOSESYM 282
-#define LST_LPAR 283
-#define LST_RPAR 284
-#define LST_assertsTOKEN 285
-#define LST_assumesTOKEN 286
-#define LST_byTOKEN 287
-#define LST_convertsTOKEN 288
-#define LST_enumerationTOKEN 289
-#define LST_equationsTOKEN 290
-#define LST_exemptingTOKEN 291
-#define LST_forTOKEN 292
-#define LST_generatedTOKEN 293
-#define LST_impliesTOKEN 294
-#define LST_includesTOKEN 295
-#define LST_introducesTOKEN 296
-#define LST_ofTOKEN 297
-#define LST_partitionedTOKEN 298
-#define LST_traitTOKEN 299
-#define LST_tupleTOKEN 300
-#define LST_unionTOKEN 301
-#define LST_BADTOKEN 302
-
-
-
-
-/* Copy the first part of user declarations. */
+# define LST_SIMPLEID 257
+# define LST_LOGICALOP 258
+# define LST_EQOP 259
+# define LST_SIMPLEOP 260
+# define LST_MAPSYM 261
+# define LST_FIELDMAPSYM 262
+# define LST_MARKERSYM 263
+# define LST_ifTOKEN 264
+# define LST_thenTOKEN 265
+# define LST_elseTOKEN 266
+# define LST_LBRACKET 267
+# define LST_RBRACKET 268
+# define LST_SELECTSYM 269
+# define LST_SEPSYM 270
+# define LST_OPENSYM 271
+# define LST_CLOSESYM 272
+# define LST_COLON 273
+# define LST_COMMA 274
+# define LST_EOL 275
+# define LST_COMMENTSYM 276
+# define LST_WHITESPACE 277
+# define LST_QUANTIFIERSYM 278
+# define LST_EQUATIONSYM 279
+# define LST_EQSEPSYM 280
+# define LST_COMPOSESYM 281
+# define LST_LPAR 282
+# define LST_RPAR 283
+# define LST_assertsTOKEN 284
+# define LST_assumesTOKEN 285
+# define LST_byTOKEN 286
+# define LST_convertsTOKEN 287
+# define LST_enumerationTOKEN 288
+# define LST_equationsTOKEN 289
+# define LST_exemptingTOKEN 290
+# define LST_forTOKEN 291
+# define LST_generatedTOKEN 292
+# define LST_impliesTOKEN 293
+# define LST_includesTOKEN 294
+# define LST_introducesTOKEN 295
+# define LST_ofTOKEN 296
+# define LST_partitionedTOKEN 297
+# define LST_traitTOKEN 298
+# define LST_tupleTOKEN 299
+# define LST_unionTOKEN 300
+# define LST_BADTOKEN 301
/*@-nullassign@*/
-
-/* Enabling traces. */
-#ifndef YYDEBUG
-# define YYDEBUG 1
-#endif
-
-/* Enabling verbose error messages. */
-#ifdef YYERROR_VERBOSE
-# undef YYERROR_VERBOSE
-# define YYERROR_VERBOSE 1
-#else
-# define YYERROR_VERBOSE 0
-#endif
-
-#if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)
-
-typedef union YYSTYPE {
+#ifndef YYSTYPE
+typedef union {
ltoken ltok; /* a leaf is also an ltoken */
unsigned int count;
/*@only@*/ ltokenList ltokenList;
/*@owned@*/ lslOp operator;
/*@only@*/ lslOpList operators;
/*@-redef@*/ /*@-matchfields@*/
-} YYSTYPE;
-/* Line 191 of yacc.c. */
-
-# define yystype YYSTYPE /* obsolescent; will be withdrawn */
-# define YYSTYPE_IS_DECLARED 1
+} yystype;
+# define YYSTYPE yystype
# define YYSTYPE_IS_TRIVIAL 1
#endif
+#ifndef YYDEBUG
+# define YYDEBUG 1
+#endif
+
+
+
+#define YYFINAL 62
+#define YYFLAG -32768
+#define YYNTBASE 48
+
+/* YYTRANSLATE(YYLEX) -- Bison token number corresponding to YYLEX. */
+#define YYTRANSLATE(x) ((unsigned)(x) <= 301 ? yytranslate[x] : 62)
+
+/* 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, 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
+};
+
+#if YYDEBUG
+static const short yyprhs[] =
+{
+ 0, 0, 2, 4, 7, 11, 13, 15, 22, 24,
+ 27, 30, 34, 38, 43, 48, 54, 58, 63, 68,
+ 74, 77, 81, 85, 87, 89, 91, 92, 94, 96,
+ 100, 102, 104, 108, 109, 111, 113, 117, 119
+};
+static const short yyrhs[] =
+{
+ 49, 0, 50, 0, 49, 50, 0, 51, 19, 57,
+ 0, 61, 0, 52, 0, 10, 9, 11, 9, 12,
+ 9, 0, 53, 0, 9, 53, 0, 53, 9, 0,
+ 9, 53, 9, 0, 17, 54, 18, 0, 9, 17,
+ 54, 18, 0, 17, 54, 18, 9, 0, 9, 17,
+ 54, 18, 9, 0, 13, 54, 14, 0, 9, 13,
+ 54, 14, 0, 13, 54, 14, 9, 0, 9, 13,
+ 54, 14, 9, 0, 15, 3, 0, 9, 15, 3,
+ 0, 9, 8, 3, 0, 6, 0, 4, 0, 5,
+ 0, 0, 55, 0, 9, 0, 55, 56, 9, 0,
+ 20, 0, 16, 0, 58, 7, 60, 0, 0, 59,
+ 0, 60, 0, 59, 20, 60, 0, 3, 0, 3,
+ 0
+};
+
+#endif
+
+#if YYDEBUG
+/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
+static const short yyrline[] =
+{
+ 0, 139, 142, 147, 152, 159, 161, 166, 168, 170,
+ 172, 174, 176, 178, 180, 182, 185, 188, 191, 194,
+ 197, 200, 205, 210, 212, 214, 218, 220, 224, 226,
+ 230, 232, 236, 240, 242, 246, 248, 252, 259
+};
+#endif
+
+
+#if (YYDEBUG) || defined YYERROR_VERBOSE
+
+/* YYTNAME[TOKEN_NUM] -- String name of the token TOKEN_NUM. */
+static const char *const yytname[] =
+{
+ "$", "error", "$undefined.", "LST_SIMPLEID", "LST_LOGICALOP", "LST_EQOP",
+ "LST_SIMPLEOP", "LST_MAPSYM", "LST_FIELDMAPSYM", "LST_MARKERSYM",
+ "LST_ifTOKEN", "LST_thenTOKEN", "LST_elseTOKEN", "LST_LBRACKET",
+ "LST_RBRACKET", "LST_SELECTSYM", "LST_SEPSYM", "LST_OPENSYM",
+ "LST_CLOSESYM", "LST_COLON", "LST_COMMA", "LST_EOL", "LST_COMMENTSYM",
+ "LST_WHITESPACE", "LST_QUANTIFIERSYM", "LST_EQUATIONSYM",
+ "LST_EQSEPSYM", "LST_COMPOSESYM", "LST_LPAR", "LST_RPAR",
+ "LST_assertsTOKEN", "LST_assumesTOKEN", "LST_byTOKEN",
+ "LST_convertsTOKEN", "LST_enumerationTOKEN", "LST_equationsTOKEN",
+ "LST_exemptingTOKEN", "LST_forTOKEN", "LST_generatedTOKEN",
+ "LST_impliesTOKEN", "LST_includesTOKEN", "LST_introducesTOKEN",
+ "LST_ofTOKEN", "LST_partitionedTOKEN", "LST_traitTOKEN",
+ "LST_tupleTOKEN", "LST_unionTOKEN", "LST_BADTOKEN", "top",
+ "operatorList", "operator", "name", "opForm", "anyOp", "middle",
+ "placeList", "separator", "signature", "domain", "sortList", "sortId",
+ "opId", 0
+};
+#endif
+
+/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
+static const short yyr1[] =
+{
+ 0, 48, 49, 49, 50, 51, 51, 52, 52, 52,
+ 52, 52, 52, 52, 52, 52, 52, 52, 52, 52,
+ 52, 52, 52, 53, 53, 53, 54, 54, 55, 55,
+ 56, 56, 57, 58, 58, 59, 59, 60, 61
+};
+
+/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
+static const short yyr2[] =
+{
+ 0, 1, 1, 2, 3, 1, 1, 6, 1, 2,
+ 2, 3, 3, 4, 4, 5, 3, 4, 4, 5,
+ 2, 3, 3, 1, 1, 1, 0, 1, 1, 3,
+ 1, 1, 3, 0, 1, 1, 3, 1, 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[] =
+{
+ 0, 38, 24, 25, 23, 0, 0, 26, 0, 26,
+ 1, 2, 0, 6, 8, 5, 0, 26, 0, 26,
+ 9, 0, 28, 0, 27, 20, 0, 3, 33, 10,
+ 22, 0, 21, 0, 11, 0, 16, 31, 30, 0,
+ 12, 37, 4, 0, 34, 35, 17, 13, 0, 18,
+ 29, 14, 0, 0, 19, 15, 0, 32, 36, 7,
+ 0, 0, 0
+};
+
+static const short yydefgoto[] =
+{
+ 60, 10, 11, 12, 13, 14, 23, 24, 39, 42,
+ 43, 44, 45, 15
+};
+
+static const short yypact[] =
+{
+ -3,-32768,-32768,-32768,-32768, 11, -4, 0, 8, 0,
+ -3,-32768, -1,-32768, 13,-32768, 17, 0, 22, 0,
+ 18, 20,-32768, 19, -12,-32768, 14,-32768, 31,-32768,
+ -32768, 21,-32768, 23,-32768, 27, 28,-32768,-32768, 29,
+ 30,-32768,-32768, 33, 24,-32768, 34, 36, 35,-32768,
+ -32768,-32768, 31, 31,-32768,-32768, 37,-32768,-32768,-32768,
+ 42, 48,-32768
+};
+
+static const short yypgoto[] =
+{
+ -32768,-32768, 39,-32768,-32768, 45, 4,-32768,-32768,-32768,
+ -32768,-32768, -23,-32768
+};
+
+
+#define YYLAST 50
+
+
+static const short yytable[] =
+{
+ 1, 2, 3, 4, 37, 21, 5, 6, 38, 22,
+ 7, 25, 8, 26, 9, 2, 3, 4, 28, 16,
+ 30, 31, 29, 33, 17, 32, 18, 34, 19, 57,
+ 58, 35, 40, 36, 41, 46, 48, 49, 50, 51,
+ 52, 47, 61, 54, 53, 55, 59, 56, 62, 27,
+ 20
+};
+static const short yycheck[] =
+{
+ 3, 4, 5, 6, 16, 9, 9, 10, 20, 9,
+ 13, 3, 15, 9, 17, 4, 5, 6, 19, 8,
+ 3, 17, 9, 19, 13, 3, 15, 9, 17, 52,
+ 53, 11, 18, 14, 3, 14, 9, 9, 9, 9,
+ 7, 18, 0, 9, 20, 9, 9, 12, 0, 10,
+ 5
+};
+#define YYPURE 1
+/* -*-C-*- Note some compilers choke on comments on `#line' lines. */
-/* Copy the second part of user declarations. */
+/* Skeleton output parser for bison,
+ Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002 Free Software
+ Foundation, Inc.
-/* Line 214 of yacc.c. */
+ 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.
-#if ! defined (yyoverflow) || YYERROR_VERBOSE
+ 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. */
+
+#if ! defined (yyoverflow) || defined (YYERROR_VERBOSE)
/* The parser invokes alloca or malloc; define the necessary symbols. */
# define YYSTACK_ALLOC malloc
# define YYSTACK_FREE free
# endif
-#endif /* ! defined (yyoverflow) || YYERROR_VERBOSE */
+#endif /* ! defined (yyoverflow) || defined (YYERROR_VERBOSE) */
#if (! defined (yyoverflow) \
&& (! defined (__cplusplus) \
- || (YYSTYPE_IS_TRIVIAL)))
+ || (YYLTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
/* A type that is properly aligned for any stack member. */
union yyalloc
{
short yyss;
YYSTYPE yyvs;
- };
+# if YYLSP_NEEDED
+ YYLTYPE yyls;
+# endif
+};
/* The size of the maximum gap between one aligned stack and the next. */
-# define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)
+# define YYSTACK_GAP_MAX (sizeof (union yyalloc) - 1)
/* The size of an array large to enough to hold all stacks, each with
N elements. */
-# define YYSTACK_BYTES(N) \
+# 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_MAXIMUM)
+ + YYSTACK_GAP_MAX)
+# endif
/* Copy COUNT objects from FROM to TO. The source and destination do
not overlap. */
YYSIZE_T yynewbytes; \
YYCOPY (&yyptr->Stack, Stack, yysize); \
Stack = &yyptr->Stack; \
- yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
+ yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAX; \
yyptr += yynewbytes / sizeof (*yyptr); \
} \
while (0)
#endif
-#if defined (__STDC__) || defined (__cplusplus)
- typedef signed char yysigned_char;
-#else
- typedef short yysigned_char;
-#endif
-
-/* YYFINAL -- State number of the termination state. */
-#define YYFINAL 28
-/* YYLAST -- Last index in YYTABLE. */
-#define YYLAST 54
-
-/* YYNTOKENS -- Number of terminals. */
-#define YYNTOKENS 48
-/* YYNNTS -- Number of nonterminals. */
-#define YYNNTS 15
-/* YYNRULES -- Number of rules. */
-#define YYNRULES 39
-/* YYNRULES -- Number of states. */
-#define YYNSTATES 62
-
-/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
-#define YYUNDEFTOK 2
-#define YYMAXUTOK 302
-
-#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
-};
-
-#if YYDEBUG
-/* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
- YYRHS. */
-static const unsigned char yyprhs[] =
-{
- 0, 0, 3, 5, 7, 10, 14, 16, 18, 25,
- 27, 30, 33, 37, 41, 46, 51, 57, 61, 66,
- 71, 77, 80, 84, 88, 90, 92, 94, 95, 97,
- 99, 103, 105, 107, 111, 112, 114, 116, 120, 122
-};
-
-/* YYRHS -- A `-1'-separated list of the rules' RHS. */
-static const yysigned_char yyrhs[] =
-{
- 49, 0, -1, 50, -1, 51, -1, 50, 51, -1,
- 52, 19, 58, -1, 62, -1, 53, -1, 10, 9,
- 11, 9, 12, 9, -1, 54, -1, 9, 54, -1,
- 54, 9, -1, 9, 54, 9, -1, 17, 55, 18,
- -1, 9, 17, 55, 18, -1, 17, 55, 18, 9,
- -1, 9, 17, 55, 18, 9, -1, 13, 55, 14,
- -1, 9, 13, 55, 14, -1, 13, 55, 14, 9,
- -1, 9, 13, 55, 14, 9, -1, 15, 3, -1,
- 9, 15, 3, -1, 9, 8, 3, -1, 6, -1,
- 4, -1, 5, -1, -1, 56, -1, 9, -1, 56,
- 57, 9, -1, 20, -1, 16, -1, 59, 7, 61,
- -1, -1, 60, -1, 61, -1, 60, 20, 61, -1,
- 3, -1, 3, -1
-};
-
-/* YYRLINE[YYN] -- source line where rule number YYN was defined. */
-static const unsigned short yyrline[] =
-{
- 0, 139, 139, 142, 147, 152, 159, 161, 166, 168,
- 170, 172, 174, 176, 178, 180, 182, 185, 188, 191,
- 194, 197, 200, 205, 210, 212, 214, 219, 220, 224,
- 226, 230, 232, 236, 241, 242, 246, 248, 252, 259
-};
-#endif
-
-#if YYDEBUG || YYERROR_VERBOSE
-/* YYTNME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
- First, the terminals, then, starting at YYNTOKENS, nonterminals. */
-static const char *const yytname[] =
-{
- "$end", "error", "$undefined", "LST_SIMPLEID", "LST_LOGICALOP",
- "LST_EQOP", "LST_SIMPLEOP", "LST_MAPSYM", "LST_FIELDMAPSYM",
- "LST_MARKERSYM", "LST_ifTOKEN", "LST_thenTOKEN", "LST_elseTOKEN",
- "LST_LBRACKET", "LST_RBRACKET", "LST_SELECTSYM", "LST_SEPSYM",
- "LST_OPENSYM", "LST_CLOSESYM", "LST_COLON", "LST_COMMA", "LST_EOL",
- "LST_COMMENTSYM", "LST_WHITESPACE", "LST_QUANTIFIERSYM",
- "LST_EQUATIONSYM", "LST_EQSEPSYM", "LST_COMPOSESYM", "LST_LPAR",
- "LST_RPAR", "LST_assertsTOKEN", "LST_assumesTOKEN", "LST_byTOKEN",
- "LST_convertsTOKEN", "LST_enumerationTOKEN", "LST_equationsTOKEN",
- "LST_exemptingTOKEN", "LST_forTOKEN", "LST_generatedTOKEN",
- "LST_impliesTOKEN", "LST_includesTOKEN", "LST_introducesTOKEN",
- "LST_ofTOKEN", "LST_partitionedTOKEN", "LST_traitTOKEN",
- "LST_tupleTOKEN", "LST_unionTOKEN", "LST_BADTOKEN", "$accept", "top",
- "operatorList", "operator", "name", "opForm", "anyOp", "middle",
- "placeList", "separator", "signature", "domain", "sortList", "sortId",
- "opId", 0
-};
-#endif
-
-# ifdef YYPRINT
-/* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
- token YYLEX-NUM. */
-static const unsigned short 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
-};
-# endif
-
-/* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
-static const unsigned char yyr1[] =
-{
- 0, 48, 49, 50, 50, 51, 52, 52, 53, 53,
- 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
- 53, 53, 53, 53, 54, 54, 54, 55, 55, 56,
- 56, 57, 57, 58, 59, 59, 60, 60, 61, 62
-};
-
-/* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
-static const unsigned char yyr2[] =
-{
- 0, 2, 1, 1, 2, 3, 1, 1, 6, 1,
- 2, 2, 3, 3, 4, 4, 5, 3, 4, 4,
- 5, 2, 3, 3, 1, 1, 1, 0, 1, 1,
- 3, 1, 1, 3, 0, 1, 1, 3, 1, 1
-};
-
-/* 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[] =
-{
- 0, 39, 25, 26, 24, 0, 0, 27, 0, 27,
- 0, 2, 3, 0, 7, 9, 6, 0, 27, 0,
- 27, 10, 0, 29, 0, 28, 21, 0, 1, 4,
- 34, 11, 23, 0, 22, 0, 12, 0, 17, 32,
- 31, 0, 13, 38, 5, 0, 35, 36, 18, 14,
- 0, 19, 30, 15, 0, 0, 20, 16, 0, 33,
- 37, 8
-};
-
-/* YYDEFGOTO[NTERM-NUM]. */
-static const yysigned_char yydefgoto[] =
-{
- -1, 10, 11, 12, 13, 14, 15, 24, 25, 41,
- 44, 45, 46, 47, 16
-};
-
-/* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
- STATE-NUM. */
-#define YYPACT_NINF -34
-static const yysigned_char yypact[] =
-{
- -3, -34, -34, -34, -34, 11, -4, 2, 10, 2,
- 23, -3, -34, 6, -34, 18, -34, 26, 2, 27,
- 2, 22, 21, -34, 19, -12, -34, 16, -34, -34,
- 32, -34, -34, 24, -34, 25, -34, 28, 30, -34,
- -34, 31, 33, -34, -34, 29, 34, -34, 35, 36,
- 37, -34, -34, -34, 32, 32, -34, -34, 38, -34,
- -34, -34
-};
-
-/* YYPGOTO[NTERM-NUM]. */
-static const yysigned_char yypgoto[] =
-{
- -34, -34, -34, 39, -34, -34, 41, 0, -34, -34,
- -34, -34, -34, -33, -34
-};
-
-/* 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 -1
-static const unsigned char yytable[] =
-{
- 1, 2, 3, 4, 39, 22, 5, 6, 40, 27,
- 7, 23, 8, 26, 9, 2, 3, 4, 33, 17,
- 35, 59, 60, 28, 18, 30, 19, 31, 20, 32,
- 34, 36, 37, 38, 42, 43, 54, 50, 48, 51,
- 52, 0, 53, 49, 56, 57, 21, 61, 0, 58,
- 29, 0, 0, 0, 55
-};
-
-static const yysigned_char yycheck[] =
-{
- 3, 4, 5, 6, 16, 9, 9, 10, 20, 9,
- 13, 9, 15, 3, 17, 4, 5, 6, 18, 8,
- 20, 54, 55, 0, 13, 19, 15, 9, 17, 3,
- 3, 9, 11, 14, 18, 3, 7, 9, 14, 9,
- 9, -1, 9, 18, 9, 9, 5, 9, -1, 12,
- 11, -1, -1, -1, 20
-};
-
-/* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
- symbol of state STATE-NUM. */
-static const unsigned char yystos[] =
-{
- 0, 3, 4, 5, 6, 9, 10, 13, 15, 17,
- 49, 50, 51, 52, 53, 54, 62, 8, 13, 15,
- 17, 54, 9, 9, 55, 56, 3, 55, 0, 51,
- 19, 9, 3, 55, 3, 55, 9, 11, 14, 16,
- 20, 57, 18, 3, 58, 59, 60, 61, 14, 18,
- 9, 9, 9, 9, 7, 20, 9, 9, 12, 61,
- 61, 9
-};
#if ! defined (YYSIZE_T) && defined (__SIZE_TYPE__)
# define YYSIZE_T __SIZE_TYPE__
#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 YYABORT goto yyabortlab
#define YYERROR goto yyerrlab1
-
-
/* 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); \
- yytoken = YYTRANSLATE (yychar); \
+ yychar1 = YYTRANSLATE (yychar); \
YYPOPSTACK; \
goto yybackup; \
} \
else \
{ \
- yyerror ("syntax error: cannot back up");\
+ yyerror ("syntax error: cannot back up"); \
YYERROR; \
} \
while (0)
#define YYTERROR 1
#define YYERRCODE 256
+
/* YYLLOC_DEFAULT -- Compute the default location (before the actions
- are run). */
+ 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. */
#ifndef YYLLOC_DEFAULT
-# define YYLLOC_DEFAULT(Current, Rhs, N) \
- Current.first_line = Rhs[1].first_line; \
- Current.first_column = Rhs[1].first_column; \
- Current.last_line = Rhs[N].last_line; \
- Current.last_column = Rhs[N].last_column;
+# define YYLLOC_DEFAULT(Current, Rhs, N) \
+ Current.last_line = Rhs[N].last_line; \
+ Current.last_column = Rhs[N].last_column;
#endif
+
/* YYLEX -- calling `yylex' with the right arguments. */
-#ifdef YYLEX_PARAM
-# define YYLEX yylex (&yylval, YYLEX_PARAM)
-#else
-# define YYLEX yylex (&yylval)
-#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 */
+
/* Enable debugging if requested. */
#if YYDEBUG
if (yydebug) \
YYFPRINTF Args; \
} while (0)
-
-# define YYDSYMPRINT(Args) \
-do { \
- if (yydebug) \
- yysymprint Args; \
-} while (0)
-
-# define YYDSYMPRINTF(Title, Token, Value, Location) \
-do { \
- if (yydebug) \
- { \
- YYFPRINTF (stderr, "%s ", Title); \
- yysymprint (stderr, \
- Token, Value); \
- YYFPRINTF (stderr, "\n"); \
- } \
-} while (0)
-
-/*------------------------------------------------------------------.
-| yy_stack_print -- Print the state stack from its BOTTOM up to its |
-| TOP (cinluded). |
-`------------------------------------------------------------------*/
-
-#if defined (__STDC__) || defined (__cplusplus)
-static void
-yy_stack_print (short *bottom, short *top)
-#else
-static void
-yy_stack_print (bottom, top)
- short *bottom;
- short *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 (0)
-
-
-/*------------------------------------------------.
-| Report that the YYRULE is going to be reduced. |
-`------------------------------------------------*/
-
-#if defined (__STDC__) || defined (__cplusplus)
-static void
-yy_reduce_print (int yyrule)
-#else
-static void
-yy_reduce_print (yyrule)
- int yyrule;
-#endif
-{
- int yyi;
- unsigned int yylineno = yyrline[yyrule];
- YYFPRINTF (stderr, "Reducing stack by rule %d (line %u), ",
- yyrule - 1, yylineno);
- /* Print the symbols being reduced, and their result. */
- for (yyi = yyprhs[yyrule]; 0 <= yyrhs[yyi]; yyi++)
- YYFPRINTF (stderr, "%s ", yytname [yyrhs[yyi]]);
- YYFPRINTF (stderr, "-> %s\n", yytname [yyr1[yyrule]]);
-}
-
-# define YY_REDUCE_PRINT(Rule) \
-do { \
- if (yydebug) \
- yy_reduce_print (Rule); \
-} while (0)
-
/* Nonzero means print parse trace. It is left uninitialized so that
multiple parsers can coexist. */
int yydebug;
#else /* !YYDEBUG */
# define YYDPRINTF(Args)
-# define YYDSYMPRINT(Args)
-# define YYDSYMPRINTF(Title, Token, 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
#ifndef YYMAXDEPTH
# define YYMAXDEPTH 10000
#endif
-
\f
-
-#if YYERROR_VERBOSE
+#ifdef YYERROR_VERBOSE
# ifndef yystrlen
# if defined (__GLIBC__) && defined (_STRING_H)
}
# endif
# endif
-
-#endif /* !YYERROR_VERBOSE */
-
-\f
-
-#if YYDEBUG
-/*--------------------------------.
-| Print this symbol on YYOUTPUT. |
-`--------------------------------*/
-
-#if defined (__STDC__) || defined (__cplusplus)
-static void
-yysymprint (FILE *yyoutput, int yytype, YYSTYPE *yyvaluep)
-#else
-static void
-yysymprint (yyoutput, yytype, yyvaluep)
- FILE *yyoutput;
- int yytype;
- YYSTYPE *yyvaluep;
-#endif
-{
- /* Pacify ``unused variable'' warnings. */
- (void) yyvaluep;
-
- if (yytype < YYNTOKENS)
- {
- YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
-# ifdef YYPRINT
- YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
-# endif
- }
- else
- YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
-
- switch (yytype)
- {
- default:
- break;
- }
- YYFPRINTF (yyoutput, ")");
-}
-
-#endif /* ! YYDEBUG */
-/*-----------------------------------------------.
-| Release the memory associated to this symbol. |
-`-----------------------------------------------*/
-
-#if defined (__STDC__) || defined (__cplusplus)
-static void
-yydestruct (int yytype, YYSTYPE *yyvaluep)
-#else
-static void
-yydestruct (yytype, yyvaluep)
- int yytype;
- YYSTYPE *yyvaluep;
#endif
-{
- /* Pacify ``unused variable'' warnings. */
- (void) yyvaluep;
-
- switch (yytype)
- {
-
- default:
- break;
- }
-}
\f
-/* Prevent warnings from -Wmissing-prototypes. */
+
+/* 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. */
#ifdef YYPARSE_PARAM
# if defined (__STDC__) || defined (__cplusplus)
-int yyparse (void *YYPARSE_PARAM);
+# define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
+# define YYPARSE_PARAM_DECL
# else
-int yyparse ();
+# define YYPARSE_PARAM_ARG YYPARSE_PARAM
+# define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
# endif
-#else /* ! YYPARSE_PARAM */
-#if defined (__STDC__) || defined (__cplusplus)
+#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
int yyparse (void);
-#else
-int yyparse ();
+# endif
#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. */
-/*----------.
-| yyparse. |
-`----------*/
+#if !YYPURE
+YY_DECL_VARIABLES
+#endif /* !YYPURE */
-#ifdef YYPARSE_PARAM
-# if defined (__STDC__) || defined (__cplusplus)
-int yyparse (void *YYPARSE_PARAM)
-# else
-int yyparse (YYPARSE_PARAM)
- void *YYPARSE_PARAM;
-# endif
-#else /* ! YYPARSE_PARAM */
-#if defined (__STDC__) || defined (__cplusplus)
-int
-yyparse (void)
-#else
int
-yyparse ()
-
-#endif
-#endif
+yyparse (YYPARSE_PARAM_ARG)
+ YYPARSE_PARAM_DECL
{
- /* The lookahead symbol. */
-int yychar;
-
-/* The semantic value of the lookahead symbol. */
-YYSTYPE yylval;
-
-/* Number of syntax errors so far. */
-int yynerrs;
+ /* If reentrant, generate the variables here. */
+#if YYPURE
+ YY_DECL_VARIABLES
+#endif /* !YYPURE */
register int yystate;
register int yyn;
/* Number of tokens to shift before error messages enabled. */
int yyerrstatus;
/* Lookahead token as an internal (translated) token number. */
- int yytoken = 0;
+ int yychar1 = 0;
/* Three stacks and their tools:
`yyss': related to states,
Refer to the stacks thru separate pointers, to allow yyoverflow
to reallocate them elsewhere. */
- /* The state stack. */
+ /* The state stack. */
short yyssa[YYINITDEPTH];
short *yyss = yyssa;
register short *yyssp;
YYSTYPE *yyvs = yyvsa;
register YYSTYPE *yyvsp;
+#if YYLSP_NEEDED
+ /* The location stack. */
+ YYLTYPE yylsa[YYINITDEPTH];
+ YYLTYPE *yyls = yylsa;
+ YYLTYPE *yylsp;
+#endif
-
-#define YYPOPSTACK (yyvsp--, yyssp--)
+#if YYLSP_NEEDED
+# define YYPOPSTACK (yyvsp--, yyssp--, yylsp--)
+#else
+# define YYPOPSTACK (yyvsp--, yyssp--)
+#endif
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"));
yyssp = yyss;
yyvsp = yyvs;
-
+#if YYLSP_NEEDED
+ yylsp = yyls;
+#endif
goto yysetstate;
/*------------------------------------------------------------.
yysetstate:
*yyssp = yystate;
- if (yyss + yystacksize - 1 <= yyssp)
+ if (yyssp >= yyss + yystacksize - 1)
{
/* Get the current used size of the three stacks, in elements. */
YYSIZE_T yysize = yyssp - yyss + 1;
YYSTYPE *yyvs1 = yyvs;
short *yyss1 = yyss;
-
/* Each stack pointer address is followed by the size of the
- 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. */
+ 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",
&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;
}
goto yyoverflowlab;
# else
/* Extend the stack our own way. */
- if (YYMAXDEPTH <= yystacksize)
+ if (yystacksize >= YYMAXDEPTH)
goto yyoverflowlab;
yystacksize *= 2;
- if (YYMAXDEPTH < yystacksize)
+ if (yystacksize > YYMAXDEPTH)
yystacksize = YYMAXDEPTH;
{
goto yyoverflowlab;
YYSTACK_RELOCATE (yyss);
YYSTACK_RELOCATE (yyvs);
-
-# undef YYSTACK_RELOCATE
+# if YYLSP_NEEDED
+ YYSTACK_RELOCATE (yyls);
+# endif
+# undef YYSTACK_RELOCATE
if (yyss1 != yyssa)
YYSTACK_FREE (yyss1);
}
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 (yyss + yystacksize - 1 <= yyssp)
+ if (yyssp >= yyss + yystacksize - 1)
YYABORT;
}
goto yybackup;
+
/*-----------.
| yybackup. |
`-----------*/
/* First try to decide what to do without reference to lookahead token. */
yyn = yypact[yystate];
- if (yyn == YYPACT_NINF)
+ if (yyn == YYFLAG)
goto yydefault;
/* Not known => get a lookahead token if don't already have one. */
- /* YYCHAR is either YYEMPTY or YYEOF or a valid lookahead symbol. */
+ /* yychar is either YYEMPTY or YYEOF
+ or a valid token in external form. */
+
if (yychar == YYEMPTY)
{
YYDPRINTF ((stderr, "Reading a token: "));
yychar = YYLEX;
}
- if (yychar <= YYEOF)
+ /* Convert token to internal form (in yychar1) for indexing tables with */
+
+ if (yychar <= 0) /* This means end of input. */
{
- yychar = yytoken = YYEOF;
+ yychar1 = 0;
+ yychar = YYEOF; /* Don't call YYLEX any more */
+
YYDPRINTF ((stderr, "Now at end of input.\n"));
}
else
{
- yytoken = YYTRANSLATE (yychar);
- YYDSYMPRINTF ("Next token is", yytoken, &yylval, &yylloc);
+ 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
}
- /* 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)
+ yyn += yychar1;
+ if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1)
goto yydefault;
+
yyn = yytable[yyn];
- if (yyn <= 0)
+
+ /* 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 || yyn == YYTABLE_NINF)
+ if (yyn == YYFLAG)
goto yyerrlab;
yyn = -yyn;
goto yyreduce;
}
+ else if (yyn == 0)
+ goto yyerrlab;
if (yyn == YYFINAL)
YYACCEPT;
/* Shift the lookahead token. */
- YYDPRINTF ((stderr, "Shifting token %s, ", yytname[yytoken]));
+ YYDPRINTF ((stderr, "Shifting token %d (%s), ",
+ yychar, yytname[yychar1]));
/* 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. */
/* 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
+ 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];
+#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
- YY_REDUCE_PRINT (yyn);
- switch (yyn)
+#if YYDEBUG
+ /* We have to keep this `#if YYDEBUG', since we use variables which
+ are defined only if `YYDEBUG' is set. */
+ if (yydebug)
{
- case 2:
+ int yyi;
- { lslOpList_free (yyvsp[0].operators); ;}
- break;
+ YYFPRINTF (stderr, "Reducing via rule %d (line %d), ",
+ yyn, yyrline[yyn]);
+
+ /* 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 3:
+ switch (yyn) {
- { lslOpList x = lslOpList_new ();
+case 1:
+{ lslOpList_free (yyvsp[0].operators); ;
+ break;}
+case 2:
+{ lslOpList x = lslOpList_new ();
g_importedlslOp = yyvsp[0].operator;
lslOpList_add (x, yyvsp[0].operator);
- yyval.operators = x; ;}
- break;
-
- case 4:
-
- { lslOpList_add (yyvsp[-1].operators, yyvsp[0].operator);
- yyval.operators = yyvsp[-1].operators; ;}
- break;
-
- case 5:
-
- { yyval.operator = makelslOpNode (yyvsp[-2].name, yyvsp[0].signature); ;}
- break;
-
- case 6:
-
- { yyval.name = makeNameNodeId (yyvsp[0].ltok); ;}
- break;
-
- case 7:
-
- { yyval.name = makeNameNodeForm (yyvsp[0].opform); ;}
- break;
-
- case 8:
-
- { yyval.opform = makeOpFormNode (yyvsp[-5].ltok, OPF_IF, opFormUnion_createMiddle (0), ltoken_undefined); ;}
- break;
-
- case 9:
-
- { yyval.opform = makeOpFormNode (yyvsp[0].ltok, OPF_ANYOP, opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;}
- break;
-
- case 10:
-
- { yyval.opform = makeOpFormNode (yyvsp[-1].ltok, OPF_MANYOP, opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;}
- break;
-
- case 11:
-
- { yyval.opform = makeOpFormNode (yyvsp[-1].ltok, OPF_ANYOPM, opFormUnion_createAnyOp (yyvsp[-1].ltok), ltoken_undefined); ;}
- break;
-
- case 12:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MANYOPM, opFormUnion_createAnyOp (yyvsp[-1].ltok), ltoken_undefined); ;}
- break;
-
- case 13:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MIDDLE, opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;}
- break;
-
- case 14:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MMIDDLE, opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;}
- break;
-
- case 15:
-
- { yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_MIDDLEM, opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;}
- break;
-
- case 16:
-
- { yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_MMIDDLEM,
- opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;}
- break;
-
- case 17:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_BMIDDLE,
- opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;}
- break;
-
- case 18:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_BMMIDDLE,
- opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;}
- break;
-
- case 19:
-
- { yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_BMIDDLEM,
- opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;}
- break;
-
- case 20:
-
- { yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_BMMIDDLEM,
- opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;}
- break;
-
- case 21:
-
- { yyval.opform = makeOpFormNode (yyvsp[-1].ltok, OPF_SELECT,
- opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;}
- break;
-
- case 22:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MSELECT,
- opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;}
- break;
-
- case 23:
-
- { yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MMAP,
- opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;}
- break;
-
- case 24:
-
- { yyval.ltok = yyvsp[0].ltok; ;}
- break;
-
- case 25:
-
- { yyval.ltok = yyvsp[0].ltok; ;}
- break;
-
- case 26:
-
- { yyval.ltok = yyvsp[0].ltok; ;}
- break;
-
- case 27:
-
- { yyval.count = 0; ;}
- break;
-
- case 28:
-
- { yyval.count = yyvsp[0].count; ;}
- break;
-
- case 29:
-
- { yyval.count = 1; ;}
- break;
-
- case 30:
-
- { yyval.count = yyvsp[-2].count + 1; ;}
- break;
-
- case 31:
-
- { yyval.ltok = yyvsp[0].ltok; ;}
- break;
-
- case 32:
-
- { yyval.ltok = yyvsp[0].ltok; ;}
- break;
-
- case 33:
-
- { yyval.signature = makesigNode (yyvsp[-1].ltok, yyvsp[-2].ltokenList, yyvsp[0].ltok); ;}
- break;
-
- case 34:
-
- { yyval.ltokenList = ltokenList_new (); ;}
- break;
-
- case 35:
-
- { yyval.ltokenList = yyvsp[0].ltokenList; ;}
- break;
-
- case 36:
-
- { yyval.ltokenList = ltokenList_singleton (yyvsp[0].ltok); ;}
- break;
-
- case 37:
-
- { yyval.ltokenList = ltokenList_push (yyvsp[-2].ltokenList, yyvsp[0].ltok); ;}
- break;
-
- case 38:
-
- {
+ yyval.operators = x; ;
+ break;}
+case 3:
+{ lslOpList_add (yyvsp[-1].operators, yyvsp[0].operator);
+ yyval.operators = yyvsp[-1].operators; ;
+ break;}
+case 4:
+{ yyval.operator = makelslOpNode (yyvsp[-2].name, yyvsp[0].signature); ;
+ break;}
+case 5:
+{ yyval.name = makeNameNodeId (yyvsp[0].ltok); ;
+ break;}
+case 6:
+{ yyval.name = makeNameNodeForm (yyvsp[0].opform); ;
+ break;}
+case 7:
+{ yyval.opform = makeOpFormNode (yyvsp[-5].ltok, OPF_IF, opFormUnion_createMiddle (0), ltoken_undefined); ;
+ break;}
+case 8:
+{ yyval.opform = makeOpFormNode (yyvsp[0].ltok, OPF_ANYOP, opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;
+ break;}
+case 9:
+{ yyval.opform = makeOpFormNode (yyvsp[-1].ltok, OPF_MANYOP, opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;
+ break;}
+case 10:
+{ yyval.opform = makeOpFormNode (yyvsp[-1].ltok, OPF_ANYOPM, opFormUnion_createAnyOp (yyvsp[-1].ltok), ltoken_undefined); ;
+ break;}
+case 11:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MANYOPM, opFormUnion_createAnyOp (yyvsp[-1].ltok), ltoken_undefined); ;
+ break;}
+case 12:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MIDDLE, opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;
+ break;}
+case 13:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MMIDDLE, opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;
+ break;}
+case 14:
+{ yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_MIDDLEM, opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;
+ break;}
+case 15:
+{ yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_MMIDDLEM,
+ opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;
+ break;}
+case 16:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_BMIDDLE,
+ opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;
+ break;}
+case 17:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_BMMIDDLE,
+ opFormUnion_createMiddle (yyvsp[-1].count), yyvsp[0].ltok); ;
+ break;}
+case 18:
+{ yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_BMIDDLEM,
+ opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;
+ break;}
+case 19:
+{ yyval.opform = makeOpFormNode (yyvsp[-3].ltok, OPF_BMMIDDLEM,
+ opFormUnion_createMiddle (yyvsp[-2].count), yyvsp[-1].ltok); ;
+ break;}
+case 20:
+{ yyval.opform = makeOpFormNode (yyvsp[-1].ltok, OPF_SELECT,
+ opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;
+ break;}
+case 21:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MSELECT,
+ opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;
+ break;}
+case 22:
+{ yyval.opform = makeOpFormNode (yyvsp[-2].ltok, OPF_MMAP,
+ opFormUnion_createAnyOp (yyvsp[0].ltok), ltoken_undefined); ;
+ break;}
+case 23:
+{ yyval.ltok = yyvsp[0].ltok; ;
+ break;}
+case 24:
+{ yyval.ltok = yyvsp[0].ltok; ;
+ break;}
+case 25:
+{ yyval.ltok = yyvsp[0].ltok; ;
+ break;}
+case 26:
+{ yyval.count = 0; ;
+ break;}
+case 27:
+{ yyval.count = yyvsp[0].count; ;
+ break;}
+case 28:
+{ yyval.count = 1; ;
+ break;}
+case 29:
+{ yyval.count = yyvsp[-2].count + 1; ;
+ break;}
+case 30:
+{ yyval.ltok = yyvsp[0].ltok; ;
+ break;}
+case 31:
+{ yyval.ltok = yyvsp[0].ltok; ;
+ break;}
+case 32:
+{ yyval.signature = makesigNode (yyvsp[-1].ltok, yyvsp[-2].ltokenList, yyvsp[0].ltok); ;
+ break;}
+case 33:
+{ yyval.ltokenList = ltokenList_new (); ;
+ break;}
+case 34:
+{ yyval.ltokenList = yyvsp[0].ltokenList; ;
+ break;}
+case 35:
+{ yyval.ltokenList = ltokenList_singleton (yyvsp[0].ltok); ;
+ break;}
+case 36:
+{ yyval.ltokenList = ltokenList_push (yyvsp[-2].ltokenList, yyvsp[0].ltok); ;
+ break;}
+case 37:
+{
yyval.ltok = yyvsp[0].ltok;
ltoken_setText (yyval.ltok, processTraitSortId (ltoken_getText (yyvsp[0].ltok)));
- ;}
- break;
-
- case 39:
-
- { yyval.ltok = yyvsp[0].ltok; ;}
- break;
-
-
- }
+ ;
+ break;}
+case 38:
+{ yyval.ltok = yyvsp[0].ltok; ;
+ break;}
+}
-/* Line 999 of yacc.c. */
\f
yyvsp -= yylen;
yyssp -= yylen;
+#if YYLSP_NEEDED
+ yylsp -= yylen;
+#endif
-
- YY_STACK_PRINT (yyss, yyssp);
+#if YYDEBUG
+ if (yydebug)
+ {
+ short *yyssp1 = yyss - 1;
+ YYFPRINTF (stderr, "state stack now");
+ while (yyssp1 != yyssp)
+ YYFPRINTF (stderr, " %d", *++yyssp1);
+ YYFPRINTF (stderr, "\n");
+ }
+#endif
*++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
yyn = yyr1[yyn];
- yystate = yypgoto[yyn - YYNTOKENS] + *yyssp;
- if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp)
+ yystate = yypgoto[yyn - YYNTBASE] + *yyssp;
+ if (yystate >= 0 && yystate <= YYLAST && yycheck[yystate] == *yyssp)
yystate = yytable[yystate];
else
- yystate = yydefgoto[yyn - YYNTOKENS];
+ yystate = yydefgoto[yyn - YYNTBASE];
goto yynewstate;
if (!yyerrstatus)
{
++yynerrs;
-#if YYERROR_VERBOSE
+
+#ifdef YYERROR_VERBOSE
yyn = yypact[yystate];
- if (YYPACT_NINF < yyn && yyn < YYLAST)
+ if (yyn > YYFLAG && yyn < YYLAST)
{
YYSIZE_T yysize = 0;
- int yytype = YYTRANSLATE (yychar);
char *yymsg;
int yyx, yycount;
YYCHECK. */
for (yyx = yyn < 0 ? -yyn : 0;
yyx < (int) (sizeof (yytname) / sizeof (char *)); yyx++)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
+ if (yycheck[yyx + yyn] == yyx)
yysize += yystrlen (yytname[yyx]) + 15, yycount++;
- yysize += yystrlen ("syntax error, unexpected ") + 1;
- yysize += yystrlen (yytname[yytype]);
+ yysize += yystrlen ("parse error, unexpected ") + 1;
+ yysize += yystrlen (yytname[YYTRANSLATE (yychar)]);
yymsg = (char *) YYSTACK_ALLOC (yysize);
if (yymsg != 0)
{
- char *yyp = yystpcpy (yymsg, "syntax error, unexpected ");
- yyp = yystpcpy (yyp, yytname[yytype]);
+ char *yyp = yystpcpy (yymsg, "parse error, unexpected ");
+ yyp = yystpcpy (yyp, yytname[YYTRANSLATE (yychar)]);
if (yycount < 5)
{
for (yyx = yyn < 0 ? -yyn : 0;
yyx < (int) (sizeof (yytname) / sizeof (char *));
yyx++)
- if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
+ if (yycheck[yyx + yyn] == yyx)
{
const char *yyq = ! yycount ? ", expecting " : " or ";
yyp = yystpcpy (yyp, yyq);
YYSTACK_FREE (yymsg);
}
else
- yyerror ("syntax error; also virtual memory exhausted");
+ yyerror ("parse error; also virtual memory exhausted");
}
else
-#endif /* YYERROR_VERBOSE */
- yyerror ("syntax error");
+#endif /* defined (YYERROR_VERBOSE) */
+ yyerror ("parse error");
}
+ goto yyerrlab1;
-
+/*--------------------------------------------------.
+| yyerrlab1 -- error raised explicitly by an action |
+`--------------------------------------------------*/
+yyerrlab1:
if (yyerrstatus == 3)
{
/* If just tried and failed to reuse lookahead token after an
error, discard it. */
- /* Return failure if at end of input. */
+ /* return failure if at end of input */
if (yychar == YYEOF)
- {
- /* Pop the error token. */
- YYPOPSTACK;
- /* Pop the rest of the stack. */
- while (yyss < yyssp)
- {
- YYDSYMPRINTF ("Error: popping", yystos[*yyssp], yyvsp, yylsp);
- yydestruct (yystos[*yyssp], yyvsp);
- YYPOPSTACK;
- }
- YYABORT;
- }
-
- YYDSYMPRINTF ("Error: discarding", yytoken, &yylval, &yylloc);
- yydestruct (yytoken, &yylval);
+ YYABORT;
+ YYDPRINTF ((stderr, "Discarding token %d (%s).\n",
+ yychar, yytname[yychar1]));
yychar = YYEMPTY;
-
}
/* Else will try to reuse lookahead token after shifting the error
token. */
- goto yyerrlab1;
+ yyerrstatus = 3; /* Each real token shifted decrements this */
+
+ goto yyerrhandle;
+
+
+/*-------------------------------------------------------------------.
+| 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. */
+
+ /* If its default is to accept any token, ok. Otherwise pop it. */
+ yyn = yydefact[yystate];
+ if (yyn)
+ goto yydefault;
+#endif
-/*----------------------------------------------------.
-| yyerrlab1 -- error raised explicitly by an action. |
-`----------------------------------------------------*/
-yyerrlab1:
- yyerrstatus = 3; /* Each real token shifted decrements this. */
- for (;;)
+/*---------------------------------------------------------------.
+| 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
+
+#if YYDEBUG
+ if (yydebug)
{
- yyn = yypact[yystate];
- if (yyn != YYPACT_NINF)
- {
- yyn += YYTERROR;
- if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR)
- {
- yyn = yytable[yyn];
- if (0 < yyn)
- break;
- }
- }
+ short *yyssp1 = yyss - 1;
+ YYFPRINTF (stderr, "Error: state stack now");
+ while (yyssp1 != yyssp)
+ YYFPRINTF (stderr, " %d", *++yyssp1);
+ YYFPRINTF (stderr, "\n");
+ }
+#endif
- /* Pop the current state because it cannot handle the error token. */
- if (yyssp == yyss)
- YYABORT;
+/*--------------.
+| yyerrhandle. |
+`--------------*/
+yyerrhandle:
+ yyn = yypact[yystate];
+ if (yyn == YYFLAG)
+ goto yyerrdefault;
- YYDSYMPRINTF ("Error: popping", yystos[*yyssp], yyvsp, yylsp);
- yydestruct (yystos[yystate], yyvsp);
- yyvsp--;
- yystate = *--yyssp;
+ yyn += YYTERROR;
+ if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != YYTERROR)
+ goto yyerrdefault;
- YY_STACK_PRINT (yyss, yyssp);
+ yyn = yytable[yyn];
+ if (yyn < 0)
+ {
+ if (yyn == YYFLAG)
+ goto yyerrpop;
+ yyn = -yyn;
+ goto yyreduce;
}
+ else if (yyn == 0)
+ goto yyerrpop;
if (yyn == YYFINAL)
YYACCEPT;
YYDPRINTF ((stderr, "Shifting error token, "));
*++yyvsp = yylval;
-
+#if YYLSP_NEEDED
+ *++yylsp = yylloc;
+#endif
yystate = yyn;
goto yynewstate;
yyresult = 1;
goto yyreturn;
-#ifndef yyoverflow
-/*----------------------------------------------.
-| yyoverflowlab -- parser overflow comes here. |
-`----------------------------------------------*/
+/*---------------------------------------------.
+| yyoverflowab -- parser overflow comes here. |
+`---------------------------------------------*/
yyoverflowlab:
yyerror ("parser stack overflow");
yyresult = 2;
/* Fall through. */
-#endif
yyreturn:
#ifndef yyoverflow
}
-
-
-
# include "bison.reset"
extern char *yytext;
-
/*
** Resets all flags in bison.head
*/