bench: report the size too.

[bison.git] / data / lalr1.java

diff --git a/data/lalr1.java b/data/lalr1.java
index 7c1add6997a99371c5bc16cee7258a72ed8e91f5..7e220d980497fab4a3a2f3a108d875cd3252781f 100644 (file)
--- a/data/lalr1.java
+++ b/data/lalr1.java
@@ -1,21 +1,19 @@
 # Java skeleton for Bison -*- autoconf -*-
 
 # Java skeleton for Bison -*- autoconf -*-
 

-# Copyright (C) 2007 Free Software Foundation, Inc.
+# Copyright (C) 2007, 2008 Free Software Foundation, Inc.

 
 

-# This program is free software; you can redistribute it and/or modify
+# This program is free software: you can redistribute it and/or modify

 # it under the terms of the GNU General Public License as published by
 # it under the terms of the GNU General Public License as published by

-# the Free Software Foundation; either version 2 of the License, or
+# the Free Software Foundation, either version 3 of the License, or

 # (at your option) any later version.
 # (at your option) any later version.

-
+#

 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of
 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 # GNU General Public License for more details.
 # This program is distributed in the hope that it will be useful,
 # but WITHOUT ANY WARRANTY; without even the implied warranty of
 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 # GNU General Public License for more details.

-
+#

 # You should have received a copy of the GNU General Public License
 # You should have received a copy of the GNU General Public License

-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
-# 02110-1301  USA
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.

 
 m4_include(b4_pkgdatadir/[java.m4])
 
 
 m4_include(b4_pkgdatadir/[java.m4])
 


@@ -27,18 +25,24 @@ m4_ifval(m4_defn([b4_symbol_destructors]),
 m4_divert_push(0)dnl
 @output(b4_parser_file_name@)
 b4_copyright([Skeleton implementation for Bison LALR(1) parsers in Java],
 m4_divert_push(0)dnl
 @output(b4_parser_file_name@)
 b4_copyright([Skeleton implementation for Bison LALR(1) parsers in Java],

-  [2007])
+  [2007, 2008])

 
 b4_percent_define_ifdef([package], [package b4_percent_define_get([package]);
 ])[/* First part of user declarations.  */
 ]b4_pre_prologue
 b4_percent_code_get([[imports]])
 [/**
 
 b4_percent_define_ifdef([package], [package b4_percent_define_get([package]);
 ])[/* First part of user declarations.  */
 ]b4_pre_prologue
 b4_percent_code_get([[imports]])
 [/**

- * A Bison parser, automatically generated from <tt>@ofile@</tt>.
+ * A Bison parser, automatically generated from <tt>]m4_bpatsubst(b4_file_name, [^"\(.*\)"$], [\1])[</tt>.

  *
  * @@author LALR (1) parser skeleton written by Paolo Bonzini.
  */
  *
  * @@author LALR (1) parser skeleton written by Paolo Bonzini.
  */

-]b4_public_if([public ])b4_abstract_if([abstract ])[class ]b4_parser_class_name[
+]b4_public_if([public ])dnl
+b4_abstract_if([abstract ])dnl
+b4_final_if([final ])dnl
+b4_strictfp_if([strictfp ])dnl
+[class ]b4_parser_class_name[]dnl
+b4_percent_define_get3([extends], [ extends ])dnl
+b4_percent_define_get3([implements], [ implements ])[

 {
   ]b4_identification[
 
 {
   ]b4_identification[
 


@@ -59,7 +63,7 @@ b4_locations_if([[
     public ]b4_position_type[ end;
 
     /**
     public ]b4_position_type[ end;
 
     /**

-     * Create a ]b4_location_type[ denoting an empty range located at
+     * Create a <code>]b4_location_type[</code> denoting an empty range located at

      * a given point.
      * @@param loc The position at which the range is anchored.  */
     public ]b4_location_type[ (]b4_position_type[ loc) {
      * a given point.
      * @@param loc The position at which the range is anchored.  */
     public ]b4_location_type[ (]b4_position_type[ loc) {


@@ -69,7 +73,7 @@ b4_locations_if([[
     /**
      * Create a <code>]b4_location_type[</code> from the endpoints of the range.
      * @@param begin The first position included in the range.
     /**
      * Create a <code>]b4_location_type[</code> from the endpoints of the range.
      * @@param begin The first position included in the range.

-     * @@param begin The first position beyond the range.  */
+     * @@param end   The first position beyond the range.  */

     public ]b4_location_type[ (]b4_position_type[ begin, ]b4_position_type[ end) {
       this.begin = begin;
       this.end = end;
     public ]b4_location_type[ (]b4_position_type[ begin, ]b4_position_type[ end) {
       this.begin = begin;
       this.end = end;


@@ -95,15 +99,15 @@ b4_locations_if([[
 b4_token_enums(b4_tokens)
 
   b4_locations_if([[
 b4_token_enums(b4_tokens)
 
   b4_locations_if([[

-  private ]b4_location_type[ yylloc (Stack rhs, int n)
+  private ]b4_location_type[ yylloc (YYStack rhs, int n)

   {
     if (n > 0)
       return new ]b4_location_type[ (rhs.locationAt (1).begin, rhs.locationAt (n).end);
     else
       return new ]b4_location_type[ (rhs.locationAt (0).end);
   {
     if (n > 0)
       return new ]b4_location_type[ (rhs.locationAt (1).begin, rhs.locationAt (n).end);
     else
       return new ]b4_location_type[ (rhs.locationAt (0).end);

-  }]])
+  }]])[

 
 

-  b4_pure_if([[/**
+  /**

    * Communication interface between the scanner and the Bison-generated
    * parser <tt>]b4_parser_class_name[</tt>.
    */
    * Communication interface between the scanner and the Bison-generated
    * parser <tt>]b4_parser_class_name[</tt>.
    */


@@ -121,68 +125,66 @@ b4_token_enums(b4_tokens)
     /**
      * Method to retrieve the semantic value of the last scanned token.
      * @@return the semantic value of the last scanned token.  */
     /**
      * Method to retrieve the semantic value of the last scanned token.
      * @@return the semantic value of the last scanned token.  */

-    ]b4_union_name[ getLVal ();]], [[
-
-    /**
-     * A place where the scanner can store the beginning position of the
-     * last scanned token.  */
-    ]b4_locations_if([b4_position_type[ yystartpos;]])[
+    ]b4_yystype[ getLVal ();

 
     /**
 
     /**

-     * A place where the scanner can store the ending position of the last
-     * scanned token, i.e. the first position beyond the last scanned token.  */
-    ]b4_locations_if([b4_position_type[ yyendpos;]])[
-
-    /**
-     * A place where the scanner can store the semantic value of the
-     * last scanned token.  */
-    protected ]b4_union_name[ yylval;]])
-
-    b4_single_class_if([], [[/**

      * Entry point for the scanner.  Returns the token identifier corresponding
      * Entry point for the scanner.  Returns the token identifier corresponding

-     * to the next token and ]b4_pure_if([prepares to return], [stores])[
-     * the semantic value]b4_locations_if([ and beginning/ending positions])[
-     * of the token. 
+     * to the next token and prepares to return the semantic value
+     * ]b4_locations_if([and beginning/ending positions ])[of the token. 

      * @@return the token identifier corresponding to the next token. */
      * @@return the token identifier corresponding to the next token. */

-    abstract int yylex (]b4_lex_param_decl) b4_maybe_throws([b4_lex_throws])[;
+    int yylex () ]b4_maybe_throws([b4_lex_throws])[;

 
     /**
      * Entry point for error reporting.  Emits an error
 
     /**
      * Entry point for error reporting.  Emits an error

-     * ]b4_locations_if([ referring to the given location])[in a user-defined
-     * way.
+     * ]b4_locations_if([referring to the given location ])[in a user-defined way.

      *
      *

-     * ]b4_locations_if([loc], [[The location of the element to which the
+     * ]b4_locations_if([[@@param loc The location of the element to which the

      *                error message is related]])[
      * @@param s The string for the error message.  */
      *                error message is related]])[
      * @@param s The string for the error message.  */

-     abstract void yyerror (]b4_locations_if([b4_location_type[ loc, ]])[String s);]])
-  b4_pure_if([}
+     void yyerror (]b4_locations_if([b4_location_type[ loc, ]])[String s);]
+  }

 
 

-  /** The object doing lexical analysis for us.  */
-  private Lexer yylex;])
-  b4_parse_param_vars[
+  b4_lexer_if([[private class YYLexer implements Lexer {
+]b4_percent_code_get([[lexer]])[
+  }
+
+  ]])[/** The object doing lexical analysis for us.  */
+  private Lexer yylexer;
+  ]
+  b4_parse_param_vars

 
 

+b4_lexer_if([[

   /**
   /**

-   * Instantiates the Bison-generated parser.  ]b4_pure_if([
-   * @@param yylex The scanner that will supply tokens to the parser.])[
+   * Instantiates the Bison-generated parser.

    */
    */

-  public ]b4_parser_class_name[ (]b4_parse_param_decl([b4_pure_if([Lexer yylex])])[) {
-    ]b4_pure_if(this.yylex = yylex;)
-    b4_parse_param_cons[
+  public ]b4_parser_class_name (b4_parse_param_decl([b4_lex_param_decl])[) {
+    this.yylexer = new YYLexer(]b4_lex_param_call[);
+    ]b4_parse_param_cons[

   }
   }

+]])

 
 

-  private java.io.PrintStream debugStream = System.err;
+  /**
+   * Instantiates the Bison-generated parser.
+   * @@param yylexer The scanner that will supply tokens to the parser.
+   */
+  b4_lexer_if([[protected]], [[public]]) b4_parser_class_name[ (]b4_parse_param_decl([[Lexer yylexer]])[) {
+    this.yylexer = yylexer;
+    ]b4_parse_param_cons[
+  }
+
+  private java.io.PrintStream yyDebugStream = System.err;

 
   /**
    * Return the <tt>PrintStream</tt> on which the debugging output is
    * printed.
    */
 
   /**
    * Return the <tt>PrintStream</tt> on which the debugging output is
    * printed.
    */

-  public final java.io.PrintStream getDebugStream () { return debugStream; }
+  public final java.io.PrintStream getDebugStream () { return yyDebugStream; }

 
   /**
    * Set the <tt>PrintStream</tt> on which the debug output is printed.
    * @@param s The stream that is used for debugging output.
    */
 
   /**
    * Set the <tt>PrintStream</tt> on which the debug output is printed.
    * @@param s The stream that is used for debugging output.
    */

-  public final void setDebugStream(java.io.PrintStream s) { debugStream = s; }
+  public final void setDebugStream(java.io.PrintStream s) { yyDebugStream = s; }

 
   private int yydebug = 0;
 
 
   private int yydebug = 0;
 


@@ -199,35 +201,35 @@ b4_token_enums(b4_tokens)
    */
   public final void setDebugLevel(int level) { yydebug = level; }
 
    */
   public final void setDebugLevel(int level) { yydebug = level; }
 

-  ]b4_pure_if([[
-  private final int yylex (]b4_lex_param_decl) b4_maybe_throws([b4_lex_throws]) [{
-    return yylex.yylex (]b4_lex_param_call[);
+  private final int yylex () ]b4_maybe_throws([b4_lex_throws]) [{
+    return yylexer.yylex ();

   }
   protected final void yyerror (]b4_locations_if([b4_location_type[ loc, ]])[String s) {
   }
   protected final void yyerror (]b4_locations_if([b4_location_type[ loc, ]])[String s) {

-    yylex.yyerror (]b4_locations_if([loc, ])[s);
-  }]])
-  b4_locations_if([
+    yylexer.yyerror (]b4_locations_if([loc, ])[s);
+  }
+
+  ]b4_locations_if([

   protected final void yyerror (String s) {
   protected final void yyerror (String s) {

-    yyerror ((Location)null, s);
+    yylexer.yyerror ((]b4_location_type[)null, s);

   }
   protected final void yyerror (]b4_position_type[ loc, String s) {
   }
   protected final void yyerror (]b4_position_type[ loc, String s) {

-    yyerror (new ]b4_location_type[ (loc), s);
+    yylexer.yyerror (new ]b4_location_type[ (loc), s);

   }])
 
   [protected final void yycdebug (String s) {
     if (yydebug > 0)
   }])
 
   [protected final void yycdebug (String s) {
     if (yydebug > 0)

-      debugStream.println (s);
+      yyDebugStream.println (s);

   }
 
   }
 

-  private final class Stack {
+  private final class YYStack {

     private int[] stateStack = new int[16];
     ]b4_locations_if([[private ]b4_location_type[[] locStack = new ]b4_location_type[[16];]])[
     private int[] stateStack = new int[16];
     ]b4_locations_if([[private ]b4_location_type[[] locStack = new ]b4_location_type[[16];]])[

-    private ]b4_union_name[[] valueStack = new ]b4_union_name[[16];
+    private ]b4_yystype[[] valueStack = new ]b4_yystype[[16];

 
 

-    private int size = 16;
-    private int height = -1;
+    public int size = 16;
+    public int height = -1;

     
     

-    public final void push (int state, ]b4_union_name[ value]dnl
+    public final void push (int state, ]b4_yystype[ value]dnl

                            b4_locations_if([, ]b4_location_type[ loc])[) {
       height++;
       if (size == height) 
                            b4_locations_if([, ]b4_location_type[ loc])[) {
       height++;
       if (size == height) 


@@ -240,7 +242,7 @@ b4_token_enums(b4_tokens)
          System.arraycopy (locStack, 0, newLocStack, 0, height);
          locStack = newLocStack;]])
          
          System.arraycopy (locStack, 0, newLocStack, 0, height);
          locStack = newLocStack;]])
          

-         b4_union_name[[] newValueStack = new ]b4_union_name[[size * 2];
+         b4_yystype[[] newValueStack = new ]b4_yystype[[size * 2];

          System.arraycopy (valueStack, 0, newValueStack, 0, height);
          valueStack = newValueStack;
 
          System.arraycopy (valueStack, 0, newValueStack, 0, height);
          valueStack = newValueStack;
 


@@ -273,12 +275,12 @@ b4_token_enums(b4_tokens)
       return locStack[height - i];
     }
 
       return locStack[height - i];
     }
 

-    ]])[public final ]b4_union_name[ valueAt (int i) {
+    ]])[public final ]b4_yystype[ valueAt (int i) {

       return valueStack[height - i];
     }
 
     // Print the state stack on the debug stream.
       return valueStack[height - i];
     }
 
     // Print the state stack on the debug stream.

-    private void print (java.io.PrintStream out)
+    public void print (java.io.PrintStream out)

     {
       out.print ("Stack now");
       
     {
       out.print ("Stack now");
       


@@ -323,14 +325,14 @@ b4_token_enums(b4_tokens)
    * Return whether error recovery is being done.  In this state, the parser
    * reads token until it reaches a known state, and then restarts normal
    * operation.  */
    * Return whether error recovery is being done.  In this state, the parser
    * reads token until it reaches a known state, and then restarts normal
    * operation.  */

-  public final boolean yyrecovering ()
+  public final boolean recovering ()

   {
     return yyerrstatus_ == 0;
   }
 
   {
     return yyerrstatus_ == 0;
   }
 

-  private int yyaction (int yyn, Stack yystack, int yylen)
+  private int yyaction (int yyn, YYStack yystack, int yylen) ]b4_maybe_throws([b4_throws])[

   {
   {

-    ]b4_union_name[ yyval;
+    ]b4_yystype[ yyval;

     ]b4_locations_if([b4_location_type[ yyloc = yylloc (yystack, yylen);]])[
 
     /* If YYLEN is nonzero, implement the default value of the action:
     ]b4_locations_if([b4_location_type[ yyloc = yylloc (yystack, yylen);]])[
 
     /* If YYLEN is nonzero, implement the default value of the action:


@@ -410,14 +412,14 @@ b4_token_enums(b4_tokens)
   `--------------------------------*/
 
   private void yy_symbol_print (String s, int yytype,
   `--------------------------------*/
 
   private void yy_symbol_print (String s, int yytype,

-                                ]b4_union_name[ yyvaluep]dnl
+                                ]b4_yystype[ yyvaluep]dnl

                                 b4_locations_if([, Object yylocationp])[)
   {
     if (yydebug > 0)
     yycdebug (s + (yytype < yyntokens_ ? " token " : " nterm ")
              + yytname_[yytype] + " ("]b4_locations_if([
              + yylocationp + ": "])[
                                 b4_locations_if([, Object yylocationp])[)
   {
     if (yydebug > 0)
     yycdebug (s + (yytype < yyntokens_ ? " token " : " nterm ")
              + yytname_[yytype] + " ("]b4_locations_if([
              + yylocationp + ": "])[

-             + (yyvaluep == null ? "(null)" : yyvaluep) + ")");
+             + (yyvaluep == null ? "(null)" : yyvaluep.toString ()) + ")");

   }
 
   /**
   }
 
   /**


@@ -427,7 +429,7 @@ b4_token_enums(b4_tokens)
    * @@return <tt>true</tt> if the parsing succeeds.  Note that this does not
    *          imply that there were no syntax errors.
    */
    * @@return <tt>true</tt> if the parsing succeeds.  Note that this does not
    *          imply that there were no syntax errors.
    */

-  public boolean parse () ]b4_maybe_throws([b4_throws])[
+  public boolean parse () ]b4_maybe_throws([b4_list2([b4_lex_throws], [b4_throws])])[

   {
     /// Lookahead and lookahead in internal form.
     int yychar = yyempty_;
   {
     /// Lookahead and lookahead in internal form.
     int yychar = yyempty_;


@@ -438,7 +440,7 @@ b4_token_enums(b4_tokens)
     int yylen = 0;
     int yystate = 0;
 
     int yylen = 0;
     int yystate = 0;
 

-    Stack yystack = new Stack ();
+    YYStack yystack = new YYStack ();

 
     /* Error handling.  */
     int yynerrs_ = 0;
 
     /* Error handling.  */
     int yynerrs_ = 0;


@@ -452,7 +454,7 @@ b4_token_enums(b4_tokens)
     ]b4_location_type[ yyloc;])
 
     /// Semantic value of the lookahead.
     ]b4_location_type[ yyloc;])
 
     /// Semantic value of the lookahead.

-    b4_union_name[ yylval = null;
+    b4_yystype[ yylval = null;

 
     int yyresult;
 
 
     int yyresult;
 


@@ -479,7 +481,7 @@ m4_popdef([b4_at_dollar])])dnl
       case YYNEWSTATE:
         yycdebug ("Entering state " + yystate + "\n");
         if (yydebug > 0)
       case YYNEWSTATE:
         yycdebug ("Entering state " + yystate + "\n");
         if (yydebug > 0)

-          yystack.print (debugStream);
+          yystack.print (yyDebugStream);

     
         /* Accept?  */
         if (yystate == yyfinal_)
     
         /* Accept?  */
         if (yystate == yyfinal_)


@@ -497,13 +499,11 @@ m4_popdef([b4_at_dollar])])dnl
         if (yychar == yyempty_)
           {
            yycdebug ("Reading a token: ");
         if (yychar == yyempty_)
           {
            yycdebug ("Reading a token: ");

-           yychar = yylex (]b4_lex_param_call[);]
-            b4_locations_if([
-           b4_pure_if([yylloc = new ]b4_location_type[(yylex.getStartPos (),
-                                                       yylex.getEndPos ());],
-                      [yylloc = new ]b4_location_type[(this.yystartpos,
-                                                       this.yyendpos);]);])
-            b4_pure_if([yylval = yylex.getLVal ()], [yylval = this.yylval]);[
+           yychar = yylex ();]
+            b4_locations_if([[
+           yylloc = new ]b4_location_type[(yylexer.getStartPos (),
+                                           yylexer.getEndPos ());]])
+            yylval = yylexer.getLVal ();[

           }
     
         /* Convert token to internal form.  */
           }
     
         /* Convert token to internal form.  */


@@ -651,7 +651,7 @@ m4_popdef([b4_at_dollar])])dnl
            yystack.pop ();
            yystate = yystack.stateAt (0);
            if (yydebug > 0)
            yystack.pop ();
            yystate = yystack.stateAt (0);
            if (yydebug > 0)

-             yystack.print (debugStream);
+             yystack.print (yyDebugStream);

           }
     
        ]b4_locations_if([
           }
     
        ]b4_locations_if([


@@ -827,7 +827,7 @@ m4_popdef([b4_at_dollar])])dnl
   };
 
   // Report on the debug stream that the rule yyrule is going to be reduced.
   };
 
   // Report on the debug stream that the rule yyrule is going to be reduced.

-  private void yy_reduce_print (int yyrule, Stack yystack)
+  private void yy_reduce_print (int yyrule, YYStack yystack)

   {
     if (yydebug == 0)
       return;
   {
     if (yydebug == 0)
       return;