* src/lalr.c (lookaheads_print): New.

(lalr): Call it when --trace-flag.
* tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
are dumped.

diff --git a/ChangeLog b/ChangeLog
index e16dafb44d4bf59df0a9950da74d3bd802e7c57f..e335f05874b8e85292aef1f9cf84a797ac499c77 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+2001-12-29  Akim Demaille  <akim@epita.fr>
+
+       * src/lalr.c (lookaheads_print): New.
+       (lalr): Call it when --trace-flag.
+       * tests/sets.at (Nullable): Adjust: when tracing, the lookaheads
+       are dumped.
+
+       

 2001-12-29  Akim Demaille  <akim@epita.fr>
 
        * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',
 2001-12-29  Akim Demaille  <akim@epita.fr>
 
        * src/derives.c (print_derives): Be sure to use `>= 0', not `> 0',

diff --git a/src/lalr.c b/src/lalr.c
index 660088cd62fff85e7c404a21c2c7eb5e7c9ace18..36a8607c88a25fecf450d8bd9150b3c2d46e2913 100644 (file)
--- a/src/lalr.c
+++ b/src/lalr.c
@@ -24,6 +24,7 @@
    tokens they accept.  */
 
 #include "system.h"
    tokens they accept.  */
 
 #include "system.h"

+#include "reader.h"

 #include "types.h"
 #include "LR0.h"
 #include "gram.h"
 #include "types.h"
 #include "LR0.h"
 #include "gram.h"


@@ -546,6 +547,31 @@ initialize_lookaheads (void)
     }
 }
 
     }
 }
 

+
+/*---------------------------------------.
+| Output the lookaheads for each state.  |
+`---------------------------------------*/
+
+static void
+lookaheads_print (FILE *out)
+{
+  int i, j, k;
+  fprintf (out, "Lookaheads: BEGIN\n");
+  for (i = 0; i < nstates; ++i)
+    {
+      fprintf (out, "State %d: %d lookaheads\n",
+              i, state_table[i]->nlookaheads);
+
+      for (j = 0; j < state_table[i]->nlookaheads; ++j)
+       for (k = 0; k < ntokens; ++k)
+         if (BITISSET (LA (state_table[i]->lookaheadsp + j), j))
+           fprintf (out, "   on %d (%s) -> rule %d\n",
+                    k, tags[k],
+                    -LAruleno[state_table[i]->lookaheadsp + j] - 1);
+    }
+  fprintf (out, "Lookaheads: END\n");
+}
+

 void
 lalr (void)
 {
 void
 lalr (void)
 {


@@ -558,4 +584,7 @@ lalr (void)
   build_relations ();
   compute_FOLLOWS ();
   compute_lookaheads ();
   build_relations ();
   compute_FOLLOWS ();
   compute_lookaheads ();

+
+  if (trace_flag)
+    lookaheads_print (stderr);

 }
 }

diff --git a/tests/sets.at b/tests/sets.at
index 61bfd6235de513593e96be5bd0bc445e47df3b27..f1c16dcf188dec135acb4d1281a07e541673fa3e 100644 (file)
--- a/tests/sets.at
+++ b/tests/sets.at
@@ -157,6 +157,12 @@ transpose: input
 transpose: output
   0:
 
 transpose: output
   0:
 

+Lookaheads: BEGIN
+State 0: 0 lookaheads
+State 1: 0 lookaheads
+State 2: 0 lookaheads
+State 3: 0 lookaheads
+Lookaheads: END

 ]])
 
 AT_CLEANUP
 ]])
 
 AT_CLEANUP