From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 12 Jul 2006 17:14:14 +0000 (+0000)
Subject: generate dot files with attributes on nodes (instead of only edges), and added genera... 
X-Git-Tag: 0.4.95@7852~1209
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8f9501dacd606a6a479c777447a2bacc09611e6e;p=helm.git

generate dot files with attributes on nodes (instead of only edges), and added generation of the href attribute
---

diff --git a/components/library/coercGraph.ml b/components/library/coercGraph.ml
index 6d7a670ef..d3adfdb5f 100644
--- a/components/library/coercGraph.ml
+++ b/components/library/coercGraph.ml
@@ -119,19 +119,29 @@ let target_of t =
 let generate_dot_file () =
   let l = CoercDb.to_list () in
   let preamble = "
-    digraph pippo {
+    digraph g {
       node [fontsize=9, width=.4, height=.4];
       edge [fontsize=10]; 
       \n" 
   in
   let conclusion = " } \n" in
+  let node_dsc carr =
+    match CoercDb.uri_of_carr carr with
+    | None -> ""
+    | Some uri ->
+        sprintf "%s [href=\"%s\"]"
+          (CoercDb.name_of_carr carr) (UriManager.string_of_uri uri) in
   let data = List.fold_left 
     (fun acc (src,tgt,cl) -> 
       List.fold_left 
         (fun acc c ->
-          acc ^ CoercDb.name_of_carr src ^ " -> " ^ 
-          CoercDb.name_of_carr tgt ^ "[label=\"" ^ UriManager.name_of_uri c ^ 
-          "\"];\n")
+          let src_name = CoercDb.name_of_carr src in
+          let tgt_name = CoercDb.name_of_carr tgt in
+          acc ^ src_name ^ " -> "
+            ^ tgt_name ^ " [label=\"" ^ UriManager.name_of_uri c
+            ^ "\",href=\"" ^ UriManager.string_of_uri c
+            ^ "\"];\n"
+            ^ node_dsc src ^ node_dsc tgt)
         acc cl)
       "" l 
   in