src/graphviz.c

   1 /* Output Graphviz specification of a state machine generated by Bison.
   2
   3    Copyright (C) 2006-2007, 2009-2012 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 *
  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   fprintf (fout, "node [shape=box]\n");
  55 }
  56
  57 void
  58 output_node (int id, char const *label, FILE *fout)
  59 {
  60   fprintf (fout, "  %d [label=\"%s\"]\n", id, label);
  61 }
  62
  63 void
  64 output_edge (int source, int destination, char const *label,
  65              char const *style, FILE *fout)
  66 {
  67   fprintf (fout, "  %d -> %d [style=%s", source, destination, style);
  68   if (label)
  69     fprintf (fout, " label=%s", quote (label));
  70   fputs ("]\n", fout);
  71 }
  72
  73 char const *
  74 escape (char const *name)
  75 {
  76   char *q = quote (name);
  77   q[strlen (q) - 1] = '\0';
  78   return q + 1;
  79 }
  80
  81 void
  82 finish_graph (FILE *fout)
  83 {
  84   fputs ("}\n", fout);
  85 }