]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.mli
ported debian stuff to ocaml 3.08
[helm.git] / helm / ocaml / getter / http_getter.mli
index 8d1ae4b5c05e57e5a598661efce2ffe2a799b2fc..c6f08afcc8c239d652e74e71b380bfc0fedd6bf8 100644 (file)
 
 open Http_getter_types
 
+  (** {2 Loggers} *)
+
 type logger_callback = HelmLogger.html_tag -> unit
 
+val stdout_logger: logger_callback
+
   (** {2 Getter Web Service interface as API *)
 
 val help: unit -> string
@@ -45,7 +49,9 @@ val add_server: ?logger:logger_callback -> ?position:int -> string -> unit
 val remove_server: ?logger:logger_callback -> int -> unit
 val getalluris: unit -> string list
 val getallrdfuris: [ `Forward | `Backward ] -> string list
-val ls: xml_uri -> ls_item list
+
+  (** @param regexp regular expression (PCRE syntax) over HELM URIs *)
+val ls: string -> ls_item list
 
   (** {2 Shorthands} *)