src/graphviz.c

   1 /* Output Graphviz specification of a state machine generated by Bison.
   2
   3    Copyright (C) 2006-2007, 2009-2010 Free Software Foundation, Inc.
   4
   5    This file is part of Bison, the GNU Compiler Compiler.
   6
   7    This program is free software: you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation, either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 /* Written by Paul Eggert and Satya Kiran Popuri.  */
  21
  22 #include <config.h>
  23 #include "system.h"
  24
  25 #include <quotearg.h>
  26
  27 #include "files.h"
  28 #include "graphviz.h"
  29
  30 /* Return an unambiguous printable representation for NAME, suitable
  31    for C strings.  Use slot 2 since the user may use slots 0 and 1.  */
  32
  33 static char const *
  34 quote (char const *name)
  35 {
  36   return quotearg_n_style (2, c_quoting_style, name);
  37 }
  38
  39 void
  40 start_graph (FILE *fout)
  41 {
  42   fprintf (fout,
  43            _("// Generated by %s.\n"
  44              "// Report bugs to <%s>.\n"
  45              "// Home page: <%s>.\n"
  46              "\n"),
  47            PACKAGE_STRING,
  48            PACKAGE_BUGREPORT,
  49            PACKAGE_URL);
  50   fprintf (fout,
  51            "digraph %s\n"
  52            "{\n",
  53            quote (grammar_file));
  54 }
  55
  56 void
  57 output_node (int id, char const *label, FILE *fout)
  58 {
  59   fprintf (fout, "  %d [label=%s]\n", id, quote (label));
  60 }
  61
  62 void
  63 output_edge (int source, int destination, char const *label,
  64              char const *style, FILE *fout)
  65 {
  66   fprintf (fout, "  %d -> %d [style=%s", source, destination, style);
  67   if (label)
  68     fprintf (fout, " label=%s", quote (label));
  69   fputs ("]\n", fout);
  70 }
  71
  72 void
  73 finish_graph (FILE *fout)
  74 {
  75   fputs ("}\n", fout);
  76 }