* src/derives.c (print_derives): Fix and enrich.

* src/closure.c (print_fderives): Likewise.
This commit is contained in:
Akim Demaille
2001-11-19 10:39:21 +00:00
parent fb9087861f
commit 720e5c1bc3
3 changed files with 21 additions and 3 deletions

View File

@@ -1,3 +1,9 @@
2001-11-19 Akim Demaille <akim@epita.fr>
* src/derives.c (print_derives): Fix and enrich.
* src/closure.c (print_fderives): Likewise.
2001-11-19 Akim Demaille <akim@epita.fr>
* src/closure.c (itemsetend): Remove, replaced with...

View File

@@ -100,7 +100,13 @@ print_fderives (void)
for (j = 0; j <= nrules; j++)
if (BITISSET (rp, j))
fprintf (stderr, "\t\t%d (%s)\n", j, tags[j]);
{
short *rhsp;
fprintf (stderr, "\t\t%d:", j);
for (rhsp = ritem + rule_table[j].rhs; *rhsp > 0; ++rhsp)
fprintf (stderr, " %s", tags[*rhsp]);
fputc ('\n', stderr);
}
}
fprintf (stderr, "\n\n");
}

View File

@@ -38,15 +38,21 @@ static void
print_derives (void)
{
int i;
short *sp;
fputs ("DERIVES\n", stderr);
for (i = ntokens; i < nsyms; i++)
{
short *sp;
fprintf (stderr, "\t%s derives\n", tags[i]);
for (sp = derives[i]; *sp > 0; sp++)
fprintf (stderr, "\t\t%d (%s)\n", *sp, tags[*sp]);
{
short *rhsp;
fprintf (stderr, "\t\t%d:", *sp);
for (rhsp = ritem + rule_table[*sp].rhs; *rhsp > 0; ++rhsp)
fprintf (stderr, " %s", tags[*rhsp]);
fputc ('\n', stderr);
}
}
fputs ("\n\n", stderr);