1 (* Copyright (C) 2006, HELM Team.
3 * This file is part of HELM, an Hypertextual, Electronic
4 * Library of Mathematics, developed at the Computer Science
5 * Department, University of Bologna, Italy.
7 * HELM is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
12 * HELM is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with HELM; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
22 * For details, see the HELM World-Wide-Web page,
23 * http://helm.cs.unibo.it/
28 type attribute = string * string (* <key, value> pair *)
30 module type GraphvizFormatter =
32 val header: ?name:string -> Format.formatter -> unit
33 val node: string -> ?attrs:(attribute list) -> Format.formatter -> unit
35 string -> string -> ?attrs:(attribute list) -> Format.formatter ->
37 val raw: string -> Format.formatter -> unit
38 val trailer: Format.formatter -> unit
45 let attribute fmt (k, v) = fprintf fmt "@[<hv2>%s=@,\"%s\",@]" k v
46 let attributes attrs fmt = List.iter (attribute fmt) attrs
48 let header ?(name = "g") fmt = fprintf fmt "@[<hv2>digraph %s {@," name
49 let node name ?(attrs = []) fmt =
50 fprintf fmt "@[<hov2>\"%s\"@ [" name;
53 let edge name1 name2 ?(attrs = []) fmt =
54 fprintf fmt "@[<hov2>\"%s\" ->@ \"%s\"@ [" name1 name2;
57 let raw s fmt = pp_print_string fmt s
58 let trailer fmt = fprintf fmt "@,}@]%!"