X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fuwobo_common.ml;h=8952f8132c11954a5ce54d468d60e4f3cd2fcde3;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=87a640b4306d156753c0df050ba71a511360acfc;hpb=c6cb1f5a0ab5559e41eba001928e4a5ea595c051;p=helm.git diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml index 87a640b43..8952f8132 100644 --- a/helm/uwobo/uwobo_common.ml +++ b/helm/uwobo/uwobo_common.ml @@ -48,11 +48,11 @@ let supported_properties = [ let is_supported_property name = List.mem name supported_properties -let version = "0.2.1" ;; +let version = "0.3.0" ;; let usage_string = sprintf -" + " UWOBO's help message @@ -70,7 +70,7 @@ let usage_string =

help
- display this help message + displays this help message

newsession?port=p
@@ -82,7 +82,7 @@ let usage_string =

add?bind=key,uri[&bind=key,uri[&...]]
- load a new stylesheet, specified by uri, and bind it to key + loads a new stylesheet, specified by uri, and bind it to key key

@@ -92,16 +92,16 @@ let usage_string =

reload?keys=[key1,key2,...]
- reload stylesheets specified by key1, key2, ... or all - stylesheets if no key was given + reloads the stylesheets specified by key1, key2, .... Reloads all + the stylesheets if no key was given

list
- return a list of loaded stylesheets + returns the list of loaded stylesheets

apply?xmluri=uri&keys=key1,key2,...[&errormode={ignore|comment|embed}][&debugmode={ignore|comment|embed}][&profile=id][&password=password][¶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 + applies 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 @@ -119,50 +119,50 @@ let usage_string = have lower precedence with respect to those provided in the URL. A password for the profile must be provided if the read permission of the profile is set to false.
- Properties of the final chain output can be set too: valueless properties + Properties of the final chain output can be set as well: valueless properties can be set using prop.name syntax, others can be set using prop.name=value syntax.
Current supported properties are: %s.

listprofiles
- return the list of profiles available + returns the list of profiles available

- createprofile?[id=id][&orig=orig][&origpassword=origpassword][&readperm={true|false}][&writeperm={true|false}][&adminperm={true|false}][&password=password]
+ createprofile?[id=id][&orig=orig][&origpassword=origpassword][&readperm={public|private}][&writeperm={public|private}][&adminperm={public|private}][&password=password]
creates a new profile. The id of the created profile is id (if provided); otherwise it is a fresh id. The parameters are inherited from the profile orig, if provided. origpassword is the password of the - profile being copied in case the read permission of that profile is set to false. The defaults for - password and readper,writeperm,adminperm are respectively true, true, true and no password. + profile being copied in case the read permission of that profile is set to false. The default for + password is no password, the defaults for readper,writeperm,adminperm are public, public, public.

removeprofile?id=id[&password=password]
- completely removes the profile id. The password is required if the profile administrative permission + removes the profile id. The password is required if the profile administrative permission is set to false.

setparam?id=id[&password=password]&key=key[&value=value]
- sets the property key to value, if value is provided; otherwise + sets the parameter key to value, if value is provided; otherwise the parameter is unset. The password is required if the profile writing permission is set to false.

setpassword?id=id[&oldpassword=oldpassword][&password=password]
- changes or unset the password. The old password is required if it was set. + changes or unset the password for a profile. The old password is required if it was set.

- setpermission?id=id[&password=password]&permission={read|write|admin}&value={true|false}
+ setpermission?id=id[&password=password]&permission={read|write|admin}&value={public|private}
changes the permission permission. The password is required if the administrative permission is set to false.

getparams?id=id[&password=password]
- returns all the params of the profile id. The password is required if the read permission + returns all the parameters of the profile id. The password is required if the read permission is set to false.

getparam?id=id[&password=password]&key=key
- returns the value of the param key of the profile id. The password is required if the read permission + returns the value of the parameter key of the profile id. The password is required if the read permission is set to false.

@@ -173,8 +173,8 @@ let usage_string = " - version version - (String.concat ", " supported_properties) (* supported properties *) + version version + (String.concat ", " supported_properties) (* supported properties *) ;; let pp_error =