(Torturing the Scanner): Don't invoke "cc a.c b.c

[bison.git] / data / lalr1.cc

diff --git a/data/lalr1.cc b/data/lalr1.cc
index 2e4d47da0d3187ac7bdf3c55599f77ad50016b5e..ba8ebcaabcbcddd6abe49b05f5b40d30d3ca55a4 100644 (file)
--- a/data/lalr1.cc
+++ b/data/lalr1.cc
@@ -19,6 +19,23 @@ m4_divert(-1)
 
 m4_include([c.m4])
 
 
 m4_include([c.m4])
 

+## ---------------- ##
+## Default values.  ##
+## ---------------- ##
+
+# Stack parameters.
+m4_define_default([b4_stack_depth_init],  [200])
+
+# Default Parser class name.
+m4_define_default([b4_parser_class_name], [Parser])
+
+
+
+## ----------------- ##
+## Semantic Values.  ##
+## ----------------- ##
+
+

 # b4_lhs_value([TYPE])
 # --------------------
 # Expansion of $<TYPE>$.
 # b4_lhs_value([TYPE])
 # --------------------
 # Expansion of $<TYPE>$.


@@ -31,9 +48,9 @@ m4_define([b4_lhs_value],
 # Expansion of $<TYPE>NUM, where the current rule has RULE-LENGTH
 # symbols on RHS.
 m4_define([b4_rhs_value],
 # Expansion of $<TYPE>NUM, where the current rule has RULE-LENGTH
 # symbols on RHS.
 m4_define([b4_rhs_value],

-[semantic_stack_@<:@m4_eval([$1 - $2])@:>@m4_ifval([$3], [.$3])])
+[semantic_stack_@{m4_eval([$1 - $2])@}m4_ifval([$3], [.$3])])

 
 

-m4_define_default([b4_ltype], [Location])
+m4_define_default([b4_location_type], [Location])

 
 # b4_lhs_location()
 # -----------------
 
 # b4_lhs_location()
 # -----------------


@@ -47,27 +64,8 @@ m4_define([b4_lhs_location],
 # Expansion of @NUM, where the current rule has RULE-LENGTH symbols
 # on RHS.
 m4_define([b4_rhs_location],
 # Expansion of @NUM, where the current rule has RULE-LENGTH symbols
 # on RHS.
 m4_define([b4_rhs_location],

-[location_stack_@<:@m4_eval([$1 - $2])@:>@])
-
-
-m4_define_default([b4_input_suffix], [.y])
-
-m4_define_default([b4_output_parser_suffix],
-[m4_translit(b4_input_suffix, [yY], [cC])])
-
-m4_define_default([b4_output_parser_name],
-[b4_output_prefix[]b4_output_infix[]b4_output_parser_suffix[]])
-
-
-m4_define_default([b4_output_header_suffix],
-[m4_translit(b4_input_suffix, [yY], [hH])])
-
-m4_define_default([b4_output_header_name],
-[b4_output_prefix[]b4_output_infix[]b4_output_header_suffix[]])
+[location_stack_@{m4_eval([$1 - $2])@}])

 
 

-m4_define_default([b4_header_guard],
-                  [m4_bpatsubst(m4_toupper([BISON_]b4_output_header_name),
-                                [[^ABCDEFGHIJKLMNOPQRSTUVWXYZ]], [_])])

 
 m4_define([b4_inherit],
           [m4_ifdef([b4_root],
 
 m4_define([b4_inherit],
           [m4_ifdef([b4_root],


@@ -88,12 +86,14 @@ m4_define([b4_constructor],
                    [])])
 
 
                    [])])
 
 

+# We do want M4 expansion after # for CPP macros.
+m4_changecom()

 m4_divert(0)dnl
 m4_divert(0)dnl

-#output "b4_output_header_name"
+@output @output_header_name@

 b4_copyright([C++ Skeleton parser for LALR(1) parsing with Bison],
              [2002])
 b4_copyright([C++ Skeleton parser for LALR(1) parsing with Bison],
              [2002])

-#ifndef b4_header_guard
-# define b4_header_guard
+#ifndef YYLSP_NEEDED
+# define YYLSP_NEEDED

 
 #include "stack.hh"
 #include "location.hh"
 
 #include "stack.hh"
 #include "location.hh"


@@ -110,7 +110,7 @@ b4_token_defines(b4_tokens)
 b4_pre_prologue
 
 /* Line __line__ of __file__.  */
 b4_pre_prologue
 
 /* Line __line__ of __file__.  */

-#line __oline__ "__ofile__"
+b4_syncline([@oline@], [@ofile@])

 
 /* Enabling traces.  */
 #ifndef YYDEBUG
 
 /* Enabling traces.  */
 #ifndef YYDEBUG


@@ -124,10 +124,10 @@ b4_pre_prologue
 
 #ifndef YYSTYPE
 m4_ifdef([b4_stype],
 
 #ifndef YYSTYPE
 m4_ifdef([b4_stype],

-[#line b4_stype_line "b4_filename"
+[b4_syncline([b4_stype_line], [b4_filename])

 typedef union b4_stype yystype;
 /* Line __line__ of __file__.  */
 typedef union b4_stype yystype;
 /* Line __line__ of __file__.  */

-#line __oline__ "__ofile__"],
+b4_syncline([@oline@], [@ofile@])],

 [typedef int yystype;])
 # define YYSTYPE yystype
 #endif
 [typedef int yystype;])
 # define YYSTYPE yystype
 #endif


@@ -136,7 +136,7 @@ typedef union b4_stype yystype;
 b4_post_prologue
 
 /* Line __line__ of __file__.  */
 b4_post_prologue
 
 /* Line __line__ of __file__.  */

-#line __oline__  "__ofile__"
+b4_syncline([@oline@], [@ofile@])

 #ifndef YYLLOC_DEFAULT
 # define YYLLOC_DEFAULT(Current, Rhs, N) \
    Current.last_line = Rhs[[N]].last_line; \
 #ifndef YYLLOC_DEFAULT
 # define YYLLOC_DEFAULT(Current, Rhs, N) \
    Current.last_line = Rhs[[N]].last_line; \


@@ -145,7 +145,7 @@ b4_post_prologue
 
 namespace yy
 {
 
 namespace yy
 {

-  class b4_name;
+  class b4_parser_class_name;

 
   template < typename P >
   struct Traits
 
   template < typename P >
   struct Traits


@@ -153,47 +153,47 @@ namespace yy
   };
 
   template < >
   };
 
   template < >

-  struct Traits< b4_name >
+  struct Traits< b4_parser_class_name >

   {
     typedef b4_int_type_for([b4_translate]) TokenNumberType;
     typedef b4_int_type_for([b4_rhs])       RhsNumberType;
     typedef int      StateType;
     typedef yystype  SemanticType;
   {
     typedef b4_int_type_for([b4_translate]) TokenNumberType;
     typedef b4_int_type_for([b4_rhs])       RhsNumberType;
     typedef int      StateType;
     typedef yystype  SemanticType;

-    typedef b4_ltype LocationType;
+    typedef b4_location_type LocationType;

   };
 }
 
 namespace yy
 {
   };
 }
 
 namespace yy
 {

-  class b4_name b4_inherit
+  class b4_parser_class_name b4_inherit

   {
   public:
 
   {
   public:
 

-    typedef Traits< b4_name >::TokenNumberType TokenNumberType;
-    typedef Traits< b4_name >::RhsNumberType   RhsNumberType;
-    typedef Traits< b4_name >::StateType       StateType;
-    typedef Traits< b4_name >::SemanticType    SemanticType;
-    typedef Traits< b4_name >::LocationType    LocationType;
+    typedef Traits< b4_parser_class_name >::TokenNumberType TokenNumberType;
+    typedef Traits< b4_parser_class_name >::RhsNumberType   RhsNumberType;
+    typedef Traits< b4_parser_class_name >::StateType       StateType;
+    typedef Traits< b4_parser_class_name >::SemanticType    SemanticType;
+    typedef Traits< b4_parser_class_name >::LocationType    LocationType;

 
     typedef Stack< StateType >    StateStack;
     typedef Stack< SemanticType > SemanticStack;
     typedef Stack< LocationType > LocationStack;
 
 #if YYLSP_NEEDED
 
     typedef Stack< StateType >    StateStack;
     typedef Stack< SemanticType > SemanticStack;
     typedef Stack< LocationType > LocationStack;
 
 #if YYLSP_NEEDED

-    b4_name (bool debug,
+    b4_parser_class_name (bool debug,

            LocationType initlocation[]b4_param) :
       b4_constructor[]debug_ (debug),
       cdebug_ (std::cerr),
       initlocation_ (initlocation)
 #else
            LocationType initlocation[]b4_param) :
       b4_constructor[]debug_ (debug),
       cdebug_ (std::cerr),
       initlocation_ (initlocation)
 #else

-    b4_name (bool debug[]b4_param) :
+    b4_parser_class_name (bool debug[]b4_param) :

       b4_constructor[]debug_ (debug),
       cdebug_ (std::cerr)
 #endif
     {
     }
 
       b4_constructor[]debug_ (debug),
       cdebug_ (std::cerr)
 #endif
     {
     }
 

-    virtual ~b4_name ()
+    virtual ~b4_parser_class_name ()

     {
     }
 
     {
     }
 


@@ -240,6 +240,7 @@ namespace yy
 
     /* Constants.  */
     static const int eof_;
 
     /* Constants.  */
     static const int eof_;

+    /* LAST_ -- Last index in TABLE_.  */

     static const int last_;
     static const int nnts_;
     static const int empty_;
     static const int last_;
     static const int nnts_;
     static const int empty_;


@@ -271,7 +272,7 @@ namespace yy
     SemanticType value;
     LocationType location;
 
     SemanticType value;
     LocationType location;
 

-    /* @$ and $$.  */
+    /* @@$ and $$.  */

     SemanticType yyval;
     LocationType yyloc;
 
     SemanticType yyval;
     LocationType yyloc;
 


@@ -280,13 +281,13 @@ namespace yy
   };
 }
 
   };
 }
 

-#endif /* not b4_header_guard */
+#endif /* ! defined YYLSP_NEEDED */

 dnl
 dnl

-#output "b4_output_prefix[]b4_output_infix[].cc"
+@output @output_parser_name@

 b4_copyright([C++ Skeleton parser for LALR(1) parsing with Bison],
              [2002])
 
 b4_copyright([C++ Skeleton parser for LALR(1) parsing with Bison],
              [2002])
 

-#include "b4_output_header_name"
+#include @output_header_name@

 
 /* Enable debugging if requested.  */
 #if YYDEBUG
 
 /* Enable debugging if requested.  */
 #if YYDEBUG


@@ -296,7 +297,7 @@ b4_copyright([C++ Skeleton parser for LALR(1) parsing with Bison],
 #endif /* !YYDEBUG */
 
 int
 #endif /* !YYDEBUG */
 
 int

-yy::b4_name::parse ()
+yy::b4_parser_class_name::parse ()

 {
   int nerrs = 0;
   int errstatus = 0;
 {
   int nerrs = 0;
   int errstatus = 0;


@@ -357,7 +358,7 @@ yy::b4_name::parse ()
     }
 
   n_ += ilooka_;
     }
 
   n_ += ilooka_;

-  if (n_ < 0 || n_ > last_ || check_[[n_]] != ilooka_)
+  if (n_ < 0 || last_ < n_ || check_[[n_]] != ilooka_)

     goto yydefault;
 
   /* Reduce or error.  */
     goto yydefault;
 
   /* Reduce or error.  */


@@ -425,7 +426,7 @@ yy::b4_name::parse ()
       YYCDEBUG << "Reducing via rule " << n_ - 1
             << " (line " << rline_[[n_]] << "), ";
       for (b4_int_type_for([b4_prhs]) i = prhs_[[n_]];
       YYCDEBUG << "Reducing via rule " << n_ - 1
             << " (line " << rline_[[n_]] << "), ";
       for (b4_int_type_for([b4_prhs]) i = prhs_[[n_]];

-          rhs_[[i]] >= 0; ++i)
+          0 <= rhs_[[i]]; ++i)

        YYCDEBUG << name_[[rhs_[i]]] << ' ';
       YYCDEBUG << "-> " << name_[[r1_[n_]]] << std::endl;
     }
        YYCDEBUG << name_[[rhs_[i]]] << ' ';
       YYCDEBUG << "-> " << name_[[r1_[n_]]] << std::endl;
     }


@@ -443,7 +444,7 @@ yy::b4_name::parse ()
     }
 
 /* Line __line__ of __file__.  */
     }
 
 /* Line __line__ of __file__.  */

-#line __oline__ "__ofile__"
+b4_syncline([@oline@], [@ofile@])

 
   state_stack_.pop (len_);
   semantic_stack_.pop (len_);
 
   state_stack_.pop (len_);
   semantic_stack_.pop (len_);


@@ -466,7 +467,7 @@ yy::b4_name::parse ()
   /* Shift the result of the reduction.  */
   n_ = r1_[[n_]];
   state_ = pgoto_[[n_ - ntokens_]] + state_stack_[[0]];
   /* Shift the result of the reduction.  */
   n_ = r1_[[n_]];
   state_ = pgoto_[[n_ - ntokens_]] + state_stack_[[0]];

-  if (state_ >= 0 && state_ <= last_ && check_[[state_]] == state_stack_[[0]])
+  if (0 <= state_ && state_ <= last_ && check_[[state_]] == state_stack_[[0]])

     state_ = table_[[state_]];
   else
     state_ = defgoto_[[n_ - ntokens_]];
     state_ = table_[[state_]];
   else
     state_ = defgoto_[[n_ - ntokens_]];


@@ -606,7 +607,7 @@ yy::b4_name::parse ()
 }
 
 void
 }
 
 void

-yy::b4_name::lex_ ()
+yy::b4_parser_class_name::lex_ ()

 {
 #if YYLSP_NEEDED
   looka_ = yylex (&value, &location);
 {
 #if YYLSP_NEEDED
   looka_ = yylex (&value, &location);


@@ -617,9 +618,9 @@ yy::b4_name::lex_ ()
 
 /* YYPACT[[STATE-NUM]] -- Index in YYTABLE of the portion describing
    STATE-NUM.  */
 
 /* YYPACT[[STATE-NUM]] -- Index in YYTABLE of the portion describing
    STATE-NUM.  */

-const b4_int_type_for([b4_pact]) yy::b4_name::pact_ninf_ = b4_pact_ninf;
+const b4_int_type_for([b4_pact]) yy::b4_parser_class_name::pact_ninf_ = b4_pact_ninf;

 const b4_int_type_for([b4_pact])
 const b4_int_type_for([b4_pact])

-yy::b4_name::pact_[[]] =
+yy::b4_parser_class_name::pact_[[]] =

 {
   b4_pact
 };
 {
   b4_pact
 };


@@ -628,21 +629,21 @@ yy::b4_name::pact_[[]] =
    doesn't specify something else to do.  Zero means the default is an
    error.  */
 const b4_int_type_for([b4_defact])
    doesn't specify something else to do.  Zero means the default is an
    error.  */
 const b4_int_type_for([b4_defact])

-yy::b4_name::defact_[[]] =
+yy::b4_parser_class_name::defact_[[]] =

 {
   b4_defact
 };
 
 /* YYPGOTO[[NTERM-NUM]].  */
 const b4_int_type_for([b4_pgoto])
 {
   b4_defact
 };
 
 /* YYPGOTO[[NTERM-NUM]].  */
 const b4_int_type_for([b4_pgoto])

-yy::b4_name::pgoto_[[]] =
+yy::b4_parser_class_name::pgoto_[[]] =

 {
   b4_pgoto
 };
 
 /* YYDEFGOTO[[NTERM-NUM]].  */
 const b4_int_type_for([b4_defgoto])
 {
   b4_pgoto
 };
 
 /* YYDEFGOTO[[NTERM-NUM]].  */
 const b4_int_type_for([b4_defgoto])

-yy::b4_name::defgoto_[[]] =
+yy::b4_parser_class_name::defgoto_[[]] =

 {
   b4_defgoto
 };
 {
   b4_defgoto
 };


@@ -650,16 +651,16 @@ yy::b4_name::defgoto_[[]] =
 /* YYTABLE[[YYPACT[STATE-NUM]]].  What to do in state STATE-NUM.  If
    positive, shift that token.  If negative, reduce the rule which
    number is the opposite.  If zero, do what YYDEFACT says.  */
 /* YYTABLE[[YYPACT[STATE-NUM]]].  What to do in state STATE-NUM.  If
    positive, shift that token.  If negative, reduce the rule which
    number is the opposite.  If zero, do what YYDEFACT says.  */

-const b4_int_type_for([b4_table]) yy::b4_name::table_ninf_ = b4_table_ninf;
+const b4_int_type_for([b4_table]) yy::b4_parser_class_name::table_ninf_ = b4_table_ninf;

 const b4_int_type_for([b4_table])
 const b4_int_type_for([b4_table])

-yy::b4_name::table_[[]] =
+yy::b4_parser_class_name::table_[[]] =

 {
   b4_table
 };
 
 /* YYCHECK.  */
 const b4_int_type_for([b4_check])
 {
   b4_table
 };
 
 /* YYCHECK.  */
 const b4_int_type_for([b4_check])

-yy::b4_name::check_[[]] =
+yy::b4_parser_class_name::check_[[]] =

 {
   b4_check
 };
 {
   b4_check
 };


@@ -668,7 +669,7 @@ yy::b4_name::check_[[]] =
 /* STOS_[[STATE-NUM]] -- The (internal number of the) accessing
    symbol of state STATE-NUM.  */
 const b4_int_type_for([b4_stos])
 /* STOS_[[STATE-NUM]] -- The (internal number of the) accessing
    symbol of state STATE-NUM.  */
 const b4_int_type_for([b4_stos])

-yy::b4_name::stos_[[]] =
+yy::b4_parser_class_name::stos_[[]] =

 {
   b4_stos
 };
 {
   b4_stos
 };


@@ -676,7 +677,7 @@ yy::b4_name::stos_[[]] =
 /* TOKEN_NUMBER_[[YYLEX-NUM]] -- Internal token number corresponding
    to YYLEX-NUM.  */
 const b4_int_type_for([b4_toknum])
 /* TOKEN_NUMBER_[[YYLEX-NUM]] -- Internal token number corresponding
    to YYLEX-NUM.  */
 const b4_int_type_for([b4_toknum])

-yy::b4_name::token_number_[[]] =
+yy::b4_parser_class_name::token_number_[[]] =

 {
   b4_toknum
 };
 {
   b4_toknum
 };


@@ -684,14 +685,14 @@ yy::b4_name::token_number_[[]] =
 
 /* YYR1[[YYN]] -- Symbol number of symbol that rule YYN derives.  */
 const b4_int_type_for([b4_r1])
 
 /* YYR1[[YYN]] -- Symbol number of symbol that rule YYN derives.  */
 const b4_int_type_for([b4_r1])

-yy::b4_name::r1_[[]] =
+yy::b4_parser_class_name::r1_[[]] =

 {
   b4_r1
 };
 
 /* YYR2[[YYN]] -- Number of symbols composing right hand side of rule YYN.  */
 const b4_int_type_for([b4_r2])
 {
   b4_r1
 };
 
 /* YYR2[[YYN]] -- Number of symbols composing right hand side of rule YYN.  */
 const b4_int_type_for([b4_r2])

-yy::b4_name::r2_[[]] =
+yy::b4_parser_class_name::r2_[[]] =

 {
   b4_r2
 };
 {
   b4_r2
 };


@@ -700,7 +701,7 @@ yy::b4_name::r2_[[]] =
 /* YYTNAME[[SYMBOL-NUM]] -- String name of the symbol SYMBOL-NUM.
    First, the terminals, then, starting at YYNTOKENS, nonterminals. */
 const char*
 /* YYTNAME[[SYMBOL-NUM]] -- String name of the symbol SYMBOL-NUM.
    First, the terminals, then, starting at YYNTOKENS, nonterminals. */
 const char*

-const yy::b4_name::name_[[]] =
+const yy::b4_parser_class_name::name_[[]] =

 {
   b4_tname
 };
 {
   b4_tname
 };


@@ -708,8 +709,8 @@ const yy::b4_name::name_[[]] =
 
 #if YYDEBUG
 /* YYRHS -- A `-1'-separated list of the rules' RHS. */
 
 #if YYDEBUG
 /* YYRHS -- A `-1'-separated list of the rules' RHS. */

-const yy::b4_name::RhsNumberType
-yy::b4_name::rhs_[[]] =
+const yy::b4_parser_class_name::RhsNumberType
+yy::b4_parser_class_name::rhs_[[]] =

 {
   b4_rhs
 };
 {
   b4_rhs
 };


@@ -717,22 +718,22 @@ yy::b4_name::rhs_[[]] =
 /* YYPRHS[[YYN]] -- Index of the first RHS symbol of rule number YYN in
    YYRHS.  */
 const b4_int_type_for([b4_prhs])
 /* YYPRHS[[YYN]] -- Index of the first RHS symbol of rule number YYN in
    YYRHS.  */
 const b4_int_type_for([b4_prhs])

-yy::b4_name::prhs_[[]] =
+yy::b4_parser_class_name::prhs_[[]] =

 {
   b4_prhs
 };
 
 /* YYRLINE[[YYN]] -- source line where rule number YYN was defined.  */
 const b4_int_type_for([b4_rline])
 {
   b4_prhs
 };
 
 /* YYRLINE[[YYN]] -- source line where rule number YYN was defined.  */
 const b4_int_type_for([b4_rline])

-yy::b4_name::rline_[[]] =
+yy::b4_parser_class_name::rline_[[]] =

 {
   b4_rline
 };
 #endif
 
 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */
 {
   b4_rline
 };
 #endif
 
 /* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */

-yy::b4_name::TokenNumberType
-yy::b4_name::translate_ (int token)
+yy::b4_parser_class_name::TokenNumberType
+yy::b4_parser_class_name::translate_ (int token)

 {
   static
   const TokenNumberType
 {
   static
   const TokenNumberType


@@ -746,22 +747,22 @@ yy::b4_name::translate_ (int token)
     return undef_token_;
 }
 
     return undef_token_;
 }
 

-const int yy::b4_name::eof_ = 0;
-const int yy::b4_name::last_ = b4_last;
-const int yy::b4_name::nnts_ = b4_nterms_number;
-const int yy::b4_name::empty_ = -2;
-const int yy::b4_name::final_ = b4_final_state_number;
-const int yy::b4_name::terror_ = 1;
-const int yy::b4_name::errcode_ = 256;
-const int yy::b4_name::ntokens_ = b4_tokens_number;
-const int yy::b4_name::initdepth_ = b4_initdepth;
+const int yy::b4_parser_class_name::eof_ = 0;
+const int yy::b4_parser_class_name::last_ = b4_last;
+const int yy::b4_parser_class_name::nnts_ = b4_nterms_number;
+const int yy::b4_parser_class_name::empty_ = -2;
+const int yy::b4_parser_class_name::final_ = b4_final_state_number;
+const int yy::b4_parser_class_name::terror_ = 1;
+const int yy::b4_parser_class_name::errcode_ = 256;
+const int yy::b4_parser_class_name::ntokens_ = b4_tokens_number;
+const int yy::b4_parser_class_name::initdepth_ = b4_stack_depth_init;

 
 

-const unsigned yy::b4_name::user_token_number_max_ = b4_user_token_number_max;
-const yy::b4_name::TokenNumberType yy::b4_name::undef_token_ = b4_undef_token_number;
+const unsigned yy::b4_parser_class_name::user_token_number_max_ = b4_user_token_number_max;
+const yy::b4_parser_class_name::TokenNumberType yy::b4_parser_class_name::undef_token_ = b4_undef_token_number;

 
 b4_epilogue
 dnl
 
 b4_epilogue
 dnl

-#output "stack.hh"
+@output stack.hh

 b4_copyright([2002])
 
 #ifndef BISON_STACK_HH
 b4_copyright([2002])
 
 #ifndef BISON_STACK_HH


@@ -858,7 +859,7 @@ namespace yy
 
 #endif // not BISON_STACK_HH
 dnl
 
 #endif // not BISON_STACK_HH
 dnl

-#output "location.hh"
+@output location.hh

 b4_copyright([2002])
 
 #ifndef BISON_LOCATION_HH
 b4_copyright([2002])
 
 #ifndef BISON_LOCATION_HH