X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_common.ml;h=b4a910f9d7cb0b17bd738ccac6283dfd9857016d;hb=48994adde48d16bf61eaba942182f1b47912e1fd;hp=c71024ce8c40427dae4804cf209c2af03fd58a0d;hpb=aa39605bc50cc876067b768ed8b0a348415b3a91;p=helm.git
diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index c71024ce8..b4a910f9d 100644
--- a/helm/uwobo/uwobo_common.ml
+++ b/helm/uwobo/uwobo_common.ml
@@ -26,9 +26,12 @@
* http://helm.cs.unibo.it/
*)
-open Printf;;
+open Printf ;;
-exception Uwobo_failure of string;;
+exception Uwobo_failure of string ;;
+
+let uwobo_namespace = "http://helm.cs.unibo.it/uwobo" ;;
+let xsl_namespace = "http://helm.cs.unibo.it/uwobo" ;;
let supported_properties = [
"cdata-section-elements";
@@ -45,7 +48,7 @@ let supported_properties = [
let is_supported_property name = List.mem name supported_properties
-let version = "0.2.0" ;;
+let version = "0.2.1" ;;
let usage_string =
sprintf
@@ -69,18 +72,26 @@ let usage_string =
help
display this help message
+ newsession?port=p
+ starts a new daemon on a given port p
+
+ kill
+ kills the daemon. The log file is mantained.
+
add?bind=key,uri[&bind=key,uri[&...]]
load a new stylesheet, specified by uri, and bind it to key
key
- remove[?keys=key1,key2,...]
+ remove?keys=[key1,key2,...]
unload stylesheets specified by key1, key2, ... or all
stylesheets if no key was given
- reload[?keys=key1,key2,...]
+ reload?keys=[key1,key2,...]
reload stylesheets specified by key1, key2, ... or all
stylesheets if no key was given
- apply?xmluri=uri&keys=key1,key2,...[¶m.name=value[¶m.name=value[&...]]][¶m.key.name=value[¶m.key.name=value[&...]]][&prop.name[=value][&prop.name[=value][&...]]]
+ apply?xmluri=uri&keys=key1,key2,...[&errormode={ignore|comment|embed}][&debugmode={ignore|comment|embed}][¶m.name=value[¶m.name=value[&...]]][¶m.key.name=value[¶m.key.name=value[&...]]][&prop.name[=value][&prop.name[=value][&...]]]
apply a chain of stylesheets, specified by key1, key2, ..., to an
input document, specified by uri.
+ Error and debugging modes could be ste to three different values.
+ ignore means that LibXSLT messages are ignored; comment
+ meanst that LibXSLT messages are embedded in the result document inside an
+ XML like comment; embed means that LibXSLT messages are embedded
+ at the beginning of the result document (as childs of the root node) in
+ XML elements in the UWOBO namespace
Additional parameters can be set for each stylesheet application: global
parameters (i.e. parameters passed to all stylesheets) are set using
param.name=value syntax, per stylesheet parameters are set using
@@ -110,11 +127,66 @@ let usage_string =
;;
let pp_error =
- sprintf "