1
0
forked from GitHub/gf-core

more details in the LR graph

This commit is contained in:
Krasimir Angelov
2023-09-20 18:05:40 +02:00
parent 7d42e7cfc9
commit 46ccde4abc

View File

@@ -3162,6 +3162,11 @@ pgf_graphviz_lr_automaton(PgfDB *db, PgfConcrRevision revision,
auto lin =
ref<PgfConcrLin>::untagged(reduce->lin_obj);
printer.efun(&lin->name);
printer.nprintf(32,"/%zd[",reduce->seq_idx);
for (size_t i = 0; i < reduce->args->len; i++) {
printer.puts(reduce->args->data[i] ? "t" : "f");
}
printer.puts("]");
break;
}
case PgfConcrLincat::tag: {
@@ -3182,7 +3187,10 @@ pgf_graphviz_lr_automaton(PgfDB *db, PgfConcrRevision revision,
ref<PgfLRShift> shift = vector_elem(state->shifts, j);
printer.nprintf(16, " s%zu -> s%zu [label=\"", i, shift->next_state);
printer.efun(&shift->lincat->name);
printer.nprintf(16, ".%zu\"];\n", shift->r);
printer.nprintf(16, ".%zu\"", shift->r);
if (!shift->exact)
printer.puts(", style=dashed");
printer.puts("];\n");
}
}
printer.puts("}");