2 ** Inserted at beginning of c files generated by bison
3 ** REMEMBER: Change bison.reset too.
42 /*@-unqualifiedtrans@*/
49 /*drl added 11/27/2001*/
52 /*drl added 12/11/2002*/
55 /* < end of bison.head > */
57 /* A Bison parser, made by GNU Bison 2.3. */
59 /* Skeleton implementation for Bison's Yacc-like parsers in C
61 Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
62 Free Software Foundation, Inc.
64 This program is free software; you can redistribute it and/or modify
65 it under the terms of the GNU General Public License as published by
66 the Free Software Foundation; either version 2, or (at your option)
69 This program is distributed in the hope that it will be useful,
70 but WITHOUT ANY WARRANTY; without even the implied warranty of
71 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
72 GNU General Public License for more details.
74 You should have received a copy of the GNU General Public License
75 along with this program; if not, write to the Free Software
76 Foundation, Inc., 51 Franklin Street, Fifth Floor,
77 Boston, MA 02110-1301, USA. */
79 /* As a special exception, you may create a larger work that contains
80 part or all of the Bison parser skeleton and distribute that work
81 under terms of your choice, so long as that work isn't itself a
82 parser generator using the skeleton or a modified version thereof
83 as a parser skeleton. Alternatively, if you modify or redistribute
84 the parser skeleton itself, you may (at your option) remove this
85 special exception, which will cause the skeleton and the resulting
86 Bison output files to be licensed under the GNU General Public
87 License without this special exception.
89 This special exception was added by the Free Software Foundation in
90 version 2.2 of Bison. */
92 /* C LALR(1) parser skeleton written by Richard Stallman, by
93 simplifying the original so-called "semantic" parser. */
95 /* All symbols defined below should begin with yy or YY, to avoid
96 infringing on user name space. This should be done even for local
97 variables, as they might otherwise be expanded by user macros.
98 There are some unavoidable exceptions within include files to
99 define necessary library symbols; they are noted "INFRINGES ON
100 USER NAME SPACE" below. */
102 /* Identify Bison output. */
106 #define YYBISON_VERSION "2.3"
109 #define YYSKELETON_NAME "yacc.c"
114 /* Using locations. */
115 #define YYLSP_NEEDED 0
117 /* Substitute the variable and function names. */
118 #define yyparse lslparse
120 #define yyerror lslerror
121 #define yylval lsllval
122 #define yychar lslchar
123 #define yydebug lsldebug
124 #define yynerrs lslnerrs
130 /* Put the tokens into the symbol table, so that GDB and other debuggers
138 LST_FIELDMAPSYM = 263,
152 LST_COMMENTSYM = 277,
153 LST_WHITESPACE = 278,
154 LST_QUANTIFIERSYM = 279,
155 LST_EQUATIONSYM = 280,
157 LST_COMPOSESYM = 282,
160 LST_assertsTOKEN = 285,
161 LST_assumesTOKEN = 286,
163 LST_convertsTOKEN = 288,
164 LST_enumerationTOKEN = 289,
165 LST_equationsTOKEN = 290,
166 LST_exemptingTOKEN = 291,
168 LST_generatedTOKEN = 293,
169 LST_impliesTOKEN = 294,
170 LST_includesTOKEN = 295,
171 LST_introducesTOKEN = 296,
173 LST_partitionedTOKEN = 298,
174 LST_traitTOKEN = 299,
175 LST_tupleTOKEN = 300,
176 LST_unionTOKEN = 301,
181 #define LST_SIMPLEID 258
182 #define LST_LOGICALOP 259
184 #define LST_SIMPLEOP 261
185 #define LST_MAPSYM 262
186 #define LST_FIELDMAPSYM 263
187 #define LST_MARKERSYM 264
188 #define LST_ifTOKEN 265
189 #define LST_thenTOKEN 266
190 #define LST_elseTOKEN 267
191 #define LST_LBRACKET 268
192 #define LST_RBRACKET 269
193 #define LST_SELECTSYM 270
194 #define LST_SEPSYM 271
195 #define LST_OPENSYM 272
196 #define LST_CLOSESYM 273
197 #define LST_COLON 274
198 #define LST_COMMA 275
200 #define LST_COMMENTSYM 277
201 #define LST_WHITESPACE 278
202 #define LST_QUANTIFIERSYM 279
203 #define LST_EQUATIONSYM 280
204 #define LST_EQSEPSYM 281
205 #define LST_COMPOSESYM 282
208 #define LST_assertsTOKEN 285
209 #define LST_assumesTOKEN 286
210 #define LST_byTOKEN 287
211 #define LST_convertsTOKEN 288
212 #define LST_enumerationTOKEN 289
213 #define LST_equationsTOKEN 290
214 #define LST_exemptingTOKEN 291
215 #define LST_forTOKEN 292
216 #define LST_generatedTOKEN 293
217 #define LST_impliesTOKEN 294
218 #define LST_includesTOKEN 295
219 #define LST_introducesTOKEN 296
220 #define LST_ofTOKEN 297
221 #define LST_partitionedTOKEN 298
222 #define LST_traitTOKEN 299
223 #define LST_tupleTOKEN 300
224 #define LST_unionTOKEN 301
225 #define LST_BADTOKEN 302
230 /* Copy the first part of user declarations. */
235 # include "splintMacros.nf"
237 # include "lslparse.h"
238 # include "signature.h"
240 static void lslerror (char *);
241 extern int lsllex ();
243 /*@dependent@*/ /*@null@*/ lslOp importedlslOp;
245 /*@-noparams@*/ /* Can't list params since YYSTYPE isn't defined yet. */
246 static void yyprint (/*FILE *p_file, int p_type, YYSTYPE p_value */);
249 # define YYPRINT(file, type, value) yyprint (file, type, value)
259 /* Enabling traces. */
264 /* Enabling verbose error messages. */
265 #ifdef YYERROR_VERBOSE
266 # undef YYERROR_VERBOSE
267 # define YYERROR_VERBOSE 1
269 # define YYERROR_VERBOSE 0
272 /* Enabling the token table. */
273 #ifndef YYTOKEN_TABLE
274 # define YYTOKEN_TABLE 0
277 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
278 typedef union YYSTYPE
281 ltoken ltok; /* a leaf is also an ltoken */
283 /*@only@*/ ltokenList ltokenList;
284 /*@only@*/ opFormNode opform;
285 /*@owned@*/ sigNode signature;
286 /*@only@*/ nameNode name;
287 /*@owned@*/ lslOp operator;
288 /*@only@*/ lslOpList operators;
289 /*@-redef@*/ /*@-matchfields@*/
291 /* Line 193 of yacc.c. */
294 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
295 # define YYSTYPE_IS_DECLARED 1
296 # define YYSTYPE_IS_TRIVIAL 1
301 /* Copy the second part of user declarations. */
304 /* Line 216 of yacc.c. */
312 typedef YYTYPE_UINT8 yytype_uint8;
314 typedef unsigned char yytype_uint8;
318 typedef YYTYPE_INT8 yytype_int8;
319 #elif (defined __STDC__ || defined __C99__FUNC__ \
320 || defined __cplusplus || defined _MSC_VER)
321 typedef signed char yytype_int8;
323 typedef short int yytype_int8;
327 typedef YYTYPE_UINT16 yytype_uint16;
329 typedef unsigned short int yytype_uint16;
333 typedef YYTYPE_INT16 yytype_int16;
335 typedef short int yytype_int16;
339 # ifdef __SIZE_TYPE__
340 # define YYSIZE_T __SIZE_TYPE__
341 # elif defined size_t
342 # define YYSIZE_T size_t
343 # elif ! defined YYSIZE_T && (defined __STDC__ || defined __C99__FUNC__ \
344 || defined __cplusplus || defined _MSC_VER)
345 # include <stddef.h> /* INFRINGES ON USER NAME SPACE */
346 # define YYSIZE_T size_t
348 # define YYSIZE_T unsigned int
352 #define YYSIZE_MAXIMUM ((YYSIZE_T) -1)
357 # include <libintl.h> /* INFRINGES ON USER NAME SPACE */
358 # define YY_(msgid) dgettext ("bison-runtime", msgid)
362 # define YY_(msgid) msgid
366 /* Suppress unused-variable warnings by "using" E. */
367 #if ! defined lint || defined __GNUC__
368 # define YYUSE(e) ((void) (e))
370 # define YYUSE(e) /* empty */
373 /* Identity function, used to suppress warnings about constant conditions. */
377 #if (defined __STDC__ || defined __C99__FUNC__ \
378 || defined __cplusplus || defined _MSC_VER)
391 #if ! defined yyoverflow || YYERROR_VERBOSE
393 /* The parser invokes alloca or malloc; define the necessary symbols. */
395 # ifdef YYSTACK_USE_ALLOCA
396 # if YYSTACK_USE_ALLOCA
398 # define YYSTACK_ALLOC __builtin_alloca
399 # elif defined __BUILTIN_VA_ARG_INCR
400 # include <alloca.h> /* INFRINGES ON USER NAME SPACE */
402 # define YYSTACK_ALLOC __alloca
403 # elif defined _MSC_VER
404 # include <malloc.h> /* INFRINGES ON USER NAME SPACE */
405 # define alloca _alloca
407 # define YYSTACK_ALLOC alloca
408 # if ! defined _ALLOCA_H && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
409 || defined __cplusplus || defined _MSC_VER)
410 # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
419 # ifdef YYSTACK_ALLOC
420 /* Pacify GCC's `empty if-body' warning. */
421 # define YYSTACK_FREE(Ptr) do { /* empty */; } while (YYID (0))
422 # ifndef YYSTACK_ALLOC_MAXIMUM
423 /* The OS might guarantee only one guard page at the bottom of the stack,
424 and a page size can be as small as 4096 bytes. So we cannot safely
425 invoke alloca (N) if N exceeds 4096. Use a slightly smaller number
426 to allow for a few compiler-allocated temporary stack slots. */
427 # define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
430 # define YYSTACK_ALLOC YYMALLOC
431 # define YYSTACK_FREE YYFREE
432 # ifndef YYSTACK_ALLOC_MAXIMUM
433 # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
435 # if (defined __cplusplus && ! defined _STDLIB_H \
436 && ! ((defined YYMALLOC || defined malloc) \
437 && (defined YYFREE || defined free)))
438 # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
444 # define YYMALLOC malloc
445 # if ! defined malloc && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
446 || defined __cplusplus || defined _MSC_VER)
447 void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
452 # if ! defined free && ! defined _STDLIB_H && (defined __STDC__ || defined __C99__FUNC__ \
453 || defined __cplusplus || defined _MSC_VER)
454 void free (void *); /* INFRINGES ON USER NAME SPACE */
458 #endif /* ! defined yyoverflow || YYERROR_VERBOSE */
461 #if (! defined yyoverflow \
462 && (! defined __cplusplus \
463 || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
465 /* A type that is properly aligned for any stack member. */
472 /* The size of the maximum gap between one aligned stack and the next. */
473 # define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1)
475 /* The size of an array large to enough to hold all stacks, each with
477 # define YYSTACK_BYTES(N) \
478 ((N) * (sizeof (yytype_int16) + sizeof (YYSTYPE)) \
479 + YYSTACK_GAP_MAXIMUM)
481 /* Copy COUNT objects from FROM to TO. The source and destination do
484 # if defined __GNUC__ && 1 < __GNUC__
485 # define YYCOPY(To, From, Count) \
486 __builtin_memcpy (To, From, (Count) * sizeof (*(From)))
488 # define YYCOPY(To, From, Count) \
492 for (yyi = 0; yyi < (Count); yyi++) \
493 (To)[yyi] = (From)[yyi]; \
499 /* Relocate STACK from its old location to the new one. The
500 local variables YYSIZE and YYSTACKSIZE give the old and new number of
501 elements in the stack, and YYPTR gives the new location of the
502 stack. Advance YYPTR to a properly aligned location for the next
504 # define YYSTACK_RELOCATE(Stack) \
507 YYSIZE_T yynewbytes; \
508 YYCOPY (&yyptr->Stack, Stack, yysize); \
509 Stack = &yyptr->Stack; \
510 yynewbytes = yystacksize * sizeof (*Stack) + YYSTACK_GAP_MAXIMUM; \
511 yyptr += yynewbytes / sizeof (*yyptr); \
517 /* YYFINAL -- State number of the termination state. */
519 /* YYLAST -- Last index in YYTABLE. */
522 /* YYNTOKENS -- Number of terminals. */
524 /* YYNNTS -- Number of nonterminals. */
526 /* YYNRULES -- Number of rules. */
528 /* YYNRULES -- Number of states. */
531 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
533 #define YYMAXUTOK 302
535 #define YYTRANSLATE(YYX) \
536 ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK)
538 /* YYTRANSLATE[YYLEX] -- Bison symbol number corresponding to YYLEX. */
539 static const yytype_uint8 yytranslate[] =
541 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
542 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
543 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
544 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
545 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
546 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
547 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
548 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
549 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
550 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
551 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
552 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
553 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
554 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
555 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
556 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
557 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
558 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
559 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
560 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
561 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
562 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
563 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
564 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
565 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
566 2, 2, 2, 2, 2, 2, 1, 2, 3, 4,
567 5, 6, 7, 8, 9, 10, 11, 12, 13, 14,
568 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,
569 25, 26, 27, 28, 29, 30, 31, 32, 33, 34,
570 35, 36, 37, 38, 39, 40, 41, 42, 43, 44,
575 /* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
577 static const yytype_uint8 yyprhs[] =
579 0, 0, 3, 5, 7, 10, 14, 16, 18, 25,
580 27, 30, 33, 37, 41, 46, 51, 57, 61, 66,
581 71, 77, 80, 84, 88, 90, 92, 94, 95, 97,
582 99, 103, 105, 107, 111, 112, 114, 116, 120, 122
585 /* YYRHS -- A `-1'-separated list of the rules' RHS. */
586 static const yytype_int8 yyrhs[] =
588 49, 0, -1, 50, -1, 51, -1, 50, 51, -1,
589 52, 19, 58, -1, 62, -1, 53, -1, 10, 9,
590 11, 9, 12, 9, -1, 54, -1, 9, 54, -1,
591 54, 9, -1, 9, 54, 9, -1, 17, 55, 18,
592 -1, 9, 17, 55, 18, -1, 17, 55, 18, 9,
593 -1, 9, 17, 55, 18, 9, -1, 13, 55, 14,
594 -1, 9, 13, 55, 14, -1, 13, 55, 14, 9,
595 -1, 9, 13, 55, 14, 9, -1, 15, 3, -1,
596 9, 15, 3, -1, 9, 8, 3, -1, 6, -1,
597 4, -1, 5, -1, -1, 56, -1, 9, -1, 56,
598 57, 9, -1, 20, -1, 16, -1, 59, 7, 61,
599 -1, -1, 60, -1, 61, -1, 60, 20, 61, -1,
603 /* YYRLINE[YYN] -- source line where rule number YYN was defined. */
604 static const yytype_uint16 yyrline[] =
606 0, 139, 139, 142, 147, 152, 159, 161, 166, 168,
607 170, 172, 174, 176, 178, 180, 182, 185, 188, 191,
608 194, 197, 200, 205, 210, 212, 214, 219, 220, 224,
609 226, 230, 232, 236, 241, 242, 246, 248, 252, 259
613 #if YYDEBUG || YYERROR_VERBOSE || YYTOKEN_TABLE
614 /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
615 First, the terminals, then, starting at YYNTOKENS, nonterminals. */
616 static const char *const yytname[] =
618 "$end", "error", "$undefined", "LST_SIMPLEID", "LST_LOGICALOP",
619 "LST_EQOP", "LST_SIMPLEOP", "LST_MAPSYM", "LST_FIELDMAPSYM",
620 "LST_MARKERSYM", "LST_ifTOKEN", "LST_thenTOKEN", "LST_elseTOKEN",
621 "LST_LBRACKET", "LST_RBRACKET", "LST_SELECTSYM", "LST_SEPSYM",
622 "LST_OPENSYM", "LST_CLOSESYM", "LST_COLON", "LST_COMMA", "LST_EOL",
623 "LST_COMMENTSYM", "LST_WHITESPACE", "LST_QUANTIFIERSYM",
624 "LST_EQUATIONSYM", "LST_EQSEPSYM", "LST_COMPOSESYM", "LST_LPAR",
625 "LST_RPAR", "LST_assertsTOKEN", "LST_assumesTOKEN", "LST_byTOKEN",
626 "LST_convertsTOKEN", "LST_enumerationTOKEN", "LST_equationsTOKEN",
627 "LST_exemptingTOKEN", "LST_forTOKEN", "LST_generatedTOKEN",
628 "LST_impliesTOKEN", "LST_includesTOKEN", "LST_introducesTOKEN",
629 "LST_ofTOKEN", "LST_partitionedTOKEN", "LST_traitTOKEN",
630 "LST_tupleTOKEN", "LST_unionTOKEN", "LST_BADTOKEN", "$accept", "top",
631 "operatorList", "operator", "name", "opForm", "anyOp", "middle",
632 "placeList", "separator", "signature", "domain", "sortList", "sortId",
638 /* YYTOKNUM[YYLEX-NUM] -- Internal token number corresponding to
640 static const yytype_uint16 yytoknum[] =
642 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
643 265, 266, 267, 268, 269, 270, 271, 272, 273, 274,
644 275, 276, 277, 278, 279, 280, 281, 282, 283, 284,
645 285, 286, 287, 288, 289, 290, 291, 292, 293, 294,
646 295, 296, 297, 298, 299, 300, 301, 302
650 /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
651 static const yytype_uint8 yyr1[] =
653 0, 48, 49, 50, 50, 51, 52, 52, 53, 53,
654 53, 53, 53, 53, 53, 53, 53, 53, 53, 53,
655 53, 53, 53, 53, 54, 54, 54, 55, 55, 56,
656 56, 57, 57, 58, 59, 59, 60, 60, 61, 62
659 /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
660 static const yytype_uint8 yyr2[] =
662 0, 2, 1, 1, 2, 3, 1, 1, 6, 1,
663 2, 2, 3, 3, 4, 4, 5, 3, 4, 4,
664 5, 2, 3, 3, 1, 1, 1, 0, 1, 1,
665 3, 1, 1, 3, 0, 1, 1, 3, 1, 1
668 /* YYDEFACT[STATE-NAME] -- Default rule to reduce with in state
669 STATE-NUM when YYTABLE doesn't specify something else to do. Zero
670 means the default is an error. */
671 static const yytype_uint8 yydefact[] =
673 0, 39, 25, 26, 24, 0, 0, 27, 0, 27,
674 0, 2, 3, 0, 7, 9, 6, 0, 27, 0,
675 27, 10, 0, 29, 0, 28, 21, 0, 1, 4,
676 34, 11, 23, 0, 22, 0, 12, 0, 17, 32,
677 31, 0, 13, 38, 5, 0, 35, 36, 18, 14,
678 0, 19, 30, 15, 0, 0, 20, 16, 0, 33,
682 /* YYDEFGOTO[NTERM-NUM]. */
683 static const yytype_int8 yydefgoto[] =
685 -1, 10, 11, 12, 13, 14, 15, 24, 25, 41,
689 /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
691 #define YYPACT_NINF -34
692 static const yytype_int8 yypact[] =
694 -3, -34, -34, -34, -34, 11, -4, 2, 10, 2,
695 23, -3, -34, 6, -34, 18, -34, 26, 2, 27,
696 2, 22, 21, -34, 19, -12, -34, 16, -34, -34,
697 32, -34, -34, 24, -34, 25, -34, 28, 30, -34,
698 -34, 31, 33, -34, -34, 29, 34, -34, 35, 36,
699 37, -34, -34, -34, 32, 32, -34, -34, 38, -34,
703 /* YYPGOTO[NTERM-NUM]. */
704 static const yytype_int8 yypgoto[] =
706 -34, -34, -34, 39, -34, -34, 41, 0, -34, -34,
707 -34, -34, -34, -33, -34
710 /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
711 positive, shift that token. If negative, reduce the rule which
712 number is the opposite. If zero, do what YYDEFACT says.
713 If YYTABLE_NINF, syntax error. */
714 #define YYTABLE_NINF -1
715 static const yytype_uint8 yytable[] =
717 1, 2, 3, 4, 39, 22, 5, 6, 40, 27,
718 7, 23, 8, 26, 9, 2, 3, 4, 33, 17,
719 35, 59, 60, 28, 18, 30, 19, 31, 20, 32,
720 34, 36, 37, 38, 42, 43, 54, 50, 48, 51,
721 52, 0, 53, 49, 56, 57, 21, 61, 0, 58,
725 static const yytype_int8 yycheck[] =
727 3, 4, 5, 6, 16, 9, 9, 10, 20, 9,
728 13, 9, 15, 3, 17, 4, 5, 6, 18, 8,
729 20, 54, 55, 0, 13, 19, 15, 9, 17, 3,
730 3, 9, 11, 14, 18, 3, 7, 9, 14, 9,
731 9, -1, 9, 18, 9, 9, 5, 9, -1, 12,
735 /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
736 symbol of state STATE-NUM. */
737 static const yytype_uint8 yystos[] =
739 0, 3, 4, 5, 6, 9, 10, 13, 15, 17,
740 49, 50, 51, 52, 53, 54, 62, 8, 13, 15,
741 17, 54, 9, 9, 55, 56, 3, 55, 0, 51,
742 19, 9, 3, 55, 3, 55, 9, 11, 14, 16,
743 20, 57, 18, 3, 58, 59, 60, 61, 14, 18,
744 9, 9, 9, 9, 7, 20, 9, 9, 12, 61,
748 #define yyerrok (yyerrstatus = 0)
749 #define yyclearin (yychar = YYEMPTY)
753 #define YYACCEPT goto yyacceptlab
754 #define YYABORT goto yyabortlab
755 #define YYERROR goto yyerrorlab
758 /* Like YYERROR except do call yyerror. This remains here temporarily
759 to ease the transition to the new meaning of YYERROR, for GCC.
760 Once GCC version 2 has supplanted version 1, this can go. */
762 #define YYFAIL goto yyerrlab
764 #define YYRECOVERING() (!!yyerrstatus)
766 #define YYBACKUP(Token, Value) \
768 if (yychar == YYEMPTY && yylen == 1) \
772 yytoken = YYTRANSLATE (yychar); \
778 yyerror (YY_("syntax error: cannot back up")); \
785 #define YYERRCODE 256
788 /* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
789 If N is 0, then set CURRENT to the empty location which ends
790 the previous symbol: RHS[0] (always defined). */
792 #define YYRHSLOC(Rhs, K) ((Rhs)[K])
793 #ifndef YYLLOC_DEFAULT
794 # define YYLLOC_DEFAULT(Current, Rhs, N) \
798 (Current).first_line = YYRHSLOC (Rhs, 1).first_line; \
799 (Current).first_column = YYRHSLOC (Rhs, 1).first_column; \
800 (Current).last_line = YYRHSLOC (Rhs, N).last_line; \
801 (Current).last_column = YYRHSLOC (Rhs, N).last_column; \
805 (Current).first_line = (Current).last_line = \
806 YYRHSLOC (Rhs, 0).last_line; \
807 (Current).first_column = (Current).last_column = \
808 YYRHSLOC (Rhs, 0).last_column; \
814 /* YY_LOCATION_PRINT -- Print the location on the stream.
815 This macro was not mandated originally: define only if we know
816 we won't break user code: when these are the locations we know. */
818 #ifndef YY_LOCATION_PRINT
819 # if YYLTYPE_IS_TRIVIAL
820 # define YY_LOCATION_PRINT(File, Loc) \
821 fprintf (File, "%d.%d-%d.%d", \
822 (Loc).first_line, (Loc).first_column, \
823 (Loc).last_line, (Loc).last_column)
825 # define YY_LOCATION_PRINT(File, Loc) ((void) 0)
830 /* YYLEX -- calling `yylex' with the right arguments. */
833 # define YYLEX yylex (&yylval, YYLEX_PARAM)
835 # define YYLEX yylex (&yylval)
838 /* Enable debugging if requested. */
842 # include <stdio.h> /* INFRINGES ON USER NAME SPACE */
843 # define YYFPRINTF fprintf
846 # define YYDPRINTF(Args) \
852 # define YY_SYMBOL_PRINT(Title, Type, Value, Location) \
856 YYFPRINTF (stderr, "%s ", Title); \
857 yy_symbol_print (stderr, \
859 YYFPRINTF (stderr, "\n"); \
864 /*--------------------------------.
865 | Print this symbol on YYOUTPUT. |
866 `--------------------------------*/
869 #if (defined __STDC__ || defined __C99__FUNC__ \
870 || defined __cplusplus || defined _MSC_VER)
872 yy_symbol_value_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep)
875 yy_symbol_value_print (yyoutput, yytype, yyvaluep)
878 YYSTYPE const * const yyvaluep;
884 if (yytype < YYNTOKENS)
885 YYPRINT (yyoutput, yytoknum[yytype], *yyvaluep);
897 /*--------------------------------.
898 | Print this symbol on YYOUTPUT. |
899 `--------------------------------*/
901 #if (defined __STDC__ || defined __C99__FUNC__ \
902 || defined __cplusplus || defined _MSC_VER)
904 yy_symbol_print (FILE *yyoutput, int yytype, YYSTYPE const * const yyvaluep)
907 yy_symbol_print (yyoutput, yytype, yyvaluep)
910 YYSTYPE const * const yyvaluep;
913 if (yytype < YYNTOKENS)
914 YYFPRINTF (yyoutput, "token %s (", yytname[yytype]);
916 YYFPRINTF (yyoutput, "nterm %s (", yytname[yytype]);
918 yy_symbol_value_print (yyoutput, yytype, yyvaluep);
919 YYFPRINTF (yyoutput, ")");
922 /*------------------------------------------------------------------.
923 | yy_stack_print -- Print the state stack from its BOTTOM up to its |
925 `------------------------------------------------------------------*/
927 #if (defined __STDC__ || defined __C99__FUNC__ \
928 || defined __cplusplus || defined _MSC_VER)
930 yy_stack_print (yytype_int16 *bottom, yytype_int16 *top)
933 yy_stack_print (bottom, top)
934 yytype_int16 *bottom;
938 YYFPRINTF (stderr, "Stack now");
939 for (; bottom <= top; ++bottom)
940 YYFPRINTF (stderr, " %d", *bottom);
941 YYFPRINTF (stderr, "\n");
944 # define YY_STACK_PRINT(Bottom, Top) \
947 yy_stack_print ((Bottom), (Top)); \
951 /*------------------------------------------------.
952 | Report that the YYRULE is going to be reduced. |
953 `------------------------------------------------*/
955 #if (defined __STDC__ || defined __C99__FUNC__ \
956 || defined __cplusplus || defined _MSC_VER)
958 yy_reduce_print (YYSTYPE *yyvsp, int yyrule)
961 yy_reduce_print (yyvsp, yyrule)
966 int yynrhs = yyr2[yyrule];
968 unsigned long int yylno = yyrline[yyrule];
969 YYFPRINTF (stderr, "Reducing stack by rule %d (line %lu):\n",
971 /* The symbols being reduced. */
972 for (yyi = 0; yyi < yynrhs; yyi++)
974 fprintf (stderr, " $%d = ", yyi + 1);
975 yy_symbol_print (stderr, yyrhs[yyprhs[yyrule] + yyi],
976 &(yyvsp[(yyi + 1) - (yynrhs)])
978 fprintf (stderr, "\n");
982 # define YY_REDUCE_PRINT(Rule) \
985 yy_reduce_print (yyvsp, Rule); \
988 /* Nonzero means print parse trace. It is left uninitialized so that
989 multiple parsers can coexist. */
992 # define YYDPRINTF(Args)
993 # define YY_SYMBOL_PRINT(Title, Type, Value, Location)
994 # define YY_STACK_PRINT(Bottom, Top)
995 # define YY_REDUCE_PRINT(Rule)
996 #endif /* !YYDEBUG */
999 /* YYINITDEPTH -- initial size of the parser's stacks. */
1001 # define YYINITDEPTH 200
1004 /* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
1005 if the built-in stack extension method is used).
1007 Do not make this value too large; the results are undefined if
1008 YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
1009 evaluated with infinite-precision integer arithmetic. */
1012 # define YYMAXDEPTH 10000
1020 # if defined __GLIBC__ && defined _STRING_H
1021 # define yystrlen strlen
1023 /* Return the length of YYSTR. */
1024 #if (defined __STDC__ || defined __C99__FUNC__ \
1025 || defined __cplusplus || defined _MSC_VER)
1027 yystrlen (const char *yystr)
1035 for (yylen = 0; yystr[yylen]; yylen++)
1043 # if defined __GLIBC__ && defined _STRING_H && defined _GNU_SOURCE
1044 # define yystpcpy stpcpy
1046 /* Copy YYSRC to YYDEST, returning the address of the terminating '\0' in
1048 #if (defined __STDC__ || defined __C99__FUNC__ \
1049 || defined __cplusplus || defined _MSC_VER)
1051 yystpcpy (char *yydest, const char *yysrc)
1054 yystpcpy (yydest, yysrc)
1060 const char *yys = yysrc;
1062 while ((*yyd++ = *yys++) != '\0')
1071 /* Copy to YYRES the contents of YYSTR after stripping away unnecessary
1072 quotes and backslashes, so that it's suitable for yyerror. The
1073 heuristic is that double-quoting is unnecessary unless the string
1074 contains an apostrophe, a comma, or backslash (other than
1075 backslash-backslash). YYSTR is taken from yytname. If YYRES is
1076 null, do not copy; instead, return the length of what the result
1079 yytnamerr (char *yyres, const char *yystr)
1084 char const *yyp = yystr;
1091 goto do_not_strip_quotes;
1095 goto do_not_strip_quotes;
1108 do_not_strip_quotes: ;
1112 return yystrlen (yystr);
1114 return yystpcpy (yyres, yystr) - yyres;
1118 /* Copy into YYRESULT an error message about the unexpected token
1119 YYCHAR while in state YYSTATE. Return the number of bytes copied,
1120 including the terminating null byte. If YYRESULT is null, do not
1121 copy anything; just return the number of bytes that would be
1122 copied. As a special case, return 0 if an ordinary "syntax error"
1123 message will do. Return YYSIZE_MAXIMUM if overflow occurs during
1124 size calculation. */
1126 yysyntax_error (char *yyresult, int yystate, int yychar)
1128 int yyn = yypact[yystate];
1130 if (! (YYPACT_NINF < yyn && yyn <= YYLAST))
1134 int yytype = YYTRANSLATE (yychar);
1135 YYSIZE_T yysize0 = yytnamerr (0, yytname[yytype]);
1136 YYSIZE_T yysize = yysize0;
1138 int yysize_overflow = 0;
1139 enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
1140 char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
1144 /* This is so xgettext sees the translatable formats that are
1145 constructed on the fly. */
1146 YY_("syntax error, unexpected %s");
1147 YY_("syntax error, unexpected %s, expecting %s");
1148 YY_("syntax error, unexpected %s, expecting %s or %s");
1149 YY_("syntax error, unexpected %s, expecting %s or %s or %s");
1150 YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s");
1154 static char const yyunexpected[] = "syntax error, unexpected %s";
1155 static char const yyexpecting[] = ", expecting %s";
1156 static char const yyor[] = " or %s";
1157 char yyformat[sizeof yyunexpected
1158 + sizeof yyexpecting - 1
1159 + ((YYERROR_VERBOSE_ARGS_MAXIMUM - 2)
1160 * (sizeof yyor - 1))];
1161 char const *yyprefix = yyexpecting;
1163 /* Start YYX at -YYN if negative to avoid negative indexes in
1165 int yyxbegin = yyn < 0 ? -yyn : 0;
1167 /* Stay within bounds of both yycheck and yytname. */
1168 int yychecklim = YYLAST - yyn + 1;
1169 int yyxend = yychecklim < YYNTOKENS ? yychecklim : YYNTOKENS;
1172 yyarg[0] = yytname[yytype];
1173 yyfmt = yystpcpy (yyformat, yyunexpected);
1175 for (yyx = yyxbegin; yyx < yyxend; ++yyx)
1176 if (yycheck[yyx + yyn] == yyx && yyx != YYTERROR)
1178 if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
1182 yyformat[sizeof yyunexpected - 1] = '\0';
1185 yyarg[yycount++] = yytname[yyx];
1186 yysize1 = yysize + yytnamerr (0, yytname[yyx]);
1187 yysize_overflow |= (yysize1 < yysize);
1189 yyfmt = yystpcpy (yyfmt, yyprefix);
1193 yyf = YY_(yyformat);
1194 yysize1 = yysize + yystrlen (yyf);
1195 yysize_overflow |= (yysize1 < yysize);
1198 if (yysize_overflow)
1199 return YYSIZE_MAXIMUM;
1203 /* Avoid sprintf, as that infringes on the user's name space.
1204 Don't have undefined behavior even if the translation
1205 produced a string with the wrong number of "%s"s. */
1206 char *yyp = yyresult;
1208 while ((*yyp = *yyf) != '\0')
1210 if (*yyp == '%' && yyf[1] == 's' && yyi < yycount)
1212 yyp += yytnamerr (yyp, yyarg[yyi++]);
1225 #endif /* YYERROR_VERBOSE */
1228 /*-----------------------------------------------.
1229 | Release the memory associated to this symbol. |
1230 `-----------------------------------------------*/
1233 #if (defined __STDC__ || defined __C99__FUNC__ \
1234 || defined __cplusplus || defined _MSC_VER)
1236 yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep)
1239 yydestruct (yymsg, yytype, yyvaluep)
1249 YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
1260 /* Prevent warnings from -Wmissing-prototypes. */
1262 #ifdef YYPARSE_PARAM
1263 #if defined __STDC__ || defined __cplusplus
1264 int yyparse (void *YYPARSE_PARAM);
1268 #else /* ! YYPARSE_PARAM */
1269 #if defined __STDC__ || defined __cplusplus
1274 #endif /* ! YYPARSE_PARAM */
1285 #ifdef YYPARSE_PARAM
1286 #if (defined __STDC__ || defined __C99__FUNC__ \
1287 || defined __cplusplus || defined _MSC_VER)
1289 yyparse (void *YYPARSE_PARAM)
1292 yyparse (YYPARSE_PARAM)
1293 void *YYPARSE_PARAM;
1295 #else /* ! YYPARSE_PARAM */
1296 #if (defined __STDC__ || defined __C99__FUNC__ \
1297 || defined __cplusplus || defined _MSC_VER)
1307 /* The look-ahead symbol. */
1310 /* The semantic value of the look-ahead symbol. */
1313 /* Number of syntax errors so far. */
1319 /* Number of tokens to shift before error messages enabled. */
1321 /* Look-ahead token as an internal (translated) token number. */
1324 /* Buffer for error messages, and its allocated size. */
1326 char *yymsg = yymsgbuf;
1327 YYSIZE_T yymsg_alloc = sizeof yymsgbuf;
1330 /* Three stacks and their tools:
1331 `yyss': related to states,
1332 `yyvs': related to semantic values,
1333 `yyls': related to locations.
1335 Refer to the stacks thru separate pointers, to allow yyoverflow
1336 to reallocate them elsewhere. */
1338 /* The state stack. */
1339 yytype_int16 yyssa[YYINITDEPTH];
1340 yytype_int16 *yyss = yyssa;
1341 yytype_int16 *yyssp;
1343 /* The semantic value stack. */
1344 YYSTYPE yyvsa[YYINITDEPTH];
1345 YYSTYPE *yyvs = yyvsa;
1350 #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))
1352 YYSIZE_T yystacksize = YYINITDEPTH;
1354 /* The variables used to return semantic value and location from the
1359 /* The number of symbols on the RHS of the reduced rule.
1360 Keep to zero when no symbol should be popped. */
1363 YYDPRINTF ((stderr, "Starting parse\n"));
1368 yychar = YYEMPTY; /* Cause a token to be read. */
1370 /* Initialize stack pointers.
1371 Waste one element of value and location stack
1372 so that they stay on the same level as the state stack.
1373 The wasted elements are never initialized. */
1380 /*------------------------------------------------------------.
1381 | yynewstate -- Push a new state, which is found in yystate. |
1382 `------------------------------------------------------------*/
1384 /* In all cases, when you get here, the value and location stacks
1385 have just been pushed. So pushing a state here evens the stacks. */
1391 if (yyss + yystacksize - 1 <= yyssp)
1393 /* Get the current used size of the three stacks, in elements. */
1394 YYSIZE_T yysize = yyssp - yyss + 1;
1398 /* Give user a chance to reallocate the stack. Use copies of
1399 these so that the &'s don't force the real ones into
1401 YYSTYPE *yyvs1 = yyvs;
1402 yytype_int16 *yyss1 = yyss;
1405 /* Each stack pointer address is followed by the size of the
1406 data in use in that stack, in bytes. This used to be a
1407 conditional around just the two extra args, but that might
1408 be undefined if yyoverflow is a macro. */
1409 yyoverflow (YY_("memory exhausted"),
1410 &yyss1, yysize * sizeof (*yyssp),
1411 &yyvs1, yysize * sizeof (*yyvsp),
1418 #else /* no yyoverflow */
1419 # ifndef YYSTACK_RELOCATE
1420 goto yyexhaustedlab;
1422 /* Extend the stack our own way. */
1423 if (YYMAXDEPTH <= yystacksize)
1424 goto yyexhaustedlab;
1426 if (YYMAXDEPTH < yystacksize)
1427 yystacksize = YYMAXDEPTH;
1430 yytype_int16 *yyss1 = yyss;
1431 union yyalloc *yyptr =
1432 (union yyalloc *) YYSTACK_ALLOC (YYSTACK_BYTES (yystacksize));
1434 goto yyexhaustedlab;
1435 YYSTACK_RELOCATE (yyss);
1436 YYSTACK_RELOCATE (yyvs);
1438 # undef YYSTACK_RELOCATE
1440 YYSTACK_FREE (yyss1);
1443 #endif /* no yyoverflow */
1445 yyssp = yyss + yysize - 1;
1446 yyvsp = yyvs + yysize - 1;
1449 YYDPRINTF ((stderr, "Stack size increased to %lu\n",
1450 (unsigned long int) yystacksize));
1452 if (yyss + yystacksize - 1 <= yyssp)
1456 YYDPRINTF ((stderr, "Entering state %d\n", yystate));
1465 /* Do appropriate processing given the current state. Read a
1466 look-ahead token if we need one and don't already have one. */
1468 /* First try to decide what to do without reference to look-ahead token. */
1469 yyn = yypact[yystate];
1470 if (yyn == YYPACT_NINF)
1473 /* Not known => get a look-ahead token if don't already have one. */
1475 /* YYCHAR is either YYEMPTY or YYEOF or a valid look-ahead symbol. */
1476 if (yychar == YYEMPTY)
1478 YYDPRINTF ((stderr, "Reading a token: "));
1482 if (yychar <= YYEOF)
1484 yychar = yytoken = YYEOF;
1485 YYDPRINTF ((stderr, "Now at end of input.\n"));
1489 yytoken = YYTRANSLATE (yychar);
1490 YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
1493 /* If the proper action on seeing token YYTOKEN is to reduce or to
1494 detect an error, take that action. */
1496 if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
1501 if (yyn == 0 || yyn == YYTABLE_NINF)
1510 /* Count tokens shifted since error; after three, turn off error
1515 /* Shift the look-ahead token. */
1516 YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
1518 /* Discard the shifted token unless it is eof. */
1519 if (yychar != YYEOF)
1528 /*-----------------------------------------------------------.
1529 | yydefault -- do the default action for the current state. |
1530 `-----------------------------------------------------------*/
1532 yyn = yydefact[yystate];
1538 /*-----------------------------.
1539 | yyreduce -- Do a reduction. |
1540 `-----------------------------*/
1542 /* yyn is the number of a rule to reduce with. */
1545 /* If YYLEN is nonzero, implement the default value of the action:
1548 Otherwise, the following line sets YYVAL to garbage.
1549 This behavior is undocumented and Bison
1550 users should not rely upon it. Assigning to YYVAL
1551 unconditionally makes the parser a bit smaller, and it avoids a
1552 GCC warning that YYVAL may be used uninitialized. */
1553 yyval = yyvsp[1-yylen];
1556 YY_REDUCE_PRINT (yyn);
1561 { lslOpList_free ((yyvsp[(1) - (1)].operators)); ;}
1566 { lslOpList x = lslOpList_new ();
1567 g_importedlslOp = (yyvsp[(1) - (1)].operator);
1568 lslOpList_add (x, (yyvsp[(1) - (1)].operator));
1569 (yyval.operators) = x; ;}
1574 { lslOpList_add ((yyvsp[(1) - (2)].operators), (yyvsp[(2) - (2)].operator));
1575 (yyval.operators) = (yyvsp[(1) - (2)].operators); ;}
1580 { (yyval.operator) = makelslOpNode ((yyvsp[(1) - (3)].name), (yyvsp[(3) - (3)].signature)); ;}
1585 { (yyval.name) = makeNameNodeId ((yyvsp[(1) - (1)].ltok)); ;}
1590 { (yyval.name) = makeNameNodeForm ((yyvsp[(1) - (1)].opform)); ;}
1595 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (6)].ltok), OPF_IF, opFormUnion_createMiddle (0), ltoken_undefined); ;}
1600 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (1)].ltok), OPF_ANYOP, opFormUnion_createAnyOp ((yyvsp[(1) - (1)].ltok)), ltoken_undefined); ;}
1605 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (2)].ltok), OPF_MANYOP, opFormUnion_createAnyOp ((yyvsp[(2) - (2)].ltok)), ltoken_undefined); ;}
1610 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (2)].ltok), OPF_ANYOPM, opFormUnion_createAnyOp ((yyvsp[(1) - (2)].ltok)), ltoken_undefined); ;}
1615 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (3)].ltok), OPF_MANYOPM, opFormUnion_createAnyOp ((yyvsp[(2) - (3)].ltok)), ltoken_undefined); ;}
1620 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (3)].ltok), OPF_MIDDLE, opFormUnion_createMiddle ((yyvsp[(2) - (3)].count)), (yyvsp[(3) - (3)].ltok)); ;}
1625 { (yyval.opform) = makeOpFormNode ((yyvsp[(2) - (4)].ltok), OPF_MMIDDLE, opFormUnion_createMiddle ((yyvsp[(3) - (4)].count)), (yyvsp[(4) - (4)].ltok)); ;}
1630 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (4)].ltok), OPF_MIDDLEM, opFormUnion_createMiddle ((yyvsp[(2) - (4)].count)), (yyvsp[(3) - (4)].ltok)); ;}
1635 { (yyval.opform) = makeOpFormNode ((yyvsp[(2) - (5)].ltok), OPF_MMIDDLEM,
1636 opFormUnion_createMiddle ((yyvsp[(3) - (5)].count)), (yyvsp[(4) - (5)].ltok)); ;}
1641 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (3)].ltok), OPF_BMIDDLE,
1642 opFormUnion_createMiddle ((yyvsp[(2) - (3)].count)), (yyvsp[(3) - (3)].ltok)); ;}
1647 { (yyval.opform) = makeOpFormNode ((yyvsp[(2) - (4)].ltok), OPF_BMMIDDLE,
1648 opFormUnion_createMiddle ((yyvsp[(3) - (4)].count)), (yyvsp[(4) - (4)].ltok)); ;}
1653 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (4)].ltok), OPF_BMIDDLEM,
1654 opFormUnion_createMiddle ((yyvsp[(2) - (4)].count)), (yyvsp[(3) - (4)].ltok)); ;}
1659 { (yyval.opform) = makeOpFormNode ((yyvsp[(2) - (5)].ltok), OPF_BMMIDDLEM,
1660 opFormUnion_createMiddle ((yyvsp[(3) - (5)].count)), (yyvsp[(4) - (5)].ltok)); ;}
1665 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (2)].ltok), OPF_SELECT,
1666 opFormUnion_createAnyOp ((yyvsp[(2) - (2)].ltok)), ltoken_undefined); ;}
1671 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (3)].ltok), OPF_MSELECT,
1672 opFormUnion_createAnyOp ((yyvsp[(3) - (3)].ltok)), ltoken_undefined); ;}
1677 { (yyval.opform) = makeOpFormNode ((yyvsp[(1) - (3)].ltok), OPF_MMAP,
1678 opFormUnion_createAnyOp ((yyvsp[(3) - (3)].ltok)), ltoken_undefined); ;}
1683 { (yyval.ltok) = (yyvsp[(1) - (1)].ltok); ;}
1688 { (yyval.ltok) = (yyvsp[(1) - (1)].ltok); ;}
1693 { (yyval.ltok) = (yyvsp[(1) - (1)].ltok); ;}
1698 { (yyval.count) = 0; ;}
1703 { (yyval.count) = (yyvsp[(1) - (1)].count); ;}
1708 { (yyval.count) = 1; ;}
1713 { (yyval.count) = (yyvsp[(1) - (3)].count) + 1; ;}
1718 { (yyval.ltok) = (yyvsp[(1) - (1)].ltok); ;}
1723 { (yyval.ltok) = (yyvsp[(1) - (1)].ltok); ;}
1728 { (yyval.signature) = makesigNode ((yyvsp[(2) - (3)].ltok), (yyvsp[(1) - (3)].ltokenList), (yyvsp[(3) - (3)].ltok)); ;}
1733 { (yyval.ltokenList) = ltokenList_new (); ;}
1738 { (yyval.ltokenList) = (yyvsp[(1) - (1)].ltokenList); ;}
1743 { (yyval.ltokenList) = ltokenList_singleton ((yyvsp[(1) - (1)].ltok)); ;}
1748 { (yyval.ltokenList) = ltokenList_push ((yyvsp[(1) - (3)].ltokenList), (yyvsp[(3) - (3)].ltok)); ;}
1754 (yyval.ltok) = (yyvsp[(1) - (1)].ltok);
1755 ltoken_setText ((yyval.ltok), processTraitSortId (ltoken_getText ((yyvsp[(1) - (1)].ltok))));
1761 { (yyval.ltok) = (yyvsp[(1) - (1)].ltok); ;}
1765 /* Line 1267 of yacc.c. */
1769 YY_SYMBOL_PRINT ("-> $$ =", yyr1[yyn], &yyval, &yyloc);
1773 YY_STACK_PRINT (yyss, yyssp);
1778 /* Now `shift' the result of the reduction. Determine what state
1779 that goes to, based on the state we popped back to and the rule
1780 number reduced by. */
1784 yystate = yypgoto[yyn - YYNTOKENS] + *yyssp;
1785 if (0 <= yystate && yystate <= YYLAST && yycheck[yystate] == *yyssp)
1786 yystate = yytable[yystate];
1788 yystate = yydefgoto[yyn - YYNTOKENS];
1793 /*------------------------------------.
1794 | yyerrlab -- here on detecting error |
1795 `------------------------------------*/
1797 /* If not already recovering from an error, report this error. */
1801 #if ! YYERROR_VERBOSE
1802 yyerror (YY_("syntax error"));
1805 YYSIZE_T yysize = yysyntax_error (0, yystate, yychar);
1806 if (yymsg_alloc < yysize && yymsg_alloc < YYSTACK_ALLOC_MAXIMUM)
1808 YYSIZE_T yyalloc = 2 * yysize;
1809 if (! (yysize <= yyalloc && yyalloc <= YYSTACK_ALLOC_MAXIMUM))
1810 yyalloc = YYSTACK_ALLOC_MAXIMUM;
1811 if (yymsg != yymsgbuf)
1812 YYSTACK_FREE (yymsg);
1813 yymsg = (char *) YYSTACK_ALLOC (yyalloc);
1815 yymsg_alloc = yyalloc;
1819 yymsg_alloc = sizeof yymsgbuf;
1823 if (0 < yysize && yysize <= yymsg_alloc)
1825 (void) yysyntax_error (yymsg, yystate, yychar);
1830 yyerror (YY_("syntax error"));
1832 goto yyexhaustedlab;
1840 if (yyerrstatus == 3)
1842 /* If just tried and failed to reuse look-ahead token after an
1843 error, discard it. */
1845 if (yychar <= YYEOF)
1847 /* Return failure if at end of input. */
1848 if (yychar == YYEOF)
1853 yydestruct ("Error: discarding",
1859 /* Else will try to reuse look-ahead token after shifting the error
1864 /*---------------------------------------------------.
1865 | yyerrorlab -- error raised explicitly by YYERROR. |
1866 `---------------------------------------------------*/
1869 /* Pacify compilers like GCC when the user code never invokes
1870 YYERROR and the label yyerrorlab therefore never appears in user
1872 if (/*CONSTCOND*/ 0)
1875 /* Do not reclaim the symbols of the rule which action triggered
1879 YY_STACK_PRINT (yyss, yyssp);
1884 /*-------------------------------------------------------------.
1885 | yyerrlab1 -- common code for both syntax error and YYERROR. |
1886 `-------------------------------------------------------------*/
1888 yyerrstatus = 3; /* Each real token shifted decrements this. */
1892 yyn = yypact[yystate];
1893 if (yyn != YYPACT_NINF)
1896 if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYTERROR)
1904 /* Pop the current state because it cannot handle the error token. */
1909 yydestruct ("Error: popping",
1910 yystos[yystate], yyvsp);
1913 YY_STACK_PRINT (yyss, yyssp);
1922 /* Shift the error token. */
1923 YY_SYMBOL_PRINT ("Shifting", yystos[yyn], yyvsp, yylsp);
1929 /*-------------------------------------.
1930 | yyacceptlab -- YYACCEPT comes here. |
1931 `-------------------------------------*/
1936 /*-----------------------------------.
1937 | yyabortlab -- YYABORT comes here. |
1938 `-----------------------------------*/
1944 /*-------------------------------------------------.
1945 | yyexhaustedlab -- memory exhaustion comes here. |
1946 `-------------------------------------------------*/
1948 yyerror (YY_("memory exhausted"));
1954 if (yychar != YYEOF && yychar != YYEMPTY)
1955 yydestruct ("Cleanup: discarding lookahead",
1957 /* Do not reclaim the symbols of the rule which action triggered
1958 this YYABORT or YYACCEPT. */
1960 YY_STACK_PRINT (yyss, yyssp);
1961 while (yyssp != yyss)
1963 yydestruct ("Cleanup: popping",
1964 yystos[*yyssp], yyvsp);
1969 YYSTACK_FREE (yyss);
1972 if (yymsg != yymsgbuf)
1973 YYSTACK_FREE (yymsg);
1975 /* Make sure YYID is used. */
1976 return YYID (yyresult);
1983 # include "bison.reset"
1985 extern char *yytext;
1987 void lslerror (char *s)
1990 (cstring_makeLiteral
1991 ("There has been a problem in the parser with LSL signatures. This is believed to result "
1992 "from a problem with bison v. 1.25. Please try rebuidling Splint "
1993 "using the pre-compiled grammar files by commenting out the "
1994 "BISON= line in the top-level Makefile."));
1997 static void yyprint (FILE *file, int type, YYSTYPE value)
1999 fprintf (file, " (%u:%u type: %d; text: %s) ",
2000 ltoken_getLine (value.ltok),
2001 ltoken_getCol (value.ltok),
2003 ltoken_getRawTextChars (value.ltok));
2006 extern void PrintToken (ltoken tok) {
2009 switch (ltoken_getCode (tok))
2011 case NOTTOKEN: codStr = "*** NOTTOKEN ***"; break;
2012 case LST_QUANTIFIERSYM: codStr = "QUANTIFIERSYM"; break;
2013 case LST_LOGICALOP: codStr = "LOGICALOP: "; break;
2014 case LST_SELECTSYM: codStr = "LST_SELECTSYM"; break;
2015 case LST_OPENSYM: codStr = "LST_OPENSYM"; break;
2016 case LST_SEPSYM: codStr = "SEPSYM"; break;
2017 case LST_CLOSESYM: codStr = "LST_CLOSESYM"; break;
2018 case LST_SIMPLEID: codStr = "LST_SIMPLEID"; break;
2019 case LST_MAPSYM: codStr = "MAPSYM"; break;
2020 case LST_MARKERSYM: codStr = "LST_MARKERSYM"; break;
2021 case LST_COMMENTSYM: codStr = "COMMENTSYM"; break;
2022 case LST_SIMPLEOP: codStr = "SIMPLEOP"; break;
2023 case LST_COLON: codStr = "LST_COLON"; break;
2024 case LST_COMMA: codStr = "COMMA"; break;
2025 case LST_LBRACKET: codStr = "LST_LBRACKET"; break;
2026 case LST_LPAR: codStr = "LST_LPAR"; break;
2027 case LST_RBRACKET: codStr = "LST_RBRACKET"; break;
2028 case LST_RPAR: codStr = "LST_RPAR"; break;
2029 case LST_EQOP: codStr = "LST_EQOP"; break;
2030 case LST_WHITESPACE: codStr = "WHITESPACE,"; break;
2031 case LST_EOL: codStr = "LST_EOL"; break;
2032 case LST_elseTOKEN: codStr = "elseTOKEN"; break;
2033 case LST_ifTOKEN: codStr = "ifTOKEN"; break;
2034 case LST_thenTOKEN: codStr = "thenTOKEN"; break;
2035 case LST_BADTOKEN: codStr = "*** BADTOKEN ***"; break;
2036 case LEOFTOKEN: /* can't reach LEOFTOKEN easily */
2037 codStr = "LEOFTOKEN"; break;
2039 codStr = "*** invalid token code ***";
2043 /* only used for debugging */
2044 printf ("%u:%u: Token Code (%u): %s",
2045 ltoken_getLine (tok), ltoken_getCol (tok),
2046 ltoken_getCode (tok), codStr);
2047 if (ltoken_getRawText (tok) != 0)
2049 printf (", Token String (%lu): %s\n",
2050 ltoken_getRawText (tok), ltoken_getRawTextChars (tok));
2060 ** Resets all flags in bison.head
2082 /*@=evalorderuncon@*/
2091 /*@=elseifcomplete@*/
2095 /*@=readonlytrans@*/
2098 /*@=systemunrecog@*/
2099 /*@=dependenttrans@*/
2100 /*@=unqualifiedtrans@*/
2104 /*drl added 11/27/2001*/
2107 /*drl added 12/11/2002*/