xml: match DOT output and xml2dot.xsl processing

[bison.git] / src / graphviz.h

diff --git a/src/graphviz.h b/src/graphviz.h
index 62f26fb4705f233ceae95338a282c8cac7cef3be..371b15c5c288021b5cc1215c5227f37044788838 100644 (file)
--- a/src/graphviz.h
+++ b/src/graphviz.h
@@ -22,6 +22,8 @@
 #ifndef GRAPHVIZ_H_
 # define GRAPHVIZ_H_
 
 #ifndef GRAPHVIZ_H_
 # define GRAPHVIZ_H_
 

+#include "state.h"
+

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


@@ -40,7 +42,13 @@ void output_node (int id, char const *label, FILE *fout);
 /// \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,
 /// \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);
+                  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.
 
 /// End a Dot graph.
 /// \param fout  output stream.