summaryrefslogtreecommitdiff
path: root/src/graphviz.h
blob: cceb1fbd3d7107466952bfb09ee59834b5fa9948 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
/* Output Graphviz specification of a state machine generated by Bison.

   Copyright (C) 2006, 2010-2015, 2018-2019 Free Software Foundation,
   Inc.

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

   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 3 of the License, or
   (at your option) any later version.

   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 this program.  If not, see <http://www.gnu.org/licenses/>.  */

/* Written by Paul Eggert and Satya Kiran Popuri.  */

#ifndef GRAPHVIZ_H_
# define GRAPHVIZ_H_

# include "state.h"

/** Begin a Dot graph.
 *
 * \param fout   output stream.
 */
void start_graph (FILE *fout);

/** Output a Dot node.
 *
 * \param id     identifier of the node
 * \param label  human readable label of the node (no Dot escaping needed).
 * \param fout   output stream.
 */
void output_node (int id, char const *label, FILE *fout);

/** Output a Dot edge.
 * \param source       id of the source node
 * \param destination  id of the target node
 * \param label        human readable label of the edge
 *                     (no Dot escaping needed).  Can be 0.
 * \param style        Dot style of the edge (e.g., "dotted" or "solid").
 * \param fout         output stream.
 */
void output_edge (int source, int destination, char const *label,
                  char const *style, FILE *fout);

/** Output a reduction.
 * \param s            current state
 * \param reds         the set of reductions
 * \param fout         output stream.
 */
void output_red (state const *s, reductions const *reds, FILE *fout);

/** End a Dot graph.
 *
 * \param fout  output stream.
 */
void finish_graph (FILE *fout);

/** Escape a lookahead token.
 *
 * \param name         the token.
 */
char const *escape (char const *name);

#endif /* ! GRAPHVIZ_H_ */