Line data Source code
1 : /* A Bison parser, made by GNU Bison 3.7.5. */
2 :
3 : /* Bison implementation for Yacc-like parsers in C
4 :
5 : Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2021 Free Software Foundation,
6 : Inc.
7 :
8 : This program is free software: you can redistribute it and/or modify
9 : it under the terms of the GNU General Public License as published by
10 : the Free Software Foundation, either version 3 of the License, or
11 : (at your option) any later version.
12 :
13 : This program is distributed in the hope that it will be useful,
14 : but WITHOUT ANY WARRANTY; without even the implied warranty of
15 : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 : GNU General Public License for more details.
17 :
18 : You should have received a copy of the GNU General Public License
19 : along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 :
21 : /* As a special exception, you may create a larger work that contains
22 : part or all of the Bison parser skeleton and distribute that work
23 : under terms of your choice, so long as that work isn't itself a
24 : parser generator using the skeleton or a modified version thereof
25 : as a parser skeleton. Alternatively, if you modify or redistribute
26 : the parser skeleton itself, you may (at your option) remove this
27 : special exception, which will cause the skeleton and the resulting
28 : Bison output files to be licensed under the GNU General Public
29 : License without this special exception.
30 :
31 : This special exception was added by the Free Software Foundation in
32 : version 2.2 of Bison. */
33 :
34 : /* C LALR(1) parser skeleton written by Richard Stallman, by
35 : simplifying the original so-called "semantic" parser. */
36 :
37 : /* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual,
38 : especially those whose name start with YY_ or yy_. They are
39 : private implementation details that can be changed or removed. */
40 :
41 : /* All symbols defined below should begin with yy or YY, to avoid
42 : infringing on user name space. This should be done even for local
43 : variables, as they might otherwise be expanded by user macros.
44 : There are some unavoidable exceptions within include files to
45 : define necessary library symbols; they are noted "INFRINGES ON
46 : USER NAME SPACE" below. */
47 :
48 : /* Identify Bison output, and Bison version. */
49 : #define YYBISON 30705
50 :
51 : /* Bison version string. */
52 : #define YYBISON_VERSION "3.7.5"
53 :
54 : /* Skeleton name. */
55 : #define YYSKELETON_NAME "yacc.c"
56 :
57 : /* Pure parsers. */
58 : #define YYPURE 0
59 :
60 : /* Push parsers. */
61 : #define YYPUSH 0
62 :
63 : /* Pull parsers. */
64 : #define YYPULL 1
65 :
66 :
67 : /* Substitute the variable and function names. */
68 : #define yyparse spec_yyparse
69 : #define yylex spec_yylex
70 : #define yyerror spec_yyerror
71 : #define yydebug spec_yydebug
72 : #define yynerrs spec_yynerrs
73 : #define yylval spec_yylval
74 : #define yychar spec_yychar
75 :
76 : /* First part of user prologue. */
77 : #line 1 "specparse.y"
78 :
79 : /*-------------------------------------------------------------------------
80 : *
81 : * specparse.y
82 : * bison grammar for the isolation test file format
83 : *
84 : * Portions Copyright (c) 1996-2024, PostgreSQL Global Development Group
85 : * Portions Copyright (c) 1994, Regents of the University of California
86 : *
87 : *-------------------------------------------------------------------------
88 : */
89 :
90 : #include "postgres_fe.h"
91 :
92 : #include "isolationtester.h"
93 :
94 :
95 : TestSpec parseresult; /* result of parsing is left here */
96 :
97 :
98 : #line 99 "specparse.c"
99 :
100 : # ifndef YY_CAST
101 : # ifdef __cplusplus
102 : # define YY_CAST(Type, Val) static_cast<Type> (Val)
103 : # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val)
104 : # else
105 : # define YY_CAST(Type, Val) ((Type) (Val))
106 : # define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val))
107 : # endif
108 : # endif
109 : # ifndef YY_NULLPTR
110 : # if defined __cplusplus
111 : # if 201103L <= __cplusplus
112 : # define YY_NULLPTR nullptr
113 : # else
114 : # define YY_NULLPTR 0
115 : # endif
116 : # else
117 : # define YY_NULLPTR ((void*)0)
118 : # endif
119 : # endif
120 :
121 : #include "specparse.h"
122 : /* Symbol kind. */
123 : enum yysymbol_kind_t
124 : {
125 : YYSYMBOL_YYEMPTY = -2,
126 : YYSYMBOL_YYEOF = 0, /* "end of file" */
127 : YYSYMBOL_YYerror = 1, /* error */
128 : YYSYMBOL_YYUNDEF = 2, /* "invalid token" */
129 : YYSYMBOL_sqlblock = 3, /* sqlblock */
130 : YYSYMBOL_identifier = 4, /* identifier */
131 : YYSYMBOL_INTEGER = 5, /* INTEGER */
132 : YYSYMBOL_NOTICES = 6, /* NOTICES */
133 : YYSYMBOL_PERMUTATION = 7, /* PERMUTATION */
134 : YYSYMBOL_SESSION = 8, /* SESSION */
135 : YYSYMBOL_SETUP = 9, /* SETUP */
136 : YYSYMBOL_STEP = 10, /* STEP */
137 : YYSYMBOL_TEARDOWN = 11, /* TEARDOWN */
138 : YYSYMBOL_TEST = 12, /* TEST */
139 : YYSYMBOL_13_ = 13, /* '(' */
140 : YYSYMBOL_14_ = 14, /* ')' */
141 : YYSYMBOL_15_ = 15, /* ',' */
142 : YYSYMBOL_16_ = 16, /* '*' */
143 : YYSYMBOL_YYACCEPT = 17, /* $accept */
144 : YYSYMBOL_TestSpec = 18, /* TestSpec */
145 : YYSYMBOL_setup_list = 19, /* setup_list */
146 : YYSYMBOL_opt_setup = 20, /* opt_setup */
147 : YYSYMBOL_setup = 21, /* setup */
148 : YYSYMBOL_opt_teardown = 22, /* opt_teardown */
149 : YYSYMBOL_session_list = 23, /* session_list */
150 : YYSYMBOL_session = 24, /* session */
151 : YYSYMBOL_step_list = 25, /* step_list */
152 : YYSYMBOL_step = 26, /* step */
153 : YYSYMBOL_opt_permutation_list = 27, /* opt_permutation_list */
154 : YYSYMBOL_permutation_list = 28, /* permutation_list */
155 : YYSYMBOL_permutation = 29, /* permutation */
156 : YYSYMBOL_permutation_step_list = 30, /* permutation_step_list */
157 : YYSYMBOL_permutation_step = 31, /* permutation_step */
158 : YYSYMBOL_blocker_list = 32, /* blocker_list */
159 : YYSYMBOL_blocker = 33 /* blocker */
160 : };
161 : typedef enum yysymbol_kind_t yysymbol_kind_t;
162 :
163 :
164 :
165 :
166 : #ifdef short
167 : # undef short
168 : #endif
169 :
170 : /* On compilers that do not define __PTRDIFF_MAX__ etc., make sure
171 : <limits.h> and (if available) <stdint.h> are included
172 : so that the code can choose integer types of a good width. */
173 :
174 : #ifndef __PTRDIFF_MAX__
175 : # include <limits.h> /* INFRINGES ON USER NAME SPACE */
176 : # if defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
177 : # include <stdint.h> /* INFRINGES ON USER NAME SPACE */
178 : # define YY_STDINT_H
179 : # endif
180 : #endif
181 :
182 : /* Narrow types that promote to a signed type and that can represent a
183 : signed or unsigned integer of at least N bits. In tables they can
184 : save space and decrease cache pressure. Promoting to a signed type
185 : helps avoid bugs in integer arithmetic. */
186 :
187 : #ifdef __INT_LEAST8_MAX__
188 : typedef __INT_LEAST8_TYPE__ yytype_int8;
189 : #elif defined YY_STDINT_H
190 : typedef int_least8_t yytype_int8;
191 : #else
192 : typedef signed char yytype_int8;
193 : #endif
194 :
195 : #ifdef __INT_LEAST16_MAX__
196 : typedef __INT_LEAST16_TYPE__ yytype_int16;
197 : #elif defined YY_STDINT_H
198 : typedef int_least16_t yytype_int16;
199 : #else
200 : typedef short yytype_int16;
201 : #endif
202 :
203 : /* Work around bug in HP-UX 11.23, which defines these macros
204 : incorrectly for preprocessor constants. This workaround can likely
205 : be removed in 2023, as HPE has promised support for HP-UX 11.23
206 : (aka HP-UX 11i v2) only through the end of 2022; see Table 2 of
207 : <https://h20195.www2.hpe.com/V2/getpdf.aspx/4AA4-7673ENW.pdf>. */
208 : #ifdef __hpux
209 : # undef UINT_LEAST8_MAX
210 : # undef UINT_LEAST16_MAX
211 : # define UINT_LEAST8_MAX 255
212 : # define UINT_LEAST16_MAX 65535
213 : #endif
214 :
215 : #if defined __UINT_LEAST8_MAX__ && __UINT_LEAST8_MAX__ <= __INT_MAX__
216 : typedef __UINT_LEAST8_TYPE__ yytype_uint8;
217 : #elif (!defined __UINT_LEAST8_MAX__ && defined YY_STDINT_H \
218 : && UINT_LEAST8_MAX <= INT_MAX)
219 : typedef uint_least8_t yytype_uint8;
220 : #elif !defined __UINT_LEAST8_MAX__ && UCHAR_MAX <= INT_MAX
221 : typedef unsigned char yytype_uint8;
222 : #else
223 : typedef short yytype_uint8;
224 : #endif
225 :
226 : #if defined __UINT_LEAST16_MAX__ && __UINT_LEAST16_MAX__ <= __INT_MAX__
227 : typedef __UINT_LEAST16_TYPE__ yytype_uint16;
228 : #elif (!defined __UINT_LEAST16_MAX__ && defined YY_STDINT_H \
229 : && UINT_LEAST16_MAX <= INT_MAX)
230 : typedef uint_least16_t yytype_uint16;
231 : #elif !defined __UINT_LEAST16_MAX__ && USHRT_MAX <= INT_MAX
232 : typedef unsigned short yytype_uint16;
233 : #else
234 : typedef int yytype_uint16;
235 : #endif
236 :
237 : #ifndef YYPTRDIFF_T
238 : # if defined __PTRDIFF_TYPE__ && defined __PTRDIFF_MAX__
239 : # define YYPTRDIFF_T __PTRDIFF_TYPE__
240 : # define YYPTRDIFF_MAXIMUM __PTRDIFF_MAX__
241 : # elif defined PTRDIFF_MAX
242 : # ifndef ptrdiff_t
243 : # include <stddef.h> /* INFRINGES ON USER NAME SPACE */
244 : # endif
245 : # define YYPTRDIFF_T ptrdiff_t
246 : # define YYPTRDIFF_MAXIMUM PTRDIFF_MAX
247 : # else
248 : # define YYPTRDIFF_T long
249 : # define YYPTRDIFF_MAXIMUM LONG_MAX
250 : # endif
251 : #endif
252 :
253 : #ifndef YYSIZE_T
254 : # ifdef __SIZE_TYPE__
255 : # define YYSIZE_T __SIZE_TYPE__
256 : # elif defined size_t
257 : # define YYSIZE_T size_t
258 : # elif defined __STDC_VERSION__ && 199901 <= __STDC_VERSION__
259 : # include <stddef.h> /* INFRINGES ON USER NAME SPACE */
260 : # define YYSIZE_T size_t
261 : # else
262 : # define YYSIZE_T unsigned
263 : # endif
264 : #endif
265 :
266 : #define YYSIZE_MAXIMUM \
267 : YY_CAST (YYPTRDIFF_T, \
268 : (YYPTRDIFF_MAXIMUM < YY_CAST (YYSIZE_T, -1) \
269 : ? YYPTRDIFF_MAXIMUM \
270 : : YY_CAST (YYSIZE_T, -1)))
271 :
272 : #define YYSIZEOF(X) YY_CAST (YYPTRDIFF_T, sizeof (X))
273 :
274 :
275 : /* Stored state numbers (used for stacks). */
276 : typedef yytype_int8 yy_state_t;
277 :
278 : /* State numbers in computations. */
279 : typedef int yy_state_fast_t;
280 :
281 : #ifndef YY_
282 : # if defined YYENABLE_NLS && YYENABLE_NLS
283 : # if ENABLE_NLS
284 : # include <libintl.h> /* INFRINGES ON USER NAME SPACE */
285 : # define YY_(Msgid) dgettext ("bison-runtime", Msgid)
286 : # endif
287 : # endif
288 : # ifndef YY_
289 : # define YY_(Msgid) Msgid
290 : # endif
291 : #endif
292 :
293 :
294 : #ifndef YY_ATTRIBUTE_PURE
295 : # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__)
296 : # define YY_ATTRIBUTE_PURE __attribute__ ((__pure__))
297 : # else
298 : # define YY_ATTRIBUTE_PURE
299 : # endif
300 : #endif
301 :
302 : #ifndef YY_ATTRIBUTE_UNUSED
303 : # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__)
304 : # define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__))
305 : # else
306 : # define YY_ATTRIBUTE_UNUSED
307 : # endif
308 : #endif
309 :
310 : /* Suppress unused-variable warnings by "using" E. */
311 : #if ! defined lint || defined __GNUC__
312 : # define YY_USE(E) ((void) (E))
313 : #else
314 : # define YY_USE(E) /* empty */
315 : #endif
316 :
317 : #if defined __GNUC__ && ! defined __ICC && 407 <= __GNUC__ * 100 + __GNUC_MINOR__
318 : /* Suppress an incorrect diagnostic about yylval being uninitialized. */
319 : # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
320 : _Pragma ("GCC diagnostic push") \
321 : _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \
322 : _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
323 : # define YY_IGNORE_MAYBE_UNINITIALIZED_END \
324 : _Pragma ("GCC diagnostic pop")
325 : #else
326 : # define YY_INITIAL_VALUE(Value) Value
327 : #endif
328 : #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
329 : # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
330 : # define YY_IGNORE_MAYBE_UNINITIALIZED_END
331 : #endif
332 : #ifndef YY_INITIAL_VALUE
333 : # define YY_INITIAL_VALUE(Value) /* Nothing. */
334 : #endif
335 :
336 : #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__
337 : # define YY_IGNORE_USELESS_CAST_BEGIN \
338 : _Pragma ("GCC diagnostic push") \
339 : _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"")
340 : # define YY_IGNORE_USELESS_CAST_END \
341 : _Pragma ("GCC diagnostic pop")
342 : #endif
343 : #ifndef YY_IGNORE_USELESS_CAST_BEGIN
344 : # define YY_IGNORE_USELESS_CAST_BEGIN
345 : # define YY_IGNORE_USELESS_CAST_END
346 : #endif
347 :
348 :
349 : #define YY_ASSERT(E) ((void) (0 && (E)))
350 :
351 : #if !defined yyoverflow
352 :
353 : /* The parser invokes alloca or malloc; define the necessary symbols. */
354 :
355 : # ifdef YYSTACK_USE_ALLOCA
356 : # if YYSTACK_USE_ALLOCA
357 : # ifdef __GNUC__
358 : # define YYSTACK_ALLOC __builtin_alloca
359 : # elif defined __BUILTIN_VA_ARG_INCR
360 : # include <alloca.h> /* INFRINGES ON USER NAME SPACE */
361 : # elif defined _AIX
362 : # define YYSTACK_ALLOC __alloca
363 : # elif defined _MSC_VER
364 : # include <malloc.h> /* INFRINGES ON USER NAME SPACE */
365 : # define alloca _alloca
366 : # else
367 : # define YYSTACK_ALLOC alloca
368 : # if ! defined _ALLOCA_H && ! defined EXIT_SUCCESS
369 : # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
370 : /* Use EXIT_SUCCESS as a witness for stdlib.h. */
371 : # ifndef EXIT_SUCCESS
372 : # define EXIT_SUCCESS 0
373 : # endif
374 : # endif
375 : # endif
376 : # endif
377 : # endif
378 :
379 : # ifdef YYSTACK_ALLOC
380 : /* Pacify GCC's 'empty if-body' warning. */
381 : # define YYSTACK_FREE(Ptr) do { /* empty */; } while (0)
382 : # ifndef YYSTACK_ALLOC_MAXIMUM
383 : /* The OS might guarantee only one guard page at the bottom of the stack,
384 : and a page size can be as small as 4096 bytes. So we cannot safely
385 : invoke alloca (N) if N exceeds 4096. Use a slightly smaller number
386 : to allow for a few compiler-allocated temporary stack slots. */
387 : # define YYSTACK_ALLOC_MAXIMUM 4032 /* reasonable circa 2006 */
388 : # endif
389 : # else
390 : # define YYSTACK_ALLOC YYMALLOC
391 : # define YYSTACK_FREE YYFREE
392 : # ifndef YYSTACK_ALLOC_MAXIMUM
393 : # define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM
394 : # endif
395 : # if (defined __cplusplus && ! defined EXIT_SUCCESS \
396 : && ! ((defined YYMALLOC || defined malloc) \
397 : && (defined YYFREE || defined free)))
398 : # include <stdlib.h> /* INFRINGES ON USER NAME SPACE */
399 : # ifndef EXIT_SUCCESS
400 : # define EXIT_SUCCESS 0
401 : # endif
402 : # endif
403 : # ifndef YYMALLOC
404 : # define YYMALLOC malloc
405 : # if ! defined malloc && ! defined EXIT_SUCCESS
406 : void *malloc (YYSIZE_T); /* INFRINGES ON USER NAME SPACE */
407 : # endif
408 : # endif
409 : # ifndef YYFREE
410 : # define YYFREE free
411 : # if ! defined free && ! defined EXIT_SUCCESS
412 : void free (void *); /* INFRINGES ON USER NAME SPACE */
413 : # endif
414 : # endif
415 : # endif
416 : #endif /* !defined yyoverflow */
417 :
418 : #if (! defined yyoverflow \
419 : && (! defined __cplusplus \
420 : || (defined YYSTYPE_IS_TRIVIAL && YYSTYPE_IS_TRIVIAL)))
421 :
422 : /* A type that is properly aligned for any stack member. */
423 : union yyalloc
424 : {
425 : yy_state_t yyss_alloc;
426 : YYSTYPE yyvs_alloc;
427 : };
428 :
429 : /* The size of the maximum gap between one aligned stack and the next. */
430 : # define YYSTACK_GAP_MAXIMUM (YYSIZEOF (union yyalloc) - 1)
431 :
432 : /* The size of an array large to enough to hold all stacks, each with
433 : N elements. */
434 : # define YYSTACK_BYTES(N) \
435 : ((N) * (YYSIZEOF (yy_state_t) + YYSIZEOF (YYSTYPE)) \
436 : + YYSTACK_GAP_MAXIMUM)
437 :
438 : # define YYCOPY_NEEDED 1
439 :
440 : /* Relocate STACK from its old location to the new one. The
441 : local variables YYSIZE and YYSTACKSIZE give the old and new number of
442 : elements in the stack, and YYPTR gives the new location of the
443 : stack. Advance YYPTR to a properly aligned location for the next
444 : stack. */
445 : # define YYSTACK_RELOCATE(Stack_alloc, Stack) \
446 : do \
447 : { \
448 : YYPTRDIFF_T yynewbytes; \
449 : YYCOPY (&yyptr->Stack_alloc, Stack, yysize); \
450 : Stack = &yyptr->Stack_alloc; \
451 : yynewbytes = yystacksize * YYSIZEOF (*Stack) + YYSTACK_GAP_MAXIMUM; \
452 : yyptr += yynewbytes / YYSIZEOF (*yyptr); \
453 : } \
454 : while (0)
455 :
456 : #endif
457 :
458 : #if defined YYCOPY_NEEDED && YYCOPY_NEEDED
459 : /* Copy COUNT objects from SRC to DST. The source and destination do
460 : not overlap. */
461 : # ifndef YYCOPY
462 : # if defined __GNUC__ && 1 < __GNUC__
463 : # define YYCOPY(Dst, Src, Count) \
464 : __builtin_memcpy (Dst, Src, YY_CAST (YYSIZE_T, (Count)) * sizeof (*(Src)))
465 : # else
466 : # define YYCOPY(Dst, Src, Count) \
467 : do \
468 : { \
469 : YYPTRDIFF_T yyi; \
470 : for (yyi = 0; yyi < (Count); yyi++) \
471 : (Dst)[yyi] = (Src)[yyi]; \
472 : } \
473 : while (0)
474 : # endif
475 : # endif
476 : #endif /* !YYCOPY_NEEDED */
477 :
478 : /* YYFINAL -- State number of the termination state. */
479 : #define YYFINAL 3
480 : /* YYLAST -- Last index in YYTABLE. */
481 : #define YYLAST 41
482 :
483 : /* YYNTOKENS -- Number of terminals. */
484 : #define YYNTOKENS 17
485 : /* YYNNTS -- Number of nonterminals. */
486 : #define YYNNTS 17
487 : /* YYNRULES -- Number of rules. */
488 : #define YYNRULES 29
489 : /* YYNSTATES -- Number of states. */
490 : #define YYNSTATES 43
491 :
492 : /* YYMAXUTOK -- Last valid token kind. */
493 : #define YYMAXUTOK 267
494 :
495 :
496 : /* YYTRANSLATE(TOKEN-NUM) -- Symbol number corresponding to TOKEN-NUM
497 : as returned by yylex, with out-of-bounds checking. */
498 : #define YYTRANSLATE(YYX) \
499 : (0 <= (YYX) && (YYX) <= YYMAXUTOK \
500 : ? YY_CAST (yysymbol_kind_t, yytranslate[YYX]) \
501 : : YYSYMBOL_YYUNDEF)
502 :
503 : /* YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to TOKEN-NUM
504 : as returned by yylex. */
505 : static const yytype_int8 yytranslate[] =
506 : {
507 : 0, 2, 2, 2, 2, 2, 2, 2, 2, 2,
508 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
509 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
510 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
511 : 13, 14, 16, 2, 15, 2, 2, 2, 2, 2,
512 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
513 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
514 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
515 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
516 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
517 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
518 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
519 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
520 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
521 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
522 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
523 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
524 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
525 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
526 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
527 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
528 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
529 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
530 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
531 : 2, 2, 2, 2, 2, 2, 2, 2, 2, 2,
532 : 2, 2, 2, 2, 2, 2, 1, 2, 3, 4,
533 : 5, 6, 7, 8, 9, 10, 11, 12
534 : };
535 :
536 : #if YYDEBUG
537 : /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */
538 : static const yytype_int16 yyrline[] =
539 : {
540 : 0, 59, 59, 76, 80, 90, 91, 95, 99, 100,
541 : 104, 111, 120, 132, 139, 149, 161, 166, 172, 179,
542 : 189, 198, 205, 214, 222, 233, 240, 249, 258, 267
543 : };
544 : #endif
545 :
546 : /** Accessing symbol of state STATE. */
547 : #define YY_ACCESSING_SYMBOL(State) YY_CAST (yysymbol_kind_t, yystos[State])
548 :
549 : #if YYDEBUG || 0
550 : /* The user-facing name of the symbol whose (internal) number is
551 : YYSYMBOL. No bounds checking. */
552 : static const char *yysymbol_name (yysymbol_kind_t yysymbol) YY_ATTRIBUTE_UNUSED;
553 :
554 : /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
555 : First, the terminals, then, starting at YYNTOKENS, nonterminals. */
556 : static const char *const yytname[] =
557 : {
558 : "\"end of file\"", "error", "\"invalid token\"", "sqlblock",
559 : "identifier", "INTEGER", "NOTICES", "PERMUTATION", "SESSION", "SETUP",
560 : "STEP", "TEARDOWN", "TEST", "'('", "')'", "','", "'*'", "$accept",
561 : "TestSpec", "setup_list", "opt_setup", "setup", "opt_teardown",
562 : "session_list", "session", "step_list", "step", "opt_permutation_list",
563 : "permutation_list", "permutation", "permutation_step_list",
564 : "permutation_step", "blocker_list", "blocker", YY_NULLPTR
565 : };
566 :
567 : static const char *
568 : yysymbol_name (yysymbol_kind_t yysymbol)
569 : {
570 : return yytname[yysymbol];
571 : }
572 : #endif
573 :
574 : #ifdef YYPRINT
575 : /* YYTOKNUM[NUM] -- (External) token number corresponding to the
576 : (internal) symbol number NUM (which must be that of a token). */
577 : static const yytype_int16 yytoknum[] =
578 : {
579 : 0, 256, 257, 258, 259, 260, 261, 262, 263, 264,
580 : 265, 266, 267, 40, 41, 44, 42
581 : };
582 : #endif
583 :
584 : #define YYPACT_NINF (-14)
585 :
586 : #define yypact_value_is_default(Yyn) \
587 : ((Yyn) == YYPACT_NINF)
588 :
589 : #define YYTABLE_NINF (-1)
590 :
591 : #define yytable_value_is_error(Yyn) \
592 : 0
593 :
594 : /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
595 : STATE-NUM. */
596 : static const yytype_int8 yypact[] =
597 : {
598 : -14, 2, -8, -14, 3, 4, -14, 7, -14, -14,
599 : 6, -3, -14, 8, 12, -14, -14, 11, -14, 1,
600 : -14, 9, 12, -14, -14, 15, -2, -14, -4, -14,
601 : 17, -14, -14, 18, -14, -1, -14, -14, 16, -14,
602 : -4, -14, -14
603 : };
604 :
605 : /* YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM.
606 : Performed when YYTABLE does not specify something else to do. Zero
607 : means the default is an error. */
608 : static const yytype_int8 yydefact[] =
609 : {
610 : 3, 0, 8, 1, 0, 0, 4, 0, 7, 9,
611 : 0, 17, 11, 5, 0, 10, 2, 16, 19, 0,
612 : 6, 23, 20, 22, 18, 0, 8, 14, 0, 21,
613 : 0, 12, 13, 27, 29, 0, 26, 15, 0, 24,
614 : 0, 28, 25
615 : };
616 :
617 : /* YYPGOTO[NTERM-NUM]. */
618 : static const yytype_int8 yypgoto[] =
619 : {
620 : -14, -14, -14, -14, 10, 0, -14, 14, -14, 5,
621 : -14, -14, 13, -14, 19, -14, -13
622 : };
623 :
624 : /* YYDEFGOTO[NTERM-NUM]. */
625 : static const yytype_int8 yydefgoto[] =
626 : {
627 : 0, 1, 2, 19, 6, 7, 11, 12, 26, 27,
628 : 16, 17, 18, 22, 23, 35, 36
629 : };
630 :
631 : /* YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If
632 : positive, shift that token. If negative, reduce the rule whose
633 : number is the opposite. If YYTABLE_NINF, syntax error. */
634 : static const yytype_int8 yytable[] =
635 : {
636 : 33, 4, 3, 5, 14, 10, 8, 9, 25, 5,
637 : 13, 25, 34, 39, 40, 10, 21, 4, 14, 30,
638 : 37, 41, 28, 20, 38, 15, 31, 42, 0, 0,
639 : 24, 32, 0, 0, 0, 0, 0, 0, 0, 0,
640 : 0, 29
641 : };
642 :
643 : static const yytype_int8 yycheck[] =
644 : {
645 : 4, 9, 0, 11, 7, 8, 3, 3, 10, 11,
646 : 4, 10, 16, 14, 15, 8, 4, 9, 7, 4,
647 : 3, 5, 13, 13, 6, 11, 26, 40, -1, -1,
648 : 17, 26, -1, -1, -1, -1, -1, -1, -1, -1,
649 : -1, 22
650 : };
651 :
652 : /* YYSTOS[STATE-NUM] -- The (internal number of the) accessing
653 : symbol of state STATE-NUM. */
654 : static const yytype_int8 yystos[] =
655 : {
656 : 0, 18, 19, 0, 9, 11, 21, 22, 3, 3,
657 : 8, 23, 24, 4, 7, 24, 27, 28, 29, 20,
658 : 21, 4, 30, 31, 29, 10, 25, 26, 13, 31,
659 : 4, 22, 26, 4, 16, 32, 33, 3, 6, 14,
660 : 15, 5, 33
661 : };
662 :
663 : /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
664 : static const yytype_int8 yyr1[] =
665 : {
666 : 0, 17, 18, 19, 19, 20, 20, 21, 22, 22,
667 : 23, 23, 24, 25, 25, 26, 27, 27, 28, 28,
668 : 29, 30, 30, 31, 31, 32, 32, 33, 33, 33
669 : };
670 :
671 : /* YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. */
672 : static const yytype_int8 yyr2[] =
673 : {
674 : 0, 2, 4, 0, 2, 0, 1, 2, 0, 2,
675 : 2, 1, 5, 2, 1, 3, 1, 0, 2, 1,
676 : 2, 2, 1, 1, 4, 3, 1, 1, 3, 1
677 : };
678 :
679 :
680 : enum { YYENOMEM = -2 };
681 :
682 : #define yyerrok (yyerrstatus = 0)
683 : #define yyclearin (yychar = YYEMPTY)
684 :
685 : #define YYACCEPT goto yyacceptlab
686 : #define YYABORT goto yyabortlab
687 : #define YYERROR goto yyerrorlab
688 :
689 :
690 : #define YYRECOVERING() (!!yyerrstatus)
691 :
692 : #define YYBACKUP(Token, Value) \
693 : do \
694 : if (yychar == YYEMPTY) \
695 : { \
696 : yychar = (Token); \
697 : yylval = (Value); \
698 : YYPOPSTACK (yylen); \
699 : yystate = *yyssp; \
700 : goto yybackup; \
701 : } \
702 : else \
703 : { \
704 : yyerror (YY_("syntax error: cannot back up")); \
705 : YYERROR; \
706 : } \
707 : while (0)
708 :
709 : /* Backward compatibility with an undocumented macro.
710 : Use YYerror or YYUNDEF. */
711 : #define YYERRCODE YYUNDEF
712 :
713 :
714 : /* Enable debugging if requested. */
715 : #if YYDEBUG
716 :
717 : # ifndef YYFPRINTF
718 : # include <stdio.h> /* INFRINGES ON USER NAME SPACE */
719 : # define YYFPRINTF fprintf
720 : # endif
721 :
722 : # define YYDPRINTF(Args) \
723 : do { \
724 : if (yydebug) \
725 : YYFPRINTF Args; \
726 : } while (0)
727 :
728 : /* This macro is provided for backward compatibility. */
729 : # ifndef YY_LOCATION_PRINT
730 : # define YY_LOCATION_PRINT(File, Loc) ((void) 0)
731 : # endif
732 :
733 :
734 : # define YY_SYMBOL_PRINT(Title, Kind, Value, Location) \
735 : do { \
736 : if (yydebug) \
737 : { \
738 : YYFPRINTF (stderr, "%s ", Title); \
739 : yy_symbol_print (stderr, \
740 : Kind, Value); \
741 : YYFPRINTF (stderr, "\n"); \
742 : } \
743 : } while (0)
744 :
745 :
746 : /*-----------------------------------.
747 : | Print this symbol's value on YYO. |
748 : `-----------------------------------*/
749 :
750 : static void
751 : yy_symbol_value_print (FILE *yyo,
752 : yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep)
753 : {
754 : FILE *yyoutput = yyo;
755 : YY_USE (yyoutput);
756 : if (!yyvaluep)
757 : return;
758 : # ifdef YYPRINT
759 : if (yykind < YYNTOKENS)
760 : YYPRINT (yyo, yytoknum[yykind], *yyvaluep);
761 : # endif
762 : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
763 : YY_USE (yykind);
764 : YY_IGNORE_MAYBE_UNINITIALIZED_END
765 : }
766 :
767 :
768 : /*---------------------------.
769 : | Print this symbol on YYO. |
770 : `---------------------------*/
771 :
772 : static void
773 : yy_symbol_print (FILE *yyo,
774 : yysymbol_kind_t yykind, YYSTYPE const * const yyvaluep)
775 : {
776 : YYFPRINTF (yyo, "%s %s (",
777 : yykind < YYNTOKENS ? "token" : "nterm", yysymbol_name (yykind));
778 :
779 : yy_symbol_value_print (yyo, yykind, yyvaluep);
780 : YYFPRINTF (yyo, ")");
781 : }
782 :
783 : /*------------------------------------------------------------------.
784 : | yy_stack_print -- Print the state stack from its BOTTOM up to its |
785 : | TOP (included). |
786 : `------------------------------------------------------------------*/
787 :
788 : static void
789 : yy_stack_print (yy_state_t *yybottom, yy_state_t *yytop)
790 : {
791 : YYFPRINTF (stderr, "Stack now");
792 : for (; yybottom <= yytop; yybottom++)
793 : {
794 : int yybot = *yybottom;
795 : YYFPRINTF (stderr, " %d", yybot);
796 : }
797 : YYFPRINTF (stderr, "\n");
798 : }
799 :
800 : # define YY_STACK_PRINT(Bottom, Top) \
801 : do { \
802 : if (yydebug) \
803 : yy_stack_print ((Bottom), (Top)); \
804 : } while (0)
805 :
806 :
807 : /*------------------------------------------------.
808 : | Report that the YYRULE is going to be reduced. |
809 : `------------------------------------------------*/
810 :
811 : static void
812 : yy_reduce_print (yy_state_t *yyssp, YYSTYPE *yyvsp,
813 : int yyrule)
814 : {
815 : int yylno = yyrline[yyrule];
816 : int yynrhs = yyr2[yyrule];
817 : int yyi;
818 : YYFPRINTF (stderr, "Reducing stack by rule %d (line %d):\n",
819 : yyrule - 1, yylno);
820 : /* The symbols being reduced. */
821 : for (yyi = 0; yyi < yynrhs; yyi++)
822 : {
823 : YYFPRINTF (stderr, " $%d = ", yyi + 1);
824 : yy_symbol_print (stderr,
825 : YY_ACCESSING_SYMBOL (+yyssp[yyi + 1 - yynrhs]),
826 : &yyvsp[(yyi + 1) - (yynrhs)]);
827 : YYFPRINTF (stderr, "\n");
828 : }
829 : }
830 :
831 : # define YY_REDUCE_PRINT(Rule) \
832 : do { \
833 : if (yydebug) \
834 : yy_reduce_print (yyssp, yyvsp, Rule); \
835 : } while (0)
836 :
837 : /* Nonzero means print parse trace. It is left uninitialized so that
838 : multiple parsers can coexist. */
839 : int yydebug;
840 : #else /* !YYDEBUG */
841 : # define YYDPRINTF(Args) ((void) 0)
842 : # define YY_SYMBOL_PRINT(Title, Kind, Value, Location)
843 : # define YY_STACK_PRINT(Bottom, Top)
844 : # define YY_REDUCE_PRINT(Rule)
845 : #endif /* !YYDEBUG */
846 :
847 :
848 : /* YYINITDEPTH -- initial size of the parser's stacks. */
849 : #ifndef YYINITDEPTH
850 : # define YYINITDEPTH 200
851 : #endif
852 :
853 : /* YYMAXDEPTH -- maximum size the stacks can grow to (effective only
854 : if the built-in stack extension method is used).
855 :
856 : Do not make this value too large; the results are undefined if
857 : YYSTACK_ALLOC_MAXIMUM < YYSTACK_BYTES (YYMAXDEPTH)
858 : evaluated with infinite-precision integer arithmetic. */
859 :
860 : #ifndef YYMAXDEPTH
861 : # define YYMAXDEPTH 10000
862 : #endif
863 :
864 :
865 :
866 :
867 :
868 :
869 : /*-----------------------------------------------.
870 : | Release the memory associated to this symbol. |
871 : `-----------------------------------------------*/
872 :
873 : static void
874 520 : yydestruct (const char *yymsg,
875 : yysymbol_kind_t yykind, YYSTYPE *yyvaluep)
876 : {
877 : YY_USE (yyvaluep);
878 520 : if (!yymsg)
879 0 : yymsg = "Deleting";
880 : YY_SYMBOL_PRINT (yymsg, yykind, yyvaluep, yylocationp);
881 :
882 : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
883 : YY_USE (yykind);
884 : YY_IGNORE_MAYBE_UNINITIALIZED_END
885 520 : }
886 :
887 :
888 : /* Lookahead token kind. */
889 : int yychar;
890 :
891 : /* The semantic value of the lookahead symbol. */
892 : YYSTYPE yylval;
893 : /* Number of syntax errors so far. */
894 : int yynerrs;
895 :
896 :
897 :
898 :
899 : /*----------.
900 : | yyparse. |
901 : `----------*/
902 :
903 : int
904 260 : yyparse (void)
905 : {
906 260 : yy_state_fast_t yystate = 0;
907 : /* Number of tokens to shift before error messages enabled. */
908 260 : int yyerrstatus = 0;
909 :
910 : /* Refer to the stacks through separate pointers, to allow yyoverflow
911 : to reallocate them elsewhere. */
912 :
913 : /* Their size. */
914 260 : YYPTRDIFF_T yystacksize = YYINITDEPTH;
915 :
916 : /* The state stack: array, bottom, top. */
917 : yy_state_t yyssa[YYINITDEPTH];
918 260 : yy_state_t *yyss = yyssa;
919 260 : yy_state_t *yyssp = yyss;
920 :
921 : /* The semantic value stack: array, bottom, top. */
922 : YYSTYPE yyvsa[YYINITDEPTH];
923 260 : YYSTYPE *yyvs = yyvsa;
924 260 : YYSTYPE *yyvsp = yyvs;
925 :
926 : int yyn;
927 : /* The return value of yyparse. */
928 : int yyresult;
929 : /* Lookahead symbol kind. */
930 260 : yysymbol_kind_t yytoken = YYSYMBOL_YYEMPTY;
931 : /* The variables used to return semantic value and location from the
932 : action routines. */
933 : YYSTYPE yyval;
934 :
935 :
936 :
937 : #define YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N))
938 :
939 : /* The number of symbols on the RHS of the reduced rule.
940 : Keep to zero when no symbol should be popped. */
941 260 : int yylen = 0;
942 :
943 : YYDPRINTF ((stderr, "Starting parse\n"));
944 :
945 260 : yychar = YYEMPTY; /* Cause a token to be read. */
946 260 : goto yysetstate;
947 :
948 :
949 : /*------------------------------------------------------------.
950 : | yynewstate -- push a new state, which is found in yystate. |
951 : `------------------------------------------------------------*/
952 80944 : yynewstate:
953 : /* In all cases, when you get here, the value and location stacks
954 : have just been pushed. So pushing a state here evens the stacks. */
955 80944 : yyssp++;
956 :
957 :
958 : /*--------------------------------------------------------------------.
959 : | yysetstate -- set current state (the top of the stack) to yystate. |
960 : `--------------------------------------------------------------------*/
961 81204 : yysetstate:
962 : YYDPRINTF ((stderr, "Entering state %d\n", yystate));
963 : YY_ASSERT (0 <= yystate && yystate < YYNSTATES);
964 : YY_IGNORE_USELESS_CAST_BEGIN
965 81204 : *yyssp = YY_CAST (yy_state_t, yystate);
966 : YY_IGNORE_USELESS_CAST_END
967 : YY_STACK_PRINT (yyss, yyssp);
968 :
969 81204 : if (yyss + yystacksize - 1 <= yyssp)
970 : #if !defined yyoverflow && !defined YYSTACK_RELOCATE
971 : goto yyexhaustedlab;
972 : #else
973 : {
974 : /* Get the current used size of the three stacks, in elements. */
975 0 : YYPTRDIFF_T yysize = yyssp - yyss + 1;
976 :
977 : # if defined yyoverflow
978 : {
979 : /* Give user a chance to reallocate the stack. Use copies of
980 : these so that the &'s don't force the real ones into
981 : memory. */
982 : yy_state_t *yyss1 = yyss;
983 : YYSTYPE *yyvs1 = yyvs;
984 :
985 : /* Each stack pointer address is followed by the size of the
986 : data in use in that stack, in bytes. This used to be a
987 : conditional around just the two extra args, but that might
988 : be undefined if yyoverflow is a macro. */
989 : yyoverflow (YY_("memory exhausted"),
990 : &yyss1, yysize * YYSIZEOF (*yyssp),
991 : &yyvs1, yysize * YYSIZEOF (*yyvsp),
992 : &yystacksize);
993 : yyss = yyss1;
994 : yyvs = yyvs1;
995 : }
996 : # else /* defined YYSTACK_RELOCATE */
997 : /* Extend the stack our own way. */
998 0 : if (YYMAXDEPTH <= yystacksize)
999 0 : goto yyexhaustedlab;
1000 0 : yystacksize *= 2;
1001 0 : if (YYMAXDEPTH < yystacksize)
1002 0 : yystacksize = YYMAXDEPTH;
1003 :
1004 : {
1005 0 : yy_state_t *yyss1 = yyss;
1006 : union yyalloc *yyptr =
1007 0 : YY_CAST (union yyalloc *,
1008 : YYSTACK_ALLOC (YY_CAST (YYSIZE_T, YYSTACK_BYTES (yystacksize))));
1009 0 : if (! yyptr)
1010 0 : goto yyexhaustedlab;
1011 0 : YYSTACK_RELOCATE (yyss_alloc, yyss);
1012 0 : YYSTACK_RELOCATE (yyvs_alloc, yyvs);
1013 : # undef YYSTACK_RELOCATE
1014 0 : if (yyss1 != yyssa)
1015 0 : YYSTACK_FREE (yyss1);
1016 : }
1017 : # endif
1018 :
1019 0 : yyssp = yyss + yysize - 1;
1020 0 : yyvsp = yyvs + yysize - 1;
1021 :
1022 : YY_IGNORE_USELESS_CAST_BEGIN
1023 : YYDPRINTF ((stderr, "Stack size increased to %ld\n",
1024 : YY_CAST (long, yystacksize)));
1025 : YY_IGNORE_USELESS_CAST_END
1026 :
1027 0 : if (yyss + yystacksize - 1 <= yyssp)
1028 0 : YYABORT;
1029 : }
1030 : #endif /* !defined yyoverflow && !defined YYSTACK_RELOCATE */
1031 :
1032 81204 : if (yystate == YYFINAL)
1033 260 : YYACCEPT;
1034 :
1035 80944 : goto yybackup;
1036 :
1037 :
1038 : /*-----------.
1039 : | yybackup. |
1040 : `-----------*/
1041 80944 : yybackup:
1042 : /* Do appropriate processing given the current state. Read a
1043 : lookahead token if we need one and don't already have one. */
1044 :
1045 : /* First try to decide what to do without reference to lookahead token. */
1046 80944 : yyn = yypact[yystate];
1047 80944 : if (yypact_value_is_default (yyn))
1048 28670 : goto yydefault;
1049 :
1050 : /* Not known => get a lookahead token if don't already have one. */
1051 :
1052 : /* YYCHAR is either empty, or end-of-input, or a valid lookahead. */
1053 52274 : if (yychar == YYEMPTY)
1054 : {
1055 : YYDPRINTF ((stderr, "Reading a token\n"));
1056 31434 : yychar = yylex ();
1057 : }
1058 :
1059 52274 : if (yychar <= YYEOF)
1060 : {
1061 1008 : yychar = YYEOF;
1062 1008 : yytoken = YYSYMBOL_YYEOF;
1063 : YYDPRINTF ((stderr, "Now at end of input.\n"));
1064 : }
1065 51266 : else if (yychar == YYerror)
1066 : {
1067 : /* The scanner already issued an error message, process directly
1068 : to error recovery. But do not keep the error token as
1069 : lookahead, it is too special and may lead us to an endless
1070 : loop in error recovery. */
1071 0 : yychar = YYUNDEF;
1072 0 : yytoken = YYSYMBOL_YYerror;
1073 0 : goto yyerrlab1;
1074 : }
1075 : else
1076 : {
1077 51266 : yytoken = YYTRANSLATE (yychar);
1078 : YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
1079 : }
1080 :
1081 : /* If the proper action on seeing token YYTOKEN is to reduce or to
1082 : detect an error, take that action. */
1083 52274 : yyn += yytoken;
1084 52274 : if (yyn < 0 || YYLAST < yyn || yycheck[yyn] != yytoken)
1085 20840 : goto yydefault;
1086 31434 : yyn = yytable[yyn];
1087 31434 : if (yyn <= 0)
1088 : {
1089 : if (yytable_value_is_error (yyn))
1090 : goto yyerrlab;
1091 0 : yyn = -yyn;
1092 0 : goto yyreduce;
1093 : }
1094 :
1095 : /* Count tokens shifted since error; after three, turn off error
1096 : status. */
1097 31434 : if (yyerrstatus)
1098 0 : yyerrstatus--;
1099 :
1100 : /* Shift the lookahead token. */
1101 : YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
1102 31434 : yystate = yyn;
1103 : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
1104 31434 : *++yyvsp = yylval;
1105 : YY_IGNORE_MAYBE_UNINITIALIZED_END
1106 :
1107 : /* Discard the shifted token. */
1108 31434 : yychar = YYEMPTY;
1109 31434 : goto yynewstate;
1110 :
1111 :
1112 : /*-----------------------------------------------------------.
1113 : | yydefault -- do the default action for the current state. |
1114 : `-----------------------------------------------------------*/
1115 49510 : yydefault:
1116 49510 : yyn = yydefact[yystate];
1117 49510 : if (yyn == 0)
1118 0 : goto yyerrlab;
1119 49510 : goto yyreduce;
1120 :
1121 :
1122 : /*-----------------------------.
1123 : | yyreduce -- do a reduction. |
1124 : `-----------------------------*/
1125 49510 : yyreduce:
1126 : /* yyn is the number of a rule to reduce with. */
1127 49510 : yylen = yyr2[yyn];
1128 :
1129 : /* If YYLEN is nonzero, implement the default value of the action:
1130 : '$$ = $1'.
1131 :
1132 : Otherwise, the following line sets YYVAL to garbage.
1133 : This behavior is undocumented and Bison
1134 : users should not rely upon it. Assigning to YYVAL
1135 : unconditionally makes the parser a bit smaller, and it avoids a
1136 : GCC warning that YYVAL may be used uninitialized. */
1137 49510 : yyval = yyvsp[1-yylen];
1138 :
1139 :
1140 : YY_REDUCE_PRINT (yyn);
1141 49510 : switch (yyn)
1142 : {
1143 260 : case 2: /* TestSpec: setup_list opt_teardown session_list opt_permutation_list */
1144 : #line 63 "specparse.y"
1145 : {
1146 : parseresult.setupsqls = (char **) (yyvsp[-3].ptr_list).elements;
1147 : parseresult.nsetupsqls = (yyvsp[-3].ptr_list).nelements;
1148 : parseresult.teardownsql = (yyvsp[-2].str);
1149 : parseresult.sessions = (Session **) (yyvsp[-1].ptr_list).elements;
1150 : parseresult.nsessions = (yyvsp[-1].ptr_list).nelements;
1151 : parseresult.permutations = (Permutation **) (yyvsp[0].ptr_list).elements;
1152 : parseresult.npermutations = (yyvsp[0].ptr_list).nelements;
1153 : }
1154 : #line 1155 "specparse.c"
1155 260 : break;
1156 :
1157 260 : case 3: /* setup_list: %empty */
1158 : #line 76 "specparse.y"
1159 : {
1160 : (yyval.ptr_list).elements = NULL;
1161 : (yyval.ptr_list).nelements = 0;
1162 : }
1163 : #line 1164 "specparse.c"
1164 260 : break;
1165 :
1166 262 : case 4: /* setup_list: setup_list setup */
1167 : #line 81 "specparse.y"
1168 : {
1169 : (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
1170 : ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
1171 : (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].str);
1172 : (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
1173 : }
1174 : #line 1175 "specparse.c"
1175 262 : break;
1176 :
1177 246 : case 5: /* opt_setup: %empty */
1178 : #line 90 "specparse.y"
1179 : { (yyval.str) = NULL; }
1180 : #line 1181 "specparse.c"
1181 246 : break;
1182 :
1183 390 : case 6: /* opt_setup: setup */
1184 : #line 91 "specparse.y"
1185 : { (yyval.str) = (yyvsp[0].str); }
1186 : #line 1187 "specparse.c"
1187 390 : break;
1188 :
1189 652 : case 7: /* setup: SETUP sqlblock */
1190 : #line 95 "specparse.y"
1191 : { (yyval.str) = (yyvsp[0].str); }
1192 : #line 1193 "specparse.c"
1193 652 : break;
1194 :
1195 614 : case 8: /* opt_teardown: %empty */
1196 : #line 99 "specparse.y"
1197 : { (yyval.str) = NULL; }
1198 : #line 1199 "specparse.c"
1199 614 : break;
1200 :
1201 282 : case 9: /* opt_teardown: TEARDOWN sqlblock */
1202 : #line 100 "specparse.y"
1203 : { (yyval.str) = (yyvsp[0].str); }
1204 : #line 1205 "specparse.c"
1205 282 : break;
1206 :
1207 376 : case 10: /* session_list: session_list session */
1208 : #line 105 "specparse.y"
1209 : {
1210 : (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
1211 : ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
1212 : (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].session);
1213 : (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
1214 : }
1215 : #line 1216 "specparse.c"
1216 376 : break;
1217 :
1218 260 : case 11: /* session_list: session */
1219 : #line 112 "specparse.y"
1220 : {
1221 : (yyval.ptr_list).nelements = 1;
1222 : (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
1223 : (yyval.ptr_list).elements[0] = (yyvsp[0].session);
1224 : }
1225 : #line 1226 "specparse.c"
1226 260 : break;
1227 :
1228 636 : case 12: /* session: SESSION identifier opt_setup step_list opt_teardown */
1229 : #line 121 "specparse.y"
1230 : {
1231 : (yyval.session) = pg_malloc(sizeof(Session));
1232 : (yyval.session)->name = (yyvsp[-3].str);
1233 : (yyval.session)->setupsql = (yyvsp[-2].str);
1234 : (yyval.session)->steps = (Step **) (yyvsp[-1].ptr_list).elements;
1235 : (yyval.session)->nsteps = (yyvsp[-1].ptr_list).nelements;
1236 : (yyval.session)->teardownsql = (yyvsp[0].str);
1237 : }
1238 : #line 1239 "specparse.c"
1239 636 : break;
1240 :
1241 2030 : case 13: /* step_list: step_list step */
1242 : #line 133 "specparse.y"
1243 : {
1244 : (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
1245 : ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
1246 : (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].step);
1247 : (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
1248 : }
1249 : #line 1250 "specparse.c"
1250 2030 : break;
1251 :
1252 636 : case 14: /* step_list: step */
1253 : #line 140 "specparse.y"
1254 : {
1255 : (yyval.ptr_list).nelements = 1;
1256 : (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
1257 : (yyval.ptr_list).elements[0] = (yyvsp[0].step);
1258 : }
1259 : #line 1260 "specparse.c"
1260 636 : break;
1261 :
1262 2666 : case 15: /* step: STEP identifier sqlblock */
1263 : #line 150 "specparse.y"
1264 : {
1265 : (yyval.step) = pg_malloc(sizeof(Step));
1266 : (yyval.step)->name = (yyvsp[-1].str);
1267 : (yyval.step)->sql = (yyvsp[0].str);
1268 : (yyval.step)->session = -1; /* until filled */
1269 : (yyval.step)->used = false;
1270 : }
1271 : #line 1272 "specparse.c"
1272 2666 : break;
1273 :
1274 232 : case 16: /* opt_permutation_list: permutation_list */
1275 : #line 162 "specparse.y"
1276 : {
1277 : (yyval.ptr_list) = (yyvsp[0].ptr_list);
1278 : }
1279 : #line 1280 "specparse.c"
1280 232 : break;
1281 :
1282 28 : case 17: /* opt_permutation_list: %empty */
1283 : #line 166 "specparse.y"
1284 : {
1285 : (yyval.ptr_list).elements = NULL;
1286 : (yyval.ptr_list).nelements = 0;
1287 : }
1288 : #line 1289 "specparse.c"
1289 28 : break;
1290 :
1291 2106 : case 18: /* permutation_list: permutation_list permutation */
1292 : #line 173 "specparse.y"
1293 : {
1294 : (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
1295 : ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
1296 : (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].permutation);
1297 : (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
1298 : }
1299 : #line 1300 "specparse.c"
1300 2106 : break;
1301 :
1302 232 : case 19: /* permutation_list: permutation */
1303 : #line 180 "specparse.y"
1304 : {
1305 : (yyval.ptr_list).nelements = 1;
1306 : (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
1307 : (yyval.ptr_list).elements[0] = (yyvsp[0].permutation);
1308 : }
1309 : #line 1310 "specparse.c"
1310 232 : break;
1311 :
1312 2338 : case 20: /* permutation: PERMUTATION permutation_step_list */
1313 : #line 190 "specparse.y"
1314 : {
1315 : (yyval.permutation) = pg_malloc(sizeof(Permutation));
1316 : (yyval.permutation)->nsteps = (yyvsp[0].ptr_list).nelements;
1317 : (yyval.permutation)->steps = (PermutationStep **) (yyvsp[0].ptr_list).elements;
1318 : }
1319 : #line 1320 "specparse.c"
1320 2338 : break;
1321 :
1322 15068 : case 21: /* permutation_step_list: permutation_step_list permutation_step */
1323 : #line 199 "specparse.y"
1324 : {
1325 : (yyval.ptr_list).elements = pg_realloc((yyvsp[-1].ptr_list).elements,
1326 : ((yyvsp[-1].ptr_list).nelements + 1) * sizeof(void *));
1327 : (yyval.ptr_list).elements[(yyvsp[-1].ptr_list).nelements] = (yyvsp[0].permutationstep);
1328 : (yyval.ptr_list).nelements = (yyvsp[-1].ptr_list).nelements + 1;
1329 : }
1330 : #line 1331 "specparse.c"
1331 15068 : break;
1332 :
1333 2338 : case 22: /* permutation_step_list: permutation_step */
1334 : #line 206 "specparse.y"
1335 : {
1336 : (yyval.ptr_list).nelements = 1;
1337 : (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
1338 : (yyval.ptr_list).elements[0] = (yyvsp[0].permutationstep);
1339 : }
1340 : #line 1341 "specparse.c"
1341 2338 : break;
1342 :
1343 17310 : case 23: /* permutation_step: identifier */
1344 : #line 215 "specparse.y"
1345 : {
1346 : (yyval.permutationstep) = pg_malloc(sizeof(PermutationStep));
1347 : (yyval.permutationstep)->name = (yyvsp[0].str);
1348 : (yyval.permutationstep)->blockers = NULL;
1349 : (yyval.permutationstep)->nblockers = 0;
1350 : (yyval.permutationstep)->step = NULL;
1351 : }
1352 : #line 1353 "specparse.c"
1353 17310 : break;
1354 :
1355 96 : case 24: /* permutation_step: identifier '(' blocker_list ')' */
1356 : #line 223 "specparse.y"
1357 : {
1358 : (yyval.permutationstep) = pg_malloc(sizeof(PermutationStep));
1359 : (yyval.permutationstep)->name = (yyvsp[-3].str);
1360 : (yyval.permutationstep)->blockers = (PermutationStepBlocker **) (yyvsp[-1].ptr_list).elements;
1361 : (yyval.permutationstep)->nblockers = (yyvsp[-1].ptr_list).nelements;
1362 : (yyval.permutationstep)->step = NULL;
1363 : }
1364 : #line 1365 "specparse.c"
1365 96 : break;
1366 :
1367 0 : case 25: /* blocker_list: blocker_list ',' blocker */
1368 : #line 234 "specparse.y"
1369 : {
1370 : (yyval.ptr_list).elements = pg_realloc((yyvsp[-2].ptr_list).elements,
1371 : ((yyvsp[-2].ptr_list).nelements + 1) * sizeof(void *));
1372 : (yyval.ptr_list).elements[(yyvsp[-2].ptr_list).nelements] = (yyvsp[0].blocker);
1373 : (yyval.ptr_list).nelements = (yyvsp[-2].ptr_list).nelements + 1;
1374 : }
1375 : #line 1376 "specparse.c"
1376 0 : break;
1377 :
1378 96 : case 26: /* blocker_list: blocker */
1379 : #line 241 "specparse.y"
1380 : {
1381 : (yyval.ptr_list).nelements = 1;
1382 : (yyval.ptr_list).elements = pg_malloc(sizeof(void *));
1383 : (yyval.ptr_list).elements[0] = (yyvsp[0].blocker);
1384 : }
1385 : #line 1386 "specparse.c"
1386 96 : break;
1387 :
1388 72 : case 27: /* blocker: identifier */
1389 : #line 250 "specparse.y"
1390 : {
1391 : (yyval.blocker) = pg_malloc(sizeof(PermutationStepBlocker));
1392 : (yyval.blocker)->stepname = (yyvsp[0].str);
1393 : (yyval.blocker)->blocktype = PSB_OTHER_STEP;
1394 : (yyval.blocker)->num_notices = -1;
1395 : (yyval.blocker)->step = NULL;
1396 : (yyval.blocker)->target_notices = -1;
1397 : }
1398 : #line 1399 "specparse.c"
1399 72 : break;
1400 :
1401 2 : case 28: /* blocker: identifier NOTICES INTEGER */
1402 : #line 259 "specparse.y"
1403 : {
1404 : (yyval.blocker) = pg_malloc(sizeof(PermutationStepBlocker));
1405 : (yyval.blocker)->stepname = (yyvsp[-2].str);
1406 : (yyval.blocker)->blocktype = PSB_NUM_NOTICES;
1407 : (yyval.blocker)->num_notices = (yyvsp[0].integer);
1408 : (yyval.blocker)->step = NULL;
1409 : (yyval.blocker)->target_notices = -1;
1410 : }
1411 : #line 1412 "specparse.c"
1412 2 : break;
1413 :
1414 22 : case 29: /* blocker: '*' */
1415 : #line 268 "specparse.y"
1416 : {
1417 : (yyval.blocker) = pg_malloc(sizeof(PermutationStepBlocker));
1418 : (yyval.blocker)->stepname = NULL;
1419 : (yyval.blocker)->blocktype = PSB_ONCE;
1420 : (yyval.blocker)->num_notices = -1;
1421 : (yyval.blocker)->step = NULL;
1422 : (yyval.blocker)->target_notices = -1;
1423 : }
1424 : #line 1425 "specparse.c"
1425 22 : break;
1426 :
1427 :
1428 : #line 1429 "specparse.c"
1429 :
1430 0 : default: break;
1431 : }
1432 : /* User semantic actions sometimes alter yychar, and that requires
1433 : that yytoken be updated with the new translation. We take the
1434 : approach of translating immediately before every use of yytoken.
1435 : One alternative is translating here after every semantic action,
1436 : but that translation would be missed if the semantic action invokes
1437 : YYABORT, YYACCEPT, or YYERROR immediately after altering yychar or
1438 : if it invokes YYBACKUP. In the case of YYABORT or YYACCEPT, an
1439 : incorrect destructor might then be invoked immediately. In the
1440 : case of YYERROR or YYBACKUP, subsequent parser actions might lead
1441 : to an incorrect destructor call or verbose syntax error message
1442 : before the lookahead is translated. */
1443 : YY_SYMBOL_PRINT ("-> $$ =", YY_CAST (yysymbol_kind_t, yyr1[yyn]), &yyval, &yyloc);
1444 :
1445 49510 : YYPOPSTACK (yylen);
1446 49510 : yylen = 0;
1447 :
1448 49510 : *++yyvsp = yyval;
1449 :
1450 : /* Now 'shift' the result of the reduction. Determine what state
1451 : that goes to, based on the state we popped back to and the rule
1452 : number reduced by. */
1453 : {
1454 49510 : const int yylhs = yyr1[yyn] - YYNTOKENS;
1455 49510 : const int yyi = yypgoto[yylhs] + *yyssp;
1456 44858 : yystate = (0 <= yyi && yyi <= YYLAST && yycheck[yyi] == *yyssp
1457 20606 : ? yytable[yyi]
1458 94368 : : yydefgoto[yylhs]);
1459 : }
1460 :
1461 49510 : goto yynewstate;
1462 :
1463 :
1464 : /*--------------------------------------.
1465 : | yyerrlab -- here on detecting error. |
1466 : `--------------------------------------*/
1467 0 : yyerrlab:
1468 : /* Make sure we have latest lookahead translation. See comments at
1469 : user semantic actions for why this is necessary. */
1470 0 : yytoken = yychar == YYEMPTY ? YYSYMBOL_YYEMPTY : YYTRANSLATE (yychar);
1471 : /* If not already recovering from an error, report this error. */
1472 0 : if (!yyerrstatus)
1473 : {
1474 0 : ++yynerrs;
1475 0 : yyerror (YY_("syntax error"));
1476 : }
1477 :
1478 0 : if (yyerrstatus == 3)
1479 : {
1480 : /* If just tried and failed to reuse lookahead token after an
1481 : error, discard it. */
1482 :
1483 0 : if (yychar <= YYEOF)
1484 : {
1485 : /* Return failure if at end of input. */
1486 0 : if (yychar == YYEOF)
1487 0 : YYABORT;
1488 : }
1489 : else
1490 : {
1491 0 : yydestruct ("Error: discarding",
1492 : yytoken, &yylval);
1493 0 : yychar = YYEMPTY;
1494 : }
1495 : }
1496 :
1497 : /* Else will try to reuse lookahead token after shifting the error
1498 : token. */
1499 0 : goto yyerrlab1;
1500 :
1501 :
1502 : /*---------------------------------------------------.
1503 : | yyerrorlab -- error raised explicitly by YYERROR. |
1504 : `---------------------------------------------------*/
1505 : yyerrorlab:
1506 : /* Pacify compilers when the user code never invokes YYERROR and the
1507 : label yyerrorlab therefore never appears in user code. */
1508 : if (0)
1509 : YYERROR;
1510 :
1511 : /* Do not reclaim the symbols of the rule whose action triggered
1512 : this YYERROR. */
1513 : YYPOPSTACK (yylen);
1514 : yylen = 0;
1515 : YY_STACK_PRINT (yyss, yyssp);
1516 : yystate = *yyssp;
1517 : goto yyerrlab1;
1518 :
1519 :
1520 : /*-------------------------------------------------------------.
1521 : | yyerrlab1 -- common code for both syntax error and YYERROR. |
1522 : `-------------------------------------------------------------*/
1523 0 : yyerrlab1:
1524 0 : yyerrstatus = 3; /* Each real token shifted decrements this. */
1525 :
1526 : /* Pop stack until we find a state that shifts the error token. */
1527 : for (;;)
1528 : {
1529 0 : yyn = yypact[yystate];
1530 0 : if (!yypact_value_is_default (yyn))
1531 : {
1532 0 : yyn += YYSYMBOL_YYerror;
1533 0 : if (0 <= yyn && yyn <= YYLAST && yycheck[yyn] == YYSYMBOL_YYerror)
1534 : {
1535 0 : yyn = yytable[yyn];
1536 0 : if (0 < yyn)
1537 0 : break;
1538 : }
1539 : }
1540 :
1541 : /* Pop the current state because it cannot handle the error token. */
1542 0 : if (yyssp == yyss)
1543 0 : YYABORT;
1544 :
1545 :
1546 0 : yydestruct ("Error: popping",
1547 0 : YY_ACCESSING_SYMBOL (yystate), yyvsp);
1548 0 : YYPOPSTACK (1);
1549 0 : yystate = *yyssp;
1550 : YY_STACK_PRINT (yyss, yyssp);
1551 : }
1552 :
1553 : YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
1554 0 : *++yyvsp = yylval;
1555 : YY_IGNORE_MAYBE_UNINITIALIZED_END
1556 :
1557 :
1558 : /* Shift the error token. */
1559 : YY_SYMBOL_PRINT ("Shifting", YY_ACCESSING_SYMBOL (yyn), yyvsp, yylsp);
1560 :
1561 0 : yystate = yyn;
1562 0 : goto yynewstate;
1563 :
1564 :
1565 : /*-------------------------------------.
1566 : | yyacceptlab -- YYACCEPT comes here. |
1567 : `-------------------------------------*/
1568 260 : yyacceptlab:
1569 260 : yyresult = 0;
1570 260 : goto yyreturn;
1571 :
1572 :
1573 : /*-----------------------------------.
1574 : | yyabortlab -- YYABORT comes here. |
1575 : `-----------------------------------*/
1576 0 : yyabortlab:
1577 0 : yyresult = 1;
1578 0 : goto yyreturn;
1579 :
1580 :
1581 : #if !defined yyoverflow
1582 : /*-------------------------------------------------.
1583 : | yyexhaustedlab -- memory exhaustion comes here. |
1584 : `-------------------------------------------------*/
1585 0 : yyexhaustedlab:
1586 0 : yyerror (YY_("memory exhausted"));
1587 0 : yyresult = 2;
1588 0 : goto yyreturn;
1589 : #endif
1590 :
1591 :
1592 : /*-------------------------------------------------------.
1593 : | yyreturn -- parsing is finished, clean up and return. |
1594 : `-------------------------------------------------------*/
1595 260 : yyreturn:
1596 260 : if (yychar != YYEMPTY)
1597 : {
1598 : /* Make sure we have latest lookahead translation. See comments at
1599 : user semantic actions for why this is necessary. */
1600 0 : yytoken = YYTRANSLATE (yychar);
1601 0 : yydestruct ("Cleanup: discarding lookahead",
1602 : yytoken, &yylval);
1603 : }
1604 : /* Do not reclaim the symbols of the rule whose action triggered
1605 : this YYABORT or YYACCEPT. */
1606 260 : YYPOPSTACK (yylen);
1607 : YY_STACK_PRINT (yyss, yyssp);
1608 780 : while (yyssp != yyss)
1609 : {
1610 520 : yydestruct ("Cleanup: popping",
1611 520 : YY_ACCESSING_SYMBOL (+*yyssp), yyvsp);
1612 520 : YYPOPSTACK (1);
1613 : }
1614 : #ifndef yyoverflow
1615 260 : if (yyss != yyssa)
1616 0 : YYSTACK_FREE (yyss);
1617 : #endif
1618 :
1619 260 : return yyresult;
1620 : }
1621 :
1622 : #line 278 "specparse.y"
1623 :
|