src/graphviz.c

   1 /* Output Graphviz specification of a state machine generated by Bison.
   2
   3    Copyright (C) 2006, 2007, 2009 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 "graphviz.h"
  28
  29 /* Return an unambiguous printable representation for NAME, suitable
  30    for C strings.  Use slot 2 since the user may use slots 0 and 1.  */
  31
  32 static char const *
  33 quote (char const *name)
  34 {
  35   return quotearg_n_style (2, c_quoting_style, name);
  36 }
  37
  38 void
  39 start_graph (FILE *fout)
  40 {
  41   fputs ("digraph Automaton {\n", fout);
  42 }
  43
  44 void
  45 output_node (int id, char const *label, FILE *fout)
  46 {
  47   fprintf (fout, "  %d [label=%s]\n", id, quote (label));
  48 }
  49
  50 void
  51 output_edge (int source, int destination, char const *label,
  52              char const *style, FILE *fout)
  53 {
  54   fprintf (fout, "  %d -> %d [style=%s", source, destination, style);
  55   if (label)
  56     fprintf (fout, " label=%s", quote (label));
  57   fputs ("]\n", fout);
  58 }
  59
  60 void
  61 finish_graph (FILE *fout)
  62 {
  63   fputs ("}\n", fout);
  64 }