(*
- * Copyright (C) 2003:
+ * Copyright (C) 2003-2004:
* Stefano Zacchiroli <zack@cs.unibo.it>
* for the HELM Team http://helm.cs.unibo.it/
*
* http://helm.cs.unibo.it/
*)
-exception Http_getter_bad_request of string
-exception Http_getter_unresolvable_URI of string
-exception Http_getter_invalid_URI of string
-exception Http_getter_invalid_URL of string
-exception Http_getter_invalid_RDF_class of string
-exception Http_getter_internal_error of string
+exception Bad_request of string
+exception Unresolvable_URI of string
+exception Invalid_URI of string
+exception Invalid_URL of string
+exception Invalid_RDF_class of string
+exception Internal_error of string
-type http_getter_encoding = Enc_normal | Enc_gzipped
-type http_getter_answer_format = Fmt_text | Fmt_xml
-type http_getter_ls_flag = No | Yes | Ann
+type encoding = Enc_normal | Enc_gzipped
+type answer_format = Fmt_text | Fmt_xml
+type ls_flag = Yes | No | Ann
+type ls_object =
+ {
+ uri: string;
+ ann: bool;
+ types: ls_flag;
+ body: ls_flag;
+ proof_tree: ls_flag;
+ }
+type ls_item =
+ | Ls_section of string
+ | Ls_object of ls_object
-type http_getter_xml_uri =
+type xml_uri =
| Cic of string
| Theory of string
-type http_getter_rdf_uri = string * http_getter_xml_uri
-type http_getter_nuprl_uri = string
-type http_getter_uri =
- | Cic_uri of http_getter_xml_uri
- | Nuprl_uri of http_getter_nuprl_uri
- | Rdf_uri of http_getter_rdf_uri
+type rdf_uri = string * xml_uri
+type nuprl_uri = string
+type uri =
+ | Cic_uri of xml_uri
+ | Nuprl_uri of nuprl_uri
+ | Rdf_uri of rdf_uri
module StringSet = Set.Make (String)