Boston, MA 02111-1307, USA. */
-/* set_derives finds, for each variable (nonterminal), which rules can
- derive it. It sets up the value of derives so that derives[i -
- ntokens] points to a vector of rule numbers, terminated with -1.
- */
-
#include "system.h"
#include "getargs.h"
#include "types.h"
#include "gram.h"
#include "derives.h"
-short **derives;
-
+short **derives = NULL;
static void
print_derives (void)
{
int i;
- short *sp;
- fputs ("\n\n\nDERIVES\n\n", stderr);
+ fputs ("DERIVES\n", stderr);
for (i = ntokens; i < nsyms; i++)
{
- fprintf (stderr, "%s derives", tags[i]);
+ short *sp;
+ fprintf (stderr, "\t%s derives\n", tags[i]);
for (sp = derives[i]; *sp > 0; sp++)
- fprintf (stderr, " %d", *sp);
- putc ('\n', stderr);
+ {
+ short *rhsp;
+ fprintf (stderr, "\t\t%d:", *sp);
+ for (rhsp = ritem + rule_table[*sp].rhs; *rhsp > 0; ++rhsp)
+ fprintf (stderr, " %s", tags[*rhsp]);
+ fprintf (stderr, " (rule %d)\n", -*rhsp);
+ }
}
- putc ('\n', stderr);
+ fputs ("\n\n", stderr);
}
set_derives (void)
{
int i;
- int lhs;
shorts *p;
short *q;
shorts **dset;
p = delts;
for (i = nrules; i > 0; i--)
- {
- lhs = rule_table[i].lhs;
- if (lhs >= 0)
- {
- p->next = dset[lhs];
- p->value = i;
- dset[lhs] = p;
- p++;
- }
- }
+ if (rule_table[i].useful)
+ {
+ int lhs = rule_table[i].lhs;
+ p->next = dset[lhs];
+ p->value = i;
+ dset[lhs] = p;
+ p++;
+ }
derives = XCALLOC (short *, nvars) - ntokens;
q = XCALLOC (short, nvars + nrules);