]> git.saurik.com Git - bison.git/blame - data/lalr1.java
glr.cc, yacc.c: initialize yylloc properly
[bison.git] / data / lalr1.java
CommitLineData
8405b70c
PB
1# Java skeleton for Bison -*- autoconf -*-
2
c932d613 3# Copyright (C) 2007-2012 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],
681dda24 28 [2007-2012])
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 456
8405b70c
PB
457 yycdebug ("Starting parse\n");
458 yyerrstatus_ = 0;
459
460]m4_ifdef([b4_initial_action], [
cd735a8c
AD
461b4_dollar_pushdef([yylval], [], [yylloc])dnl
462/* User initialization code. */
463b4_user_initial_action
464b4_dollar_popdef])[]dnl
8405b70c
PB
465
466 [ /* Initialize the stack. */
467 yystack.push (yystate, yylval]b4_locations_if([, yylloc])[);
468
469 int label = YYNEWSTATE;
470 for (;;)
471 switch (label)
472 {
473 /* New state. Unlike in the C/C++ skeletons, the state is already
474 pushed when we come here. */
475 case YYNEWSTATE:
476 yycdebug ("Entering state " + yystate + "\n");
477 if (yydebug > 0)
d3b12988 478 yystack.print (yyDebugStream);
0d2b2ab0 479
8405b70c
PB
480 /* Accept? */
481 if (yystate == yyfinal_)
482 return true;
0d2b2ab0 483
8405b70c
PB
484 /* Take a decision. First try without lookahead. */
485 yyn = yypact_[yystate];
d5eb0826 486 if (yy_pact_value_is_default_ (yyn))
8405b70c
PB
487 {
488 label = YYDEFAULT;
489 break;
490 }
0d2b2ab0 491
8405b70c
PB
492 /* Read a lookahead token. */
493 if (yychar == yyempty_)
494 {
495 yycdebug ("Reading a token: ");
01b477c6
PB
496 yychar = yylex ();]
497 b4_locations_if([[
498 yylloc = new ]b4_location_type[(yylexer.getStartPos (),
0d2b2ab0 499 yylexer.getEndPos ());]])
01b477c6 500 yylval = yylexer.getLVal ();[
8405b70c 501 }
0d2b2ab0 502
8405b70c
PB
503 /* Convert token to internal form. */
504 if (yychar <= EOF)
505 {
506 yychar = yytoken = EOF;
507 yycdebug ("Now at end of input.\n");
508 }
509 else
510 {
511 yytoken = yytranslate_ (yychar);
512 yy_symbol_print ("Next token is", yytoken,
0d2b2ab0 513 yylval]b4_locations_if([, yylloc])[);
8405b70c 514 }
0d2b2ab0 515
8405b70c
PB
516 /* If the proper action on seeing token YYTOKEN is to reduce or to
517 detect an error, take that action. */
518 yyn += yytoken;
519 if (yyn < 0 || yylast_ < yyn || yycheck_[yyn] != yytoken)
520 label = YYDEFAULT;
0d2b2ab0 521
8405b70c
PB
522 /* <= 0 means reduce or error. */
523 else if ((yyn = yytable_[yyn]) <= 0)
524 {
d5eb0826 525 if (yy_table_value_is_error_ (yyn))
62efdd2a 526 label = YYERRLAB;
8405b70c
PB
527 else
528 {
529 yyn = -yyn;
530 label = YYREDUCE;
531 }
532 }
0d2b2ab0 533
8405b70c
PB
534 else
535 {
536 /* Shift the lookahead token. */
537 yy_symbol_print ("Shifting", yytoken,
0d2b2ab0
AD
538 yylval]b4_locations_if([, yylloc])[);
539
8405b70c
PB
540 /* Discard the token being shifted. */
541 yychar = yyempty_;
0d2b2ab0 542
8405b70c
PB
543 /* Count tokens shifted since error; after three, turn off error
544 status. */
545 if (yyerrstatus_ > 0)
546 --yyerrstatus_;
0d2b2ab0 547
8405b70c
PB
548 yystate = yyn;
549 yystack.push (yystate, yylval]b4_locations_if([, yylloc])[);
550 label = YYNEWSTATE;
551 }
552 break;
0d2b2ab0 553
8405b70c
PB
554 /*-----------------------------------------------------------.
555 | yydefault -- do the default action for the current state. |
556 `-----------------------------------------------------------*/
557 case YYDEFAULT:
558 yyn = yydefact_[yystate];
559 if (yyn == 0)
62efdd2a 560 label = YYERRLAB;
8405b70c
PB
561 else
562 label = YYREDUCE;
563 break;
0d2b2ab0 564
8405b70c
PB
565 /*-----------------------------.
566 | yyreduce -- Do a reduction. |
567 `-----------------------------*/
568 case YYREDUCE:
569 yylen = yyr2_[yyn];
570 label = yyaction (yyn, yystack, yylen);
571 yystate = yystack.stateAt (0);
572 break;
0d2b2ab0 573
8405b70c
PB
574 /*------------------------------------.
575 | yyerrlab -- here on detecting error |
576 `------------------------------------*/
62efdd2a 577 case YYERRLAB:
8405b70c
PB
578 /* If not already recovering from an error, report this error. */
579 if (yyerrstatus_ == 0)
580 {
095a1d11
JD
581 ++yynerrs_;
582 if (yychar == yyempty_)
583 yytoken = yyempty_;
584 yyerror (]b4_locations_if([yylloc, ])[yysyntax_error (yystate, yytoken));
8405b70c 585 }
0d2b2ab0 586
8405b70c
PB
587 ]b4_locations_if([yyerrloc = yylloc;])[
588 if (yyerrstatus_ == 3)
589 {
590 /* If just tried and failed to reuse lookahead token after an
591 error, discard it. */
0d2b2ab0 592
8405b70c
PB
593 if (yychar <= EOF)
594 {
595 /* Return failure if at end of input. */
596 if (yychar == EOF)
597 return false;
598 }
599 else
600 yychar = yyempty_;
601 }
0d2b2ab0 602
8405b70c
PB
603 /* Else will try to reuse lookahead token after shifting the error
604 token. */
605 label = YYERRLAB1;
606 break;
0d2b2ab0 607
8405b70c
PB
608 /*---------------------------------------------------.
609 | errorlab -- error raised explicitly by YYERROR. |
610 `---------------------------------------------------*/
611 case YYERROR:
0d2b2ab0 612
8405b70c
PB
613 ]b4_locations_if([yyerrloc = yystack.locationAt (yylen - 1);])[
614 /* Do not reclaim the symbols of the rule which action triggered
615 this YYERROR. */
616 yystack.pop (yylen);
617 yylen = 0;
618 yystate = yystack.stateAt (0);
619 label = YYERRLAB1;
620 break;
0d2b2ab0 621
8405b70c
PB
622 /*-------------------------------------------------------------.
623 | yyerrlab1 -- common code for both syntax error and YYERROR. |
624 `-------------------------------------------------------------*/
625 case YYERRLAB1:
626 yyerrstatus_ = 3; /* Each real token shifted decrements this. */
0d2b2ab0 627
8405b70c
PB
628 for (;;)
629 {
630 yyn = yypact_[yystate];
d5eb0826 631 if (!yy_pact_value_is_default_ (yyn))
8405b70c
PB
632 {
633 yyn += yyterror_;
634 if (0 <= yyn && yyn <= yylast_ && yycheck_[yyn] == yyterror_)
635 {
636 yyn = yytable_[yyn];
637 if (0 < yyn)
638 break;
639 }
640 }
0d2b2ab0 641
8405b70c 642 /* Pop the current state because it cannot handle the error token. */
e34e97bc 643 if (yystack.height == 0)
8405b70c 644 return false;
0d2b2ab0 645
8405b70c
PB
646 ]b4_locations_if([yyerrloc = yystack.locationAt (0);])[
647 yystack.pop ();
648 yystate = yystack.stateAt (0);
649 if (yydebug > 0)
d3b12988 650 yystack.print (yyDebugStream);
8405b70c 651 }
0d2b2ab0 652
8405b70c
PB
653 ]b4_locations_if([
654 /* Muck with the stack to setup for yylloc. */
655 yystack.push (0, null, yylloc);
656 yystack.push (0, null, yyerrloc);
657 yyloc = yylloc (yystack, 2);
658 yystack.pop (2);])[
659
660 /* Shift the error token. */
661 yy_symbol_print ("Shifting", yystos_[yyn],
662 yylval]b4_locations_if([, yyloc])[);
0d2b2ab0 663
8405b70c
PB
664 yystate = yyn;
665 yystack.push (yyn, yylval]b4_locations_if([, yyloc])[);
666 label = YYNEWSTATE;
667 break;
0d2b2ab0 668
8405b70c
PB
669 /* Accept. */
670 case YYACCEPT:
671 return true;
0d2b2ab0 672
8405b70c
PB
673 /* Abort. */
674 case YYABORT:
675 return false;
676 }
677 }
678
679 // Generate an error message.
680 private String yysyntax_error (int yystate, int tok)
681 {
682 if (errorVerbose)
683 {
095a1d11
JD
684 /* There are many possibilities here to consider:
685 - Assume YYFAIL is not used. It's too flawed to consider.
686 See
687 <http://lists.gnu.org/archive/html/bison-patches/2009-12/msg00024.html>
688 for details. YYERROR is fine as it does not invoke this
689 function.
690 - If this state is a consistent state with a default action,
691 then the only way this function was invoked is if the
692 default action is an error action. In that case, don't
693 check for expected tokens because there are none.
694 - The only way there can be no lookahead present (in tok) is
695 if this state is a consistent state with a default action.
696 Thus, detecting the absence of a lookahead is sufficient to
697 determine that there is no unexpected or expected token to
698 report. In that case, just report a simple "syntax error".
699 - Don't assume there isn't a lookahead just because this
700 state is a consistent state with a default action. There
701 might have been a previous inconsistent state, consistent
702 state with a non-default action, or user semantic action
703 that manipulated yychar. (However, yychar is currently out
704 of scope during semantic actions.)
705 - Of course, the expected token list depends on states to
706 have correct lookahead information, and it depends on the
707 parser not to perform extra reductions after fetching a
708 lookahead from the scanner and before detecting a syntax
709 error. Thus, state merging (from LALR or IELR) and default
710 reductions corrupt the expected token list. However, the
711 list is correct for canonical LR with one exception: it
712 will still contain any token that will not be accepted due
713 to an error action in a later state.
714 */
715 if (tok != yyempty_)
8405b70c 716 {
095a1d11
JD
717 // FIXME: This method of building the message is not compatible
718 // with internationalization.
719 StringBuffer res =
720 new StringBuffer ("syntax error, unexpected ");
721 res.append (yytnamerr_ (yytname_[tok]));
722 int yyn = yypact_[yystate];
723 if (!yy_pact_value_is_default_ (yyn))
724 {
f953cb20
JD
725 /* Start YYX at -YYN if negative to avoid negative
726 indexes in YYCHECK. In other words, skip the first
727 -YYN actions for this state because they are default
728 actions. */
729 int yyxbegin = yyn < 0 ? -yyn : 0;
f953cb20
JD
730 /* Stay within bounds of both yycheck and yytname. */
731 int yychecklim = yylast_ - yyn + 1;
732 int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
733 int count = 0;
734 for (int x = yyxbegin; x < yyxend; ++x)
735 if (yycheck_[x + yyn] == x && x != yyterror_
736 && !yy_table_value_is_error_ (yytable_[x + yyn]))
737 ++count;
f953cb20
JD
738 if (count < 5)
739 {
740 count = 0;
741 for (int x = yyxbegin; x < yyxend; ++x)
742 if (yycheck_[x + yyn] == x && x != yyterror_
743 && !yy_table_value_is_error_ (yytable_[x + yyn]))
744 {
745 res.append (count++ == 0 ? ", expecting " : " or ");
746 res.append (yytnamerr_ (yytname_[x]));
747 }
748 }
095a1d11 749 }
bb57985c 750 return res.toString ();
8405b70c
PB
751 }
752 }
753
754 return "syntax error";
755 }
756
d5eb0826
JD
757 /**
758 * Whether the given <code>yypact_</code> value indicates a defaulted state.
759 * @@param yyvalue the value to check
760 */
761 private static boolean yy_pact_value_is_default_ (int yyvalue)
762 {
763 return yyvalue == yypact_ninf_;
764 }
765
766 /**
767 * Whether the given <code>yytable_</code> value indicates a syntax error.
768 * @@param yyvalue the value to check
769 */
770 private static boolean yy_table_value_is_error_ (int yyvalue)
771 {
e4bcae3c 772 return yyvalue == yytable_ninf_;
d5eb0826 773 }
8405b70c
PB
774
775 /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
776 STATE-NUM. */
777 private static final ]b4_int_type_for([b4_pact])[ yypact_ninf_ = ]b4_pact_ninf[;
778 private static final ]b4_int_type_for([b4_pact])[ yypact_[] =
779 {
780 ]b4_pact[
781 };
782
620b5727
JD
783 /* YYDEFACT[S] -- default reduction number in state S. Performed when
784 YYTABLE doesn't specify something else to do. Zero means the
785 default is an error. */
8405b70c
PB
786 private static final ]b4_int_type_for([b4_defact])[ yydefact_[] =
787 {
788 ]b4_defact[
789 };
790
791 /* YYPGOTO[NTERM-NUM]. */
792 private static final ]b4_int_type_for([b4_pgoto])[ yypgoto_[] =
793 {
794 ]b4_pgoto[
795 };
796
797 /* YYDEFGOTO[NTERM-NUM]. */
798 private static final ]b4_int_type_for([b4_defgoto])[
799 yydefgoto_[] =
800 {
801 ]b4_defgoto[
802 };
803
804 /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
805 positive, shift that token. If negative, reduce the rule which
e4bcae3c 806 number is the opposite. If YYTABLE_NINF_, syntax error. */
8405b70c
PB
807 private static final ]b4_int_type_for([b4_table])[ yytable_ninf_ = ]b4_table_ninf[;
808 private static final ]b4_int_type_for([b4_table])[
809 yytable_[] =
810 {
811 ]b4_table[
812 };
813
814 /* YYCHECK. */
815 private static final ]b4_int_type_for([b4_check])[
816 yycheck_[] =
817 {
818 ]b4_check[
819 };
820
821 /* STOS_[STATE-NUM] -- The (internal number of the) accessing
822 symbol of state STATE-NUM. */
823 private static final ]b4_int_type_for([b4_stos])[
824 yystos_[] =
825 {
826 ]b4_stos[
827 };
828
829 /* TOKEN_NUMBER_[YYLEX-NUM] -- Internal symbol number corresponding
830 to YYLEX-NUM. */
831 private static final ]b4_int_type_for([b4_toknum])[
832 yytoken_number_[] =
833 {
834 ]b4_toknum[
835 };
836
837 /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
838 private static final ]b4_int_type_for([b4_r1])[
839 yyr1_[] =
840 {
841 ]b4_r1[
842 };
843
844 /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
845 private static final ]b4_int_type_for([b4_r2])[
846 yyr2_[] =
847 {
848 ]b4_r2[
849 };
850
851 /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
852 First, the terminals, then, starting at \a yyntokens_, nonterminals. */
853 private static final String yytname_[] =
854 {
855 ]b4_tname[
856 };
857
858 /* YYRHS -- A `-1'-separated list of the rules' RHS. */
859 private static final ]b4_int_type_for([b4_rhs])[ yyrhs_[] =
860 {
861 ]b4_rhs[
862 };
863
864 /* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
865 YYRHS. */
866 private static final ]b4_int_type_for([b4_prhs])[ yyprhs_[] =
867 {
868 ]b4_prhs[
869 };
870
871 /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */
872 private static final ]b4_int_type_for([b4_rline])[ yyrline_[] =
873 {
874 ]b4_rline[
875 };
876
877 // Report on the debug stream that the rule yyrule is going to be reduced.
d3b12988 878 private void yy_reduce_print (int yyrule, YYStack yystack)
8405b70c
PB
879 {
880 if (yydebug == 0)
881 return;
882
883 int yylno = yyrline_[yyrule];
884 int yynrhs = yyr2_[yyrule];
885 /* Print the symbols being reduced, and their result. */
886 yycdebug ("Reducing stack by rule " + (yyrule - 1)
887 + " (line " + yylno + "), ");
888
889 /* The symbols being reduced. */
890 for (int yyi = 0; yyi < yynrhs; yyi++)
891 yy_symbol_print (" $" + (yyi + 1) + " =",
892 yyrhs_[yyprhs_[yyrule] + yyi],
0d2b2ab0 893 ]b4_rhs_value(yynrhs, yyi + 1)b4_locations_if([,
8405b70c
PB
894 b4_rhs_location(yynrhs, yyi + 1)])[);
895 }
896
897 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
898 private static final ]b4_int_type_for([b4_translate])[ yytranslate_table_[] =
899 {
900 ]b4_translate[
901 };
902
903 private static final ]b4_int_type_for([b4_translate])[ yytranslate_ (int t)
904 {
905 if (t >= 0 && t <= yyuser_token_number_max_)
906 return yytranslate_table_[t];
907 else
908 return yyundef_token_;
909 }
910
911 private static final int yylast_ = ]b4_last[;
912 private static final int yynnts_ = ]b4_nterms_number[;
913 private static final int yyempty_ = -2;
914 private static final int yyfinal_ = ]b4_final_state_number[;
915 private static final int yyterror_ = 1;
916 private static final int yyerrcode_ = 256;
917 private static final int yyntokens_ = ]b4_tokens_number[;
918
919 private static final int yyuser_token_number_max_ = ]b4_user_token_number_max[;
920 private static final int yyundef_token_ = ]b4_undef_token_number[;
921
922]/* User implementation code. */
923b4_percent_code_get[]dnl
924
925}
926
927b4_epilogue
928m4_divert_pop(0)dnl