data/glr.cc

   1 m4_divert(-1)                                                       -*- C -*-
   2
   3 # C++ GLR skeleton for Bison
   4 # Copyright (C) 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
   5
   6 # This program is free software; you can redistribute it and/or modify
   7 # it under the terms of the GNU General Public License as published by
   8 # the Free Software Foundation; either version 2 of the License, or
   9 # (at your option) any later version.
  10
  11 # This program is distributed in the hope that it will be useful,
  12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 # GNU General Public License for more details.
  15
  16 # You should have received a copy of the GNU General Public License
  17 # along with this program; if not, write to the Free Software
  18 # Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
  19 # 02110-1301  USA
  20
  21 # We require a pure interface using locations.
  22 m4_define([b4_location_flag], [1])
  23 m4_define([b4_pure],          [1])
  24
  25 m4_include(b4_pkgdatadir/[c++.m4])
  26 m4_include(b4_pkgdatadir/[location.cc])
  27
  28
  29 # b4_yysymprint_generate(FUNCTION-DECLARATOR)
  30 # -------------------------------------------
  31 # Generate the "yysymprint" function, which declaration is issued using
  32 # FUNCTION-DECLARATOR, which may be "b4_c_ansi_function_def" for ISO C
  33 # or "b4_c_function_def" for K&R.
  34 m4_define([b4_yysymprint_generate],
  35 [b4_c_ansi_function_decl([yyerror],
  36     [static void],
  37     [[yy::b4_parser_class_name::location_type *yylocationp], [yylocationp]],
  38     b4_parse_param,
  39     [[const char* msg], [msg]])[
  40
  41 /*--------------------------------.
  42 | Print this symbol on YYOUTPUT.  |
  43 `--------------------------------*/
  44
  45 ]$1([yysymprint],
  46     [static void],
  47     [[FILE *yyoutput],       [yyoutput]],
  48     [[int yytype],           [yytype]],
  49     [[const yy::b4_parser_class_name::semantic_type *yyvaluep],
  50                              [yyvaluep]][]dnl
  51 b4_location_if([,
  52     [[const yy::b4_parser_class_name::location_type *yylocationp],
  53                              [yylocationp]]])[]dnl
  54 m4_ifset([b4_parse_param], [, b4_parse_param]))[
  55 {
  56   YYUSE (yyoutput);
  57 ]b4_parse_param_use[]dnl
  58 [
  59   yyparser.yysymprint_ (yytype, yyvaluep]b4_location_if([, yylocationp])[);
  60 }
  61 ]])
  62
  63 m4_prepend([b4_epilogue],
  64 [[
  65 /*------------------.
  66 | Report an error.  |
  67 `------------------*/
  68
  69 ]b4_c_ansi_function_def([yyerror],
  70     [static void],
  71     [[yy::b4_parser_class_name::location_type *yylocationp], [yylocationp]],
  72     b4_parse_param,
  73     [[const char* msg], [msg]])[
  74 {
  75 ]b4_parse_param_use[]dnl
  76 [
  77   yyparser.error (*yylocationp, msg);
  78 }
  79
  80
  81 namespace yy
  82 {
  83 ]dnl Restore the actual parser params.
  84 m4_popdef([b4_parse_param])dnl
  85 [
  86   /// Build a parser object.
  87   ]b4_parser_class_name::b4_parser_class_name[ (]b4_parse_param_decl[)
  88     : yycdebug_ (&std::cerr)]b4_parse_param_cons[
  89   {
  90   }
  91
  92   ]b4_parser_class_name::~b4_parser_class_name[ ()
  93   {
  94   }
  95
  96   int
  97   ]b4_parser_class_name[::parse ()
  98   {
  99     return ::yyparse (*this]b4_user_args[);
 100   }
 101
 102 #if YYDEBUG
 103
 104   /*--------------------------------.
 105   | Print this symbol on YYOUTPUT.  |
 106   `--------------------------------*/
 107
 108   void
 109   ]b4_parser_class_name[::yysymprint_ (int yytype,
 110                            const semantic_type* yyvaluep, const location_type* yylocationp)
 111   {
 112     /* Pacify ``unused variable'' warnings.  */
 113     YYUSE (yyvaluep);
 114     YYUSE (yylocationp);
 115     /* Backward compatibility, but should be removed eventually. */
 116     std::ostream& cdebug_ = *yycdebug_;
 117     YYUSE (cdebug_);
 118
 119     *yycdebug_ << (yytype < YYNTOKENS ? "token" : "nterm")
 120                << ' ' << yytname[yytype] << " ("
 121                << *yylocationp << ": ";
 122     switch (yytype)
 123       {
 124   ]m4_map([b4_symbol_actions], m4_defn([b4_symbol_printers]))dnl
 125 [        default:
 126           break;
 127       }
 128     *yycdebug_ << ')';
 129   }
 130
 131   std::ostream&
 132   ]b4_parser_class_name[::debug_stream () const
 133   {
 134     return *yycdebug_;
 135   }
 136
 137   void
 138   ]b4_parser_class_name[::set_debug_stream (std::ostream& o)
 139   {
 140     yycdebug_ = &o;
 141   }
 142
 143
 144   ]b4_parser_class_name[::debug_level_type
 145   ]b4_parser_class_name[::debug_level () const
 146   {
 147     return ::yydebug;
 148   }
 149
 150   void
 151   ]b4_parser_class_name[::set_debug_level (debug_level_type l)
 152   {
 153     ::yydebug = l;
 154   }
 155
 156 #endif /* ! YYDEBUG */
 157
 158 } // namespace yy
 159
 160 ]])
 161
 162 # Let glr.c believe that the user arguments are only the parser itself.
 163 m4_pushdef([b4_parse_param],
 164            [[yy::b4_parser_class_name& yyparser, yyparser],]
 165            m4_defn([b4_parse_param]))
 166 m4_include(b4_pkgdatadir/[glr.c])
 167 @output @output_header_name@
 168 b4_copyright([C++ Skeleton parser for GLALR(1) parsing with Bison],
 169              [2002, 2003, 2004, 2005])[
 170
 171 /* As a special exception, when this parser skeleton is copied by
 172    Bison into a Bison output file, you may use that output file
 173    without restriction.  This special exception was added by the Free
 174    Software Foundation for C++ GLR parsers in version 2.2 of
 175    Bison.  */
 176
 177 /* C++ GLR parser skeleton written by Akim Demaille.  */
 178
 179 #ifndef PARSER_HEADER_H
 180 # define PARSER_HEADER_H
 181
 182 #include <string>
 183 #include <iostream>
 184
 185 /* Using locations.  */
 186 #define YYLSP_NEEDED ]b4_locations_flag[
 187
 188 namespace yy
 189 {
 190   class position;
 191   class location;
 192 }
 193
 194 /* Copy the first part of user declarations.  */
 195 ]b4_pre_prologue[
 196
 197 ]/* Line __line__ of glr.cc.  */
 198 b4_syncline([@oline@], [@ofile@])[
 199
 200 #include "stack.hh"
 201 #include "location.hh"
 202
 203 /* Enabling traces.  */
 204 #ifndef YYDEBUG
 205 # define YYDEBUG ]b4_debug[
 206 #endif
 207
 208 /* Enabling verbose error messages.  */
 209 #ifdef YYERROR_VERBOSE
 210 # undef YYERROR_VERBOSE
 211 # define YYERROR_VERBOSE 1
 212 #else
 213 # define YYERROR_VERBOSE ]b4_error_verbose[
 214 #endif
 215
 216 /* Enabling the token table.  */
 217 #ifndef YYTOKEN_TABLE
 218 # define YYTOKEN_TABLE ]b4_token_table[
 219 #endif
 220
 221 #if 0
 222 /* Copy the second part of user declarations.  */
 223 ]b4_post_prologue[
 224
 225 ]/* Line __line__ of glr.cc.  */
 226
 227 b4_syncline([@oline@], [@ofile@])[
 228 #endif
 229
 230 /* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
 231    If N is 0, then set CURRENT to the empty location which ends
 232    the previous symbol: RHS[0] (always defined).  */
 233
 234 #ifndef YYLLOC_DEFAULT
 235 # define YYLLOC_DEFAULT(Current, Rhs, N)                                \
 236     do                                                                  \
 237       if (N)                                                            \
 238         {                                                               \
 239           (Current).begin  = YYRHSLOC (Rhs, 1).begin;                   \
 240           (Current).end    = YYRHSLOC (Rhs, N).end;                     \
 241         }                                                               \
 242       else                                                              \
 243         {                                                               \
 244           (Current).begin = (Current).end = YYRHSLOC (Rhs, 0).end;      \
 245         }                                                               \
 246     while (0)
 247 #endif
 248
 249 namespace yy
 250 {
 251   /// A Bison parser.
 252   class ]b4_parser_class_name[
 253   {
 254   public:
 255     /// Symbol semantic values.
 256 #if ! defined (YYSTYPE)
 257 ]m4_ifdef([b4_stype],
 258 [b4_syncline([b4_stype_line], [b4_file_name])
 259     union semantic_type b4_stype;
 260 /* Line __line__ of lalr1.cc.  */
 261 b4_syncline([@oline@], [@ofile@])],
 262 [    typedef int semantic_type;])[
 263 #else
 264     typedef YYSTYPE semantic_type;
 265 #endif
 266     /// Symbol locations.
 267     typedef ]b4_location_type[ location_type;
 268     /// Tokens.
 269     struct token
 270     {
 271       ]b4_token_enums(b4_tokens)[
 272     };
 273
 274     /// Build a parser object.
 275     ]b4_parser_class_name[ (]b4_parse_param_decl[);
 276     virtual ~]b4_parser_class_name[ ();
 277
 278     /// Parse.
 279     /// \returns  0 iff parsing succeeded.
 280     virtual int parse ();
 281
 282     /// The current debugging stream.
 283     std::ostream& debug_stream () const;
 284     /// Set the current debugging stream.
 285     void set_debug_stream (std::ostream &);
 286
 287     /// Type for debugging levels.
 288     typedef int debug_level_type;
 289     /// The current debugging level.
 290     debug_level_type debug_level () const;
 291     /// Set the current debugging level.
 292     void set_debug_level (debug_level_type l);
 293
 294   private:
 295
 296   public:
 297     /// Report a syntax error.
 298     /// \param loc    where the syntax error is found.
 299     /// \param msg    a description of the syntax error.
 300     virtual void error (const location_type& loc, const std::string& msg);
 301   private:
 302
 303 #if YYDEBUG
 304   public:
 305     /// \brief Report a symbol on the debug stream.
 306     /// \param yytype       The token type.
 307     /// \param yyvaluep     Its semantic value.
 308     /// \param yylocationp  Its location.
 309     virtual void yysymprint_ (int yytype,
 310                               const semantic_type* yyvaluep,
 311                               const location_type* yylocationp);
 312   private:
 313 #endif /* ! YYDEBUG */
 314
 315
 316     /// \brief Reclaim the memory associated to a symbol.
 317     /// \param yymsg        Why this token is reclaimed.
 318     /// \param yytype       The symbol type.
 319     /// \param yyvaluep     Its semantic value.
 320     /// \param yylocationp  Its location.
 321     inline void yydestruct_ (const char* yymsg,
 322                              int yytype,
 323                              semantic_type* yyvaluep,
 324                              location_type* yylocationp);
 325
 326     /* Debugging.  */
 327     std::ostream* yycdebug_;
 328 ]b4_parse_param_vars[
 329   };
 330
 331 ]dnl Redirections for glr.c.
 332 [#define YYSTYPE yy::]b4_parser_class_name[::semantic_type
 333 #define YYLTYPE yy::]b4_parser_class_name[::location_type
 334
 335 }
 336
 337 #endif /* ! defined PARSER_HEADER_H */]