* For more information, please send an email to {sacerdot,zack}@cs.unibo.it
*)
-(* processStylesheet stylesheet *)
-(* Process a stylesheet so that it can be subsequently used *)
-(* with applyStylesheet. *)
+(** Main interface to GDome XSLT functionalities *)
+
+(** processStylesheet stylesheet
+ *
+ * Process a stylesheet so that it can be subsequently used with
+ * applyStylesheet. *)
val processStylesheet:
Gdome.document ->
I_gdome_xslt.processed_stylesheet
-(* applyStylesheet source stylesheet params *)
-(* Applies a processed stylesheet to a source document, using *)
-(* the given list of parameters (couples name,value) *)
+(** applyStylesheet source stylesheet params
+ * Applies a processed stylesheet to a source document, using the given list of
+ * parameters (couples name,value) *)
val applyStylesheet:
source: Gdome.document ->
stylesheet:I_gdome_xslt.processed_stylesheet ->
params:(string * string) list ->
Gdome.document
-(* output the result of a previous XSLT transformation to an *)
-(* output channel *)
+(** output the result of a previous XSLT transformation to an output channel *)
val saveResultToChannel:
outchan: out_channel ->
result: Gdome.document ->
unit
(** set error callback, that is a function invoked each time an error message is
-generated. If None is passed, libxslt default error callback is used *)
+ * generated. If None is passed, libxslt default error callback is used *)
val setErrorCallback: (string -> unit) option -> unit
(** set debug callback, that is a function invoked each time a debugging message
-is generated. If None is passed, libxslt default error callback is used *)
+ * is generated. If None is passed, libxslt default error callback is used *)
val setDebugCallback: (string -> unit) option -> unit