From: Stefano Zacchiroli 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: make_still_working~7075 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=62f814b9b8c255abbdfcbf12d96f3a3b4e74d477;p=helm.git generate dot files with attributes on nodes (instead of only edges), and added generation of the href attribute --- diff --git a/helm/software/components/library/coercGraph.ml b/helm/software/components/library/coercGraph.ml index 6d7a670ef..d3adfdb5f 100644 --- a/helm/software/components/library/coercGraph.ml +++ b/helm/software/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