X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_styles.mli;h=95af2a484bd70cd845021b50d6dab4b6e509048b;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=9d03b0924ba5ed64579e4de3e6b6cfa8398916ef;hpb=40d69bb0d68b6da47c625cca9c276fa19d6cc3aa;p=helm.git

diff --git a/helm/uwobo/uwobo_styles.mli b/helm/uwobo/uwobo_styles.mli
index 9d03b0924..95af2a484 100644
--- a/helm/uwobo/uwobo_styles.mli
+++ b/helm/uwobo/uwobo_styles.mli
@@ -26,15 +26,11 @@
  *  http://helm.cs.unibo.it/
  *)
 
+open Uwobo_common ;;
+
 exception Stylesheet_not_found of string ;;
 exception Stylesheet_already_in of string ;;
 
-  (** libxslt's message *)
-type xslt_msg =
-  | LibXsltErrorMsg of string  (** libxslt's error messages *)
-  | LibXsltDebugMsg of string  (** libxslt's debugging messages *)
-type log = xslt_msg list ;;
-
   (** hold UWOBO styles at runtime *)
 class styles:
   object
@@ -46,34 +42,42 @@ class styles:
       @param key key to which the stylesheets will be bound
       @param uri uri of the stylesheet to be loaded
       @raise Stylesheet_already_in if key is already bound *)
-    method add: string -> string -> log
+    method add: string -> string -> unit
 
       (** remove the stylesheet bound to a given key *)
-    method remove: string -> log
+    method remove: string -> unit
 
       (** remove all loaded stylesheet *)
-    method removeAll: log
+    method removeAll: unit
 
       (** reload the stylesheet bound to a given key *)
-    method reload: string -> log
+    method reload: string -> unit
 
       (** reload all stylesheets *)
-    method reloadAll: log
+    method reloadAll: unit
 
     (** {2 Stylesheets usage} *)
 
+      (** @return the list of currently loaded stylesheets' keys *)
+    method keys: string list
+
       (** @return a list of strings, each string is a textual representation of
       information related to a loaded stylesheet. This representation includes
       at least stylesheet's key and URI *)
     method list: string list
 
-      (** @param key_list list of keys
-      @return a pair. First component of the returned pair is an association
-      list that maps given keys to gdome2-xslt processed stylesheets. Second
-      component of the returned pair is an unprocessed version of the
-      stylesheets corresponding to the latest key provided *)
+      (**
+      @param key_list non empty list of keys
+      @param props list of prop
+      @param logger the logger to be used to report errors and warnings
+      @return a pair. The first argument of the pair is an association list
+      that maps given keys to gdome2-xslt processed stylesheets. The last
+      stylesheet xsl:output element is modified according to the given
+      properties. The second argument of the pair is the last unprocessed
+      stylesheet.
+      *)
     method get:
-      string list ->
+      string list -> (string * string) list -> Uwobo_logger.sysLogger ->
         (string * I_gdome_xslt.processed_stylesheet) list * Gdome.document
 
   end