]>
Commit | Line | Data |
---|---|---|
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 | |
18 | m4_include(b4_pkgdatadir/[java.m4]) | |
19 | ||
20 | b4_defines_if([b4_fatal([%s: %%defines does not make sense in Java], [b4_skeleton])]) | |
21 | m4_ifval(m4_defn([b4_symbol_destructors]), | |
22 | [b4_fatal([%s: %%destructor does not make sense in Java], [b4_skeleton])], | |
23 | []) | |
24 | ||
25 | m4_divert_push(0)dnl | |
0d2b2ab0 | 26 | @output(b4_parser_file_name@)@ |
8405b70c | 27 | b4_copyright([Skeleton implementation for Bison LALR(1) parsers in Java], |
ea0a7676 | 28 | [2007-2011]) |
8405b70c PB |
29 | |
30 | b4_percent_define_ifdef([package], [package b4_percent_define_get([package]); | |
31 | ])[/* First part of user declarations. */ | |
32 | ]b4_pre_prologue | |
33 | b4_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 |
40 | b4_abstract_if([abstract ])dnl | |
41 | b4_final_if([final ])dnl | |
42 | b4_strictfp_if([strictfp ])dnl | |
43 | [class ]b4_parser_class_name[]dnl | |
44 | b4_percent_define_get3([extends], [ extends ])dnl | |
45 | b4_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 | ||
52 | b4_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 | ||
99 | b4_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 | 156 | b4_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], [ | |
463 | m4_pushdef([b4_at_dollar], [yylloc])dnl | |
464 | m4_pushdef([b4_dollar_dollar], [yylval])dnl | |
465 | /* User initialization code. */ | |
466 | b4_user_initial_action | |
467 | m4_popdef([b4_dollar_dollar])dnl | |
468 | m4_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. */ | |
927 | b4_percent_code_get[]dnl | |
928 | ||
929 | } | |
930 | ||
931 | b4_epilogue | |
932 | m4_divert_pop(0)dnl |