* configure.in (WERROR_CFLAGS): Compute it.

[bison.git] / src / parse-skel.y

diff --git a/src/parse-skel.y b/src/parse-skel.y
index 9223485e86f482d869e1bf1d3b03c65b964167b6..34445f3f1472e6d552bc633ab65bcf7298351a27 100644 (file)
--- a/src/parse-skel.y
+++ b/src/parse-skel.y
@@ -1,16 +1,48 @@
-%{
+                                                             /* -*- C -*- */
+/* Parse Bison Skeletons.
+   Copyright (C) 2001  Free Software Foundation, Inc.
+
+   This file is part of Bison, the GNU Compiler Compiler.
+
+   Bison is free software; you can redistribute it and/or modify it
+   under the terms of the GNU General Public License as published by
+   the Free Software Foundation; either version 2, or (at your option)
+   any later version.
+
+   Bison 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
+   along with Bison; see the file COPYING.  If not, write to the Free
+   Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+   02111-1307, USA.  */
+
+%debug
+%defines
+%verbose
+%locations
+%name-prefix="skel_"
+%pure-parser

 
 

+%{

 #include "system.h"
 #include "obstack.h"
 #include "system.h"
 #include "obstack.h"

+#include "quotearg.h"

 #include "files.h"
 #include "files.h"

-
+#include "getargs.h"
+#include "output.h"
+#include "skeleton.h"

 #include "muscle_tab.h"
 
 #include "muscle_tab.h"
 

-#define YYDEBUG 1

 #define YYERROR_VERBOSE 1
 
 #define YYERROR_VERBOSE 1
 

-extern FILE* yyin;
-extern int   yylineno;
+/* Pass the control structure to YYPARSE but not YYLEX (yet?). */
+#define YYPARSE_PARAM skel_control
+/* YYPARSE receives SKEL_CONTROL as a void *.  Provide a correctly
+   typed access to it.  */
+#define yycontrol ((skel_control_t *) skel_control)

 
 char* prefix = NULL;
 FILE* parser = NULL;
 
 char* prefix = NULL;
 FILE* parser = NULL;


@@ -18,21 +50,39 @@ FILE* parser = NULL;
 size_t output_line;
 size_t skeleton_line;
 
 size_t output_line;
 size_t skeleton_line;
 

-extern struct obstack muscle_obstack;
+static void merror PARAMS ((const char* error));
+
+/* Request detailed parse error messages, and pass them to
+   YLEVAL_ERROR. */
+#undef  yyerror
+#define yyerror(Msg) \
+        skel_error (yycontrol, &yylloc, Msg)

 
 

+/* When debugging our pure parser, we want to see values and locations
+   of the tokens.  */
+#define YYPRINT(File, Type, Value) \
+        yyprint (File, &yylloc, Type, &Value)
+static void yyprint (FILE *file, const yyltype *loc,
+                     int type, const yystype *value);

 %}
 
 %union
 {
 %}
 
 %union
 {

-  char* muscle;
-  char* string;
+  char *string;

   char character;
   char character;

-  int yacc;
+  int  boolean;

 }
 
 }
 

-%token< muscle > MUSCLE
-%token< string > STRING
-%token< character > CHARACTER
+/* Name of a muscle. */
+%token <string> MUSCLE
+/* A string dedicated to Bison (%%"foo").  */
+%token <string> STRING
+/* Raw data, to output directly. */
+%token <string> RAW
+/* Spaces. */
+%token <string> BLANKS
+/* Raw data, but char by char. */
+%token <character> CHARACTER

 
 %token LINE
 %token SLINE
 
 %token LINE
 %token SLINE


@@ -44,11 +94,14 @@ extern struct obstack muscle_obstack;
 %token TOKENS
 %token ACTIONS
 
 %token TOKENS
 %token ACTIONS
 

-%type< yacc > section.yacc
+%type <boolean> section.yacc

 
 

-%start skeleton
+%start input

 
 %%
 
 %%

+input:
+     { LOCATION_RESET (yylloc) } skeleton
+  ;

 
 skeleton : /* Empty.  */    { }
          | section skeleton { }
 
 skeleton : /* Empty.  */    { }
          | section skeleton { }


@@ -57,11 +110,11 @@ skeleton : /* Empty.  */    { }
 section : section.header section.body { }
 ;
 
 section : section.header section.body { }
 ;
 

-section.header : SECTION gb MUSCLE gb STRING gb section.yacc gb '\n'
+section.header : SECTION BLANKS MUSCLE BLANKS STRING BLANKS section.yacc '\n'

 {
 {

-  char* name = 0;
-  char* limit = 0;
-  char* suffix = $5;
+  char *name = 0;
+  char *limit = 0;
+  char *suffix = $5;

 
   /* Close the previous parser.  */
   if (parser)
 
   /* Close the previous parser.  */
   if (parser)


@@ -70,7 +123,7 @@ section.header : SECTION gb MUSCLE gb STRING gb section.yacc gb '\n'
   /* If the following section should be named with the yacc-style, and it's
      suffix is of the form 'something.h' or 'something.c', then add '.tab' in
      the middle of the suffix.  */
   /* If the following section should be named with the yacc-style, and it's
      suffix is of the form 'something.h' or 'something.c', then add '.tab' in
      the middle of the suffix.  */

-  if (tab_extension && $7 && (strsuffix (suffix, ".h") || 
+  if (tab_extension && $7 && (strsuffix (suffix, ".h") ||

                              strsuffix (suffix, ".c")))
     {
       size_t prefix_len = strlen (prefix);
                              strsuffix (suffix, ".c")))
     {
       size_t prefix_len = strlen (prefix);


@@ -93,7 +146,7 @@ section.header : SECTION gb MUSCLE gb STRING gb section.yacc gb '\n'
     }
   else
     name = stringappend (prefix, suffix);
     }
   else
     name = stringappend (prefix, suffix);

-  
+

   /* Prepare the next parser to be output.  */
   parser = xfopen (name, "w");
   MUSCLE_INSERT_STRING ("parser-file-name", name);
   /* Prepare the next parser to be output.  */
   parser = xfopen (name, "w");
   MUSCLE_INSERT_STRING ("parser-file-name", name);


@@ -107,7 +160,7 @@ section.yacc : /* Empty.  */ { $$ = 0; }
              | YACC          { $$ = 1; }
 ;
 
              | YACC          { $$ = 1; }
 ;
 

-section.body 
+section.body

 : /* Empty.  */ { }
 | section.body '\n' { fputc ('\n', parser); ++output_line; ++skeleton_line; }
 | section.body LINE  { fprintf (parser, "%d", output_line); }
 : /* Empty.  */ { }
 | section.body '\n' { fputc ('\n', parser); ++output_line; ++skeleton_line; }
 | section.body LINE  { fprintf (parser, "%d", output_line); }


@@ -116,7 +169,9 @@ section.body
 | section.body TOKENS { token_definitions_output (parser, &output_line); }
 | section.body ACTIONS { actions_output (parser, &output_line); }
 | section.body CHARACTER { fputc ($2, parser); }
 | section.body TOKENS { token_definitions_output (parser, &output_line); }
 | section.body ACTIONS { actions_output (parser, &output_line); }
 | section.body CHARACTER { fputc ($2, parser); }

-| section.body MUSCLE { 
+| section.body RAW       { fputs ($2, parser); }
+| section.body BLANKS    { fputs ($2, parser); }
+| section.body MUSCLE {

   const char* value = muscle_find ($2);
   if (value)
     {
   const char* value = muscle_find ($2);
   if (value)
     {


@@ -130,33 +185,59 @@ section.body
     }
 }
 ;
     }
 }
 ;

+%%
+/*------------------------------------------------------------------.
+| When debugging the parser, display tokens' locations and values.  |
+`------------------------------------------------------------------*/

 
 

-gb : /* Empty.  */ { }
-   | gb CHARACTER  { /* Do not echo garbage characters.  */ }
-;
+static void
+yyprint (FILE *file,
+         const yyltype *loc, int type, const yystype *value)
+{
+  fputs (" (", file);
+  LOCATION_PRINT (file, *loc);
+  fputs (")", file);
+  switch (type)
+    {
+    case MUSCLE:
+    case STRING:
+    case RAW:
+    case BLANKS:
+      fprintf (file, " = %s", quotearg_style (c_quoting_style,
+                                             value->string));
+      break;
+
+    case CHARACTER:
+      fprintf (file, " = '%c'", value->character);
+      break;
+
+    case YACC:
+      fprintf (file, " = %s", value->boolean ? "true" : "false");
+      break;
+    }
+}

 
 

-%%

 
 

-int
+static void

 merror (const char* error)
 {
   printf ("line %d: %%{%s} undeclared.\n", skeleton_line, error);
 merror (const char* error)
 {
   printf ("line %d: %%{%s} undeclared.\n", skeleton_line, error);

-  return 0;

 }
 
 }
 

-int
-yyerror (const char* error)
+void
+skel_error (skel_control_t *control,
+           const yyltype *loc, const char *msg)

 {
 {

-  printf ("line %d: %s.\n", yylineno, error);
-  return 0;
+  /* Neutralize GCC warnings for unused parameters. */
+  skel_control_t *c = control;
+  c++;
+  LOCATION_PRINT (stderr, *loc);
+  fprintf (stderr, "%s\n", msg);

 }
 
 }
 

-int
-process_skeleton (const char* grammar,
-                 const char* skeleton)
+void
+process_skeleton (const char* skel)

 {
 {

-  const char* limit = 0;
-

   /* Compute prefix.  Actually, it seems that the processing I need here is
      done in compute_base_names, and the result stored in short_base_name.  */
   prefix = short_base_name;
   /* Compute prefix.  Actually, it seems that the processing I need here is
      done in compute_base_names, and the result stored in short_base_name.  */
   prefix = short_base_name;


@@ -166,9 +247,11 @@ process_skeleton (const char* grammar,
   skeleton_line = 1;
 
   /* Output.  */
   skeleton_line = 1;
 
   /* Output.  */

-  yyin = fopen (skeleton, "r");
-  yydebug = 0;
-  yyparse ();
+  skel_in = fopen (skel, "r");
+  /* FIXME: This is not acceptable for a release. */
+  skel__flex_debug = getenv ("BISON_TRACE_SCAN") ? 1 : 0;
+  skel_debug = getenv ("BISON_TRACE_PARSE") ? 1 : 0;
+  skel_parse (NULL);

 
   /* Close the last parser.  */
   if (parser)
 
   /* Close the last parser.  */
   if (parser)