X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgetter%2Fhttp_getter.mli;h=5cf5cd38ebf3b9f6e44447d5e0323a81dd4aefaf;hb=2dd6e8f11fa3ac2995f326ecb742d9b4e8948fce;hp=4bbc447bdac85cca2102b21b302a05b014ac8d0a;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/getter/http_getter.mli b/helm/software/components/getter/http_getter.mli
index 4bbc447bd..5cf5cd38e 100644
--- a/helm/software/components/getter/http_getter.mli
+++ b/helm/software/components/getter/http_getter.mli
@@ -40,9 +40,13 @@ val help: unit -> string
 
   (** @raise Http_getter_types.Unresolvable_URI _
   * @raise Http_getter_types.Key_not_found _ *)
-val resolve: string -> string (* uri -> url *)
+val resolve: local:bool -> writable:bool -> string -> string (* uri -> url *)
 
-val exists: string -> bool
+  (** as resolve, but does not check if the resource exists
+   * @raise Http_getter_types.Key_not_found *)
+val filename: local:bool -> writable:bool -> string -> string (* uri -> url *)
+
+val exists: local:bool -> string -> bool
 
 val getxml  : string -> string
 val getxslt : string -> string
@@ -52,13 +56,14 @@ val getalluris: unit -> string list
 
   (** @param baseuri uri to be listed, simple form or regular expressions (a
    * single choice among parens) are permitted *)
-val ls: string -> ls_item list
+val ls: local:bool -> string -> ls_item list
 
   (** {2 UriManager shorthands} *)
 
 val getxml'     : UriManager.uri -> string
-val resolve'    : UriManager.uri -> string
-val exists'     : UriManager.uri -> bool
+val resolve'    : local:bool -> writable:bool -> UriManager.uri -> string
+val exists'     : local:bool -> UriManager.uri -> bool
+val filename'     : local:bool -> writable:bool -> UriManager.uri -> string
 
   (** {2 Misc} *)