* src/files.c, src/files.h (guard_obstack): Remove.

* src/output.c (output): Adjust.
* src/reader.c (parse_braces): New, factoring...
(copy_action, copy_guard): these two which are renamed as...
(parse_action, parse_guard): these.
As a voluntary consequence, using braces around guards is now
mandatory.

diff --git a/ChangeLog b/ChangeLog
index cb4de3083aaca6133fe8b6db8a677f7368551bf8..254bb0bbbe8e953b329913f9c34ae5dad1eda9e8 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,14 @@
+2001-12-27  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c, src/files.h (guard_obstack): Remove.
+       * src/output.c (output): Adjust.
+       * src/reader.c (parse_braces): New, factoring...
+       (copy_action, copy_guard): these two which are renamed as...
+       (parse_action, parse_guard): these.
+       As a voluntary consequence, using braces around guards is now
+       mandatory.
+
+       

 2001-12-27  Akim Demaille  <akim@epita.fr>
 
        * src/gram.h (rule_t): `guard' and `guard_line' are new members.
 2001-12-27  Akim Demaille  <akim@epita.fr>
 
        * src/gram.h (rule_t): `guard' and `guard_line' are new members.

diff --git a/src/files.c b/src/files.c
index 5e01b9f80bfb64565c522258de48da7a19e7447f..0b958c1ae40d4c0a8414cdab91ce6e88df20f84f 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -30,7 +30,6 @@ FILE *finput = NULL;
 
 struct obstack action_obstack;
 struct obstack attrs_obstack;
 
 struct obstack action_obstack;
 struct obstack attrs_obstack;

-struct obstack guard_obstack;

 struct obstack output_obstack;
 
 char *spec_outfile = NULL;     /* for -o. */
 struct obstack output_obstack;
 
 char *spec_outfile = NULL;     /* for -o. */

diff --git a/src/files.h b/src/files.h
index 19f076925d6f9daea073af2b2ab3e809a4549541..5f02dca136fe833ef0283abf18e6157d696661d4 100644 (file)
--- a/src/files.h
+++ b/src/files.h
@@ -52,9 +52,6 @@ extern struct obstack action_obstack;
 /* If semantic parser, output a .h file that defines YYSTYPE... */
 extern struct obstack attrs_obstack;
 
 /* If semantic parser, output a .h file that defines YYSTYPE... */
 extern struct obstack attrs_obstack;
 

-/* ... and output yyguard, containing all the guard code. */
-extern struct obstack guard_obstack;
-

 /* The verbose output. */
 extern struct obstack output_obstack;
 
 /* The verbose output. */
 extern struct obstack output_obstack;
 

diff --git a/src/output.c b/src/output.c
index 1b10c120813c892762f5ef99bebe47c553b8bef1..43935f59697851b734b9dd42c39e8215b24f8d7f 100644 (file)
--- a/src/output.c
+++ b/src/output.c
@@ -1128,6 +1128,5 @@ output (void)
   obstack_free (&muscle_obstack, NULL);
   obstack_free (&format_obstack, NULL);
   obstack_free (&action_obstack, NULL);
   obstack_free (&muscle_obstack, NULL);
   obstack_free (&format_obstack, NULL);
   obstack_free (&action_obstack, NULL);

-  obstack_free (&guard_obstack, NULL);

   obstack_free (&attrs_obstack, NULL);
 }
   obstack_free (&attrs_obstack, NULL);
 }

diff --git a/src/reader.c b/src/reader.c
index 1ad63821d15b2d507c7295a2899f4b9178981abd..b5d5fac991de6ab08acc7ccd7f46efdf6ed0dcdc 100644 (file)
--- a/src/reader.c
+++ b/src/reader.c
@@ -1080,10 +1080,14 @@ read_declarations (void)
 | matching `}' into the actions file.  STACK_OFFSET is the number of |
 | values in the current rule so far, which says where to find `$0'   |
 | with respect to the top of the stack.                              |
 | matching `}' into the actions file.  STACK_OFFSET is the number of |
 | values in the current rule so far, which says where to find `$0'   |
 | with respect to the top of the stack.                              |

+|                                                                    |
+| This routine is used both for actions and guards.  Only the        |
+| actions_obstack is used, but this is fine, since we use only       |
+| pointers to relevant portions inside this obstack.                 |

 `-------------------------------------------------------------------*/
 
 static void
 `-------------------------------------------------------------------*/
 
 static void

-copy_action (symbol_list *rule, int stack_offset)
+parse_braces (symbol_list *rule, int stack_offset)

 {
   int c;
   int count;
 {
   int c;
   int count;


@@ -1093,57 +1097,48 @@ copy_action (symbol_list *rule, int stack_offset)
     stack_offset = 0;
 
   count = 1;
     stack_offset = 0;
 
   count = 1;

-  c = getc (finput);
-
-  rule->action_line = lineno;
-

   while (count > 0)
     {
   while (count > 0)
     {

-      while (c != '}')
-       {
-         switch (c)
-           {
-           case '\n':
-             obstack_1grow (&action_obstack, c);
-             lineno++;
-             break;
-
-           case '{':
-             obstack_1grow (&action_obstack, c);
-             count++;
-             break;
+      while ((c = getc (finput)) != '}')
+       switch (c)
+         {
+         case '\n':
+           obstack_1grow (&action_obstack, c);
+           lineno++;
+           break;

 
 

-           case '\'':
-           case '"':
-             copy_string (finput, &action_obstack, c);
-             break;
+         case '{':
+           obstack_1grow (&action_obstack, c);
+           count++;
+           break;

 
 

-           case '/':
-             copy_comment (finput, &action_obstack);
-             break;
+         case '\'':
+         case '"':
+           copy_string (finput, &action_obstack, c);
+           break;

 
 

-           case '$':
-             copy_dollar (finput, &action_obstack,
-                          rule, stack_offset);
-             break;
+         case '/':
+           copy_comment (finput, &action_obstack);
+           break;

 
 

-           case '@':
-             copy_at (finput, &action_obstack,
-                      stack_offset);
-             break;
-
-           case EOF:
-             fatal (_("unmatched %s"), "`{'");
+         case '$':
+           copy_dollar (finput, &action_obstack,
+                        rule, stack_offset);
+           break;

 
 

-           default:
-             obstack_1grow (&action_obstack, c);
-           }
+         case '@':
+           copy_at (finput, &action_obstack,
+                    stack_offset);
+           break;

 
 

-         c = getc (finput);
-       }
+         case EOF:
+           fatal (_("unmatched %s"), "`{'");

 
 

-      /* above loop exits when c is '}' */
+         default:
+           obstack_1grow (&action_obstack, c);
+         }

 
 

+      /* Above loop exits when C is '}'.  */

       if (--count)
        {
          obstack_1grow (&action_obstack, c);
       if (--count)
        {
          obstack_1grow (&action_obstack, c);


@@ -1152,91 +1147,29 @@ copy_action (symbol_list *rule, int stack_offset)
     }
 
   obstack_1grow (&action_obstack, '\0');
     }
 
   obstack_1grow (&action_obstack, '\0');

-  rule->action = obstack_finish (&action_obstack);

 }
 }

-\f
-/*-------------------------------------------------------------------.
-| After `%guard' is seen in the input file, copy the actual guard    |
-| into the guards file.  If the guard is followed by an action, copy |
-| that into the actions file.  STACK_OFFSET is the number of values  |
-| in the current rule so far, which says where to find `$0' with     |
-| respect to the top of the stack, for the simple parser in which    |
-| the stack is not popped until after the guard is run.              |
-`-------------------------------------------------------------------*/
+

 
 static void
 
 static void

-copy_guard (symbol_list *rule, int stack_offset)
+parse_action (symbol_list *rule, int stack_offset)

 {
 {

-  int c;
-  int count;
-  int brace_flag = 0;
+  rule->action_line = lineno;
+  parse_braces (rule, stack_offset);
+  rule->action = obstack_finish (&action_obstack);
+}

 
 

-  /* offset is always 0 if parser has already popped the stack pointer */
-  if (semantic_parser)
-    stack_offset = 0;

 
 

+static void
+parse_guard (symbol_list *rule, int stack_offset)
+{
+  token_t t = lex ();
+  if (t != tok_left_curly)
+    complain (_("invalid %s declaration"), "%guard");

   rule->guard_line = lineno;
   rule->guard_line = lineno;

-
-  count = 0;
-  c = getc (finput);
-
-  while (brace_flag ? (count > 0) : (c != ';'))
-    {
-      switch (c)
-       {
-       case '\n':
-         obstack_1grow (&guard_obstack, c);
-         lineno++;
-         break;
-
-       case '{':
-         obstack_1grow (&guard_obstack, c);
-         brace_flag = 1;
-         count++;
-         break;
-
-       case '}':
-         obstack_1grow (&guard_obstack, c);
-         if (count > 0)
-           count--;
-         else
-           {
-             complain (_("unmatched %s"), "`}'");
-             c = getc (finput);        /* skip it */
-           }
-         break;
-
-       case '\'':
-       case '"':
-         copy_string (finput, &guard_obstack, c);
-         break;
-
-       case '/':
-         copy_comment (finput, &guard_obstack);
-         break;
-
-       case '$':
-         copy_dollar (finput, &guard_obstack, rule, stack_offset);
-         break;
-
-       case '@':
-         copy_at (finput, &guard_obstack, stack_offset);
-         break;
-
-       case EOF:
-         fatal ("%s", _("unterminated %guard clause"));
-
-       default:
-         obstack_1grow (&guard_obstack, c);
-       }
-
-      if (c != '}' || count != 0)
-       c = getc (finput);
-    }
-
-  obstack_1grow (&guard_obstack, '\0');
-  rule->guard = obstack_finish (&guard_obstack);
+  parse_braces (rule, stack_offset);
+  rule->guard = obstack_finish (&action_obstack);

 }
 }

+

 \f
 
 /*-------------------------------------------------------------------.
 \f
 
 /*-------------------------------------------------------------------.


@@ -1439,7 +1372,7 @@ readgram (void)
              }
            else                /* handle an action.  */
              {
              }
            else                /* handle an action.  */
              {

-               copy_action (crule, rulelength);
+               parse_action (crule, rulelength);

                action_flag = 1;
                xactions++;     /* JF */
              }
                action_flag = 1;
                xactions++;     /* JF */
              }


@@ -1464,7 +1397,7 @@ readgram (void)
            if (!semantic_parser)
              complain (_("%%guard present but %%semantic_parser not specified"));
 
            if (!semantic_parser)
              complain (_("%%guard present but %%semantic_parser not specified"));
 

-           copy_guard (crule, rulelength);
+           parse_guard (crule, rulelength);

            t = lex ();
          }
 
            t = lex ();
          }
 


@@ -1473,7 +1406,7 @@ readgram (void)
            /* This case never occurs -wjh */
            if (action_flag)
              complain (_("two actions at end of one rule"));
            /* This case never occurs -wjh */
            if (action_flag)
              complain (_("two actions at end of one rule"));

-           copy_action (crule, rulelength);
+           parse_action (crule, rulelength);

            action_flag = 1;
            xactions++; /* -wjh */
            t = lex ();
            action_flag = 1;
            xactions++; /* -wjh */
            t = lex ();


@@ -1865,7 +1798,6 @@ reader (void)
   /* Initialize the obstacks. */
   obstack_init (&action_obstack);
   obstack_init (&attrs_obstack);
   /* Initialize the obstacks. */
   obstack_init (&action_obstack);
   obstack_init (&attrs_obstack);

-  obstack_init (&guard_obstack);

   obstack_init (&output_obstack);
 
   finput = xfopen (infile, "r");
   obstack_init (&output_obstack);
 
   finput = xfopen (infile, "r");