GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 01:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

extend the LR(0) visualization

Browse Source
This commit is contained in:
Krasimir Angelov
2023-09-20 13:42:20 +02:00
parent dccb9681a2
commit 7d42e7cfc9
1 changed files with 30 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
src/runtime/c/pgf/pgf.cxx
View File

@@ -3149,12 +3149,40 @@ pgf_graphviz_lr_automaton(PgfDB *db, PgfConcrRevision revision,
PgfPrinter printer(NULL,0,NULL); PgfPrinter printer(NULL,0,NULL);
printer.puts("digraph {"); printer.puts("digraph {\n");
for (size_t i = 0; i < concr->lrtable->len; i++) { for (size_t i = 0; i < concr->lrtable->len; i++) {
ref<PgfLRState> state = vector_elem(concr->lrtable, i); ref<PgfLRState> state = vector_elem(concr->lrtable, i);
printer.nprintf(16, " s%zu [label=\"", i);
for (size_t j = 0; j < state->reductions->len; j++) {
ref<PgfLRReduce> reduce = vector_elem(state->reductions, j);
switch (ref<PgfConcrLin>::get_tag(reduce->lin_obj)) {
case PgfConcrLin::tag: {
auto lin =
ref<PgfConcrLin>::untagged(reduce->lin_obj);
printer.efun(&lin->name);
break;
}
case PgfConcrLincat::tag: {
auto lincat =
ref<PgfConcrLincat>::untagged(reduce->lin_obj);
printer.puts("linref ");
printer.efun(&lincat->name);
break;
}
}
printer.puts("\n");
}
printer.puts("\"");
if (i == 0) printer.puts(",penwidth=3");
printer.nprintf(16, "]\n");
for (size_t j = 0; j < state->shifts->len; j++) { for (size_t j = 0; j < state->shifts->len; j++) {
ref<PgfLRShift> shift = vector_elem(state->shifts, j); ref<PgfLRShift> shift = vector_elem(state->shifts, j);
printer.nprintf(16, " s%zu -> s%zu;\n", i, shift->next_state); 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.puts("}"); printer.puts("}");