]> git.saurik.com Git - bison.git/blame - data/lalr1.cc
build: fix gen-ChangeLog call.
[bison.git] / data / lalr1.cc
CommitLineData
60491a94 1# C++ skeleton for Bison
b4721715 2
c932d613 3# Copyright (C) 2002-2012 Free Software Foundation, Inc.
60491a94 4
f16b0819 5# This program is free software: you can redistribute it and/or modify
60491a94 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
60491a94 8# (at your option) any later version.
f16b0819 9#
60491a94
AD
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#
60491a94 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/>.
60491a94 17
cf147260 18m4_include(b4_pkgdatadir/[c++.m4])
7eb8a0bc 19
6afc30cc 20m4_define([b4_parser_class_name],
a4e25e1d 21 [b4_percent_define_get([[parser_class_name]])])
34376418
AD
22
23# The header is mandatory.
24b4_defines_if([],
5f340b48 25 [b4_fatal([b4_skeleton[: using %%defines is mandatory]])])
34376418 26
95a2de56
AD
27b4_percent_define_ifdef([[location_type]], [],
28 [# Backward compatibility.
29 m4_define([b4_location_constructors])
30 m4_include(b4_pkgdatadir/[location.cc])])
a9b67b5b 31m4_include(b4_pkgdatadir/[stack.hh])
a5eb1ed2 32
b526ee61
AD
33# We do want M4 expansion after # for CPP macros.
34m4_changecom()
08af01c2 35m4_divert_push(0)dnl
327afc7c 36b4_defines_if(
0d2b2ab0 37[@output(b4_spec_defines_file@)@
193d7c70 38b4_copyright([Skeleton interface for Bison LALR(1) parsers in C++],
681dda24 39 [2002-2012])
8bb4c753 40[
03f1b545
AD
41/**
42 ** \file ]b4_spec_defines_file[
43 ** Define the ]b4_namespace_ref[::parser class.
44 */
45
af3412cd
PE
46/* C++ LALR(1) parser skeleton written by Akim Demaille. */
47
22172d47 48]b4_cpp_guard_open([b4_spec_defines_file])[
2b548aa6 49
a4e25e1d 50]b4_percent_code_get([[requires]])[
aef3da86 51
8d69a1a3 52#include <string>
717be197 53#include <iostream>
df5df58d 54#include "stack.hh"
95a2de56
AD
55]b4_percent_define_ifdef([[location_type]], [],
56 [[#include "location.hh"]])[
fc695704 57
5f108727 58]b4_YYDEBUG_define[
69e2658b 59
793fbca5 60]b4_namespace_open[
3f3eed27 61
efeed023 62 /// A Bison parser.
07fed891 63 class ]b4_parser_class_name[
2b548aa6 64 {
fb9712a9 65 public:
617a8f12 66 /// Symbol semantic values.
4b3847c3 67#ifndef ]b4_api_PREFIX[STYPE
fb9712a9 68]m4_ifdef([b4_stype],
1221b78a 69[ union semantic_type
7ecec4dd 70 {
8ec0a172 71b4_user_stype
7ecec4dd 72 };],
ddc8ede1
PE
73[m4_if(b4_tag_seen_flag, 0,
74[[ typedef int semantic_type;]],
4b3847c3 75[[ typedef ]b4_api_PREFIX[STYPE semantic_type;]])])[
fb9712a9 76#else
4b3847c3 77 typedef ]b4_api_PREFIX[STYPE semantic_type;
fb9712a9 78#endif
617a8f12 79 /// Symbol locations.
95a2de56
AD
80 typedef ]b4_percent_define_get([[location_type]],
81 [[location]])[ location_type;
fb9712a9
AD
82 /// Tokens.
83 struct token
84 {
85 ]b4_token_enums(b4_tokens)[
86 };
c095d689
AD
87 /// Token type.
88 typedef token::yytokentype token_type;
2b548aa6 89
efeed023 90 /// Build a parser object.
98ae9643
AD
91 ]b4_parser_class_name[ (]b4_parse_param_decl[);
92 virtual ~]b4_parser_class_name[ ();
2b548aa6 93
f69a4142
AD
94 /// Parse.
95 /// \returns 0 iff parsing succeeded.
e019c247 96 virtual int parse ();
2b548aa6 97
5f108727 98#if ]b4_api_PREFIX[DEBUG
f69a4142 99 /// The current debugging stream.
9a1e9989
AD
100 std::ostream& debug_stream () const;
101 /// Set the current debugging stream.
102 void set_debug_stream (std::ostream &);
103
a3cb6248
AD
104 /// Type for debugging levels.
105 typedef int debug_level_type;
106 /// The current debugging level.
107 debug_level_type debug_level () const;
108 /// Set the current debugging level.
109 void set_debug_level (debug_level_type l);
52cbbe84 110#endif
a3cb6248 111
2b548aa6 112 private:
efeed023
AD
113 /// Report a syntax error.
114 /// \param loc where the syntax error is found.
115 /// \param msg a description of the syntax error.
99880de5 116 virtual void error (const location_type& loc, const std::string& msg);
efeed023 117
dbcdae2d 118 /// Generate an error message.
d4fb5e3c 119 /// \param state the state where the error occurred.
742e4900 120 /// \param tok the lookahead token.
1e05521d 121 virtual std::string yysyntax_error_ (int yystate, int tok);
efeed023 122
5f108727 123#if ]b4_api_PREFIX[DEBUG
a0af42fc
AD
124 /// \brief Report a symbol value on the debug stream.
125 /// \param yytype The token type.
126 /// \param yyvaluep Its semantic value.
127 /// \param yylocationp Its location.
128 virtual void yy_symbol_value_print_ (int yytype,
02650b7f
PE
129 const semantic_type* yyvaluep,
130 const location_type* yylocationp);
f69a4142
AD
131 /// \brief Report a symbol on the debug stream.
132 /// \param yytype The token type.
133 /// \param yyvaluep Its semantic value.
134 /// \param yylocationp Its location.
a0af42fc 135 virtual void yy_symbol_print_ (int yytype,
02650b7f
PE
136 const semantic_type* yyvaluep,
137 const location_type* yylocationp);
fa7b79c0 138#endif
a5eb1ed2 139
4bb2bc3f 140
e019c247 141 /// State numbers.
f479c6c6 142 typedef int state_type;
e019c247
AD
143 /// State stack type.
144 typedef stack<state_type> state_stack_type;
145 /// Semantic value stack type.
146 typedef stack<semantic_type> semantic_stack_type;
147 /// location stack type.
148 typedef stack<location_type> location_stack_type;
149
f69a4142 150 /// The state stack.
e019c247 151 state_stack_type yystate_stack_;
f69a4142 152 /// The semantic value stack.
e019c247 153 semantic_stack_type yysemantic_stack_;
f69a4142 154 /// The location stack.
e019c247 155 location_stack_type yylocation_stack_;
2b548aa6 156
d5eb0826
JD
157 /// Whether the given \c yypact_ value indicates a defaulted state.
158 /// \param yyvalue the value to check
159 static bool yy_pact_value_is_default_ (int yyvalue);
160
161 /// Whether the given \c yytable_ value indicates a syntax error.
162 /// \param yyvalue the value to check
163 static bool yy_table_value_is_error_ (int yyvalue);
164
e019c247 165 /// Internal symbol numbers.
f479c6c6 166 typedef ]b4_int_type_for([b4_translate])[ token_number_type;
2b548aa6 167 /* Tables. */
efeed023 168 /// For a state, the index in \a yytable_ of its portion.
617a8f12
AD
169 static const ]b4_int_type_for([b4_pact])[ yypact_[];
170 static const ]b4_int_type(b4_pact_ninf, b4_pact_ninf)[ yypact_ninf_;
efeed023 171
620b5727 172 /// For a state, default reduction number.
efeed023
AD
173 /// Unless\a yytable_ specifies something else to do.
174 /// Zero means the default is an error.
617a8f12 175 static const ]b4_int_type_for([b4_defact])[ yydefact_[];
efeed023 176
617a8f12
AD
177 static const ]b4_int_type_for([b4_pgoto])[ yypgoto_[];
178 static const ]b4_int_type_for([b4_defgoto])[ yydefgoto_[];
efeed023
AD
179
180 /// What to do in a state.
181 /// \a yytable_[yypact_[s]]: what to do in state \a s.
182 /// - if positive, shift that token.
183 /// - if negative, reduce the rule which number is the opposite.
184 /// - if zero, do what YYDEFACT says.
617a8f12
AD
185 static const ]b4_int_type_for([b4_table])[ yytable_[];
186 static const ]b4_int_type(b4_table_ninf, b4_table_ninf)[ yytable_ninf_;
efeed023 187
617a8f12 188 static const ]b4_int_type_for([b4_check])[ yycheck_[];
efeed023
AD
189
190 /// For a state, its accessing symbol.
617a8f12 191 static const ]b4_int_type_for([b4_stos])[ yystos_[];
efeed023
AD
192
193 /// For a rule, its LHS.
617a8f12 194 static const ]b4_int_type_for([b4_r1])[ yyr1_[];
efeed023 195 /// For a rule, its RHS length.
258cddbc 196 static const ]b4_int_type_for([b4_r2])[ yyr2_[]; ]b4_error_verbose_if([
9e0876fb 197
9e0876fb 198 /// Convert the symbol name \a n to a form suitable for a diagnostic.
39f6a8d1 199 static std::string yytnamerr_ (const char *n);])[
2b548aa6 200
5f108727 201]b4_token_table_if([], [[#if ]b4_api_PREFIX[DEBUG]])[
258cddbc
AD
202 /// For a symbol, its name in clear.
203 static const char* const yytname_[];
5f108727 204]b4_token_table_if([[#if ]b4_api_PREFIX[DEBUG]])[
e019c247 205 /// A type to store symbol numbers and -1.
f479c6c6 206 typedef ]b4_int_type_for([b4_rhs])[ rhs_number_type;
617a8f12 207 /// A `-1'-separated list of the rules' RHS.
99880de5 208 static const rhs_number_type yyrhs_[];
617a8f12
AD
209 /// For each rule, the index of the first RHS symbol in \a yyrhs_.
210 static const ]b4_int_type_for([b4_prhs])[ yyprhs_[];
211 /// For each rule, its source line number.
212 static const ]b4_int_type_for([b4_rline])[ yyrline_[];
213 /// For each scanner token number, its symbol number.
214 static const ]b4_int_type_for([b4_toknum])[ yytoken_number_[];
efeed023 215 /// Report on the debug stream that the rule \a r is going to be reduced.
d1ff7a7c 216 virtual void yy_reduce_print_ (int r);
efeed023 217 /// Print the state stack on the debug stream.
f69a4142 218 virtual void yystack_print_ ();
fa7b79c0
PE
219
220 /* Debugging. */
221 int yydebug_;
222 std::ostream* yycdebug_;
69e2658b 223#endif
2b548aa6 224
32c96bd7
AD
225 /// Convert a scanner token number \a t to a symbol number.
226 token_number_type yytranslate_ (int t);
f69a4142
AD
227
228 /// \brief Reclaim the memory associated to a symbol.
229 /// \param yymsg Why this token is reclaimed.
230 /// \param yytype The symbol type.
231 /// \param yyvaluep Its semantic value.
232 /// \param yylocationp Its location.
233 inline void yydestruct_ (const char* yymsg,
02650b7f
PE
234 int yytype,
235 semantic_type* yyvaluep,
236 location_type* yylocationp);
2b548aa6 237
52d5733f 238 /// Pop \a n symbols the three stacks.
f69a4142 239 inline void yypop_ (unsigned int n = 1);
52d5733f 240
762a801e 241 /* Constants. */
617a8f12 242 static const int yyeof_;
39912f52 243 /* LAST_ -- Last index in TABLE_. */
617a8f12
AD
244 static const int yylast_;
245 static const int yynnts_;
246 static const int yyempty_;
247 static const int yyfinal_;
248 static const int yyterror_;
249 static const int yyerrcode_;
250 static const int yyntokens_;
251 static const unsigned int yyuser_token_number_max_;
99880de5 252 static const token_number_type yyundef_token_;
caf37a36 253]b4_parse_param_vars[
2b548aa6 254 };
793fbca5 255]b4_namespace_close[
2b548aa6 256
592d0b1e 257]b4_percent_define_flag_if([[global_tokens_and_yystype]],
fb9712a9
AD
258[b4_token_defines(b4_tokens)
259
4b3847c3 260#ifndef ]b4_api_PREFIX[STYPE
9d9b8b70 261 /* Redirection for backward compatibility. */
4b3847c3 262# define ]b4_api_PREFIX[STYPE b4_namespace_ref::b4_parser_class_name::semantic_type
fb9712a9 263#endif
22172d47
AD
264])[
265]b4_percent_code_get([[provides]])[
266]b4_cpp_guard_close([b4_spec_defines_file])
b61c6978 267])dnl
0d2b2ab0 268@output(b4_parser_file_name@)@
193d7c70 269b4_copyright([Skeleton implementation for Bison LALR(1) parsers in C++],
681dda24 270 [2002-2012])
a4e25e1d 271b4_percent_code_get([[top]])[]dnl
aa08666d 272m4_if(b4_prefix, [yy], [],
c5b95ccf
AD
273[
274// Take the name prefix into account.
9bc0dd67
JD
275#define yylex b4_prefix[]lex])[
276
277/* First part of user declarations. */
771dc643 278]b4_user_pre_prologue[
9bc0dd67 279
771dc643 280]b4_defines_if([[
bd9d212b 281#include "@basename(]b4_spec_defines_file[@)"]])[
50997c6e 282
fb9712a9 283/* User implementation prologue. */
771dc643
AD
284]b4_user_post_prologue[
285]b4_percent_code_get[
286
287]b4_null_define[
fb9712a9 288
771dc643 289#ifndef YY_
06caf0e1 290# if defined YYENABLE_NLS && YYENABLE_NLS
30757c8c
PE
291# if ENABLE_NLS
292# include <libintl.h> /* FIXME: INFRINGES ON USER NAME SPACE */
293# define YY_(msgid) dgettext ("bison-runtime", msgid)
294# endif
295# endif
296# ifndef YY_
297# define YY_(msgid) msgid
298# endif
989b5b8e
AD
299#endif
300
3d4a0cad 301#define YYRHSLOC(Rhs, K) ((Rhs)[K])
426903aa 302]b4_yylloc_default_define[
3d4a0cad 303
2a4647a3 304/* Suppress unused-variable warnings by "using" E. */
12ce2df6 305#define YYUSE(e) ((void) (e))
2a4647a3 306
2b548aa6 307/* Enable debugging if requested. */
5f108727 308#if ]b4_api_PREFIX[DEBUG
284acc8b 309
fa7b79c0
PE
310/* A pseudo ostream that takes yydebug_ into account. */
311# define YYCDEBUG if (yydebug_) (*yycdebug_)
312
284acc8b
AD
313# define YY_SYMBOL_PRINT(Title, Type, Value, Location) \
314do { \
a3cb6248 315 if (yydebug_) \
284acc8b 316 { \
d1ff7a7c 317 *yycdebug_ << Title << ' '; \
a0af42fc 318 yy_symbol_print_ ((Type), (Value), (Location)); \
9a1e9989 319 *yycdebug_ << std::endl; \
284acc8b 320 } \
2a4647a3 321} while (false)
284acc8b 322
5348bfbe
AD
323# define YY_REDUCE_PRINT(Rule) \
324do { \
a3cb6248 325 if (yydebug_) \
d1ff7a7c 326 yy_reduce_print_ (Rule); \
2a4647a3 327} while (false)
284acc8b 328
25f66e1a
AD
329# define YY_STACK_PRINT() \
330do { \
a3cb6248 331 if (yydebug_) \
f69a4142 332 yystack_print_ (); \
2a4647a3 333} while (false)
284acc8b 334
5f108727 335#else /* !]b4_api_PREFIX[DEBUG */
284acc8b 336
a36b333c 337# define YYCDEBUG if (false) std::cerr
284acc8b 338# define YY_SYMBOL_PRINT(Title, Type, Value, Location)
5348bfbe 339# define YY_REDUCE_PRINT(Rule)
25f66e1a 340# define YY_STACK_PRINT()
284acc8b 341
5f108727 342#endif /* !]b4_api_PREFIX[DEBUG */
2b548aa6 343
98e26a92
AD
344#define yyerrok (yyerrstatus_ = 0)
345#define yyclearin (yychar = yyempty_)
346
60a777aa
AD
347#define YYACCEPT goto yyacceptlab
348#define YYABORT goto yyabortlab
47301314 349#define YYERROR goto yyerrorlab
98e26a92 350#define YYRECOVERING() (!!yyerrstatus_)
60a777aa 351
39f6a8d1 352]b4_namespace_open[]b4_error_verbose_if([[
9e0876fb 353
aa08666d
AD
354 /* Return YYSTR after stripping away unnecessary quotes and
355 backslashes, so that it's suitable for yyerror. The heuristic is
356 that double-quoting is unnecessary unless the string contains an
357 apostrophe, a comma, or backslash (other than backslash-backslash).
358 YYSTR is taken from yytname. */
359 std::string
360 ]b4_parser_class_name[::yytnamerr_ (const char *yystr)
361 {
362 if (*yystr == '"')
363 {
364 std::string yyr = "";
365 char const *yyp = yystr;
193d7c70 366
aa08666d
AD
367 for (;;)
368 switch (*++yyp)
369 {
370 case '\'':
371 case ',':
372 goto do_not_strip_quotes;
193d7c70 373
aa08666d
AD
374 case '\\':
375 if (*++yyp != '\\')
376 goto do_not_strip_quotes;
377 /* Fall through. */
378 default:
379 yyr += *yyp;
380 break;
193d7c70 381
aa08666d
AD
382 case '"':
383 return yyr;
384 }
385 do_not_strip_quotes: ;
386 }
193d7c70 387
aa08666d
AD
388 return yystr;
389 }
39f6a8d1 390]])[
9e0876fb 391
98ae9643 392 /// Build a parser object.
fa7b79c0
PE
393 ]b4_parser_class_name::b4_parser_class_name[ (]b4_parse_param_decl[)]m4_ifset([b4_parse_param], [
394 :])[
5f108727 395#if ]b4_api_PREFIX[DEBUG
fa7b79c0
PE
396 ]m4_ifset([b4_parse_param], [ ], [ :])[yydebug_ (false),
397 yycdebug_ (&std::cerr)]m4_ifset([b4_parse_param], [,])[
398#endif]b4_parse_param_cons[
98ae9643
AD
399 {
400 }
a0e68930 401
98ae9643
AD
402 ]b4_parser_class_name::~b4_parser_class_name[ ()
403 {
404 }
a0e68930 405
5f108727 406#if ]b4_api_PREFIX[DEBUG
98ae9643
AD
407 /*--------------------------------.
408 | Print this symbol on YYOUTPUT. |
409 `--------------------------------*/
a0e68930 410
a0af42fc
AD
411 inline void
412 ]b4_parser_class_name[::yy_symbol_value_print_ (int yytype,
02650b7f 413 const semantic_type* yyvaluep, const location_type* yylocationp)
98ae9643 414 {
98ae9643
AD
415 YYUSE (yylocationp);
416 YYUSE (yyvaluep);
68fff38a
AD
417 std::ostream& yyo = debug_stream ();
418 std::ostream& yyoutput = yyo;
419 YYUSE (yyoutput);
98ae9643
AD
420 switch (yytype)
421 {
422 ]m4_map([b4_symbol_actions], m4_defn([b4_symbol_printers]))dnl
423[ default:
02650b7f 424 break;
98ae9643 425 }
a0af42fc
AD
426 }
427
428
429 void
430 ]b4_parser_class_name[::yy_symbol_print_ (int yytype,
02650b7f 431 const semantic_type* yyvaluep, const location_type* yylocationp)
a0af42fc
AD
432 {
433 *yycdebug_ << (yytype < yyntokens_ ? "token" : "nterm")
02650b7f
PE
434 << ' ' << yytname_[yytype] << " ("
435 << *yylocationp << ": ";
a0af42fc 436 yy_symbol_value_print_ (yytype, yyvaluep, yylocationp);
98ae9643
AD
437 *yycdebug_ << ')';
438 }
fa7b79c0 439#endif
a0e68930 440
98ae9643
AD
441 void
442 ]b4_parser_class_name[::yydestruct_ (const char* yymsg,
02650b7f 443 int yytype, semantic_type* yyvaluep, location_type* yylocationp)
98ae9643
AD
444 {
445 YYUSE (yylocationp);
446 YYUSE (yymsg);
447 YYUSE (yyvaluep);
448
449 YY_SYMBOL_PRINT (yymsg, yytype, yyvaluep, yylocationp);
450
451 switch (yytype)
452 {
453 ]m4_map([b4_symbol_actions], m4_defn([b4_symbol_destructors]))[
02650b7f
PE
454 default:
455 break;
98ae9643
AD
456 }
457 }
60a777aa 458
98ae9643
AD
459 void
460 ]b4_parser_class_name[::yypop_ (unsigned int n)
461 {
462 yystate_stack_.pop (n);
463 yysemantic_stack_.pop (n);
464 yylocation_stack_.pop (n);
465 }
52d5733f 466
5f108727 467#if ]b4_api_PREFIX[DEBUG
98ae9643
AD
468 std::ostream&
469 ]b4_parser_class_name[::debug_stream () const
470 {
471 return *yycdebug_;
472 }
9a1e9989 473
98ae9643
AD
474 void
475 ]b4_parser_class_name[::set_debug_stream (std::ostream& o)
476 {
477 yycdebug_ = &o;
478 }
9a1e9989
AD
479
480
98ae9643
AD
481 ]b4_parser_class_name[::debug_level_type
482 ]b4_parser_class_name[::debug_level () const
483 {
484 return yydebug_;
485 }
a3cb6248 486
98ae9643
AD
487 void
488 ]b4_parser_class_name[::set_debug_level (debug_level_type l)
489 {
490 yydebug_ = l;
491 }
fa7b79c0 492#endif
a3cb6248 493
d5eb0826
JD
494 inline bool
495 ]b4_parser_class_name[::yy_pact_value_is_default_ (int yyvalue)
496 {
497 return yyvalue == yypact_ninf_;
498 }
499
500 inline bool
501 ]b4_parser_class_name[::yy_table_value_is_error_ (int yyvalue)
502 {
e4bcae3c 503 return yyvalue == yytable_ninf_;
d5eb0826
JD
504 }
505
98ae9643
AD
506 int
507 ]b4_parser_class_name[::parse ()
508 {
742e4900 509 /// Lookahead and lookahead in internal form.
98ae9643
AD
510 int yychar = yyempty_;
511 int yytoken = 0;
d4fb5e3c 512
98ae9643
AD
513 /* State. */
514 int yyn;
a85284cf 515 int yylen = 0;
98ae9643 516 int yystate = 0;
d4fb5e3c 517
9d9b8b70 518 /* Error handling. */
98ae9643
AD
519 int yynerrs_ = 0;
520 int yyerrstatus_ = 0;
dbcdae2d 521
742e4900 522 /// Semantic value of the lookahead.
98ae9643 523 semantic_type yylval;
742e4900 524 /// Location of the lookahead.
98ae9643
AD
525 location_type yylloc;
526 /// The locations where the error started and ended.
a005dbcb 527 location_type yyerror_range[3];
dbcdae2d 528
98ae9643
AD
529 /// $$.
530 semantic_type yyval;
531 /// @@$.
532 location_type yyloc;
dbcdae2d 533
98ae9643 534 int yyresult;
ad745863 535
98ae9643 536 YYCDEBUG << "Starting parse" << std::endl;
451364ed 537
451364ed 538]m4_ifdef([b4_initial_action], [
99880de5
AD
539m4_pushdef([b4_at_dollar], [yylloc])dnl
540m4_pushdef([b4_dollar_dollar], [yylval])dnl
9d9b8b70 541 /* User initialization code. */
8ec0a172 542 b4_user_initial_action
451364ed 543m4_popdef([b4_dollar_dollar])dnl
8ec0a172 544m4_popdef([b4_at_dollar])])dnl
451364ed 545
98ae9643
AD
546 [ /* Initialize the stacks. The initial state will be pushed in
547 yynewstate, since the latter expects the semantical and the
548 location values to have been already stored, initialize these
549 stacks with a primary value. */
550 yystate_stack_ = state_stack_type (0);
551 yysemantic_stack_ = semantic_stack_type (0);
552 yylocation_stack_ = location_stack_type (0);
553 yysemantic_stack_.push (yylval);
554 yylocation_stack_.push (yylloc);
555
556 /* New state. */
557 yynewstate:
558 yystate_stack_.push (yystate);
559 YYCDEBUG << "Entering state " << yystate << std::endl;
868d2d96
JD
560
561 /* Accept? */
562 if (yystate == yyfinal_)
563 goto yyacceptlab;
564
98ae9643
AD
565 goto yybackup;
566
567 /* Backup. */
568 yybackup:
569
742e4900 570 /* Try to take a decision without lookahead. */
98ae9643 571 yyn = yypact_[yystate];
d5eb0826 572 if (yy_pact_value_is_default_ (yyn))
98ae9643
AD
573 goto yydefault;
574
742e4900 575 /* Read a lookahead token. */
98ae9643
AD
576 if (yychar == yyempty_)
577 {
02650b7f
PE
578 YYCDEBUG << "Reading a token: ";
579 yychar = ]b4_c_function_call([yylex], [int],
4b3847c3 580 [b4_api_PREFIX[STYPE*], [&yylval]][]dnl
327afc7c 581b4_locations_if([, [[location*], [&yylloc]]])dnl
dbcdae2d 582m4_ifdef([b4_lex_param], [, ]b4_lex_param))[;
98ae9643
AD
583 }
584
585
586 /* Convert token to internal form. */
587 if (yychar <= yyeof_)
588 {
02650b7f
PE
589 yychar = yytoken = yyeof_;
590 YYCDEBUG << "Now at end of input." << std::endl;
98ae9643
AD
591 }
592 else
593 {
02650b7f
PE
594 yytoken = yytranslate_ (yychar);
595 YY_SYMBOL_PRINT ("Next token is", yytoken, &yylval, &yylloc);
98ae9643
AD
596 }
597
598 /* If the proper action on seeing token YYTOKEN is to reduce or to
599 detect an error, take that action. */
600 yyn += yytoken;
34ec3579 601 if (yyn < 0 || yylast_ < yyn || yycheck_[yyn] != yytoken)
98ae9643
AD
602 goto yydefault;
603
604 /* Reduce or error. */
605 yyn = yytable_[yyn];
606 if (yyn <= 0)
607 {
d5eb0826
JD
608 if (yy_table_value_is_error_ (yyn))
609 goto yyerrlab;
02650b7f
PE
610 yyn = -yyn;
611 goto yyreduce;
98ae9643
AD
612 }
613
742e4900 614 /* Shift the lookahead token. */
98ae9643
AD
615 YY_SYMBOL_PRINT ("Shifting", yytoken, &yylval, &yylloc);
616
868d2d96
JD
617 /* Discard the token being shifted. */
618 yychar = yyempty_;
98ae9643
AD
619
620 yysemantic_stack_.push (yylval);
621 yylocation_stack_.push (yylloc);
622
623 /* Count tokens shifted since error; after three, turn off error
624 status. */
625 if (yyerrstatus_)
626 --yyerrstatus_;
627
628 yystate = yyn;
629 goto yynewstate;
630
631 /*-----------------------------------------------------------.
632 | yydefault -- do the default action for the current state. |
633 `-----------------------------------------------------------*/
634 yydefault:
635 yyn = yydefact_[yystate];
636 if (yyn == 0)
637 goto yyerrlab;
638 goto yyreduce;
639
640 /*-----------------------------.
641 | yyreduce -- Do a reduction. |
642 `-----------------------------*/
643 yyreduce:
644 yylen = yyr2_[yyn];
a85284cf 645 /* If YYLEN is nonzero, implement the default value of the action:
98ae9643
AD
646 `$$ = $1'. Otherwise, use the top of the stack.
647
648 Otherwise, the following line sets YYVAL to garbage.
649 This behavior is undocumented and Bison
650 users should not rely upon it. */
651 if (yylen)
652 yyval = yysemantic_stack_[yylen - 1];
653 else
654 yyval = yysemantic_stack_[0];
2b548aa6 655
2b548aa6 656 {
98ae9643
AD
657 slice<location_type, location_stack_type> slice (yylocation_stack_, yylen);
658 YYLLOC_DEFAULT (yyloc, slice, yylen);
2b548aa6 659 }
98ae9643
AD
660 YY_REDUCE_PRINT (yyn);
661 switch (yyn)
662 {
8ec0a172 663 ]b4_user_actions[
cf98343c
AD
664 default:
665 break;
98ae9643 666 }
3b837882
JD
667 /* User semantic actions sometimes alter yychar, and that requires
668 that yytoken be updated with the new translation. We take the
669 approach of translating immediately before every use of yytoken.
670 One alternative is translating here after every semantic action,
671 but that translation would be missed if the semantic action
672 invokes YYABORT, YYACCEPT, or YYERROR immediately after altering
673 yychar. In the case of YYABORT or YYACCEPT, an incorrect
674 destructor might then be invoked immediately. In the case of
675 YYERROR, subsequent parser actions might lead to an incorrect
676 destructor call or verbose syntax error message before the
677 lookahead is translated. */
d1ff7a7c 678 YY_SYMBOL_PRINT ("-> $$ =", yyr1_[yyn], &yyval, &yyloc);
98ae9643
AD
679
680 yypop_ (yylen);
a85284cf 681 yylen = 0;
98ae9643
AD
682 YY_STACK_PRINT ();
683
684 yysemantic_stack_.push (yyval);
685 yylocation_stack_.push (yyloc);
686
687 /* Shift the result of the reduction. */
688 yyn = yyr1_[yyn];
689 yystate = yypgoto_[yyn - yyntokens_] + yystate_stack_[0];
690 if (0 <= yystate && yystate <= yylast_
34ec3579 691 && yycheck_[yystate] == yystate_stack_[0])
98ae9643
AD
692 yystate = yytable_[yystate];
693 else
694 yystate = yydefgoto_[yyn - yyntokens_];
695 goto yynewstate;
696
697 /*------------------------------------.
698 | yyerrlab -- here on detecting error |
699 `------------------------------------*/
700 yyerrlab:
3b837882
JD
701 /* Make sure we have latest lookahead translation. See comments at
702 user semantic actions for why this is necessary. */
703 yytoken = yytranslate_ (yychar);
704
98ae9643
AD
705 /* If not already recovering from an error, report this error. */
706 if (!yyerrstatus_)
707 {
02650b7f 708 ++yynerrs_;
095a1d11
JD
709 if (yychar == yyempty_)
710 yytoken = yyempty_;
1e05521d 711 error (yylloc, yysyntax_error_ (yystate, yytoken));
98ae9643
AD
712 }
713
a005dbcb 714 yyerror_range[1] = yylloc;
98ae9643
AD
715 if (yyerrstatus_ == 3)
716 {
742e4900 717 /* If just tried and failed to reuse lookahead token after an
02650b7f
PE
718 error, discard it. */
719
720 if (yychar <= yyeof_)
721 {
722 /* Return failure if at end of input. */
723 if (yychar == yyeof_)
724 YYABORT;
725 }
726 else
727 {
728 yydestruct_ ("Error: discarding", yytoken, &yylval, &yylloc);
729 yychar = yyempty_;
730 }
98ae9643
AD
731 }
732
742e4900 733 /* Else will try to reuse lookahead token after shifting the error
98ae9643
AD
734 token. */
735 goto yyerrlab1;
736
737
738 /*---------------------------------------------------.
739 | yyerrorlab -- error raised explicitly by YYERROR. |
740 `---------------------------------------------------*/
741 yyerrorlab:
742
743 /* Pacify compilers like GCC when the user code never invokes
744 YYERROR and the label yyerrorlab therefore never appears in user
745 code. */
746 if (false)
747 goto yyerrorlab;
748
a005dbcb 749 yyerror_range[1] = yylocation_stack_[yylen - 1];
a85284cf 750 /* Do not reclaim the symbols of the rule which action triggered
9d9b8b70 751 this YYERROR. */
98ae9643 752 yypop_ (yylen);
a85284cf 753 yylen = 0;
98ae9643
AD
754 yystate = yystate_stack_[0];
755 goto yyerrlab1;
756
757 /*-------------------------------------------------------------.
758 | yyerrlab1 -- common code for both syntax error and YYERROR. |
759 `-------------------------------------------------------------*/
760 yyerrlab1:
761 yyerrstatus_ = 3; /* Each real token shifted decrements this. */
762
763 for (;;)
764 {
02650b7f 765 yyn = yypact_[yystate];
d5eb0826 766 if (!yy_pact_value_is_default_ (yyn))
02650b7f
PE
767 {
768 yyn += yyterror_;
34ec3579 769 if (0 <= yyn && yyn <= yylast_ && yycheck_[yyn] == yyterror_)
02650b7f
PE
770 {
771 yyn = yytable_[yyn];
772 if (0 < yyn)
773 break;
774 }
775 }
776
777 /* Pop the current state because it cannot handle the error token. */
778 if (yystate_stack_.height () == 1)
779 YYABORT;
780
a005dbcb 781 yyerror_range[1] = yylocation_stack_[0];
02650b7f
PE
782 yydestruct_ ("Error: popping",
783 yystos_[yystate],
784 &yysemantic_stack_[0], &yylocation_stack_[0]);
785 yypop_ ();
786 yystate = yystate_stack_[0];
787 YY_STACK_PRINT ();
98ae9643
AD
788 }
789
a005dbcb 790 yyerror_range[2] = yylloc;
98ae9643 791 // Using YYLLOC is tempting, but would change the location of
742e4900 792 // the lookahead. YYLOC is available though.
a005dbcb 793 YYLLOC_DEFAULT (yyloc, yyerror_range, 2);
98ae9643
AD
794 yysemantic_stack_.push (yylval);
795 yylocation_stack_.push (yyloc);
796
9d9b8b70 797 /* Shift the error token. */
98ae9643 798 YY_SYMBOL_PRINT ("Shifting", yystos_[yyn],
482dc52f 799 &yysemantic_stack_[0], &yylocation_stack_[0]);
98ae9643
AD
800
801 yystate = yyn;
802 goto yynewstate;
803
804 /* Accept. */
805 yyacceptlab:
806 yyresult = 0;
807 goto yyreturn;
808
809 /* Abort. */
810 yyabortlab:
811 yyresult = 1;
812 goto yyreturn;
813
814 yyreturn:
868d2d96 815 if (yychar != yyempty_)
3b837882
JD
816 {
817 /* Make sure we have latest lookahead translation. See comments
818 at user semantic actions for why this is necessary. */
819 yytoken = yytranslate_ (yychar);
820 yydestruct_ ("Cleanup: discarding lookahead", yytoken, &yylval,
821 &yylloc);
822 }
98ae9643 823
a85284cf 824 /* Do not reclaim the symbols of the rule which action triggered
9d9b8b70 825 this YYABORT or YYACCEPT. */
a85284cf 826 yypop_ (yylen);
98ae9643
AD
827 while (yystate_stack_.height () != 1)
828 {
02650b7f
PE
829 yydestruct_ ("Cleanup: popping",
830 yystos_[yystate_stack_[0]],
831 &yysemantic_stack_[0],
832 &yylocation_stack_[0]);
833 yypop_ ();
98ae9643
AD
834 }
835
836 return yyresult;
837 }
2b548aa6 838
98ae9643
AD
839 // Generate an error message.
840 std::string
39f6a8d1
AD
841 ]b4_parser_class_name[::yysyntax_error_ (]dnl
842b4_error_verbose_if([int yystate, int yytoken],
843 [int, int])[)
678094a2
JD
844 {]b4_error_verbose_if([[
845 std::string yyres;
095a1d11
JD
846 // Number of reported tokens (one for the "unexpected", one per
847 // "expected").
848 size_t yycount = 0;
849 // Its maximum.
850 enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
851 // Arguments of yyformat.
852 char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];
853
854 /* There are many possibilities here to consider:
855 - If this state is a consistent state with a default action, then
856 the only way this function was invoked is if the default action
857 is an error action. In that case, don't check for expected
858 tokens because there are none.
859 - The only way there can be no lookahead present (in yytoken) is
860 if this state is a consistent state with a default action.
861 Thus, detecting the absence of a lookahead is sufficient to
862 determine that there is no unexpected or expected token to
863 report. In that case, just report a simple "syntax error".
864 - Don't assume there isn't a lookahead just because this state is
865 a consistent state with a default action. There might have
866 been a previous inconsistent state, consistent state with a
867 non-default action, or user semantic action that manipulated
868 yychar.
869 - Of course, the expected token list depends on states to have
870 correct lookahead information, and it depends on the parser not
871 to perform extra reductions after fetching a lookahead from the
872 scanner and before detecting a syntax error. Thus, state
873 merging (from LALR or IELR) and default reductions corrupt the
874 expected token list. However, the list is correct for
875 canonical LR with one exception: it will still contain any
876 token that will not be accepted due to an error action in a
877 later state.
878 */
879 if (yytoken != yyempty_)
98ae9643 880 {
095a1d11
JD
881 yyarg[yycount++] = yytname_[yytoken];
882 int yyn = yypact_[yystate];
883 if (!yy_pact_value_is_default_ (yyn))
884 {
f953cb20
JD
885 /* Start YYX at -YYN if negative to avoid negative indexes in
886 YYCHECK. In other words, skip the first -YYN actions for
887 this state because they are default actions. */
888 int yyxbegin = yyn < 0 ? -yyn : 0;
f953cb20
JD
889 /* Stay within bounds of both yycheck and yytname. */
890 int yychecklim = yylast_ - yyn + 1;
891 int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
f953cb20
JD
892 for (int yyx = yyxbegin; yyx < yyxend; ++yyx)
893 if (yycheck_[yyx + yyn] == yyx && yyx != yyterror_
894 && !yy_table_value_is_error_ (yytable_[yyx + yyn]))
895 {
896 if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
897 {
898 yycount = 1;
899 break;
900 }
901 else
902 yyarg[yycount++] = yytname_[yyx];
903 }
095a1d11
JD
904 }
905 }
f953cb20 906
ef51bfa7 907 char const* yyformat = YY_NULL;
f953cb20
JD
908 switch (yycount)
909 {
910#define YYCASE_(N, S) \
911 case N: \
912 yyformat = S; \
913 break
095a1d11 914 YYCASE_(0, YY_("syntax error"));
f953cb20
JD
915 YYCASE_(1, YY_("syntax error, unexpected %s"));
916 YYCASE_(2, YY_("syntax error, unexpected %s, expecting %s"));
917 YYCASE_(3, YY_("syntax error, unexpected %s, expecting %s or %s"));
918 YYCASE_(4, YY_("syntax error, unexpected %s, expecting %s or %s or %s"));
919 YYCASE_(5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"));
e657f369 920#undef YYCASE_
98ae9643 921 }
095a1d11 922
f953cb20
JD
923 // Argument number.
924 size_t yyi = 0;
925 for (char const* yyp = yyformat; *yyp; ++yyp)
926 if (yyp[0] == '%' && yyp[1] == 's' && yyi < yycount)
927 {
928 yyres += yytnamerr_ (yyarg[yyi++]);
929 ++yyp;
930 }
931 else
932 yyres += *yyp;
678094a2
JD
933 return yyres;]], [[
934 return YY_("syntax error");]])[
98ae9643 935 }
a08460b0 936
5348bfbe 937
98ae9643
AD
938 /* YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
939 STATE-NUM. */
940 const ]b4_int_type(b4_pact_ninf, b4_pact_ninf) b4_parser_class_name::yypact_ninf_ = b4_pact_ninf[;
941 const ]b4_int_type_for([b4_pact])[
942 ]b4_parser_class_name[::yypact_[] =
943 {
944 ]b4_pact[
945 };
2b548aa6 946
620b5727
JD
947 /* YYDEFACT[S] -- default reduction number in state S. Performed when
948 YYTABLE doesn't specify something else to do. Zero means the
949 default is an error. */
98ae9643
AD
950 const ]b4_int_type_for([b4_defact])[
951 ]b4_parser_class_name[::yydefact_[] =
952 {
953 ]b4_defact[
954 };
2b548aa6 955
98ae9643
AD
956 /* YYPGOTO[NTERM-NUM]. */
957 const ]b4_int_type_for([b4_pgoto])[
958 ]b4_parser_class_name[::yypgoto_[] =
959 {
960 ]b4_pgoto[
961 };
2b548aa6 962
98ae9643
AD
963 /* YYDEFGOTO[NTERM-NUM]. */
964 const ]b4_int_type_for([b4_defgoto])[
965 ]b4_parser_class_name[::yydefgoto_[] =
966 {
967 ]b4_defgoto[
968 };
2b548aa6 969
98ae9643
AD
970 /* YYTABLE[YYPACT[STATE-NUM]]. What to do in state STATE-NUM. If
971 positive, shift that token. If negative, reduce the rule which
e4bcae3c 972 number is the opposite. If YYTABLE_NINF_, syntax error. */
98ae9643
AD
973 const ]b4_int_type(b4_table_ninf, b4_table_ninf) b4_parser_class_name::yytable_ninf_ = b4_table_ninf[;
974 const ]b4_int_type_for([b4_table])[
975 ]b4_parser_class_name[::yytable_[] =
976 {
977 ]b4_table[
978 };
979
980 /* YYCHECK. */
981 const ]b4_int_type_for([b4_check])[
982 ]b4_parser_class_name[::yycheck_[] =
983 {
984 ]b4_check[
985 };
986
987 /* STOS_[STATE-NUM] -- The (internal number of the) accessing
988 symbol of state STATE-NUM. */
989 const ]b4_int_type_for([b4_stos])[
990 ]b4_parser_class_name[::yystos_[] =
991 {
992 ]b4_stos[
993 };
769b430f 994
5f108727 995#if ]b4_api_PREFIX[DEBUG
98ae9643
AD
996 /* TOKEN_NUMBER_[YYLEX-NUM] -- Internal symbol number corresponding
997 to YYLEX-NUM. */
998 const ]b4_int_type_for([b4_toknum])[
999 ]b4_parser_class_name[::yytoken_number_[] =
1000 {
1001 ]b4_toknum[
1002 };
769b430f
AD
1003#endif
1004
98ae9643
AD
1005 /* YYR1[YYN] -- Symbol number of symbol that rule YYN derives. */
1006 const ]b4_int_type_for([b4_r1])[
1007 ]b4_parser_class_name[::yyr1_[] =
1008 {
1009 ]b4_r1[
1010 };
2b548aa6 1011
98ae9643
AD
1012 /* YYR2[YYN] -- Number of symbols composing right hand side of rule YYN. */
1013 const ]b4_int_type_for([b4_r2])[
1014 ]b4_parser_class_name[::yyr2_[] =
1015 {
1016 ]b4_r2[
1017 };
2b548aa6 1018
5f108727 1019]b4_token_table_if([], [[#if ]b4_api_PREFIX[DEBUG]])[
98ae9643 1020 /* YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
9d9b8b70 1021 First, the terminals, then, starting at \a yyntokens_, nonterminals. */
98ae9643
AD
1022 const char*
1023 const ]b4_parser_class_name[::yytname_[] =
1024 {
1025 ]b4_tname[
1026 };
2b548aa6 1027
5f108727 1028]b4_token_table_if([[#if ]b4_api_PREFIX[DEBUG]])[
9d9b8b70 1029 /* YYRHS -- A `-1'-separated list of the rules' RHS. */
98ae9643
AD
1030 const ]b4_parser_class_name[::rhs_number_type
1031 ]b4_parser_class_name[::yyrhs_[] =
1032 {
1033 ]b4_rhs[
1034 };
2b548aa6 1035
98ae9643
AD
1036 /* YYPRHS[YYN] -- Index of the first RHS symbol of rule number YYN in
1037 YYRHS. */
1038 const ]b4_int_type_for([b4_prhs])[
1039 ]b4_parser_class_name[::yyprhs_[] =
1040 {
1041 ]b4_prhs[
1042 };
2b548aa6 1043
98ae9643
AD
1044 /* YYRLINE[YYN] -- Source line where rule number YYN was defined. */
1045 const ]b4_int_type_for([b4_rline])[
1046 ]b4_parser_class_name[::yyrline_[] =
1047 {
1048 ]b4_rline[
1049 };
5348bfbe 1050
98ae9643
AD
1051 // Print the state stack on the debug stream.
1052 void
1053 ]b4_parser_class_name[::yystack_print_ ()
1054 {
1055 *yycdebug_ << "Stack now";
1056 for (state_stack_type::const_iterator i = yystate_stack_.begin ();
02650b7f 1057 i != yystate_stack_.end (); ++i)
98ae9643
AD
1058 *yycdebug_ << ' ' << *i;
1059 *yycdebug_ << std::endl;
1060 }
25f66e1a 1061
98ae9643
AD
1062 // Report on the debug stream that the rule \a yyrule is going to be reduced.
1063 void
d1ff7a7c 1064 ]b4_parser_class_name[::yy_reduce_print_ (int yyrule)
98ae9643
AD
1065 {
1066 unsigned int yylno = yyrline_[yyrule];
d1ff7a7c 1067 int yynrhs = yyr2_[yyrule];
98ae9643
AD
1068 /* Print the symbols being reduced, and their result. */
1069 *yycdebug_ << "Reducing stack by rule " << yyrule - 1
7cff04b5 1070 << " (line " << yylno << "):" << std::endl;
d1ff7a7c
AD
1071 /* The symbols being reduced. */
1072 for (int yyi = 0; yyi < yynrhs; yyi++)
1073 YY_SYMBOL_PRINT (" $" << yyi + 1 << " =",
02650b7f
PE
1074 yyrhs_[yyprhs_[yyrule] + yyi],
1075 &]b4_rhs_value(yynrhs, yyi + 1)[,
1076 &]b4_rhs_location(yynrhs, yyi + 1)[);
98ae9643 1077 }
5f108727 1078#endif // ]b4_api_PREFIX[DEBUG
69e2658b 1079
98ae9643
AD
1080 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX. */
1081 ]b4_parser_class_name[::token_number_type
32c96bd7 1082 ]b4_parser_class_name[::yytranslate_ (int t)
2b548aa6 1083 {
98ae9643
AD
1084 static
1085 const token_number_type
1086 translate_table[] =
1087 {
1088 ]b4_translate[
1089 };
32c96bd7
AD
1090 if ((unsigned int) t <= yyuser_token_number_max_)
1091 return translate_table[t];
98ae9643
AD
1092 else
1093 return yyundef_token_;
1094 }
1095
1096 const int ]b4_parser_class_name[::yyeof_ = 0;
1097 const int ]b4_parser_class_name[::yylast_ = ]b4_last[;
1098 const int ]b4_parser_class_name[::yynnts_ = ]b4_nterms_number[;
1099 const int ]b4_parser_class_name[::yyempty_ = -2;
1100 const int ]b4_parser_class_name[::yyfinal_ = ]b4_final_state_number[;
1101 const int ]b4_parser_class_name[::yyterror_ = 1;
1102 const int ]b4_parser_class_name[::yyerrcode_ = 256;
1103 const int ]b4_parser_class_name[::yyntokens_ = ]b4_tokens_number[;
1104
1105 const unsigned int ]b4_parser_class_name[::yyuser_token_number_max_ = ]b4_user_token_number_max[;
1106 const ]b4_parser_class_name[::token_number_type ]b4_parser_class_name[::yyundef_token_ = ]b4_undef_token_number[;
2b548aa6 1107
793fbca5 1108]b4_namespace_close[
c5e3e510 1109]b4_epilogue
08af01c2 1110m4_divert_pop(0)