]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo_styles.mli
ocaml 3.09 transition
[helm.git] / helm / uwobo / uwobo_styles.mli
index 2817e14a5a48323f7f0decc58213c1dd4f10bb6a..95af2a484bd70cd845021b50d6dab4b6e509048b 100644 (file)
@@ -66,13 +66,18 @@ class styles:
       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