tests: enhance AT_SYNCLINES_COMPILE.

[bison.git] / src / graphviz.c

diff --git a/src/graphviz.c b/src/graphviz.c
index 8e7bccb7b3c045529aa41f070c4fbc5d60594a03..5eefcbf21c9e78c1f9c6017434b1228e9e368fad 100644 (file)
--- a/src/graphviz.c
+++ b/src/graphviz.c
@@ -1,6 +1,6 @@
 /* Output Graphviz specification of a state machine generated by Bison.
 
 /* Output Graphviz specification of a state machine generated by Bison.
 

-   Copyright (C) 2006 Free Software Foundation, Inc.
+   Copyright (C) 2006-2007, 2009-2010 Free Software Foundation, Inc.

 
    This file is part of Bison, the GNU Compiler Compiler.
 
 
    This file is part of Bison, the GNU Compiler Compiler.
 


@@ -24,6 +24,7 @@
 
 #include <quotearg.h>
 
 
 #include <quotearg.h>
 

+#include "files.h"

 #include "graphviz.h"
 
 /* Return an unambiguous printable representation for NAME, suitable
 #include "graphviz.h"
 
 /* Return an unambiguous printable representation for NAME, suitable


@@ -38,20 +39,31 @@ quote (char const *name)
 void
 start_graph (FILE *fout)
 {
 void
 start_graph (FILE *fout)
 {

-  fputs ("digraph Automaton{\n", fout);
+  fprintf (fout,
+           _("// Generated by %s.\n"
+             "// Report bugs to <%s>.\n"
+             "// Home page: <%s>.\n"
+             "\n"),
+           PACKAGE_STRING,
+           PACKAGE_BUGREPORT,
+           PACKAGE_URL);
+  fprintf (fout,
+           "digraph %s\n"
+           "{\n",
+           quote (grammar_file));

 }
 
 void
 output_node (int id, char const *label, FILE *fout)
 {
 }
 
 void
 output_node (int id, char const *label, FILE *fout)
 {

-  fprintf (fout, "%d[label=%s]\n", id, quote (label));
+  fprintf (fout, "  %d [label=%s]\n", id, quote (label));

 }
 
 void
 output_edge (int source, int destination, char const *label,
             char const *style, FILE *fout)
 {
 }
 
 void
 output_edge (int source, int destination, char const *label,
             char const *style, FILE *fout)
 {

-  fprintf (fout, "%d->%d[style=%s", source, destination, style);
+  fprintf (fout, "  %d -> %d [style=%s", source, destination, style);

   if (label)
     fprintf (fout, " label=%s", quote (label));
   fputs ("]\n", fout);
   if (label)
     fprintf (fout, " label=%s", quote (label));
   fputs ("]\n", fout);