sig
type property = 'a Pxp_document.extension Pxp_document.node as 'a
val create_propname :
?namespace_manager:Pxp_dtd.namespace_manager ->
string -> Webdav_xml.property
val propname_creationdate : Webdav_xml.property
val propname_displayname : Webdav_xml.property
val propname_getcontentlanguage : Webdav_xml.property
val propname_getcontentlength : Webdav_xml.property
val propname_getcontenttype : Webdav_xml.property
val propname_getetag : Webdav_xml.property
val propname_getlastmodified : Webdav_xml.property
val propname_resourcetype : Webdav_xml.property
val decode_string : Webdav_xml.property -> string
val decode_creationdate : Webdav_xml.property -> float
val decode_displayname : Webdav_xml.property -> string
val decode_getcontentlanguage : Webdav_xml.property -> string
val decode_getcontentlength : Webdav_xml.property -> int64
val decode_getcontenttype :
Webdav_xml.property -> string * (string * string) list
val decode_getetag : Webdav_xml.property -> Nethttp.etag
val decode_getlastmodified : Webdav_xml.property -> float
val decode_resourcetype : Webdav_xml.property -> bool
val encode_string : string -> string -> Webdav_xml.property
val encode_creationdate : float -> Webdav_xml.property
val encode_displayname : string -> Webdav_xml.property
val encode_getcontentlanguage : string -> Webdav_xml.property
val encode_getcontentlength : int64 -> Webdav_xml.property
val encode_getcontenttype :
string * (string * string) list -> Webdav_xml.property
val encode_getetag : Nethttp.etag -> Webdav_xml.property
val encode_getlastmodified : float -> Webdav_xml.property
val encode_resourcetype : bool -> Webdav_xml.property
type prepost_code = 'a Pxp_document.extension Pxp_document.node as 'a
type known_prepost_code =
[ `Cannot_modify_protected_property
| `No_external_entities
| `Preserved_live_properties
| `Propfind_finite_depth ]
val create_prepost_code :
?namespace_manager:Pxp_dtd.namespace_manager ->
string -> Webdav_xml.prepost_code
val parse_prepost_code :
Webdav_xml.prepost_code -> Webdav_xml.known_prepost_code
val emit_prepost_code :
Webdav_xml.known_prepost_code -> Webdav_xml.prepost_code
val namespace_manager : unit -> Pxp_dtd.namespace_manager
val check_dtd : Pxp_dtd.dtd -> unit
val dtd : unit -> Pxp_dtd.dtd
val url_path : ?strip_prefix:string -> string -> string
class type propstat_t =
object
method error : Webdav_xml.prepost_code list
method properties : Webdav_xml.property list
method responsedescription : string
method status : Webdav_http.webdav_status
method status_code : int
method status_protocol : string
method status_text : string
end
val create_propstat :
properties:Webdav_xml.property list ->
status:Webdav_http.webdav_status ->
?status_code:int ->
?status_text:string ->
?status_protocol:string ->
?error:Webdav_xml.prepost_code list ->
?responsedescription:string -> unit -> Webdav_xml.propstat_t
class type response_t =
object
method error : Webdav_xml.prepost_code list
method find_prop :
string -> Webdav_xml.property * Webdav_xml.propstat_t
method href : string list
method location : string option
method paths : string list
method prop_creationdate : float option
method prop_displayname : string option
method prop_getcontentlanguage : string option
method prop_getcontentlength : int64 option
method prop_getcontenttype : string option
method prop_getcontenttype_decoded :
(string * (string * string) list) option
method prop_getetag : string option
method prop_getetag_decoded : Nethttp.etag option
method prop_getlastmodified : float option
method prop_resourcetype_is_collection : bool option
method propstat : Webdav_xml.propstat_t list
method responsedescription : string
method status : Webdav_http.webdav_status
method status_code : int
method status_protocol : string
method status_text : string
end
val create_status_response :
href:string list ->
status:Webdav_http.webdav_status ->
?status_code:int ->
?status_text:string ->
?status_protocol:string ->
?error:Webdav_xml.prepost_code list ->
?responsedescription:string ->
?location:string -> ?strip_prefix:string -> unit -> Webdav_xml.response_t
val create_propstat_response :
href:string ->
propstat:Webdav_xml.propstat_t list ->
?error:Webdav_xml.prepost_code list ->
?responsedescription:string ->
?location:string -> ?strip_prefix:string -> unit -> Webdav_xml.response_t
class type multistatus_t =
object
method responsedescription : string
method responses : Webdav_xml.response_t list
end
val create_multistatus :
responses:Webdav_xml.response_t list ->
?responsedescription:string -> unit -> Webdav_xml.multistatus_t
val parse_multistatus_body :
?strip_prefix:string ->
?namespace_manager:Pxp_dtd.namespace_manager ->
content_type:string ->
Netchannels.in_obj_channel -> Webdav_xml.multistatus_t
val write_multistatus_body :
?namespace_manager:Pxp_dtd.namespace_manager ->
Netchannels.out_obj_channel -> Webdav_xml.multistatus_t -> unit
type propfind_request =
[ `Allprop of Webdav_xml.property list
| `Prop of Webdav_xml.property list
| `Propname ]
val parse_propfind_request :
?namespace_manager:Pxp_dtd.namespace_manager ->
content_type:string ->
Netchannels.in_obj_channel -> Webdav_xml.propfind_request
val write_propfind_request :
?namespace_manager:Pxp_dtd.namespace_manager ->
Netchannels.out_obj_channel -> Webdav_xml.propfind_request -> unit
type proppatch_instruction =
[ `Remove of Webdav_xml.property list
| `Set of Webdav_xml.property list ]
type proppatch_request = Webdav_xml.proppatch_instruction list
val parse_proppatch_request :
?namespace_manager:Pxp_dtd.namespace_manager ->
content_type:string ->
Netchannels.in_obj_channel -> Webdav_xml.proppatch_request
val write_proppatch_request :
?namespace_manager:Pxp_dtd.namespace_manager ->
Netchannels.out_obj_channel -> Webdav_xml.proppatch_request -> unit
end
