]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/getter/http_getter.mli
changed /ls method so that regular expressions are used instead of plain
[helm.git] / helm / ocaml / getter / http_getter.mli
index a7d12f5a1611e8867d280d5df34bfd9a819665f1..c6f08afcc8c239d652e74e71b380bfc0fedd6bf8 100644 (file)
@@ -49,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} *)