From d332ff3c77c3e65c154ff0cc13b00bd1cec90ae9 Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Fri, 29 Mar 2019 22:36:47 +0100 Subject: [PATCH] state: more debug traces * src/state.c (state_transitions_set): Show the transitions. --- src/state.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) 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); + } }