X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgetter%2Fhttp_getter.mli;h=845a17a1035b760e028aeade14bad0b36e387beb;hb=84d34c4d0b0a3c923a62cb686966ef66bccb54c8;hp=4bbc447bdac85cca2102b21b302a05b014ac8d0a;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/getter/http_getter.mli b/components/getter/http_getter.mli
index 4bbc447bd..845a17a10 100644
--- a/components/getter/http_getter.mli
+++ b/components/getter/http_getter.mli
@@ -40,7 +40,11 @@ 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: writable:bool -> string -> string (* uri -> url *)
+
+  (** as resolve, but does not check if the resource exists
+   * @raise Http_getter_types.Key_not_found *)
+val filename: writable:bool -> string -> string (* uri -> url *)
 
 val exists: string -> bool
 
@@ -57,8 +61,9 @@ val ls: string -> ls_item list
   (** {2 UriManager shorthands} *)
 
 val getxml'     : UriManager.uri -> string
-val resolve'    : UriManager.uri -> string
+val resolve'    : writable:bool -> UriManager.uri -> string
 val exists'     : UriManager.uri -> bool
+val filename'     : writable:bool -> UriManager.uri -> string
 
   (** {2 Misc} *)