lalr: print the 'reads' relation

* src/relation.h, src/relation.c (relation_print): Accept and use a
title.
Don't print empty rows.
Indent the output.
Adjust dependencies.
* src/lalr.c (initialize_goto_follows): Print 'reads' in traces.
This commit is contained in:
Akim Demaille
2019-02-26 06:55:07 +01:00
parent 5255b919ae
commit a415a78d71
4 changed files with 25 additions and 31 deletions

View File

@@ -196,10 +196,7 @@ ielr_compute_internal_follow_edges (bitset ritem_sees_lookahead_set,
relation_transpose (edgesp, ngotos);
if (trace_flag & trace_ielr)
{
fprintf (stderr, "internal_follow_edges:\n");
relation_print (*edgesp, ngotos, NULL, stderr);
}
relation_print ("internal_follow_edges", *edgesp, ngotos, NULL, stderr);
}
/**
@@ -304,8 +301,7 @@ ielr_compute_always_follows (goto_number ***edgesp,
if (trace_flag & trace_ielr)
{
fprintf (stderr, "always follow edges:\n");
relation_print (*edgesp, ngotos, NULL, stderr);
relation_print ("always follow edges", *edgesp, ngotos, NULL, stderr);
fprintf (stderr, "always_follows:\n");
debug_bitsetv (*always_followsp);
}