lib/graphs: introduce `show_dot` for debugging digraphs.

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

diff --git a/lib/graphs/digraph.nit b/lib/graphs/digraph.nit
index 0b74c4c..bc9a8af 100644 (file)
--- a/lib/graphs/digraph.nit
+++ b/lib/graphs/digraph.nit
@@ -383,6 +383,15 @@ interface Digraph[V: Object]
                return s
        end
 
+       # Open Graphviz with `self.to_dot`.
+       #
+       # Mainly used for debugging.
+       fun show_dot do
+               var f = new ProcessWriter("dot", "-Txlib")
+               f.write to_dot
+               f.close
+       end
+
        ## ------------ ##
        ## Neighborhood ##
        ## ------------ ##