X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/35fe08345edf43644a80a5987a50937c67e7c937..62e5fc6ac9bd59f801ca43e7eb81d19960f3e306:/src/graphviz.c diff --git a/src/graphviz.c b/src/graphviz.c index d7447aaf..46c22a8c 100644 --- a/src/graphviz.c +++ b/src/graphviz.c @@ -1,23 +1,21 @@ /* Output Graphviz specification of a state machine generated by Bison. - Copyright (C) 2006 Free Software Foundation, Inc. + Copyright (C) 2006-2007, 2009-2012 Free Software Foundation, Inc. This file is part of Bison, the GNU Compiler Compiler. - Bison is free software; you can redistribute it and/or modify + This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by - the Free Software Foundation; either version 2, or (at your option) - any later version. + the Free Software Foundation, either version 3 of the License, or + (at your option) any later version. - Bison is distributed in the hope that it will be useful, + This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License - along with Bison; see the file COPYING. If not, write to - the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, - Boston, MA 02110-1301, USA. */ + along with this program. If not, see . */ /* Written by Paul Eggert and Satya Kiran Popuri. */ @@ -26,6 +24,7 @@ #include +#include "files.h" #include "graphviz.h" /* Return an unambiguous printable representation for NAME, suitable @@ -40,20 +39,31 @@ quote (char const *name) 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) { - 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) { - 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);