]> git.saurik.com Git - bison.git/blame - data/lalr1.java
java: fix parser tracing bug.
[bison.git] / data / lalr1.java
CommitLineData
8405b70c
PB
1# Java skeleton for Bison -*- autoconf -*-
2
ea0a7676 3# Copyright (C) 2007-2011 Free Software Foundation, Inc.
8405b70c 4
f16b0819 5# This program is free software: you can redistribute it and/or modify
8405b70c 6# it under the terms of the GNU General Public License as published by
f16b0819 7# the Free Software Foundation, either version 3 of the License, or
8405b70c 8# (at your option) any later version.
f16b0819 9#
8405b70c
PB
10# This program is distributed in the hope that it will be useful,
11# but WITHOUT ANY WARRANTY; without even the implied warranty of
12# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13# GNU General Public License for more details.
f16b0819 14#
8405b70c 15# You should have received a copy of the GNU General Public License
f16b0819 16# along with this program. If not, see <http://www.gnu.org/licenses/>.
8405b70c
PB
17
18m4_include(b4_pkgdatadir/[java.m4])
19
20b4_defines_if([b4_fatal([%s: %%defines does not make sense in Java], [b4_skeleton])])
21m4_ifval(m4_defn([b4_symbol_destructors]),
22 [b4_fatal([%s: %%destructor does not make sense in Java], [b4_skeleton])],
23 [])
24
25m4_divert_push(0)dnl
0d2b2ab0 26@output(b4_parser_file_name@)@
8405b70c 27b4_copyright([Skeleton implementation for Bison LALR(1) parsers in Java],
ea0a7676 28 [2007-2011])
8405b70c
PB
29
30b4_percent_define_ifdef([package], [package b4_percent_define_get([package]);
31])[/* First part of user declarations. */
32]b4_pre_prologue
33b4_percent_code_get([[imports]])
34[/**
74d6c0fe 35 * A Bison parser, automatically generated from <tt>]m4_bpatsubst(b4_file_name, [^"\(.*\)"$], [\1])[</tt>.
8405b70c
PB
36 *
37 * @@author LALR (1) parser skeleton written by Paolo Bonzini.
38 */
e254a580
DJ
39]b4_public_if([public ])dnl
40b4_abstract_if([abstract ])dnl
41b4_final_if([final ])dnl
42b4_strictfp_if([strictfp ])dnl
43[class ]b4_parser_class_name[]dnl
44b4_percent_define_get3([extends], [ extends ])dnl
45b4_percent_define_get3([implements], [ implements ])[
8405b70c
PB
46{
47 ]b4_identification[
48
49 /** True if verbose error messages are enabled. */
50 public boolean errorVerbose = ]b4_flag_value([error_verbose]);
51
52b4_locations_if([[
53 /**
54 * A class defining a pair of positions. Positions, defined by the
55 * <code>]b4_position_type[</code> class, denote a point in the input.
56 * Locations represent a part of the input through the beginning
57 * and ending positions. */
58 public class ]b4_location_type[ {
59 /** The first, inclusive, position in the range. */
60 public ]b4_position_type[ begin;
61
62 /** The first position beyond the range. */
63 public ]b4_position_type[ end;
64
65 /**
e254a580 66 * Create a <code>]b4_location_type[</code> denoting an empty range located at
8405b70c
PB
67 * a given point.
68 * @@param loc The position at which the range is anchored. */
69 public ]b4_location_type[ (]b4_position_type[ loc) {
70 this.begin = this.end = loc;
71 }
72
73 /**
74 * Create a <code>]b4_location_type[</code> from the endpoints of the range.
75 * @@param begin The first position included in the range.
74d6c0fe 76 * @@param end The first position beyond the range. */
8405b70c
PB
77 public ]b4_location_type[ (]b4_position_type[ begin, ]b4_position_type[ end) {
78 this.begin = begin;
79 this.end = end;
80 }
81
82 /**
83 * Print a representation of the location. For this to be correct,
84 * <code>]b4_position_type[</code> should override the <code>equals</code>
85 * method. */
86 public String toString () {
87 if (begin.equals (end))
88 return begin.toString ();
89 else
90 return begin.toString () + "-" + end.toString ();
91 }
92 }
93
94]])
95
96[ /** Token returned by the scanner to signal the end of its input. */
97 public static final int EOF = 0;]
98
99b4_token_enums(b4_tokens)
100
101 b4_locations_if([[
d3b12988 102 private ]b4_location_type[ yylloc (YYStack rhs, int n)
8405b70c
PB
103 {
104 if (n > 0)
8db68289 105 return new ]b4_location_type[ (rhs.locationAt (n-1).begin, rhs.locationAt (0).end);
8405b70c
PB
106 else
107 return new ]b4_location_type[ (rhs.locationAt (0).end);
74d6c0fe 108 }]])[
8405b70c 109
01b477c6 110 /**
8405b70c
PB
111 * Communication interface between the scanner and the Bison-generated
112 * parser <tt>]b4_parser_class_name[</tt>.
113 */
114 public interface Lexer {
115 ]b4_locations_if([[/**
116 * Method to retrieve the beginning position of the last scanned token.
117 * @@return the position at which the last scanned token starts. */
118 ]b4_position_type[ getStartPos ();
119
120 /**
121 * Method to retrieve the ending position of the last scanned token.
122 * @@return the first position beyond the last scanned token. */
123 ]b4_position_type[ getEndPos ();]])[
124
125 /**
126 * Method to retrieve the semantic value of the last scanned token.
127 * @@return the semantic value of the last scanned token. */
d0ee4105 128 ]b4_yystype[ getLVal ();
8405b70c
PB
129
130 /**
8405b70c 131 * Entry point for the scanner. Returns the token identifier corresponding
d0ee4105 132 * to the next token and prepares to return the semantic value
0d2b2ab0 133 * ]b4_locations_if([and beginning/ending positions ])[of the token.
8405b70c 134 * @@return the token identifier corresponding to the next token. */
01b477c6 135 int yylex () ]b4_maybe_throws([b4_lex_throws])[;
8405b70c
PB
136
137 /**
138 * Entry point for error reporting. Emits an error
e254a580 139 * ]b4_locations_if([referring to the given location ])[in a user-defined way.
8405b70c 140 *
74d6c0fe 141 * ]b4_locations_if([[@@param loc The location of the element to which the
8405b70c
PB
142 * error message is related]])[
143 * @@param s The string for the error message. */
01b477c6
PB
144 void yyerror (]b4_locations_if([b4_location_type[ loc, ]])[String s);]
145 }
146
147 b4_lexer_if([[private class YYLexer implements Lexer {
148]b4_percent_code_get([[lexer]])[
149 }
8405b70c 150
01b477c6
PB
151 ]])[/** The object doing lexical analysis for us. */
152 private Lexer yylexer;
153 ]
154 b4_parse_param_vars
8405b70c 155
01b477c6 156b4_lexer_if([[
8405b70c 157 /**
01b477c6 158 * Instantiates the Bison-generated parser.
8405b70c 159 */
01b477c6
PB
160 public ]b4_parser_class_name (b4_parse_param_decl([b4_lex_param_decl])[) {
161 this.yylexer = new YYLexer(]b4_lex_param_call[);
162 ]b4_parse_param_cons[
163 }
164]])
165
166 /**
167 * Instantiates the Bison-generated parser.
74d6c0fe 168 * @@param yylexer The scanner that will supply tokens to the parser.
01b477c6
PB
169 */
170 b4_lexer_if([[protected]], [[public]]) b4_parser_class_name[ (]b4_parse_param_decl([[Lexer yylexer]])[) {
171 this.yylexer = yylexer;
172 ]b4_parse_param_cons[
8405b70c
PB
173 }
174
d3b12988 175 private java.io.PrintStream yyDebugStream = System.err;
8405b70c
PB
176
177 /**
178 * Return the <tt>PrintStream</tt> on which the debugging output is
179 * printed.
180 */
d3b12988 181 public final java.io.PrintStream getDebugStream () { return yyDebugStream; }
8405b70c
PB
182
183 /**
184 * Set the <tt>PrintStream</tt> on which the debug output is printed.
185 * @@param s The stream that is used for debugging output.
186 */
d3b12988 187 public final void setDebugStream(java.io.PrintStream s) { yyDebugStream = s; }
8405b70c
PB
188
189 private int yydebug = 0;
190
191 /**
192 * Answer the verbosity of the debugging output; 0 means that all kinds of
193 * output from the parser are suppressed.
194 */
195 public final int getDebugLevel() { return yydebug; }
196
197 /**
198 * Set the verbosity of the debugging output; 0 means that all kinds of
199 * output from the parser are suppressed.
200 * @@param level The verbosity level for debugging output.
201 */
202 public final void setDebugLevel(int level) { yydebug = level; }
203
01b477c6
PB
204 private final int yylex () ]b4_maybe_throws([b4_lex_throws]) [{
205 return yylexer.yylex ();
8405b70c
PB
206 }
207 protected final void yyerror (]b4_locations_if([b4_location_type[ loc, ]])[String s) {
01b477c6
PB
208 yylexer.yyerror (]b4_locations_if([loc, ])[s);
209 }
210
211 ]b4_locations_if([
8405b70c 212 protected final void yyerror (String s) {
ddf17a6e 213 yylexer.yyerror ((]b4_location_type[)null, s);
8405b70c
PB
214 }
215 protected final void yyerror (]b4_position_type[ loc, String s) {
01b477c6 216 yylexer.yyerror (new ]b4_location_type[ (loc), s);
8405b70c
PB
217 }])
218
219 [protected final void yycdebug (String s) {
220 if (yydebug > 0)
d3b12988 221 yyDebugStream.println (s);
8405b70c
PB
222 }
223
d3b12988 224 private final class YYStack {
8405b70c
PB
225 private int[] stateStack = new int[16];
226 ]b4_locations_if([[private ]b4_location_type[[] locStack = new ]b4_location_type[[16];]])[
01b477c6 227 private ]b4_yystype[[] valueStack = new ]b4_yystype[[16];
8405b70c 228
8a93f8e6
PB
229 public int size = 16;
230 public int height = -1;
0d2b2ab0 231
01b477c6 232 public final void push (int state, ]b4_yystype[ value]dnl
0d2b2ab0 233 b4_locations_if([, ]b4_location_type[ loc])[) {
8405b70c 234 height++;
0d2b2ab0 235 if (size == height)
8405b70c
PB
236 {
237 int[] newStateStack = new int[size * 2];
238 System.arraycopy (stateStack, 0, newStateStack, 0, height);
239 stateStack = newStateStack;
240 ]b4_locations_if([[
241 ]b4_location_type[[] newLocStack = new ]b4_location_type[[size * 2];
242 System.arraycopy (locStack, 0, newLocStack, 0, height);
243 locStack = newLocStack;]])
0d2b2ab0 244
01b477c6 245 b4_yystype[[] newValueStack = new ]b4_yystype[[size * 2];
8405b70c
PB
246 System.arraycopy (valueStack, 0, newValueStack, 0, height);
247 valueStack = newValueStack;
248
249 size *= 2;
250 }
251
252 stateStack[height] = state;
253 ]b4_locations_if([[locStack[height] = loc;]])[
254 valueStack[height] = value;
255 }
256
257 public final void pop () {
4c2a6e42 258 pop (1);
8405b70c
PB
259 }
260
261 public final void pop (int num) {
262 // Avoid memory leaks... garbage collection is a white lie!
263 if (num > 0) {
6f75992b 264 java.util.Arrays.fill (valueStack, height - num + 1, height + 1, null);
4c2a6e42 265 ]b4_locations_if([[java.util.Arrays.fill (locStack, height - num + 1, height + 1, null);]])[
8405b70c
PB
266 }
267 height -= num;
268 }
269
270 public final int stateAt (int i) {
271 return stateStack[height - i];
272 }
273
274 ]b4_locations_if([[public final ]b4_location_type[ locationAt (int i) {
275 return locStack[height - i];
276 }
277
01b477c6 278 ]])[public final ]b4_yystype[ valueAt (int i) {
8405b70c
PB
279 return valueStack[height - i];
280 }
281
282 // Print the state stack on the debug stream.
8a93f8e6 283 public void print (java.io.PrintStream out)
8405b70c
PB
284 {
285 out.print ("Stack now");
0d2b2ab0 286
f0e2c228 287 for (int i = 0; i <= height; i++)
8405b70c
PB
288 {
289 out.print (' ');
290 out.print (stateStack[i]);
291 }
292 out.println ();
293 }
294 }
295
296 /**
297 * Returned by a Bison action in order to stop the parsing process and
298 * return success (<tt>true</tt>). */
299 public static final int YYACCEPT = 0;
300
301 /**
302 * Returned by a Bison action in order to stop the parsing process and
303 * return failure (<tt>false</tt>). */
304 public static final int YYABORT = 1;
305
306 /**
307 * Returned by a Bison action in order to start error recovery without
308 * printing an error message. */
309 public static final int YYERROR = 2;
310
62efdd2a
JD
311 // Internal return codes that are not supported for user semantic
312 // actions.
313 private static final int YYERRLAB = 3;
8405b70c
PB
314 private static final int YYNEWSTATE = 4;
315 private static final int YYDEFAULT = 5;
316 private static final int YYREDUCE = 6;
317 private static final int YYERRLAB1 = 7;
318 private static final int YYRETURN = 8;
319
320 private int yyerrstatus_ = 0;
321
322 /**
323 * Return whether error recovery is being done. In this state, the parser
324 * reads token until it reaches a known state, and then restarts normal
325 * operation. */
d3b12988 326 public final boolean recovering ()
8405b70c
PB
327 {
328 return yyerrstatus_ == 0;
329 }
330
e254a580 331 private int yyaction (int yyn, YYStack yystack, int yylen) ]b4_maybe_throws([b4_throws])[
8405b70c 332 {
01b477c6 333 ]b4_yystype[ yyval;
8405b70c
PB
334 ]b4_locations_if([b4_location_type[ yyloc = yylloc (yystack, yylen);]])[
335
336 /* If YYLEN is nonzero, implement the default value of the action:
337 `$$ = $1'. Otherwise, use the top of the stack.
0d2b2ab0 338
8405b70c
PB
339 Otherwise, the following line sets YYVAL to garbage.
340 This behavior is undocumented and Bison
341 users should not rely upon it. */
342 if (yylen > 0)
343 yyval = yystack.valueAt (yylen - 1);
344 else
345 yyval = yystack.valueAt (0);
0d2b2ab0 346
8405b70c
PB
347 yy_reduce_print (yyn, yystack);
348
349 switch (yyn)
350 {
351 ]b4_user_actions[
352 default: break;
353 }
354
355 yy_symbol_print ("-> $$ =", yyr1_[yyn], yyval]b4_locations_if([, yyloc])[);
356
357 yystack.pop (yylen);
358 yylen = 0;
359
360 /* Shift the result of the reduction. */
361 yyn = yyr1_[yyn];
362 int yystate = yypgoto_[yyn - yyntokens_] + yystack.stateAt (0);
363 if (0 <= yystate && yystate <= yylast_
364 && yycheck_[yystate] == yystack.stateAt (0))
365 yystate = yytable_[yystate];
366 else
367 yystate = yydefgoto_[yyn - yyntokens_];
368
369 yystack.push (yystate, yyval]b4_locations_if([, yyloc])[);
370 return YYNEWSTATE;
371 }
372
373 /* Return YYSTR after stripping away unnecessary quotes and
374 backslashes, so that it's suitable for yyerror. The heuristic is
375 that double-quoting is unnecessary unless the string contains an
376 apostrophe, a comma, or backslash (other than backslash-backslash).
377 YYSTR is taken from yytname. */
378 private final String yytnamerr_ (String yystr)
379 {
380 if (yystr.charAt (0) == '"')
381 {
382 StringBuffer yyr = new StringBuffer ();
383 strip_quotes: for (int i = 1; i < yystr.length (); i++)
384 switch (yystr.charAt (i))
385 {
386 case '\'':
387 case ',':
388 break strip_quotes;
389
390 case '\\':
391 if (yystr.charAt(++i) != '\\')
392 break strip_quotes;
393 /* Fall through. */
394 default:
395 yyr.append (yystr.charAt (i));
396 break;
397
398 case '"':
399 return yyr.toString ();
400 }
401 }
402 else if (yystr.equals ("$end"))
403 return "end of input";
404
405 return yystr;
406 }
407
408 /*--------------------------------.
409 | Print this symbol on YYOUTPUT. |
410 `--------------------------------*/
411
412 private void yy_symbol_print (String s, int yytype,
01b477c6 413 ]b4_yystype[ yyvaluep]dnl
8405b70c
PB
414 b4_locations_if([, Object yylocationp])[)
415 {
416 if (yydebug > 0)
417 yycdebug (s + (yytype < yyntokens_ ? " token " : " nterm ")
418 + yytname_[yytype] + " ("]b4_locations_if([
419 + yylocationp + ": "])[
ddf17a6e 420 + (yyvaluep == null ? "(null)" : yyvaluep.toString ()) + ")");
8405b70c
PB
421 }
422
423 /**
424 * Parse input from the scanner that was specified at object construction
425 * time. Return whether the end of the input was reached successfully.
426 *
427 * @@return <tt>true</tt> if the parsing succeeds. Note that this does not
428 * imply that there were no syntax errors.
429 */
e254a580 430 public boolean parse () ]b4_maybe_throws([b4_list2([b4_lex_throws], [b4_throws])])[
8405b70c
PB
431 {
432 /// Lookahead and lookahead in internal form.
433 int yychar = yyempty_;
434 int yytoken = 0;
435
436 /* State. */
437 int yyn = 0;
438 int yylen = 0;
439 int yystate = 0;
440
d3b12988 441 YYStack yystack = new YYStack ();
8405b70c
PB
442
443 /* Error handling. */
444 int yynerrs_ = 0;
445 ]b4_locations_if([/// The location where the error started.
446 ]b4_location_type[ yyerrloc = null;
447
448 /// ]b4_location_type[ of the lookahead.
449 ]b4_location_type[ yylloc = new ]b4_location_type[ (null, null);
450
451 /// @@$.
452 ]b4_location_type[ yyloc;])
453
454 /// Semantic value of the lookahead.
01b477c6 455 b4_yystype[ yylval = null;
8405b70c
PB
456
457 int yyresult;
458
459 yycdebug ("Starting parse\n");
460 yyerrstatus_ = 0;
461
462]m4_ifdef([b4_initial_action], [
463m4_pushdef([b4_at_dollar], [yylloc])dnl
464m4_pushdef([b4_dollar_dollar], [yylval])dnl
465 /* User initialization code. */
466 b4_user_initial_action
467m4_popdef([b4_dollar_dollar])dnl
468m4_popdef([b4_at_dollar])])dnl
469
470 [ /* Initialize the stack. */
471 yystack.push (yystate, yylval]b4_locations_if([, yylloc])[);
472
473 int label = YYNEWSTATE;
474 for (;;)
475 switch (label)
476 {
477 /* New state. Unlike in the C/C++ skeletons, the state is already
478 pushed when we come here. */
479 case YYNEWSTATE:
480 yycdebug ("Entering state " + yystate + "\n");
481 if (yydebug > 0)
d3b12988 482 yystack.print (yyDebugStream);
0d2b2ab0 483
8405b70c
PB
484 /* Accept? */
485 if (yystate == yyfinal_)
486 return true;
0d2b2ab0 487
8405b70c
PB
488 /* Take a decision. First try without lookahead. */
489 yyn = yypact_[yystate];
d5eb0826 490 if (yy_pact_value_is_default_ (yyn))
8405b70c
PB
491 {
492 label = YYDEFAULT;
493 break;
494 }
0d2b2ab0 495
8405b70c
PB
496 /* Read a lookahead token. */
497 if (yychar == yyempty_)
498 {
499 yycdebug ("Reading a token: ");
01b477c6
PB
500 yychar = yylex ();]
501 b4_locations_if([[
502 yylloc = new ]b4_location_type[(yylexer.getStartPos (),
0d2b2ab0 503 yylexer.getEndPos ());]])
01b477c6 504 yylval = yylexer.getLVal ();[
8405b70c 505 }
0d2b2ab0 506
8405b70c
PB
507 /* Convert token to internal form. */
508 if (yychar <= EOF)
509 {
510 yychar = yytoken = EOF;
511 yycdebug ("Now at end of input.\n");
512 }
513 else
514 {
515 yytoken = yytranslate_ (yychar);
516 yy_symbol_print ("Next token is", yytoken,
0d2b2ab0 517 yylval]b4_locations_if([, yylloc])[);
8405b70c 518 }
0d2b2ab0 519
8405b70c
PB
520 /* If the proper action on seeing token YYTOKEN is to reduce or to
521 detect an error, take that action. */
522 yyn += yytoken;
523 if (yyn < 0 || yylast_ < yyn || yycheck_[yyn] != yytoken)
524 label = YYDEFAULT;
0d2b2ab0 525
8405b70c
PB
526 /* <= 0 means reduce or error. */
527 else if ((yyn = yytable_[yyn]) <= 0)
528 {
d5eb0826 529 if (yy_table_value_is_error_ (yyn))
62efdd2a 530 label = YYERRLAB;
8405b70c
PB
531 else
532 {
533 yyn = -yyn;
534 label = YYREDUCE;
535 }
536 }
0d2b2ab0 537
8405b70c
PB
538 else
539 {
540 /* Shift the lookahead token. */
541 yy_symbol_print ("Shifting", yytoken,
0d2b2ab0
AD
542 yylval]b4_locations_if([, yylloc])[);
543
8405b70c
PB
544 /* Discard the token being shifted. */
545 yychar = yyempty_;
0d2b2ab0 546
8405b70c
PB
547 /* Count tokens shifted since error; after three, turn off error
548 status. */
549 if (yyerrstatus_ > 0)
550 --yyerrstatus_;
0d2b2ab0 551
8405b70c
PB
552 yystate = yyn;
553 yystack.push (yystate, yylval]b4_locations_if([, yylloc])[);
554 label = YYNEWSTATE;
555 }
556 break;
0d2b2ab0 557
8405b70c
PB
558 /*-----------------------------------------------------------.
559 | yydefault -- do the default action for the current state. |
560 `-----------------------------------------------------------*/
561 case YYDEFAULT:
562 yyn = yydefact_[yystate];
563 if (yyn == 0)
62efdd2a 564 label = YYERRLAB;
8405b70c
PB
565 else
566 label = YYREDUCE;
567 break;
0d2b2ab0 568
8405b70c
PB
569 /*-----------------------------.
570 | yyreduce -- Do a reduction. |
571 `-----------------------------*/
572 case YYREDUCE:
573 yylen = yyr2_[yyn];
574 label = yyaction (yyn, yystack, yylen);
575 yystate = yystack.stateAt (0);
576 break;
0d2b2ab0 577
8405b70c
PB
578 /*------------------------------------.
579 | yyerrlab -- here on detecting error |
580 `------------------------------------*/
62efdd2a 581 case YYERRLAB:
8405b70c
PB
582 /* If not already recovering from an error, report this error. */
583 if (yyerrstatus_ == 0)
584 {
095a1d11
JD
585 ++yynerrs_;
586 if (yychar == yyempty_)
587 yytoken = yyempty_;
588 yyerror (]b4_locations_if([yylloc, ])[yysyntax_error (yystate, yytoken));
8405b70c 589 }
0d2b2ab0 590
8405b70c
PB
591 ]b4_locations_if([yyerrloc = yylloc;])[
592 if (yyerrstatus_ == 3)
593 {
594 /* If just tried and failed to reuse lookahead token after an
595 error, discard it. */
0d2b2ab0 596
8405b70c
PB
597 if (yychar <= EOF)
598 {
599 /* Return failure if at end of input. */
600 if (yychar == EOF)
601 return false;
602 }
603 else
604 yychar = yyempty_;
605 }
0d2b2ab0 606
8405b70c
PB
607 /* Else will try to reuse lookahead token after shifting the error
608 token. */
609 label = YYERRLAB1;
610 break;
0d2b2ab0 611
8405b70c
PB
612 /*---------------------------------------------------.
613 | errorlab -- error raised explicitly by YYERROR. |
614 `---------------------------------------------------*/
615 case YYERROR:
0d2b2ab0 616
8405b70c
PB
617 ]b4_locations_if([yyerrloc = yystack.locationAt (yylen - 1);])[
618 /* Do not reclaim the symbols of the rule which action triggered
619 this YYERROR. */
620 yystack.pop (yylen);
621 yylen = 0;
622 yystate = yystack.stateAt (0);
623 label = YYERRLAB1;
624 break;
0d2b2ab0 625
8405b70c
PB
626 /*-------------------------------------------------------------.
627 | yyerrlab1 -- common code for both syntax error and YYERROR. |
628 `-------------------------------------------------------------*/
629 case YYERRLAB1:
630 yyerrstatus_ = 3; /* Each real token shifted decrements this. */
0d2b2ab0 631
8405b70c
PB
632 for (;;)
633 {
634 yyn = yypact_[yystate];
d5eb0826 635 if (!yy_pact_value_is_default_ (yyn))
8405b70c
PB
636 {
637 yyn += yyterror_;
638 if (0 <= yyn && yyn <= yylast_ && yycheck_[yyn] == yyterror_)
639 {
640 yyn = yytable_[yyn];
641 if (0 < yyn)
642 break;
643 }
644 }
0d2b2ab0 645
8405b70c
PB
646 /* Pop the current state because it cannot handle the error token. */
647 if (yystack.height == 1)
648 return false;
0d2b2ab0 649
8405b70c
PB
650 ]b4_locations_if([yyerrloc = yystack.locationAt (0);])[
651 yystack.pop ();
652 yystate = yystack.stateAt (0);
653 if (yydebug > 0)
d3b12988 654 yystack.print (yyDebugStream);
8405b70c 655 }
0d2b2ab0 656
8405b70c
PB
657 ]b4_locations_if([
658 /* Muck with the stack to setup for yylloc. */
659 yystack.push (0, null, yylloc);
660 yystack.push (0, null, yyerrloc);
661 yyloc = yylloc (yystack, 2);
662 yystack.pop (2);])[
663
664 /* Shift the error token. */
665 yy_symbol_print ("Shifting", yystos_[yyn],
666 yylval]b4_locations_if([, yyloc])[);
0d2b2ab0 667
8405b70c
PB
668 yystate = yyn;
669 yystack.push (yyn, yylval]b4_locations_if([, yyloc])[);
670 label = YYNEWSTATE;
671 break;
0d2b2ab0 672
8405b70c
PB
673 /* Accept. */
674 case YYACCEPT:
675 return true;
0d2b2ab0 676
8405b70c
PB
677 /* Abort. */
678 case YYABORT:
679 return false;
680 }
681 }
682
683 // Generate an error message.
684 private String yysyntax_error (int yystate, int tok)
685 {
686 if (errorVerbose)
687 {
095a1d11
JD
688 /* There are many possibilities here to consider:
689 - Assume YYFAIL is not used. It's too flawed to consider.
690 See
691 <http://lists.gnu.org/archive/html/bison-patches/2009-12/msg00024.html>
692 for details. YYERROR is fine as it does not invoke this
693 function.
694 - If this state is a consistent state with a default action,
695 then the only way this function was invoked is if the
696 default action is an error action. In that case, don't
697 check for expected tokens because there are none.
698 - The only way there can be no lookahead present (in tok) is
699 if this state is a consistent state with a default action.
700 Thus, detecting the absence of a lookahead is sufficient to
701 determine that there is no unexpected or expected token to
702 report. In that case, just report a simple "syntax error".
703 - Don't assume there isn't a lookahead just because this
704 state is a consistent state with a default action. There
705 might have been a previous inconsistent state, consistent
706 state with a non-default action, or user semantic action
707 that manipulated yychar. (However, yychar is currently out
708 of scope during semantic actions.)
709 - Of course, the expected token list depends on states to
710 have correct lookahead information, and it depends on the
711 parser not to perform extra reductions after fetching a
712 lookahead from the scanner and before detecting a syntax
713 error. Thus, state merging (from LALR or IELR) and default
714 reductions corrupt the expected token list. However, the
715 list is correct for canonical LR with one exception: it
716 will still contain any token that will not be accepted due
717 to an error action in a later state.
718 */
719 if (tok != yyempty_)
8405b70c 720 {
095a1d11
JD
721 // FIXME: This method of building the message is not compatible
722 // with internationalization.
723 StringBuffer res =
724 new StringBuffer ("syntax error, unexpected ");
725 res.append (yytnamerr_ (yytname_[tok]));
726 int yyn = yypact_[yystate];
727 if (!yy_pact_value_is_default_ (yyn))
728 {
f953cb20
JD
729 /* Start YYX at -YYN if negative to avoid negative
730 indexes in YYCHECK. In other words, skip the first
731 -YYN actions for this state because they are default
732 actions. */
733 int yyxbegin = yyn < 0 ? -yyn : 0;
f953cb20
JD
734 /* Stay within bounds of both yycheck and yytname. */
735 int yychecklim = yylast_ - yyn + 1;
736 int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
737 int count = 0;
738 for (int x = yyxbegin; x < yyxend; ++x)
739 if (yycheck_[x + yyn] == x && x != yyterror_
740 && !yy_table_value_is_error_ (yytable_[x + yyn]))
741 ++count;
f953cb20
JD
742 if (count < 5)
743 {
744 count = 0;
745 for (int x = yyxbegin; x < yyxend; ++x)
746 if (yycheck_[x + yyn] == x && x != yyterror_
747 && !yy_table_value_is_error_ (yytable_[x + yyn]))
748 {
749 res.append (count++ == 0 ? ", expecting " : " or ");
750 res.append (yytnamerr_ (yytname_[x]));
751 }
752 }
095a1d11 753 }
bb57985c 754 return res.toString ();
8405b70c
PB
755 }
756 }
757
758 return "syntax error";
759 }
760
d5eb0826
JD
761 /**
762 * Whether the given <code>yypact_</code> value indicates a defaulted state.
763 * @@param yyvalue the value to check
764 */
765 private static boolean yy_pact_value_is_default_ (int yyvalue)
766 {
767 return yyvalue == yypact_ninf_;
768 }
769
770 /**
771 * Whether the given <code>yytable_</code> value indicates a syntax error.
772 * @@param yyvalue the value to check
773 */
774 private static boolean yy_table_value_is_error_ (int yyvalue)
775 {
e4bcae3c 776 return yyvalue == yytable_ninf_;
d5eb0826 777 }
8405b70c
PB
778
779 /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
780 STATE-NUM. */
781 private static final ]b4_int_type_for([b4_pact])[ yypact_ninf_ = ]b4_pact_ninf[;
782 private static final ]b4_int_type_for([b4_pact])[ yypact_[] =
783 {
784 ]b4_pact[
785 };
786
620b5727
JD
787 /* YYDEFACT[S] -- default reduction number in state S. Performed when
788 YYTABLE doesn't specify something else to do. Zero means the
789 default is an error. */
8405b70c
PB
790 private static final ]b4_int_type_for([b4_defact])[ yydefact_[] =
791 {
792 ]b4_defact[
793 };
794
795 /* YYPGOTO[NTERM-NUM]. */
796 private static final ]b4_int_type_for([b4_pgoto])[ yypgoto_[] =
797 {
798 ]b4_pgoto[
799 };
800
801 /* YYDEFGOTO[NTERM-NUM]. */
802 private static final ]b4_int_type_for([b4_defgoto])[
803 yydefgoto_[] =
804 {
805 ]b4_defgoto[
806 };
807
808 /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
809 positive, shift that token. If negative, reduce the rule which
e4bcae3c 810 number is the opposite. If YYTABLE_NINF_, syntax error. */
8405b70c
PB
811 private static final ]b4_int_type_for([b4_table])[ yytable_ninf_ = ]b4_table_ninf[;
812 private static final ]b4_int_type_for([b4_table])[
813 yytable_[] =
814 {
815 ]b4_table[
816 };
817
818 /* YYCHECK. */
819 private static final ]b4_int_type_for([b4_check])[
820 yycheck_[] =
821 {
822 ]b4_check[
823 };
824
825 /* STOS_[STATE-NUM] -- The (internal number of the) accessing
826 symbol of state STATE-NUM. */
827 private static final ]b4_int_type_for([b4_stos])[
828 yystos_[] =
829 {
830 ]b4_stos[
831 };
832
833 /* TOKEN_NUMBER_[YYLEX-NUM] -- Internal symbol number corresponding
834 to YYLEX-NUM. */
835 private static final ]b4_int_type_for([b4_toknum])[
836 yytoken_number_[] =
837 {
838 ]b4_toknum[
839 };
840
841 /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
842 private static final ]b4_int_type_for([b4_r1])[
843 yyr1_[] =
844 {
845 ]b4_r1[
846 };
847
848 /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
849 private static final ]b4_int_type_for([b4_r2])[
850 yyr2_[] =
851 {
852 ]b4_r2[
853 };
854
855 /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
856 First, the terminals, then, starting at \a yyntokens_, nonterminals. */
857 private static final String yytname_[] =
858 {
859 ]b4_tname[
860 };
861
862 /* YYRHS -- A `-1'-separated list of the rules' RHS. */
863 private static final ]b4_int_type_for([b4_rhs])[ yyrhs_[] =
864 {
865 ]b4_rhs[
866 };
867
868 /* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
869 YYRHS. */
870 private static final ]b4_int_type_for([b4_prhs])[ yyprhs_[] =
871 {
872 ]b4_prhs[
873 };
874
875 /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */
876 private static final ]b4_int_type_for([b4_rline])[ yyrline_[] =
877 {
878 ]b4_rline[
879 };
880
881 // Report on the debug stream that the rule yyrule is going to be reduced.
d3b12988 882 private void yy_reduce_print (int yyrule, YYStack yystack)
8405b70c
PB
883 {
884 if (yydebug == 0)
885 return;
886
887 int yylno = yyrline_[yyrule];
888 int yynrhs = yyr2_[yyrule];
889 /* Print the symbols being reduced, and their result. */
890 yycdebug ("Reducing stack by rule " + (yyrule - 1)
891 + " (line " + yylno + "), ");
892
893 /* The symbols being reduced. */
894 for (int yyi = 0; yyi < yynrhs; yyi++)
895 yy_symbol_print (" $" + (yyi + 1) + " =",
896 yyrhs_[yyprhs_[yyrule] + yyi],
0d2b2ab0 897 ]b4_rhs_value(yynrhs, yyi + 1)b4_locations_if([,
8405b70c
PB
898 b4_rhs_location(yynrhs, yyi + 1)])[);
899 }
900
901 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
902 private static final ]b4_int_type_for([b4_translate])[ yytranslate_table_[] =
903 {
904 ]b4_translate[
905 };
906
907 private static final ]b4_int_type_for([b4_translate])[ yytranslate_ (int t)
908 {
909 if (t >= 0 && t <= yyuser_token_number_max_)
910 return yytranslate_table_[t];
911 else
912 return yyundef_token_;
913 }
914
915 private static final int yylast_ = ]b4_last[;
916 private static final int yynnts_ = ]b4_nterms_number[;
917 private static final int yyempty_ = -2;
918 private static final int yyfinal_ = ]b4_final_state_number[;
919 private static final int yyterror_ = 1;
920 private static final int yyerrcode_ = 256;
921 private static final int yyntokens_ = ]b4_tokens_number[;
922
923 private static final int yyuser_token_number_max_ = ]b4_user_token_number_max[;
924 private static final int yyundef_token_ = ]b4_undef_token_number[;
925
926]/* User implementation code. */
927b4_percent_code_get[]dnl
928
929}
930
931b4_epilogue
932m4_divert_pop(0)dnl