Add support for the WINDOW clause.
[sqlite.git] / tool / lempar.c
blob885cefe1435f221956b729fdca6172834d4d7d09
1 /*
2 ** 2000-05-29
3 **
4 ** The author disclaims copyright to this source code. In place of
5 ** a legal notice, here is a blessing:
6 **
7 ** May you do good and not evil.
8 ** May you find forgiveness for yourself and forgive others.
9 ** May you share freely, never taking more than you give.
11 *************************************************************************
12 ** Driver template for the LEMON parser generator.
14 ** The "lemon" program processes an LALR(1) input grammar file, then uses
15 ** this template to construct a parser. The "lemon" program inserts text
16 ** at each "%%" line. Also, any "P-a-r-s-e" identifer prefix (without the
17 ** interstitial "-" characters) contained in this template is changed into
18 ** the value of the %name directive from the grammar. Otherwise, the content
19 ** of this template is copied straight through into the generate parser
20 ** source file.
22 ** The following is the concatenation of all %include directives from the
23 ** input grammar file:
25 #include <stdio.h>
26 /************ Begin %include sections from the grammar ************************/
28 /**************** End of %include directives **********************************/
29 /* These constants specify the various numeric values for terminal symbols
30 ** in a format understandable to "makeheaders". This section is blank unless
31 ** "lemon" is run with the "-m" command-line option.
32 ***************** Begin makeheaders token definitions *************************/
34 /**************** End makeheaders token definitions ***************************/
36 /* The next sections is a series of control #defines.
37 ** various aspects of the generated parser.
38 ** YYCODETYPE is the data type used to store the integer codes
39 ** that represent terminal and non-terminal symbols.
40 ** "unsigned char" is used if there are fewer than
41 ** 256 symbols. Larger types otherwise.
42 ** YYNOCODE is a number of type YYCODETYPE that is not used for
43 ** any terminal or nonterminal symbol.
44 ** YYFALLBACK If defined, this indicates that one or more tokens
45 ** (also known as: "terminal symbols") have fall-back
46 ** values which should be used if the original symbol
47 ** would not parse. This permits keywords to sometimes
48 ** be used as identifiers, for example.
49 ** YYACTIONTYPE is the data type used for "action codes" - numbers
50 ** that indicate what to do in response to the next
51 ** token.
52 ** ParseTOKENTYPE is the data type used for minor type for terminal
53 ** symbols. Background: A "minor type" is a semantic
54 ** value associated with a terminal or non-terminal
55 ** symbols. For example, for an "ID" terminal symbol,
56 ** the minor type might be the name of the identifier.
57 ** Each non-terminal can have a different minor type.
58 ** Terminal symbols all have the same minor type, though.
59 ** This macros defines the minor type for terminal
60 ** symbols.
61 ** YYMINORTYPE is the data type used for all minor types.
62 ** This is typically a union of many types, one of
63 ** which is ParseTOKENTYPE. The entry in the union
64 ** for terminal symbols is called "yy0".
65 ** YYSTACKDEPTH is the maximum depth of the parser's stack. If
66 ** zero the stack is dynamically sized using realloc()
67 ** ParseARG_SDECL A static variable declaration for the %extra_argument
68 ** ParseARG_PDECL A parameter declaration for the %extra_argument
69 ** ParseARG_PARAM Code to pass %extra_argument as a subroutine parameter
70 ** ParseARG_STORE Code to store %extra_argument into yypParser
71 ** ParseARG_FETCH Code to extract %extra_argument from yypParser
72 ** ParseCTX_* As ParseARG_ except for %extra_context
73 ** YYERRORSYMBOL is the code number of the error symbol. If not
74 ** defined, then do no error processing.
75 ** YYNSTATE the combined number of states.
76 ** YYNRULE the number of rules in the grammar
77 ** YYNTOKEN Number of terminal symbols
78 ** YY_MAX_SHIFT Maximum value for shift actions
79 ** YY_MIN_SHIFTREDUCE Minimum value for shift-reduce actions
80 ** YY_MAX_SHIFTREDUCE Maximum value for shift-reduce actions
81 ** YY_ERROR_ACTION The yy_action[] code for syntax error
82 ** YY_ACCEPT_ACTION The yy_action[] code for accept
83 ** YY_NO_ACTION The yy_action[] code for no-op
84 ** YY_MIN_REDUCE Minimum value for reduce actions
85 ** YY_MAX_REDUCE Maximum value for reduce actions
87 #ifndef INTERFACE
88 # define INTERFACE 1
89 #endif
90 /************* Begin control #defines *****************************************/
92 /************* End control #defines *******************************************/
94 /* Define the yytestcase() macro to be a no-op if is not already defined
95 ** otherwise.
97 ** Applications can choose to define yytestcase() in the %include section
98 ** to a macro that can assist in verifying code coverage. For production
99 ** code the yytestcase() macro should be turned off. But it is useful
100 ** for testing.
102 #ifndef yytestcase
103 # define yytestcase(X)
104 #endif
107 /* Next are the tables used to determine what action to take based on the
108 ** current state and lookahead token. These tables are used to implement
109 ** functions that take a state number and lookahead value and return an
110 ** action integer.
112 ** Suppose the action integer is N. Then the action is determined as
113 ** follows
115 ** 0 <= N <= YY_MAX_SHIFT Shift N. That is, push the lookahead
116 ** token onto the stack and goto state N.
118 ** N between YY_MIN_SHIFTREDUCE Shift to an arbitrary state then
119 ** and YY_MAX_SHIFTREDUCE reduce by rule N-YY_MIN_SHIFTREDUCE.
121 ** N == YY_ERROR_ACTION A syntax error has occurred.
123 ** N == YY_ACCEPT_ACTION The parser accepts its input.
125 ** N == YY_NO_ACTION No such action. Denotes unused
126 ** slots in the yy_action[] table.
128 ** N between YY_MIN_REDUCE Reduce by rule N-YY_MIN_REDUCE
129 ** and YY_MAX_REDUCE
131 ** The action table is constructed as a single large table named yy_action[].
132 ** Given state S and lookahead X, the action is computed as either:
134 ** (A) N = yy_action[ yy_shift_ofst[S] + X ]
135 ** (B) N = yy_default[S]
137 ** The (A) formula is preferred. The B formula is used instead if
138 ** yy_lookahead[yy_shift_ofst[S]+X] is not equal to X.
140 ** The formulas above are for computing the action when the lookahead is
141 ** a terminal symbol. If the lookahead is a non-terminal (as occurs after
142 ** a reduce action) then the yy_reduce_ofst[] array is used in place of
143 ** the yy_shift_ofst[] array.
145 ** The following are the tables generated in this section:
147 ** yy_action[] A single table containing all actions.
148 ** yy_lookahead[] A table containing the lookahead for each entry in
149 ** yy_action. Used to detect hash collisions.
150 ** yy_shift_ofst[] For each state, the offset into yy_action for
151 ** shifting terminals.
152 ** yy_reduce_ofst[] For each state, the offset into yy_action for
153 ** shifting non-terminals after a reduce.
154 ** yy_default[] Default action for each state.
156 *********** Begin parsing tables **********************************************/
158 /********** End of lemon-generated parsing tables *****************************/
160 /* The next table maps tokens (terminal symbols) into fallback tokens.
161 ** If a construct like the following:
163 ** %fallback ID X Y Z.
165 ** appears in the grammar, then ID becomes a fallback token for X, Y,
166 ** and Z. Whenever one of the tokens X, Y, or Z is input to the parser
167 ** but it does not parse, the type of the token is changed to ID and
168 ** the parse is retried before an error is thrown.
170 ** This feature can be used, for example, to cause some keywords in a language
171 ** to revert to identifiers if they keyword does not apply in the context where
172 ** it appears.
174 #ifdef YYFALLBACK
175 static const YYCODETYPE yyFallback[] = {
178 #endif /* YYFALLBACK */
180 /* The following structure represents a single element of the
181 ** parser's stack. Information stored includes:
183 ** + The state number for the parser at this level of the stack.
185 ** + The value of the token stored at this level of the stack.
186 ** (In other words, the "major" token.)
188 ** + The semantic value stored at this level of the stack. This is
189 ** the information used by the action routines in the grammar.
190 ** It is sometimes called the "minor" token.
192 ** After the "shift" half of a SHIFTREDUCE action, the stateno field
193 ** actually contains the reduce action for the second half of the
194 ** SHIFTREDUCE.
196 struct yyStackEntry {
197 YYACTIONTYPE stateno; /* The state-number, or reduce action in SHIFTREDUCE */
198 YYCODETYPE major; /* The major token value. This is the code
199 ** number for the token at this stack level */
200 YYMINORTYPE minor; /* The user-supplied minor token value. This
201 ** is the value of the token */
203 typedef struct yyStackEntry yyStackEntry;
205 /* The state of the parser is completely contained in an instance of
206 ** the following structure */
207 struct yyParser {
208 yyStackEntry *yytos; /* Pointer to top element of the stack */
209 #ifdef YYTRACKMAXSTACKDEPTH
210 int yyhwm; /* High-water mark of the stack */
211 #endif
212 #ifndef YYNOERRORRECOVERY
213 int yyerrcnt; /* Shifts left before out of the error */
214 #endif
215 ParseARG_SDECL /* A place to hold %extra_argument */
216 ParseCTX_SDECL /* A place to hold %extra_context */
217 #if YYSTACKDEPTH<=0
218 int yystksz; /* Current side of the stack */
219 yyStackEntry *yystack; /* The parser's stack */
220 yyStackEntry yystk0; /* First stack entry */
221 #else
222 yyStackEntry yystack[YYSTACKDEPTH]; /* The parser's stack */
223 yyStackEntry *yystackEnd; /* Last entry in the stack */
224 #endif
226 typedef struct yyParser yyParser;
228 #ifndef NDEBUG
229 #include <stdio.h>
230 static FILE *yyTraceFILE = 0;
231 static char *yyTracePrompt = 0;
232 #endif /* NDEBUG */
234 #ifndef NDEBUG
236 ** Turn parser tracing on by giving a stream to which to write the trace
237 ** and a prompt to preface each trace message. Tracing is turned off
238 ** by making either argument NULL
240 ** Inputs:
241 ** <ul>
242 ** <li> A FILE* to which trace output should be written.
243 ** If NULL, then tracing is turned off.
244 ** <li> A prefix string written at the beginning of every
245 ** line of trace output. If NULL, then tracing is
246 ** turned off.
247 ** </ul>
249 ** Outputs:
250 ** None.
252 void ParseTrace(FILE *TraceFILE, char *zTracePrompt){
253 yyTraceFILE = TraceFILE;
254 yyTracePrompt = zTracePrompt;
255 if( yyTraceFILE==0 ) yyTracePrompt = 0;
256 else if( yyTracePrompt==0 ) yyTraceFILE = 0;
258 #endif /* NDEBUG */
260 #if defined(YYCOVERAGE) || !defined(NDEBUG)
261 /* For tracing shifts, the names of all terminals and nonterminals
262 ** are required. The following table supplies these names */
263 static const char *const yyTokenName[] = {
266 #endif /* defined(YYCOVERAGE) || !defined(NDEBUG) */
268 #ifndef NDEBUG
269 /* For tracing reduce actions, the names of all rules are required.
271 static const char *const yyRuleName[] = {
274 #endif /* NDEBUG */
277 #if YYSTACKDEPTH<=0
279 ** Try to increase the size of the parser stack. Return the number
280 ** of errors. Return 0 on success.
282 static int yyGrowStack(yyParser *p){
283 int newSize;
284 int idx;
285 yyStackEntry *pNew;
287 newSize = p->yystksz*2 + 100;
288 idx = p->yytos ? (int)(p->yytos - p->yystack) : 0;
289 if( p->yystack==&p->yystk0 ){
290 pNew = malloc(newSize*sizeof(pNew[0]));
291 if( pNew ) pNew[0] = p->yystk0;
292 }else{
293 pNew = realloc(p->yystack, newSize*sizeof(pNew[0]));
295 if( pNew ){
296 p->yystack = pNew;
297 p->yytos = &p->yystack[idx];
298 #ifndef NDEBUG
299 if( yyTraceFILE ){
300 fprintf(yyTraceFILE,"%sStack grows from %d to %d entries.\n",
301 yyTracePrompt, p->yystksz, newSize);
303 #endif
304 p->yystksz = newSize;
306 return pNew==0;
308 #endif
310 /* Datatype of the argument to the memory allocated passed as the
311 ** second argument to ParseAlloc() below. This can be changed by
312 ** putting an appropriate #define in the %include section of the input
313 ** grammar.
315 #ifndef YYMALLOCARGTYPE
316 # define YYMALLOCARGTYPE size_t
317 #endif
319 /* Initialize a new parser that has already been allocated.
321 void ParseInit(void *yypRawParser ParseCTX_PDECL){
322 yyParser *yypParser = (yyParser*)yypRawParser;
323 ParseCTX_STORE
324 #ifdef YYTRACKMAXSTACKDEPTH
325 yypParser->yyhwm = 0;
326 #endif
327 #if YYSTACKDEPTH<=0
328 yypParser->yytos = NULL;
329 yypParser->yystack = NULL;
330 yypParser->yystksz = 0;
331 if( yyGrowStack(yypParser) ){
332 yypParser->yystack = &yypParser->yystk0;
333 yypParser->yystksz = 1;
335 #endif
336 #ifndef YYNOERRORRECOVERY
337 yypParser->yyerrcnt = -1;
338 #endif
339 yypParser->yytos = yypParser->yystack;
340 yypParser->yystack[0].stateno = 0;
341 yypParser->yystack[0].major = 0;
342 #if YYSTACKDEPTH>0
343 yypParser->yystackEnd = &yypParser->yystack[YYSTACKDEPTH-1];
344 #endif
347 #ifndef Parse_ENGINEALWAYSONSTACK
349 ** This function allocates a new parser.
350 ** The only argument is a pointer to a function which works like
351 ** malloc.
353 ** Inputs:
354 ** A pointer to the function used to allocate memory.
356 ** Outputs:
357 ** A pointer to a parser. This pointer is used in subsequent calls
358 ** to Parse and ParseFree.
360 void *ParseAlloc(void *(*mallocProc)(YYMALLOCARGTYPE) ParseCTX_PDECL){
361 yyParser *yypParser;
362 yypParser = (yyParser*)(*mallocProc)( (YYMALLOCARGTYPE)sizeof(yyParser) );
363 if( yypParser ){
364 ParseCTX_STORE
365 ParseInit(yypParser ParseCTX_PARAM);
367 return (void*)yypParser;
369 #endif /* Parse_ENGINEALWAYSONSTACK */
372 /* The following function deletes the "minor type" or semantic value
373 ** associated with a symbol. The symbol can be either a terminal
374 ** or nonterminal. "yymajor" is the symbol code, and "yypminor" is
375 ** a pointer to the value to be deleted. The code used to do the
376 ** deletions is derived from the %destructor and/or %token_destructor
377 ** directives of the input grammar.
379 static void yy_destructor(
380 yyParser *yypParser, /* The parser */
381 YYCODETYPE yymajor, /* Type code for object to destroy */
382 YYMINORTYPE *yypminor /* The object to be destroyed */
384 ParseARG_FETCH
385 ParseCTX_FETCH
386 switch( yymajor ){
387 /* Here is inserted the actions which take place when a
388 ** terminal or non-terminal is destroyed. This can happen
389 ** when the symbol is popped from the stack during a
390 ** reduce or during error processing or when a parser is
391 ** being destroyed before it is finished parsing.
393 ** Note: during a reduce, the only symbols destroyed are those
394 ** which appear on the RHS of the rule, but which are *not* used
395 ** inside the C code.
397 /********* Begin destructor definitions ***************************************/
399 /********* End destructor definitions *****************************************/
400 default: break; /* If no destructor action specified: do nothing */
405 ** Pop the parser's stack once.
407 ** If there is a destructor routine associated with the token which
408 ** is popped from the stack, then call it.
410 static void yy_pop_parser_stack(yyParser *pParser){
411 yyStackEntry *yytos;
412 assert( pParser->yytos!=0 );
413 assert( pParser->yytos > pParser->yystack );
414 yytos = pParser->yytos--;
415 #ifndef NDEBUG
416 if( yyTraceFILE ){
417 fprintf(yyTraceFILE,"%sPopping %s\n",
418 yyTracePrompt,
419 yyTokenName[yytos->major]);
421 #endif
422 yy_destructor(pParser, yytos->major, &yytos->minor);
426 ** Clear all secondary memory allocations from the parser
428 void ParseFinalize(void *p){
429 yyParser *pParser = (yyParser*)p;
430 while( pParser->yytos>pParser->yystack ) yy_pop_parser_stack(pParser);
431 #if YYSTACKDEPTH<=0
432 if( pParser->yystack!=&pParser->yystk0 ) free(pParser->yystack);
433 #endif
436 #ifndef Parse_ENGINEALWAYSONSTACK
438 ** Deallocate and destroy a parser. Destructors are called for
439 ** all stack elements before shutting the parser down.
441 ** If the YYPARSEFREENEVERNULL macro exists (for example because it
442 ** is defined in a %include section of the input grammar) then it is
443 ** assumed that the input pointer is never NULL.
445 void ParseFree(
446 void *p, /* The parser to be deleted */
447 void (*freeProc)(void*) /* Function used to reclaim memory */
449 #ifndef YYPARSEFREENEVERNULL
450 if( p==0 ) return;
451 #endif
452 ParseFinalize(p);
453 (*freeProc)(p);
455 #endif /* Parse_ENGINEALWAYSONSTACK */
458 ** Return the peak depth of the stack for a parser.
460 #ifdef YYTRACKMAXSTACKDEPTH
461 int ParseStackPeak(void *p){
462 yyParser *pParser = (yyParser*)p;
463 return pParser->yyhwm;
465 #endif
467 /* This array of booleans keeps track of the parser statement
468 ** coverage. The element yycoverage[X][Y] is set when the parser
469 ** is in state X and has a lookahead token Y. In a well-tested
470 ** systems, every element of this matrix should end up being set.
472 #if defined(YYCOVERAGE)
473 static unsigned char yycoverage[YYNSTATE][YYNTOKEN];
474 #endif
477 ** Write into out a description of every state/lookahead combination that
479 ** (1) has not been used by the parser, and
480 ** (2) is not a syntax error.
482 ** Return the number of missed state/lookahead combinations.
484 #if defined(YYCOVERAGE)
485 int ParseCoverage(FILE *out){
486 int stateno, iLookAhead, i;
487 int nMissed = 0;
488 for(stateno=0; stateno<YYNSTATE; stateno++){
489 i = yy_shift_ofst[stateno];
490 for(iLookAhead=0; iLookAhead<YYNTOKEN; iLookAhead++){
491 if( yy_lookahead[i+iLookAhead]!=iLookAhead ) continue;
492 if( yycoverage[stateno][iLookAhead]==0 ) nMissed++;
493 if( out ){
494 fprintf(out,"State %d lookahead %s %s\n", stateno,
495 yyTokenName[iLookAhead],
496 yycoverage[stateno][iLookAhead] ? "ok" : "missed");
500 return nMissed;
502 #endif
505 ** Find the appropriate action for a parser given the terminal
506 ** look-ahead token iLookAhead.
508 static YYACTIONTYPE yy_find_shift_action(
509 YYCODETYPE iLookAhead, /* The look-ahead token */
510 YYACTIONTYPE stateno /* Current state number */
512 int i;
514 if( stateno>YY_MAX_SHIFT ) return stateno;
515 assert( stateno <= YY_SHIFT_COUNT );
516 #if defined(YYCOVERAGE)
517 yycoverage[stateno][iLookAhead] = 1;
518 #endif
520 i = yy_shift_ofst[stateno];
521 assert( i>=0 );
522 assert( i+YYNTOKEN<=(int)sizeof(yy_lookahead)/sizeof(yy_lookahead[0]) );
523 assert( iLookAhead!=YYNOCODE );
524 assert( iLookAhead < YYNTOKEN );
525 i += iLookAhead;
526 if( yy_lookahead[i]!=iLookAhead ){
527 #ifdef YYFALLBACK
528 YYCODETYPE iFallback; /* Fallback token */
529 if( iLookAhead<sizeof(yyFallback)/sizeof(yyFallback[0])
530 && (iFallback = yyFallback[iLookAhead])!=0 ){
531 #ifndef NDEBUG
532 if( yyTraceFILE ){
533 fprintf(yyTraceFILE, "%sFALLBACK %s => %s\n",
534 yyTracePrompt, yyTokenName[iLookAhead], yyTokenName[iFallback]);
536 #endif
537 assert( yyFallback[iFallback]==0 ); /* Fallback loop must terminate */
538 iLookAhead = iFallback;
539 continue;
541 #endif
542 #ifdef YYWILDCARD
544 int j = i - iLookAhead + YYWILDCARD;
545 if(
546 #if YY_SHIFT_MIN+YYWILDCARD<0
547 j>=0 &&
548 #endif
549 #if YY_SHIFT_MAX+YYWILDCARD>=YY_ACTTAB_COUNT
550 j<YY_ACTTAB_COUNT &&
551 #endif
552 yy_lookahead[j]==YYWILDCARD && iLookAhead>0
554 #ifndef NDEBUG
555 if( yyTraceFILE ){
556 fprintf(yyTraceFILE, "%sWILDCARD %s => %s\n",
557 yyTracePrompt, yyTokenName[iLookAhead],
558 yyTokenName[YYWILDCARD]);
560 #endif /* NDEBUG */
561 return yy_action[j];
564 #endif /* YYWILDCARD */
565 return yy_default[stateno];
566 }else{
567 return yy_action[i];
569 }while(1);
573 ** Find the appropriate action for a parser given the non-terminal
574 ** look-ahead token iLookAhead.
576 static int yy_find_reduce_action(
577 YYACTIONTYPE stateno, /* Current state number */
578 YYCODETYPE iLookAhead /* The look-ahead token */
580 int i;
581 #ifdef YYERRORSYMBOL
582 if( stateno>YY_REDUCE_COUNT ){
583 return yy_default[stateno];
585 #else
586 assert( stateno<=YY_REDUCE_COUNT );
587 #endif
588 i = yy_reduce_ofst[stateno];
589 assert( iLookAhead!=YYNOCODE );
590 i += iLookAhead;
591 #ifdef YYERRORSYMBOL
592 if( i<0 || i>=YY_ACTTAB_COUNT || yy_lookahead[i]!=iLookAhead ){
593 return yy_default[stateno];
595 #else
596 assert( i>=0 && i<YY_ACTTAB_COUNT );
597 assert( yy_lookahead[i]==iLookAhead );
598 #endif
599 return yy_action[i];
603 ** The following routine is called if the stack overflows.
605 static void yyStackOverflow(yyParser *yypParser){
606 ParseARG_FETCH
607 ParseCTX_FETCH
608 #ifndef NDEBUG
609 if( yyTraceFILE ){
610 fprintf(yyTraceFILE,"%sStack Overflow!\n",yyTracePrompt);
612 #endif
613 while( yypParser->yytos>yypParser->yystack ) yy_pop_parser_stack(yypParser);
614 /* Here code is inserted which will execute if the parser
615 ** stack every overflows */
616 /******** Begin %stack_overflow code ******************************************/
618 /******** End %stack_overflow code ********************************************/
619 ParseARG_STORE /* Suppress warning about unused %extra_argument var */
620 ParseCTX_STORE
624 ** Print tracing information for a SHIFT action
626 #ifndef NDEBUG
627 static void yyTraceShift(yyParser *yypParser, int yyNewState, const char *zTag){
628 if( yyTraceFILE ){
629 if( yyNewState<YYNSTATE ){
630 fprintf(yyTraceFILE,"%s%s '%s', go to state %d\n",
631 yyTracePrompt, zTag, yyTokenName[yypParser->yytos->major],
632 yyNewState);
633 }else{
634 fprintf(yyTraceFILE,"%s%s '%s', pending reduce %d\n",
635 yyTracePrompt, zTag, yyTokenName[yypParser->yytos->major],
636 yyNewState - YY_MIN_REDUCE);
640 #else
641 # define yyTraceShift(X,Y,Z)
642 #endif
645 ** Perform a shift action.
647 static void yy_shift(
648 yyParser *yypParser, /* The parser to be shifted */
649 YYACTIONTYPE yyNewState, /* The new state to shift in */
650 YYCODETYPE yyMajor, /* The major token to shift in */
651 ParseTOKENTYPE yyMinor /* The minor token to shift in */
653 yyStackEntry *yytos;
654 yypParser->yytos++;
655 #ifdef YYTRACKMAXSTACKDEPTH
656 if( (int)(yypParser->yytos - yypParser->yystack)>yypParser->yyhwm ){
657 yypParser->yyhwm++;
658 assert( yypParser->yyhwm == (int)(yypParser->yytos - yypParser->yystack) );
660 #endif
661 #if YYSTACKDEPTH>0
662 if( yypParser->yytos>yypParser->yystackEnd ){
663 yypParser->yytos--;
664 yyStackOverflow(yypParser);
665 return;
667 #else
668 if( yypParser->yytos>=&yypParser->yystack[yypParser->yystksz] ){
669 if( yyGrowStack(yypParser) ){
670 yypParser->yytos--;
671 yyStackOverflow(yypParser);
672 return;
675 #endif
676 if( yyNewState > YY_MAX_SHIFT ){
677 yyNewState += YY_MIN_REDUCE - YY_MIN_SHIFTREDUCE;
679 yytos = yypParser->yytos;
680 yytos->stateno = yyNewState;
681 yytos->major = yyMajor;
682 yytos->minor.yy0 = yyMinor;
683 yyTraceShift(yypParser, yyNewState, "Shift");
686 /* The following table contains information about every rule that
687 ** is used during the reduce.
689 static const struct {
690 YYCODETYPE lhs; /* Symbol on the left-hand side of the rule */
691 signed char nrhs; /* Negative of the number of RHS symbols in the rule */
692 } yyRuleInfo[] = {
696 static void yy_accept(yyParser*); /* Forward Declaration */
699 ** Perform a reduce action and the shift that must immediately
700 ** follow the reduce.
702 ** The yyLookahead and yyLookaheadToken parameters provide reduce actions
703 ** access to the lookahead token (if any). The yyLookahead will be YYNOCODE
704 ** if the lookahead token has already been consumed. As this procedure is
705 ** only called from one place, optimizing compilers will in-line it, which
706 ** means that the extra parameters have no performance impact.
708 static YYACTIONTYPE yy_reduce(
709 yyParser *yypParser, /* The parser */
710 unsigned int yyruleno, /* Number of the rule by which to reduce */
711 int yyLookahead, /* Lookahead token, or YYNOCODE if none */
712 ParseTOKENTYPE yyLookaheadToken /* Value of the lookahead token */
713 ParseCTX_PDECL /* %extra_context */
715 int yygoto; /* The next state */
716 int yyact; /* The next action */
717 yyStackEntry *yymsp; /* The top of the parser's stack */
718 int yysize; /* Amount to pop the stack */
719 ParseARG_FETCH
720 (void)yyLookahead;
721 (void)yyLookaheadToken;
722 yymsp = yypParser->yytos;
723 #ifndef NDEBUG
724 if( yyTraceFILE && yyruleno<(int)(sizeof(yyRuleName)/sizeof(yyRuleName[0])) ){
725 yysize = yyRuleInfo[yyruleno].nrhs;
726 if( yysize ){
727 fprintf(yyTraceFILE, "%sReduce %d [%s], go to state %d.\n",
728 yyTracePrompt,
729 yyruleno, yyRuleName[yyruleno], yymsp[yysize].stateno);
730 }else{
731 fprintf(yyTraceFILE, "%sReduce %d [%s].\n",
732 yyTracePrompt, yyruleno, yyRuleName[yyruleno]);
735 #endif /* NDEBUG */
737 /* Check that the stack is large enough to grow by a single entry
738 ** if the RHS of the rule is empty. This ensures that there is room
739 ** enough on the stack to push the LHS value */
740 if( yyRuleInfo[yyruleno].nrhs==0 ){
741 #ifdef YYTRACKMAXSTACKDEPTH
742 if( (int)(yypParser->yytos - yypParser->yystack)>yypParser->yyhwm ){
743 yypParser->yyhwm++;
744 assert( yypParser->yyhwm == (int)(yypParser->yytos - yypParser->yystack));
746 #endif
747 #if YYSTACKDEPTH>0
748 if( yypParser->yytos>=yypParser->yystackEnd ){
749 yyStackOverflow(yypParser);
750 /* The call to yyStackOverflow() above pops the stack until it is
751 ** empty, causing the main parser loop to exit. So the return value
752 ** is never used and does not matter. */
753 return 0;
755 #else
756 if( yypParser->yytos>=&yypParser->yystack[yypParser->yystksz-1] ){
757 if( yyGrowStack(yypParser) ){
758 yyStackOverflow(yypParser);
759 /* The call to yyStackOverflow() above pops the stack until it is
760 ** empty, causing the main parser loop to exit. So the return value
761 ** is never used and does not matter. */
762 return 0;
764 yymsp = yypParser->yytos;
766 #endif
769 switch( yyruleno ){
770 /* Beginning here are the reduction cases. A typical example
771 ** follows:
772 ** case 0:
773 ** #line <lineno> <grammarfile>
774 ** { ... } // User supplied code
775 ** #line <lineno> <thisfile>
776 ** break;
778 /********** Begin reduce actions **********************************************/
780 /********** End reduce actions ************************************************/
782 assert( yyruleno<sizeof(yyRuleInfo)/sizeof(yyRuleInfo[0]) );
783 yygoto = yyRuleInfo[yyruleno].lhs;
784 yysize = yyRuleInfo[yyruleno].nrhs;
785 yyact = yy_find_reduce_action(yymsp[yysize].stateno,(YYCODETYPE)yygoto);
787 /* There are no SHIFTREDUCE actions on nonterminals because the table
788 ** generator has simplified them to pure REDUCE actions. */
789 assert( !(yyact>YY_MAX_SHIFT && yyact<=YY_MAX_SHIFTREDUCE) );
791 /* It is not possible for a REDUCE to be followed by an error */
792 assert( yyact!=YY_ERROR_ACTION );
794 yymsp += yysize+1;
795 yypParser->yytos = yymsp;
796 yymsp->stateno = (YYACTIONTYPE)yyact;
797 yymsp->major = (YYCODETYPE)yygoto;
798 yyTraceShift(yypParser, yyact, "... then shift");
799 return yyact;
803 ** The following code executes when the parse fails
805 #ifndef YYNOERRORRECOVERY
806 static void yy_parse_failed(
807 yyParser *yypParser /* The parser */
809 ParseARG_FETCH
810 ParseCTX_FETCH
811 #ifndef NDEBUG
812 if( yyTraceFILE ){
813 fprintf(yyTraceFILE,"%sFail!\n",yyTracePrompt);
815 #endif
816 while( yypParser->yytos>yypParser->yystack ) yy_pop_parser_stack(yypParser);
817 /* Here code is inserted which will be executed whenever the
818 ** parser fails */
819 /************ Begin %parse_failure code ***************************************/
821 /************ End %parse_failure code *****************************************/
822 ParseARG_STORE /* Suppress warning about unused %extra_argument variable */
823 ParseCTX_STORE
825 #endif /* YYNOERRORRECOVERY */
828 ** The following code executes when a syntax error first occurs.
830 static void yy_syntax_error(
831 yyParser *yypParser, /* The parser */
832 int yymajor, /* The major type of the error token */
833 ParseTOKENTYPE yyminor /* The minor type of the error token */
835 ParseARG_FETCH
836 ParseCTX_FETCH
837 #define TOKEN yyminor
838 /************ Begin %syntax_error code ****************************************/
840 /************ End %syntax_error code ******************************************/
841 ParseARG_STORE /* Suppress warning about unused %extra_argument variable */
842 ParseCTX_STORE
846 ** The following is executed when the parser accepts
848 static void yy_accept(
849 yyParser *yypParser /* The parser */
851 ParseARG_FETCH
852 ParseCTX_FETCH
853 #ifndef NDEBUG
854 if( yyTraceFILE ){
855 fprintf(yyTraceFILE,"%sAccept!\n",yyTracePrompt);
857 #endif
858 #ifndef YYNOERRORRECOVERY
859 yypParser->yyerrcnt = -1;
860 #endif
861 assert( yypParser->yytos==yypParser->yystack );
862 /* Here code is inserted which will be executed whenever the
863 ** parser accepts */
864 /*********** Begin %parse_accept code *****************************************/
866 /*********** End %parse_accept code *******************************************/
867 ParseARG_STORE /* Suppress warning about unused %extra_argument variable */
868 ParseCTX_STORE
871 /* The main parser program.
872 ** The first argument is a pointer to a structure obtained from
873 ** "ParseAlloc" which describes the current state of the parser.
874 ** The second argument is the major token number. The third is
875 ** the minor token. The fourth optional argument is whatever the
876 ** user wants (and specified in the grammar) and is available for
877 ** use by the action routines.
879 ** Inputs:
880 ** <ul>
881 ** <li> A pointer to the parser (an opaque structure.)
882 ** <li> The major token number.
883 ** <li> The minor token number.
884 ** <li> An option argument of a grammar-specified type.
885 ** </ul>
887 ** Outputs:
888 ** None.
890 void Parse(
891 void *yyp, /* The parser */
892 int yymajor, /* The major token code number */
893 ParseTOKENTYPE yyminor /* The value for the token */
894 ParseARG_PDECL /* Optional %extra_argument parameter */
896 YYMINORTYPE yyminorunion;
897 YYACTIONTYPE yyact; /* The parser action. */
898 #if !defined(YYERRORSYMBOL) && !defined(YYNOERRORRECOVERY)
899 int yyendofinput; /* True if we are at the end of input */
900 #endif
901 #ifdef YYERRORSYMBOL
902 int yyerrorhit = 0; /* True if yymajor has invoked an error */
903 #endif
904 yyParser *yypParser = (yyParser*)yyp; /* The parser */
905 ParseCTX_FETCH
906 ParseARG_STORE
908 assert( yypParser->yytos!=0 );
909 #if !defined(YYERRORSYMBOL) && !defined(YYNOERRORRECOVERY)
910 yyendofinput = (yymajor==0);
911 #endif
913 yyact = yypParser->yytos->stateno;
914 #ifndef NDEBUG
915 if( yyTraceFILE ){
916 if( yyact < YY_MIN_REDUCE ){
917 fprintf(yyTraceFILE,"%sInput '%s' in state %d\n",
918 yyTracePrompt,yyTokenName[yymajor],yyact);
919 }else{
920 fprintf(yyTraceFILE,"%sInput '%s' with pending reduce %d\n",
921 yyTracePrompt,yyTokenName[yymajor],yyact-YY_MIN_REDUCE);
924 #endif
927 assert( yyact==yypParser->yytos->stateno );
928 yyact = yy_find_shift_action(yymajor,yyact);
929 if( yyact >= YY_MIN_REDUCE ){
930 yyact = yy_reduce(yypParser,yyact-YY_MIN_REDUCE,yymajor,
931 yyminor ParseCTX_PARAM);
932 }else if( yyact <= YY_MAX_SHIFTREDUCE ){
933 yy_shift(yypParser,yyact,yymajor,yyminor);
934 #ifndef YYNOERRORRECOVERY
935 yypParser->yyerrcnt--;
936 #endif
937 break;
938 }else if( yyact==YY_ACCEPT_ACTION ){
939 yypParser->yytos--;
940 yy_accept(yypParser);
941 return;
942 }else{
943 assert( yyact == YY_ERROR_ACTION );
944 yyminorunion.yy0 = yyminor;
945 #ifdef YYERRORSYMBOL
946 int yymx;
947 #endif
948 #ifndef NDEBUG
949 if( yyTraceFILE ){
950 fprintf(yyTraceFILE,"%sSyntax Error!\n",yyTracePrompt);
952 #endif
953 #ifdef YYERRORSYMBOL
954 /* A syntax error has occurred.
955 ** The response to an error depends upon whether or not the
956 ** grammar defines an error token "ERROR".
958 ** This is what we do if the grammar does define ERROR:
960 ** * Call the %syntax_error function.
962 ** * Begin popping the stack until we enter a state where
963 ** it is legal to shift the error symbol, then shift
964 ** the error symbol.
966 ** * Set the error count to three.
968 ** * Begin accepting and shifting new tokens. No new error
969 ** processing will occur until three tokens have been
970 ** shifted successfully.
973 if( yypParser->yyerrcnt<0 ){
974 yy_syntax_error(yypParser,yymajor,yyminor);
976 yymx = yypParser->yytos->major;
977 if( yymx==YYERRORSYMBOL || yyerrorhit ){
978 #ifndef NDEBUG
979 if( yyTraceFILE ){
980 fprintf(yyTraceFILE,"%sDiscard input token %s\n",
981 yyTracePrompt,yyTokenName[yymajor]);
983 #endif
984 yy_destructor(yypParser, (YYCODETYPE)yymajor, &yyminorunion);
985 yymajor = YYNOCODE;
986 }else{
987 while( yypParser->yytos >= yypParser->yystack
988 && yymx != YYERRORSYMBOL
989 && (yyact = yy_find_reduce_action(
990 yypParser->yytos->stateno,
991 YYERRORSYMBOL)) >= YY_MIN_REDUCE
993 yy_pop_parser_stack(yypParser);
995 if( yypParser->yytos < yypParser->yystack || yymajor==0 ){
996 yy_destructor(yypParser,(YYCODETYPE)yymajor,&yyminorunion);
997 yy_parse_failed(yypParser);
998 #ifndef YYNOERRORRECOVERY
999 yypParser->yyerrcnt = -1;
1000 #endif
1001 yymajor = YYNOCODE;
1002 }else if( yymx!=YYERRORSYMBOL ){
1003 yy_shift(yypParser,yyact,YYERRORSYMBOL,yyminor);
1006 yypParser->yyerrcnt = 3;
1007 yyerrorhit = 1;
1008 if( yymajor==YYNOCODE ) break;
1009 yyact = yypParser->yytos->stateno;
1010 #elif defined(YYNOERRORRECOVERY)
1011 /* If the YYNOERRORRECOVERY macro is defined, then do not attempt to
1012 ** do any kind of error recovery. Instead, simply invoke the syntax
1013 ** error routine and continue going as if nothing had happened.
1015 ** Applications can set this macro (for example inside %include) if
1016 ** they intend to abandon the parse upon the first syntax error seen.
1018 yy_syntax_error(yypParser,yymajor, yyminor);
1019 yy_destructor(yypParser,(YYCODETYPE)yymajor,&yyminorunion);
1020 break;
1021 #else /* YYERRORSYMBOL is not defined */
1022 /* This is what we do if the grammar does not define ERROR:
1024 ** * Report an error message, and throw away the input token.
1026 ** * If the input token is $, then fail the parse.
1028 ** As before, subsequent error messages are suppressed until
1029 ** three input tokens have been successfully shifted.
1031 if( yypParser->yyerrcnt<=0 ){
1032 yy_syntax_error(yypParser,yymajor, yyminor);
1034 yypParser->yyerrcnt = 3;
1035 yy_destructor(yypParser,(YYCODETYPE)yymajor,&yyminorunion);
1036 if( yyendofinput ){
1037 yy_parse_failed(yypParser);
1038 #ifndef YYNOERRORRECOVERY
1039 yypParser->yyerrcnt = -1;
1040 #endif
1042 break;
1043 #endif
1045 }while( yypParser->yytos>yypParser->yystack );
1046 #ifndef NDEBUG
1047 if( yyTraceFILE ){
1048 yyStackEntry *i;
1049 char cDiv = '[';
1050 fprintf(yyTraceFILE,"%sReturn. Stack=",yyTracePrompt);
1051 for(i=&yypParser->yystack[1]; i<=yypParser->yytos; i++){
1052 fprintf(yyTraceFILE,"%c%s", cDiv, yyTokenName[i->major]);
1053 cDiv = ' ';
1055 fprintf(yyTraceFILE,"]\n");
1057 #endif
1058 return;