new snapshot

[helm.git] / components / getter / http_getter.mli

diff --git a/components/getter/http_getter.mli b/components/getter/http_getter.mli
index 4bbc447bdac85cca2102b21b302a05b014ac8d0a..5cf5cd38ebf3b9f6e44447d5e0323a81dd4aefaf 100644 (file)
--- a/components/getter/http_getter.mli
+++ b/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} *)