X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgetter%2Fgetter.mli;h=3fbec8070439fa6cb5e8e1578558e50b0823ddb7;hb=fc35fbb35a01c110f221c52661f1193ea5664aa6;hp=6b1d2ca2945da35a39e4951e06760a524842380b;hpb=5a92117eeff70048d29e91ba24e113155d956e1b;p=helm.git

diff --git a/helm/ocaml/getter/getter.mli b/helm/ocaml/getter/getter.mli
index 6b1d2ca29..3fbec8070 100644
--- a/helm/ocaml/getter/getter.mli
+++ b/helm/ocaml/getter/getter.mli
@@ -51,3 +51,12 @@ val getxml : ?format:format -> ?patchdtd:bool -> UriManager.uri -> string
 
 (* adds an (URI -> URL) entry in the map from URIs to URLs *)
 val register : UriManager.uri -> string -> unit
+
+exception Unresolved
+exception UnexpectedGetterOutput
+
+(* resolves an URI to its corresponding URL.                  *)
+(* Unresolved is raised if there is no URL for the given URI. *)
+(* UnexceptedGetterOutput is raised if the output of the real *)
+(*  getter has not the expected format.                       *)
+val resolve: UriManager.uri -> string