state: more debug traces

* src/state.c (state_transitions_set): Show the transitions.

1 files changed, 13 insertions, 0 deletions

diff --git a/src/state.c b/src/state.c
index 58980954..29eca5b9 100644
--- a/src/state.c
+++ b/src/state.c
@@ -27,6 +27,7 @@
 
 #include "closure.h"
 #include "complain.h"
+#include "getargs.h"
 #include "gram.h"
 #include "print-xml.h"
 
@@ -197,6 +198,18 @@ state_transitions_set (state *s, int num, state **dst)
 {
   aver (!s->transitions);
   s->transitions = transitions_new (num, dst);
+  if (trace_flag & trace_automaton)
+    {
+      const transitions *trans = s->transitions;
+      fprintf (stderr, "transitions of %d (%d):\n",
+               s->number, trans->num);
+      for (int i = 0; i < trans->num; ++i)
+        fprintf (stderr, "  %d: (%d, %s, %d)\n",
+                 i,
+                 s->number,
+                 symbols[s->transitions->states[i]->accessing_symbol]->tag,
+                 s->transitions->states[i]->number);
+    }
 }