cex: use the glyphs

* src/derivation.c: here.
* src/gram.h, src/gram.c (print_arrow, print_dot, print_fallback):
Remove.
This commit is contained in:
Akim Demaille
2020-07-15 07:43:49 +02:00
parent 346ba14f15
commit 5544615a59
3 changed files with 5 additions and 43 deletions

View File

@@ -20,6 +20,7 @@
#include <config.h>
#include "derivation.h"
#include "glyphs.h"
#include <gl_linked_list.h>
@@ -145,9 +146,7 @@ derivation_print_impl (const derivation *deriv, FILE *out,
{
fputs (prefix, out);
begin_use_class ("cex-step", out);
fprintf (out, "%s ", sym->tag);
print_arrow (out);
fprintf (out, " [ ");
fprintf (out, "%s %s [ ", sym->tag, arrow);
end_use_class ("cex-step", out);
prefix = "";
}
@@ -181,7 +180,7 @@ derivation_print_impl (const derivation *deriv, FILE *out,
{
fputs (prefix, out);
begin_use_class ("cex-dot", out);
print_dot (out);
fputs (dot, out);
end_use_class ("cex-dot", out);
}
else // leaf.