3 * Stefano Zacchiroli <zack@cs.unibo.it>
4 * for the HELM Team http://helm.cs.unibo.it/
6 * This file is part of HELM, an Hypertextual, Electronic
7 * Library of Mathematics, developed at the Computer Science
8 * Department, University of Bologna, Italy.
10 * HELM is free software; you can redistribute it and/or
11 * modify it under the terms of the GNU General Public License
12 * as published by the Free Software Foundation; either version 2
13 * of the License, or (at your option) any later version.
15 * HELM is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 * GNU General Public License for more details.
20 * You should have received a copy of the GNU General Public License
21 * along with HELM; if not, write to the Free Software
22 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
25 * For details, see the HELM World-Wide-Web page,
26 * http://helm.cs.unibo.it/
29 exception Stylesheet_not_found of string ;;
30 exception Stylesheet_already_in of string ;;
32 (** libxslt's message *)
34 | LibXsltErrorMsg of string (** libxslt's error messages *)
35 | LibXsltDebugMsg of string (** libxslt's debugging messages *)
36 type log = xslt_msg list ;;
38 (** hold UWOBO styles at runtime *)
42 (** {2 Stylesheets management} *)
44 (** add a stylesheet, bound to a given key, to the UWOBO loaded
46 @param key key to which the stylesheets will be bound
47 @param uri uri of the stylesheet to be loaded
48 @raise Stylesheet_already_in if key is already bound *)
49 method add: string -> string -> log
51 (** remove the stylesheet bound to a given key *)
52 method remove: string -> log
54 (** remove all loaded stylesheet *)
57 (** reload the stylesheet bound to a given key *)
58 method reload: string -> log
60 (** reload all stylesheets *)
63 (** {2 Stylesheets usage} *)
65 (** @return a list of strings, each string is a textual representation of
66 information related to a loaded stylesheet. This representation includes
67 at least stylesheet's key and URI *)
68 method list: string list
70 (** @param key_list list of keys
71 @return a pair. First component of the returned pair is an association
72 list that maps given keys to gdome2-xslt processed stylesheets. Second
73 component of the returned pair is an unprocessed version of the
74 stylesheets corresponding to the latest key provided *)
77 (string * I_gdome_xslt.processed_stylesheet) list * Gdome.document